Posted on 2011-08-03 21:24
S.l.e!ep.￠% 閱讀(548)
評(píng)論(0) 編輯 收藏 引用 所屬分類(lèi):
Unix
在模板定義內(nèi)部指定類(lèi)型
除了定義數(shù)據(jù)成員或函數(shù)成員之外，類(lèi)還可以定義類(lèi)型成員。例如，標(biāo)準(zhǔn)庫(kù)的容器類(lèi)定義了不同的類(lèi)型，如 size_type，使我們能夠以獨(dú)立于機(jī)器的方式使用容器。如果要在函數(shù)模板內(nèi)部使用這樣的類(lèi)型，必須告訴編譯器我們正在使用的名字指的是一個(gè)類(lèi)型。必須顯式地這樣做，因?yàn)榫幾g器（以及程序的讀者）不能通過(guò)檢查得知，由類(lèi)型形參定義的名字何時(shí)是一個(gè)類(lèi)型何時(shí)是一個(gè)值。例如，考慮下面的函數(shù)：
???? template <class Parm, class U>
???? Parm fcn(Parm* array, U value)
???? {
???????? Parm::size_type * p; // If Parm::size_type is a type, then a declaration
????????????????????????????? // If Parm::size_type is an object, then multiplication
???? }
我們知道 size_type 必定是綁定到 Parm 的那個(gè)類(lèi)型的成員，但我們不知道 size_type 是一個(gè)類(lèi)型成員的名字還是一個(gè)數(shù)據(jù)成員的名字，默認(rèn)情況下，編譯器假定這樣的名字指定數(shù)據(jù)成員，而不是類(lèi)型。
如果希望編譯器將 size_type 當(dāng)作類(lèi)型，則必須顯式告訴編譯器這樣做：
???? template <class Parm, class U>
???? Parm fcn(Parm* array, U value)
???? {
???????? typename Parm::size_type * p; // ok: declares p to be a pointer
???? }
通過(guò)在成員名前加上關(guān)鍵字 typename 作為前綴，可以告訴編譯器將成員當(dāng)作類(lèi)型。通過(guò)編寫(xiě) typename parm::size_type，指出綁定到 Parm 的類(lèi)型的 size_type 成員是類(lèi)型的名字。當(dāng)然，這一聲明給用實(shí)例化 fcn 的類(lèi)型增加了一個(gè)職責(zé)：那些類(lèi)型必須具有名為 size_type 的成員，而且該成員是一個(gè)類(lèi)型。
如果拿不準(zhǔn)是否需要以 typename 指明一個(gè)名字是一個(gè)類(lèi)型，那么指定它是個(gè)好主意。在類(lèi)型之前指定 typename 沒(méi)有害處，因此，即使 typename 是不必要的，也沒(méi)有關(guān)系。