5、类的不变量、变量、属性及相关特性解析

类的不变量、变量、属性及相关特性解析

1. 类的不变量与变量

类的定义不仅有助于确定哪些事物属于所代表的类别，还为类的结构提供了基础。通过类的定义，我们可以从两个方面深入刻画类：
- 类的不变量 ：指无论查看哪个类别成员，该类别始终不变的特征。
- 类的变量 ：指该类别始终存在的特征，但根据所查看的类别成员不同，这些特征可能具有不同的性质。

以书籍的定义为例：“书是由一侧装订在一起的一组书页组成的文档”。由此可知，每本书都应是文档，且由一侧装订的一组书页组成，这就是书类的不变量。这些不变量构成了类定义的浓缩“本质”形式，因为它们抓住了任何事物成为该类别成员所需满足的标准，可视为类的规范定义。

同时，类的定义也暗示了一些未完全明确的特征，如每本书都有书页，但数量未提及；书页在一侧装订，但具体哪一侧未说明。这些就是书类的变量，它们对应着类别可变性的方面。根据建模目的，我们还可以从定义中推断出其他“隐藏”的变量，例如在描述二手书商业务的模型中，书页的装订方式（如胶粘、螺旋装订、线装等）也可作为一个变量。类的变量是属性建模的起点。

2. 属性

类的不变量作为类的规范定义，通常不在图表中显示，而是单独记录。而变量则以属性的形式显示在图表中。属性是代表类别特征的形式化构造，是与模型相关的类别特征的抽象形式化。

以书类为例，若要在模型中表示书的相关特征，哪些特征相关取决于模型的目的。假设目的是图书馆的图书编目，书类可能具有以下属性：
| 属性 | 说明 |
| ---- | ---- |
| Title: