什么是不变约束

对象建模中，常用两种模型描述系统：静态模型，和动态模型。 这两个角度是互补的，即以对象为中心和以行为为中心 此时有：系统=对象+行为。也符合常听到的另一中经典说法：系统即为 数据结构+算法

       以对象为中心的视角出发，认为系统是一系列相互关联的有结构（非随机的对象大杂烩）对象集，多个对象先聚成组，然后在组成更大的组件和子系统。而以行为为中心的视角出发，认为系统是一组可能发生的并发行为的集合，在最小粒度上，它们只是独立的消息传递（通常是方法调用）。它们依次组成调用链，事件序列，任务，会话，事务和线程。从更高的层次上看，部分的行为代表着系统范围的用例。

       静态模型描述了现实世界某个领域中的对象，还可以用其来描述一个完整系统的状态。每个概念用类型描述，其状态用属性和关联来描述。静态模型的主要目的是提供一个用来描述动作的词汇表。

       不变式表达了对状态的约束，这些状态是应该始终监视的值的组合。不变式可以代表某种业务规则。首先应知道，对象的状态（不管是大是小甚至是整个系统都可看做是对象）是由其属性值组合体现的（某些属性的存在可能并不影响状态），并不是所有的属性组合都是合法的（我们通常并不对属性的取值进行约束，比如 定义一个员工的工资属性： duoble salary;    这样的定义能确保它不被赋予一个负数吗？）静态不变式，是一个判断语句，是类型模型中的一部分在模型中每个动作的前后都恒为真。不变式还可以指出属性间的某种必要的联系。

    对象的任何一个方法都是完成（不管是自己的还是别的对象的）属性的“读”和“写”。只有“写”性质的方法才可能引起对象状态的变化。所以可以在具有“写”性质的方法中检查属性的合法性。你可能听到过操作的前置条件和后置条件：就是说欲执行此操作必须满足一个条件，操作执行完后还须检查另一个条件，以便确保不会把对象置于不合法的状态，用后置条件加上回滚机制可以实现rollback语义。对于需要前置条件和后置条件的操作用before /after模式再合适不过了。before()操作中完成前置条件的检查，检查通过则什么都不做，条件不满足（比如说验证没通过）则可不执行操作的主体部分。通过在类的每个公共方法的入口和出口处同时对不变约束进行检查可以动态地检查程序是否遵从了计算的不变约束。

不变式的实现：可以考虑用before/after 模式。模式的结构类似“三明治”。即将一些方法的调用和代码包含在一个before ()操作和after()操作之间。所有形式的before /after 控制方法都包括一个基础的方法，可称其为 method() 。调用序列为：before(); method();    after()；或：befor();    try{ method();}finally{    after()}                 before/after模式将检查逻辑与基础方法隔离开了，利于独立更改。可配合用的模式有：适配器模式，子类化，模板方法（可自动的实现控制序列）

可以将类中所有不变式的组合放到一个单独的boolean OK(){}函数中，在对这个类对象操作的任意一个外部调用结束后，该函数都应该返回真值。这样的函数为运行中应用程序提供了一种有价值的状态检查。与操作规范一起可做为测试和调试的基础。