性质约束和性质扩展

<P>类的派生(<FONT color=#0000ff>继承</FONT>)是面向对象程序设计方法和c++语言最重要的特征之一。</P>
<P><FONT color=#0000ff>继承</FONT>常用来表示类属关系，不能将<FONT color=#0000ff>继承</FONT>理解为构成关系，怎么说呢? 比如我们假设昆虫是一个类，而蝴蝶也是一个类，这两个类是派生(<FONT color=#0000ff>继承</FONT>)的关系，基类是昆虫，派生类是蝴蝶,这是一个类属的关系，蝴蝶类是属于昆虫类的，但不能理解为构成关系，蝴蝶这个类不是昆虫这个类中的成员(六足双翅等)的简单包括，它还有其他一些独特的成员，而原来的成员也被重新定义(比如触角，蝴蝶类的触角是须状的),这些都表明蝴蝶类是昆虫类的一个分支而不是构成关系。</P>
: H* g, z: o9 j9 I, C4 ?<P>从上面的例子来理解，从现存类中派生出新类时，可以对派生类做如下几种变化：</P>
<P><FONT color=#ff0000>1.可以增加新的成员变量；</FONT></P>
<P><FONT color=#ff0000>2.可以增加新的成员函数；</FONT></P>
& L4 }& z3 w4 {$ O8 H9 ^<P><FONT color=#ff0000>3.可以重新定义已有的成员函数；</FONT></P>
<P><FONT color=#ff0000>4.可以改变现有成员的属性(访问权限)。</FONT></P>
' |8 i3 m) q, ^" b* @<P>以上允许派生类所作的变化是很广泛的，由此我们可以用派生类对其从父类继承来的的性质进行<FONT color=#ff0000>限制或删除</FONT>(这就是<FONT color=#0000ff>性质约束</FONT>)，也可以对父类的性质进行<FONT color=#ff0000>增加</FONT>(这就是<FONT color=#0000ff>性质扩展</FONT>)。</P>