性質(zhì)約束和性質(zhì)擴展

<P>類的派生(<FONT color=#0000ff>繼承</FONT>)是面向?qū)ο蟪绦蛟O(shè)計方法和c++語言最重要的特征之一。</P>
<P><FONT color=#0000ff>繼承</FONT>常用來表示類屬關(guān)系，不能將<FONT color=#0000ff>繼承</FONT>理解為構(gòu)成關(guān)系，怎么說呢? 比如我們假設(shè)昆蟲是一個類，而蝴蝶也是一個類，這兩個類是派生(<FONT color=#0000ff>繼承</FONT>)的關(guān)系，基類是昆蟲，派生類是蝴蝶,這是一個類屬的關(guān)系，蝴蝶類是屬于昆蟲類的，但不能理解為構(gòu)成關(guān)系，蝴蝶這個類不是昆蟲這個類中的成員(六足雙翅等)的簡單包括，它還有其他一些獨特的成員，而原來的成員也被重新定義(比如觸角，蝴蝶類的觸角是須狀的),這些都表明蝴蝶類是昆蟲類的一個分支而不是構(gòu)成關(guān)系。</P>
% j3 G; u/ H7 V+ f6 L- |<P>從上面的例子來理解，從現(xiàn)存類中派生出新類時，可以對派生類做如下幾種變化：</P>
<P><FONT color=#ff0000>1.可以增加新的成員變量；</FONT></P>
<P><FONT color=#ff0000>2.可以增加新的成員函數(shù)；</FONT></P>
" c0 ^' g; U" y( R8 Z6 L1 i<P><FONT color=#ff0000>3.可以重新定義已有的成員函數(shù)；</FONT></P>
) b# e2 r9 v; y4 \+ Z3 F% A+ s<P><FONT color=#ff0000>4.可以改變現(xiàn)有成員的屬性(訪問權(quán)限)。</FONT></P>
, I8 J8 E0 v1 j<P>以上允許派生類所作的變化是很廣泛的，由此我們可以用派生類對其從父類繼承來的的性質(zhì)進行<FONT color=#ff0000>限制或刪除</FONT>(這就是<FONT color=#0000ff>性質(zhì)約束</FONT>)，也可以對父類的性質(zhì)進行<FONT color=#ff0000>增加</FONT>(這就是<FONT color=#0000ff>性質(zhì)擴展</FONT>)。</P>