|
在下面的 template declarations（模板聲明）中 class 和 typename 有什么不同？
template class Widget; // uses "class"
template class Widget; // uses "typename"
答案：沒什么不同。在聲明一個 template type parameter（模板類型參數）的時候，class 和 typename 意味著完全相同的東西。一些程序員更喜歡在所有的時間都用 class，因為它更容易輸入。其他人（包括我本人）更喜歡 typename，因為它暗示著這個參數不必要是一個 class type（類類型）。少數開發者在任何類型都被允許的時候使用 typename，而把 class 保留給僅接受 user-defined types（用戶定義類型）的場合。但是從 C++ 的觀點看，class 和 typename 在聲明一個 template parameter（模板參數）時意味著完全相同的東西。
然而，C++ 并不總是把 class 和 typename 視為等同的東西。有時你必須使用 typename。為了理解這一點，我們不得不討論你會在一個 template（模板）中涉及到的兩種名字。
假設我們有一個函數的模板，它能取得一個 STL-compatible container（STL 兼容容器）中持有的能賦值給 ints 的對象。進一步假設這個函數只是簡單地打印它的第二個元素的值。它是一個用糊涂的方法實現的糊涂的函數，而且就像我下面寫的，它甚至不能編譯，但是請將這些事先放在一邊——有一種方法能發現我的愚蠢：
template // print 2nd element in
void print2nd(const C& container) // container;
{
// this is not valid C++!
if (container.size() >= 2) {
C::const_iterator iter(container.begin()); // get iterator to 1st element
++iter; // move iter to 2nd element
int value = *iter; // copy that element to an int
std::cout < value;="" print="" the="" int="">
}
}
我突出了這個函數中的兩個 local variables（局部變量），iter 和 value。iter 的類型是 C::const_iterator，一個依賴于 template parameter（模板參數）C 的類型。一個 template（模板）中的依賴于一個 template parameter（模板參數）的名字被稱為 dependent names（依賴名字）。當一個 dependent names（依賴名字）嵌套在一個 class（類）的內部時，我稱它為 nested dependent name（嵌套依賴名字）。C::const_iterator 是一個 nested dependent name（嵌套依賴名字）。實際上，它是一個 nested dependent type name（嵌套依賴類型名），也就是說，一個涉及到一個 type（類型）的 nested dependent name（嵌套依賴名字）。
print2nd 中的另一個 local variable（局部變量）value 具有 int 類型。int 是一個不依賴于任何 template parameter（模板參數）的名字。這樣的名字以 non-dependent names（非依賴名字）聞名。（我想不通為什么他們不稱它為 independent names（無依賴名字）。如果，像我一樣，你發現術語 "non-dependent" 是一個令人厭惡的東西，你就和我產生了共鳴，但是 "non-dependent" 就是這類名字的術語，所以，像我一樣，轉轉眼睛放棄你的自我主張。）
nested dependent name（嵌套依賴名字）會導致解析困難。例如，假設我們更加愚蠢地以這種方法開始 print2nd：
template
void print2nd(const C& container)
{
C::const_iterator * x;
...
}
這看上去好像是我們將 x 聲明為一個指向 C::const_iterator 的 local variable（局部變量）。但是它看上去如此僅僅是因為我們知道 C::const_iterator 是一個 type（類型）。但是如果 C::const_iterator 不是一個 type（類型）呢？如果 C 有一個 static data member（靜態數據成員）碰巧就叫做 const_iterator 呢？再如果 x 碰巧是一個 global variable（全局變量）的名字呢？在這種情況下，上面的代碼就不是聲明一個 local variable（局部變量），而是成為 C::const_iterator 乘以 x！當然，這聽起來有些愚蠢，但它是可能的，而編寫 C++ 解析器的人必須考慮所有可能的輸入，甚至是愚蠢的。
在下面的 template declarations（模板聲明）中 class 和 typename 有什么不同？
template class Widget; // uses "class"
template class Widget; // uses "typename"
答案：沒什么不同。在聲明一個 template type parameter（模板類型參數）的時候，class 和 typename 意味著完全相同的東西。一些程序員更喜歡在所有的時間都用 class，因為它更容易輸入。其他人（包括我本人）更喜歡 typename，因為它暗示著這個參數不必要是一個 class type（類類型）。少數開發者在任何類型都被允許的時候使用 typename，而把 class 保留給僅接受 user-defined types（用戶定義類型）的場合。但是從 C++ 的觀點看，class 和 typename 在聲明一個 template parameter（模板參數）時意味著完全相同的東西。
然而，C++ 并不總是把 class 和 typename 視為等同的東西。有時你必須使用 typename。為了理解這一點，我們不得不討論你會在一個 template（模板）中涉及到的兩種名字。
[1] [2] 下一頁
| 
