该章主要介绍概念,为以后的章节做铺垫~!
1.类:一个类应该表示一种共同的抽象性,这种抽象性是属于这个类的所有个体对象的共有属性;
2.类有两个性质:状态空间和行为
3.状态空间:一个类C的状态空间是指属于类C的任何对象的允许状态的全部集合,一种状态空间的大小等同于一个给定对象的指定状态.
4.子类的状态空间:如果B是A的一个子类,那么B的状态空间必须完全包含于A的状态空间之中.从技术的角度来讲,将B的状态空间发射给A的状态空间就是指必须位于A的状态空间之中.我们就说B的状态空间受限于A的状态空间.
!!!如果B是A的一个子类,那么B的状态空间必须至少包含A的状态空间的维数,也可以包含更多的维数.如果B的状态空间包含更多的维数,那么B的状态空间是从A的状态空间扩散而来.
5.子类的行为:一个类C的允许行为是指这样的一组转换,即允许类C的一个对象在C的状态空间范围内改变状态.
6.状态的空间的约束:类的不变式,一个类的不变式指一种状态,即在任何时候该类的每一个对象都满足条件(当这个对象处于平衡状态时)如一个三角形类包含a,b,c三个边,则不变式为a+b>=c;a+c>=b;b+c>=a,(这里允许三角形是一条直线)
7.前置条件:类的操作运算开始执行之前必须满足的条件;
后置条件:操作运算执行结束时该条件必须是正确的.
