转载自微信公众账号：开点工作室（ID：kaidiancs）
Java程序中，程序员可以使用前置条件与后置条件，来控制是否执行方法及判断方法是否正确执行。

前置条件（precondition）是一条条件语句，在方法执行前必须为真。除非前置条件满足，否则不应该使用方法，也不能期待方法能正确执行。前置条件可以与方法参数的描述相关。例如，计算x平方根的方法可以用x≥0作为前置条件。

后置条件（postcondition）是一条语句，当前置条件满足且完全执行方法后，它为真。对于一个值方法，后置条件将描述方法返回的值。对于一个void方法，后置条件描述所做的动作及对调用对象的任何修改。一般地，后置条件描述方法调用产生的所有影响。考虑后置条件可以有助于弄清楚方法的目的。
注意：不能满足后置条件的方法，即使符合前置条件，也可以抛出异常。

前置条件意味着职责，要保证必须满足特定条件。如果在调用方法前由客户负责满足条件，则方法不必检查条件。或者，如果方法负责让条件成立，则客户不必检查它们。例如，要规范说明一个求平方根的方法，可以在方法头前面写如下的注释：

/** Computes the square root of a number.
@param x A real number >= 0.
@return The square root of x.
*/

这个注释表明，方法假定客户要提供一个非负数作为参数。

更安全的技术是让方法承担检查参数的责任。例如它的注释应该如下：

/** Computes the square root of a number.
@param x A real number.
@return The square root of x if x >= 0.
@throws ArithmeticException if x < 0.
*/

虽然在前面的注释中我们将前置条件和后置条件集成在一起，不过也可以将它们单独分开。

程序设计技巧：在方法头之前的注释中充分说明每个公有方法。对于确保方法能正确执行而必须满足的条件，要说明是由方法还是由客户来负责进行检查。以这种方式，既做了检查又不会重复检查。但在调试过程中，方法应该检查前置条件是否满足。

当使用继承和多态来重写父类中的一个方法时，子类中的方法可能会出现与父类中的方法不一致的问题。前置条件和后置条件可以帮助程序员避免这个问题。后置条件必须适用于子类中方法的所有版本。重写的方法可以添加到后置条件中——即它能做的更多——但不能做的更少。不过重写的方法不能增加其前置条件。换句话说，它不能比基类中的方法要求得更多。

由开点工作室编写，清华大学出版社出版的《横扫offer---程序员招聘真题详解700题》一书已经在天猫、京东等各大网上书店及实体书店开始发售。本书精心选取了700道各IT名企程序员招聘笔试面试的真题，书中内容按照目前各主流IT企业技术类招聘考试试题所涉及到的专业知识领域，划分为8章：第1章为C语言程序设计，第2章为面向对象程序设计，第3章为数据结构与算法，第4章为计算机组成原理，第5章为操作系统，第6章为计算机网络，第7章为数据库系统，第8章为数学与逻辑。各章直接对招聘考试真题展开解析，将试题涉及到知识点进行精准地归纳和深入地阐述，而省去了与之不相关教材内容的堆砌，确保应聘者的学习更加有针对性。我们希望本书的读者能够把书中每一道试题的解析读懂、吃透，从而牢固掌握试题所涉及到相关知识的内涵、外延和综合应用，真正做到举一反三。同时，本书专注于计算机专业技术试题的分析讲解，不涉及性格测试、智力测验、常识测试、英语测试以及面试礼仪等非技术领域内容，真正做到“没有鸡汤，全是干货”。

“拨开学习中的荆棘迷雾，指点探索中的灵感思路”，希望这本凝结了集体智慧和心血的教材，能够充分体现开点工作室的创作主旨，为广大IT求职者提供真正的帮助。希望每一名热爱这个行业，充满热情和力量的年轻人都能梦想成真。

更多计算机学习技术文章请关注微信公众账号：开点工作室（ID：kaidiancs）