性質約束和性質擴展

<P>類的派生(<FONT color=#0000ff>繼承</FONT>)是面向對象程序設計方法和c++語言最重要的特征之一。</P>
4 k3 N1 Q9 m3 j; i% |3 K' b$ u6 p<P><FONT color=#0000ff>繼承</FONT>常用來表示類屬關系，不能將<FONT color=#0000ff>繼承</FONT>理解為構成關系，怎么說呢? 比如我們假設昆蟲是一個類，而蝴蝶也是一個類，這兩個類是派生(<FONT color=#0000ff>繼承</FONT>)的關系，基類是昆蟲，派生類是蝴蝶,這是一個類屬的關系，蝴蝶類是屬于昆蟲類的，但不能理解為構成關系，蝴蝶這個類不是昆蟲這個類中的成員(六足雙翅等)的簡單包括，它還有其他一些獨特的成員，而原來的成員也被重新定義(比如觸角，蝴蝶類的觸角是須狀的),這些都表明蝴蝶類是昆蟲類的一個分支而不是構成關系。</P>
: a" a) T4 Y& K1 H' n5 e7 `3 \<P>從上面的例子來理解，從現(xiàn)存類中派生出新類時，可以對派生類做如下幾種變化：</P>
<P><FONT color=#ff0000>1.可以增加新的成員變量；</FONT></P>
, i, O- e$ g  [& Z7 o<P><FONT color=#ff0000>2.可以增加新的成員函數(shù)；</FONT></P>
<P><FONT color=#ff0000>3.可以重新定義已有的成員函數(shù)；</FONT></P>
<P><FONT color=#ff0000>4.可以改變現(xiàn)有成員的屬性(訪問權限)。</FONT></P>
<P>以上允許派生類所作的變化是很廣泛的，由此我們可以用派生類對其從父類繼承來的的性質進行<FONT color=#ff0000>限制或刪除</FONT>(這就是<FONT color=#0000ff>性質約束</FONT>)，也可以對父類的性質進行<FONT color=#ff0000>增加</FONT>(這就是<FONT color=#0000ff>性質擴展</FONT>)。</P>