我读这本书的Java并发实践 ,并得到一个有点困惑与这些条款:
- 前期状态
- 后置条件
- 不变
有人可以请给我解释一下他们(用一个例子,如果可能的话)?
我读这本书的Java并发实践 ,并得到一个有点困惑与这些条款:
有人可以请给我解释一下他们(用一个例子,如果可能的话)?
你将有很多编写Java,特别是多线程代码,如果你不明白这些简单的想法问题:
他们是所谓的“合同编程”的理念的一部分。 它是由一个叫他发明CAR Hoare的 。 伯特兰·迈耶建所谓的面向对象语言埃菲尔铁塔周围。 没有人使用它了,但他每天因为它的太阳了。
埃菲尔铁塔是不是很受欢迎。 上有这样我写这篇文章超过四百万个问题,但其中只有32的标签为“埃菲尔”。
更新:有在等29月-2016 11966392问题。 其中只有92中标记“埃菲尔”。 埃菲尔铁塔的问题的比例停留在〜0.00077%,基本保持不变。
我站在纠正 - 谢谢你,flamingpenguin。 我已经更新了我的答案。