如果我們現在在設計一個項目
比如需要處理動物，我們會這樣設計
????????????????????? ----->?? lizard class???? 蜥蜴
class animal
?????????????????????? -----> chicken class?? 雞
class
?Animal
{
????pubulic:
?????????Animal
&
?
operator
?
=
?(
const
?Animal
&
?rhs);
?????????
}
;
class
?Lizard:
public
?Animal
{
?????
public
:
?????????Lizard
&
?
operator
=
(
const
?Lizard
&
?ths);
?????????.
}
;
class
?Chichen:
public
?Animal
{
??????
public
:
??????Chichen
&
?
operator
=
(
const
?Chichen
&
?rhs);
??????
}
;
現在我們只演示操作符
現在如果有這樣一短代碼
Animal* p1 = new Lizard;
Animal* p2 = new Chichen;
如果執行p1 = p2,只有p1的animal部分會被修改，Lizard的其他menber沒有被改變，這個是正常的部分賦值現象。
但是實際上我們不希望結果是這樣，
如果要執行繼承類的operator = 的話，你得在base class 中抽象"="
virtual Animal
&?operator?=?(const?Animal&?rhs);
同樣在繼承類中virtual ?Chicken
&?operator=(const?Chicken&?ths);
virtual ?Lizard
&??? operator=(const Lizard&?ths);????? //virtual 在繼承類中可以省略,但是仍然是抽象的，只是有了實現體而已
這樣我們就能實現p1 = p2（我們把一只雞賦給了蜥蜴，典型的異型賦值）;
雖然在 C++中有強烈的型別轉換，但是這在C++中是允許的，Animal的virtual "="為異型賦值打開了大門
我們希望當
Animal* pAnimal1= new Lizard;
Animal* pAnimal2= new Lizard;
...
*pAnimal1 =? *pAnimal2;?? //呵呵，將蜥蜴給了蜥蜴
但是我們不希望這樣的事情發生
Animal* pAnimal1= new Lizard;
Animal* pAnimal2= new Chichen;
...
*pAnimal1 =? *pAnimal2;?? //呵呵，將小雞給了蜥蜴
編譯器不能發現問題，但是在運行期會造成錯誤。
所以我們希望當出現異型賦值的時候，operator = 能對此做一個判斷
現在我們能通過 dynamic_cast實現我們的愿望
Lizard& Lizard::operator = (const Animal&? ths)
{
??????const Lizard& rhs_liz = dynamic_cast<const Lizard&>(rhs);
??????//如果轉型失敗，dynamic_cast會向外拋出Bad_cast exception
}
這個操作是可行的，但是對于每次賦值操作都是昂貴復雜的似乎有點不劃算。
所以我們可以重載下operator = ,只對右邊參數為多態形式的指針或引用做dynamic_cast的處理
而對于同型別的指針或者引用 我們則只需要進行copy,copy而已。
so ,我們得有這個:
Lizard& operator = (const Lizard& rhs);
然而對于這樣的設計，Effective C++提出了疑問，某些編譯器并沒有支持dynamic_cast,還有對于exception的捕獲大多數程序員并不是太注重這樣的設計。所以并不是最好的解決上面部分賦值的辦法。
Effective C++提供的模式是
???????????????????????????????????????????????????????????------> Lizard
再申請另外一個類AbstractAnimal???------> Animal
???????????????????????????????????????????????????????????------>?Chicken
讓AbstrctAnimal成為一個抽象類，一個無法被實體化的類，沒有任何menber function。Lizard,Animal和Chicken都繼承于AbstractAnimal.
這個設計禁止了部分賦值和異型賦值，derive class同樣可以調用base class? 的operator =;
AbstractAnimal 含有一個抽象類的必須----至少一個純虛函數。這里設計成他的Destructor.呵呵，這樣設計也是為了能很好的支持這些類的多態性，這個就不多說了。
<附:文章非轉載，內容雖然簡單，請不要砸磚頭?????????????????????????? 醬菜 2007.02.03凌晨12.30>