[原創(chuàng)文章歡迎轉(zhuǎn)載，但請保留作者信息]
Justin 于 2010－03－24
首先看一個(gè)例子：
templatetypename?T>
class?TBase
{
???public:
??????void?HeyIhaveOneMillionDollar();
??????void?HeyIOwnABenz();
//..
};
templatetypename?T>
class?Derived?:?public?TBaseT>
{
???public:
??????void?DaddySays()
??????{
?????????//..
?????????HeyIOwnABenz();
?????????//..
??????}
//..
};
這樣的代碼是通不過編譯的，問題在DaddySays()中調(diào)用的HayIOwnABenz()：
咋一看貌似很正常，Derived繼承了父類TBase，就應(yīng)該可以用老爸的資產(chǎn)；可是問題在于這個(gè)老爸不簡單：TBase是模板類。對于模板類來說，有一種東西叫做模板的特化。(
這里和
這里都有提到過)
一言蓋之，個(gè)人認(rèn)為可以理解為模板的重載。比如說下面的一個(gè)“徹底的重載”，TBase的全特化：
template<>
class?TBasechar>
{
???public:
??????void?WellIHaveOnlyOnePenny();
};
專為char類型全特化的TBase沒有了HeyIHaveOneMillionDollar()也沒有HeyIOwnABenz(), 只有一個(gè)WellIHaveOnlyOnePenny()。在這種情況下，Derived類中DaddySays()的實(shí)現(xiàn)就顯然有問題了：這個(gè)“重載”老爸的資產(chǎn)不是原來的那么富有了！
于是，為了避免以上情況的發(fā)生，編譯器采取了保守的做法：不能通過編譯。
完了，老爸都不可靠，俺還能靠誰……靠大師！大師在這個(gè)時(shí)候出現(xiàn)了，還指出了三條出路：
1. 用->。
templatetypename?T>
class?Derived?:?public?TBaseT>
{
???public:
??????void?DaddySays()
??????{
?????????//..
?????????this->HeyIOwnABenz();
?????????//..
??????}
//..
};
2. 用using。
templatetypename?T>
class?Derived?:?public?TBaseT>
{
???public:
??????using?TBaseT>::HeyIOwnABenz;
??????void?DaddySays()
??????{
?????????//..
?????????HeyIOwnABenz();
?????????//..
??????}
//..
};
3.顯式聲明。大師補(bǔ)充說明這種方法最好不用，因?yàn)槿绻徽{(diào)用的是虛函數(shù)，那么如此顯式的聲明會使得虛擬機(jī)制的動態(tài)綁定失效。
templatetypename?T>
class?Derived?:?public?TBaseT>
{
???public:
??????void?DaddySays()
??????{
?????????//..
?????????TBaseT>::HeyIOwnABenz();
?????????//..
??????}
//..
};
問題得以解決，不過有點(diǎn)莫名其妙。個(gè)人認(rèn)為是用來唬編譯器用的：“我的“老爸”真的有這個(gè)接口！！”
只有當(dāng)父類真的有提供相應(yīng)的接口，才不會有問題，否則還是過得了初一過不了十五@#￥%
因?yàn)椋绻娴挠邢旅娴某绦颍詈筮€是無法編譯通過。
TBasechar>?PoorDaddy;
PoorDaddy.DaddySays();?//?won't?compile,?as?PoorDaddy?don't?have?the?interface?named?HeyIOwnABenz()