兩義性及其支配規(guī)則

<P>什么是兩義性：當一個派生類是<FONT color=#0000ff>多重派生</FONT>也就是由多個基類派生而來時，假如這些基類中的成員有成員名相同的情況，<FONT color=#ff0000>如果使用一個表達式引用了這些同名的成員</FONT>，就會造成無法確定是引用哪個基類的成員，<FONT color=#ff0000>這種對基類成員的訪問就是<FONT color=#0000ff>兩義性</FONT>的</FONT>。</P>
5 O# M6 B1 \# l3 c: C% f<P>要避免在派生類定義及使用時出現兩義性的情況，我們可以使用<FONT color=#0000ff>成員名限定</FONT>來消除兩義性，也就是在成員名前<FONT color=#ff0000>用對象名及基類名來限定</FONT>，如：</P>
<P>obj.A::func( );//A的func( );</P>
9 g; x/ l1 j, T: k7 K5 |" a<P>obj.B::func( );//B的func( );</P>
<P><B>C++作用域規(guī)則</B>：就是當基類中的成員名字在派生類中再次聲明，則派生類中的名字就屏蔽掉基類中相應的名字(也就是派生類的自定義成員與基類成員同名時，派生類的成員優(yōu)先)。那么如果要使用被屏蔽的成員呢? 這就要由作用<FONT color=#0000ff>域分辨操作符</FONT>實現了。它的形式是 <FONT color=#0000ff>類名 ：：類標識符</FONT> 。作用域分辨不僅可以用在<FONT color=#0000ff>類</FONT>中，而且可以用在<FONT color=#0000ff>函數調用</FONT>時。</P>
<P><FONT face=黑體>支配規(guī)則</FONT>：課本上的定義是：類X中的名字N支配類中同名的名字N，是指類Y為它的一個基類，這稱為支配規(guī)則。我們可以理解為一個派生類中的名字將優(yōu)先于與它的基類中相同的名字。這時二者之間不存在兩義性，當選擇該名字時，使用支配者(派生類中)的名字 。支配規(guī)則是對名字而言的。 </P>
<P>如果一個<FONT color=#0000ff>派生類</FONT>從<FONT color=#ff0000>多個基類</FONT>中派生，而這些基類又有一個<FONT color=#ff0000>共同的基類</FONT>，則在這個派生類中<FONT color=#ff0000>訪問這個共同基類</FONT>中的成員時會產生<FONT color=#0000ff>兩義性</FONT>。</P>
8 K3 e, m5 Q( w3 |$ e" Z<P>為了避免兩義性，應使用<FONT color=#0000ff>作用域分辨操作符</FONT>來實現。一般只有在派生類中使用的標識符與基類中的標識符時，才有必要使用作用域分辨符進行存取。</P>