代码协定

一，代码协定     代码协定通常称作契约式编程，包括如下三个部分： 前置条件（precondiction）：为了调用函数，必须为真的条件，在其违反时，函数决不调用，传递好数据是调用者的责任。 后置条件（postcondion）：函数保证能做到的事情，函数完成时的状态，函数有这一事实表示它会结束，不会无休止的循环 类不变项（class invariant）：从调用者的角度来看，该条件总是为真，在函

>>阅读原文<<