该书还阐述了在客户请求框架代码进行检查的智能情况下，承包程序设计和防错性程序设计之间的差别。

It also explains the difference between programming by contract and defensive programming with a clever situation where your customers request that the framework code do the checking.

youdao

该书还阐述了在客户请求框架代码进行检查的智能情况下，承包程序设计和防错性程序设计之间的差别。

It also explains the difference between programming by contract and defensive programming with a clever situation where your customers request that the framework code do the checking.

youdao