性質約束和性質擴展

<P>類的派生(<FONT color=#0000ff>繼承</FONT>)是面向對象程序設計方法和c++語言最重要的特征之一。</P>
<P><FONT color=#0000ff>繼承</FONT>常用來表示類屬關系，不能將<FONT color=#0000ff>繼承</FONT>理解為構成關系，怎么說呢? 比如我們假設昆蟲是一個類，而蝴蝶也是一個類，這兩個類是派生(<FONT color=#0000ff>繼承</FONT>)的關系，基類是昆蟲，派生類是蝴蝶,這是一個類屬的關系，蝴蝶類是屬于昆蟲類的，但不能理解為構成關系，蝴蝶這個類不是昆蟲這個類中的成員(六足雙翅等)的簡單包括，它還有其他一些獨特的成員，而原來的成員也被重新定義(比如觸角，蝴蝶類的觸角是須狀的),這些都表明蝴蝶類是昆蟲類的一個分支而不是構成關系。</P>
<P>從上面的例子來理解，從現存類中派生出新類時，可以對派生類做如下幾種變化：</P>
% k) c6 M) T3 \$ h+ I9 B( q3 r<P><FONT color=#ff0000>1.可以增加新的成員變量；</FONT></P>
- k; g8 n  ]8 Z8 a* u8 X<P><FONT color=#ff0000>2.可以增加新的成員函數；</FONT></P>
; W) f, f3 K" m( |8 E4 H$ L, c<P><FONT color=#ff0000>3.可以重新定義已有的成員函數；</FONT></P>
0 s0 W# Z- y$ r+ u9 g- ~$ I<P><FONT color=#ff0000>4.可以改變現有成員的屬性(訪問權限)。</FONT></P>
<P>以上允許派生類所作的變化是很廣泛的，由此我們可以用派生類對其從父類繼承來的的性質進行<FONT color=#ff0000>限制或刪除</FONT>(這就是<FONT color=#0000ff>性質約束</FONT>)，也可以對父類的性質進行<FONT color=#ff0000>增加</FONT>(這就是<FONT color=#0000ff>性質擴展</FONT>)。</P>