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

<P>什么是兩義性：當(dāng)一個(gè)派生類是<FONT color=#0000ff>多重派生</FONT>也就是由多個(gè)基類派生而來(lái)時(shí)，假如這些基類中的成員有成員名相同的情況，<FONT color=#ff0000>如果使用一個(gè)表達(dá)式引用了這些同名的成員</FONT>，就會(huì)造成無(wú)法確定是引用哪個(gè)基類的成員，<FONT color=#ff0000>這種對(duì)基類成員的訪問(wèn)就是<FONT color=#0000ff>兩義性</FONT>的</FONT>。</P>
" q( V- C9 D4 ?- T5 p7 ^<P>要避免在派生類定義及使用時(shí)出現(xiàn)兩義性的情況，我們可以使用<FONT color=#0000ff>成員名限定</FONT>來(lái)消除兩義性，也就是在成員名前<FONT color=#ff0000>用對(duì)象名及基類名來(lái)限定</FONT>，如：</P>
0 l8 B% A5 f; v+ ^<P>obj.A::func( );//A的func( );</P>
% H0 z" u5 g# K. s, V3 n<P>obj.B::func( );//B的func( );</P>
<P><B>C++作用域規(guī)則</B>：就是當(dāng)基類中的成員名字在派生類中再次聲明，則派生類中的名字就屏蔽掉基類中相應(yīng)的名字(也就是派生類的自定義成員與基類成員同名時(shí)，派生類的成員優(yōu)先)。那么如果要使用被屏蔽的成員呢? 這就要由作用<FONT color=#0000ff>域分辨操作符</FONT>實(shí)現(xiàn)了。它的形式是 <FONT color=#0000ff>類名 ：：類標(biāo)識(shí)符</FONT> 。作用域分辨不僅可以用在<FONT color=#0000ff>類</FONT>中，而且可以用在<FONT color=#0000ff>函數(shù)調(diào)用</FONT>時(shí)。</P>
5 p7 p0 q1 J' R4 F7 j; p<P><FONT face=黑體>支配規(guī)則</FONT>：課本上的定義是：類X中的名字N支配類中同名的名字N，是指類Y為它的一個(gè)基類，這稱為支配規(guī)則。我們可以理解為一個(gè)派生類中的名字將優(yōu)先于與它的基類中相同的名字。這時(shí)二者之間不存在兩義性，當(dāng)選擇該名字時(shí)，使用支配者(派生類中)的名字 。支配規(guī)則是對(duì)名字而言的。 </P>
" d# A$ L3 l/ R2 Q$ F<P>如果一個(gè)<FONT color=#0000ff>派生類</FONT>從<FONT color=#ff0000>多個(gè)基類</FONT>中派生，而這些基類又有一個(gè)<FONT color=#ff0000>共同的基類</FONT>，則在這個(gè)派生類中<FONT color=#ff0000>訪問(wèn)這個(gè)共同基類</FONT>中的成員時(shí)會(huì)產(chǎn)生<FONT color=#0000ff>兩義性</FONT>。</P>
<P>為了避免兩義性，應(yīng)使用<FONT color=#0000ff>作用域分辨操作符</FONT>來(lái)實(shí)現(xiàn)。一般只有在派生類中使用的標(biāo)識(shí)符與基類中的標(biāo)識(shí)符時(shí)，才有必要使用作用域分辨符進(jìn)行存取。</P>