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