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

<P>什么是兩義性：當(dāng)一個(gè)派生類(lèi)是<FONT color=#0000ff>多重派生</FONT>也就是由多個(gè)基類(lèi)派生而來(lái)時(shí)，假如這些基類(lèi)中的成員有成員名相同的情況，<FONT color=#ff0000>如果使用一個(gè)表達(dá)式引用了這些同名的成員</FONT>，就會(huì)造成無(wú)法確定是引用哪個(gè)基類(lèi)的成員，<FONT color=#ff0000>這種對(duì)基類(lèi)成員的訪問(wèn)就是<FONT color=#0000ff>兩義性</FONT>的</FONT>。</P>
<P>要避免在派生類(lèi)定義及使用時(shí)出現(xiàn)兩義性的情況，我們可以使用<FONT color=#0000ff>成員名限定</FONT>來(lái)消除兩義性，也就是在成員名前<FONT color=#ff0000>用對(duì)象名及基類(lèi)名來(lái)限定</FONT>，如：</P>
<P>obj.A::func( );//A的func( );</P>
6 k1 Z- V7 Q) O# }<P>obj.B::func( );//B的func( );</P>
& p5 N+ `& D" g! S0 {<P><B>C++作用域規(guī)則</B>：就是當(dāng)基類(lèi)中的成員名字在派生類(lèi)中再次聲明，則派生類(lèi)中的名字就屏蔽掉基類(lèi)中相應(yīng)的名字(也就是派生類(lèi)的自定義成員與基類(lèi)成員同名時(shí)，派生類(lèi)的成員優(yōu)先)。那么如果要使用被屏蔽的成員呢? 這就要由作用<FONT color=#0000ff>域分辨操作符</FONT>實(shí)現(xiàn)了。它的形式是 <FONT color=#0000ff>類(lèi)名 ：：類(lèi)標(biāo)識(shí)符</FONT> 。作用域分辨不僅可以用在<FONT color=#0000ff>類(lèi)</FONT>中，而且可以用在<FONT color=#0000ff>函數(shù)調(diào)用</FONT>時(shí)。</P>
: F* r" a4 k5 x  x5 y+ f4 P<P><FONT face=黑體>支配規(guī)則</FONT>：課本上的定義是：類(lèi)X中的名字N支配類(lèi)中同名的名字N，是指類(lèi)Y為它的一個(gè)基類(lèi)，這稱(chēng)為支配規(guī)則。我們可以理解為一個(gè)派生類(lèi)中的名字將優(yōu)先于與它的基類(lèi)中相同的名字。這時(shí)二者之間不存在兩義性，當(dāng)選擇該名字時(shí)，使用支配者(派生類(lèi)中)的名字 。支配規(guī)則是對(duì)名字而言的。 </P>
* {1 e) m5 x& d0 g<P>如果一個(gè)<FONT color=#0000ff>派生類(lèi)</FONT>從<FONT color=#ff0000>多個(gè)基類(lèi)</FONT>中派生，而這些基類(lèi)又有一個(gè)<FONT color=#ff0000>共同的基類(lèi)</FONT>，則在這個(gè)派生類(lèi)中<FONT color=#ff0000>訪問(wèn)這個(gè)共同基類(lèi)</FONT>中的成員時(shí)會(huì)產(chǎn)生<FONT color=#0000ff>兩義性</FONT>。</P>
( X6 W! H/ _8 Z) \; F* K) Q$ [4 C<P>為了避免兩義性，應(yīng)使用<FONT color=#0000ff>作用域分辨操作符</FONT>來(lái)實(shí)現(xiàn)。一般只有在派生類(lèi)中使用的標(biāo)識(shí)符與基類(lèi)中的標(biāo)識(shí)符時(shí)，才有必要使用作用域分辨符進(jìn)行存取。</P>