[原創(chuàng)文章歡迎轉(zhuǎn)載，但請(qǐng)保留作者信息]
Justin?
于 2010-03-04
話(huà)說(shuō)看書(shū)看到第七章，大師開(kāi)始講模板。
第
41
課首先要講的是：面向?qū)ο?/span>
(OO)
編程強(qiáng)調(diào)的是具體的接口和運(yùn)行時(shí)的多態(tài)；而模板編程恰恰相反，側(cè)重于模糊的接口以及編譯期的多態(tài)。
具體的接口
(explicit interface)
有著具體的類(lèi)型
(
包括參數(shù)的，內(nèi)部變量的，返回值的等等
)
，這些類(lèi)型被大師稱(chēng)為接口的特征
(signature)
；而模糊的接口卻沒(méi)有這些限制，取而代之的是表達(dá)式
(expression)
。
運(yùn)行時(shí)的多態(tài)由虛擬機(jī)制而生，對(duì)象的運(yùn)行時(shí)類(lèi)型決定了真正得到執(zhí)行的函數(shù)
/
接口
/
方法是什么；這和編譯期的多態(tài)有些類(lèi)似，不過(guò)后者多態(tài)特性是在程序編譯期間呈現(xiàn)的：不同的模板參數(shù)決定了不同的函數(shù)會(huì)被調(diào)用。
例子就不舉了，如果不清楚什么是模板，那么最好
Google
一下，會(huì)有一堆的入門(mén)讀物。(哦對(duì)了，不知道現(xiàn)在Google是否會(huì)需要翻墻……)
OK
，下一課吧。
42
課的中心思想是
typename
的兩重意義。
下面的課前作業(yè)做了沒(méi)？template?<class?T>?class?TClass1;
template?<typename?T>?class?TClass2;
TClass1
和
TClass2
有什么區(qū)別？
答案是沒(méi)有區(qū)別。因?yàn)楫?dāng)定義模板參數(shù)時(shí)，用
class
和
typename
是沒(méi)有差異的。
既然用了兩個(gè)不同的名字，自然會(huì)有不一樣的地方。
下面便是一處應(yīng)該用
typename
而不能用
class
的情形：
由于模板的中接口的模糊性質(zhì)，下面的函數(shù)模板便有了這樣那樣的問(wèn)題：
見(jiàn)下面的程序片段：T::name
的本意可能是模板
T
所指代的類(lèi)中的
name
類(lèi)型，而
pName
就是指向這種類(lèi)型對(duì)象的指針。
但是模板中的接口是模糊的，所以同樣的模板會(huì)因?yàn)?/span>
T
的不同而產(chǎn)出不一樣的實(shí)際代碼。如果
T
::
name
不是一個(gè)類(lèi)型，而是
T
的一個(gè)成員，然后如果人品真的很差，
pName
是一個(gè)全局變量，這一句就變成了將
T::name
和
pName
相乘！
(
看到這里不得不佩服大師舉例子的能力，這樣都想得到
……)template?<typename?T>
void?TFunc()
{
?? T::name?*?pName;?//?this?won't?even?compile
?? //?and?it?should?be
?? //?typename?T::name?*?pName;
?? //..
}
會(huì)發(fā)生這種慘案的原因是因?yàn)?/span>
C++
在這種情形下，如果沒(méi)有顯式聲明，就默認(rèn)
T::name
不是個(gè)類(lèi)型。于是這個(gè)時(shí)候就需要
typename
來(lái)顯式地告訴編譯器這個(gè)其實(shí)是個(gè)類(lèi)型而非其他東東。當(dāng)然，在這里
class
是無(wú)法替代
typename
的作用的。
書(shū)中把上面的情況用語(yǔ)法來(lái)描述：
typename
必須放在前面修飾
“
嵌套從屬類(lèi)型名
”(nested dependent type name)
。
個(gè)人覺(jué)得太拗口難記，所以還是記著上面的例子好了。
不過(guò)這個(gè)規(guī)定也還是有個(gè)例外，那就是
typename
作用于
“
嵌套從屬類(lèi)型名
”
時(shí)不能用于
(1)
基類(lèi)列表，以及
(2)
成員初始化列表中。如下所示template?<typename?T>
class?TClass():public?BClass<T>::NestedClass
//?????????????---------------------->?(1)no?typename?is?needed,?nor?allowed
{
???explicit?TClass(int?x)?:?BClass<T>::NestedClass(x)
//??????????????????????????------------------------->?(2)no?typename?is?needed,?nor?allowed
???{
??????//..
???}
???//..
};
如果覺(jué)得這種用法會(huì)打很多字
(@#
￥
%)
，
可以用
typedef
來(lái)減少一點(diǎn)工作量，改寫(xiě)后的例子是這樣的：template?<typename?T>
void?TFunc()
{
???typedef?typename?T::name?*?pTname;
???//ok,?now?we?can?do?this:
???pTname?pname1;
???pTname?pname2;
//..
}