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