【腾讯TMQ】【浅谈Chromium中的设计模式（二）】——pre/post和Delegate模式

Pre/post

请注意pre/post不能算是典型意义上的设计模式，Pre/post是契约式编程思想的概念。但是在从chromium代码中确实能看到不少他们的身影。

契约式编程中的PRE/POST

契约式编程（英语：Design by Contract，缩写为DBC）在Wiki上的解释：契约式编程是一种设计计算机软件的方法。这种方法要求软件设计者为软件组件定义正式的，精确的并且可验证的接口，这样，为传统的抽象数据类型又增加了先验条件、后验条件和不变式。这种方法的名字里用到的“契约”或者说“契约”是一种比喻，因为它和商业契约的情况有点类似。

在《程序员修炼之道：从小工到专家》中专门有一条讲的就是契约式编程（按合约设计）。

DesignbyContract的核心是断言（assertion）。所谓“断言”，是指永远为真的布尔型语句，如果不为真，则程序必然存在错误。通常情况下，检查断言的时机，应该局限于调试（debug）阶段，而不是代码的实际执行阶段。实际上，完成的程序永远不应期望断言会被检查。

DesignbyContract使用了三类断言：后继条件（post-conditions），前提条件（pre-conditions），以及不变量（invariants）。其中前驱条件与后继条件都是针对操作（operation）而言的。

前提条件preconditions：acondition that must hold up on invocation of a function在方法被调用之前