![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
程序设计
smilemac
这个作者很懒,什么都没留下…
展开
-
mutable与const修饰词的对称性
mutable与const修饰词的对称性 smilemac 恐怕没有程序员会反对在该使用const的地方使用const,但大部分程序员却非常反对使用mutable,所以也很少注意mutable与const的对称性。 我们知道,const是一种语义与语法统一得非常好的修饰词,这在C++中其实并不多见,C++很多语法概念在语义上是模糊不清的,但const却是一个原创 2003-10-28 23:43:00 · 1255 阅读 · 0 评论 -
Liskov替换原则,接口,契约,类型及自然对应 (一)
Liskov替换原则,接口,契约,类型及自然对应(一)smilemac 公有继承的意义和用法常常使人迷惑,不少人甚至认为应该禁止使用公有继承,本文试图从Liskov替换原则(LSP, Liskov Substitution Principle)出发对此问题进行探讨。Liskov替换原则(LSP, Liskov Substitution原创 2004-07-10 23:43:00 · 1894 阅读 · 0 评论 -
CAP Theorem
Eric Brewer 2000年提出一個很著名的定理: 一個分布式系統中, 無法同時滿足一致性(Consistence), 可得性(Availability), 和分區容錯性(Partition Tolerance).一致性: 指一個系統對外可見的數據必須保持完整性和一致性.可得性: 指一個系統總是會以被期望的方式響應來自外部的請求.分區容錯性:當一個系統部分節點崩潰時,整個系統原创 2011-12-30 11:23:16 · 407 阅读 · 0 评论