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 } }
這看上去似乎是我們將 x 聲明為一個(gè)指向 C::const_iterator 的 local variable（局部變量）。但是它看上去如此僅僅是因?yàn)槲覀冎?C::const_iterator 是一個(gè) type（類型）。但是假如 C::const_iterator 不是一個(gè) type（類型）呢？假如 C 有一個(gè) static data member（靜態(tài)數(shù)據(jù)成員）碰巧就叫做 const_iterator 呢？再假如 x 碰巧是一個(gè) global variable（全局變量）的名字呢？在這種情況下，上面的代碼就不是聲明一個(gè) local variable（局部變量），而是成為 C::const_iterator 乘以 x！當(dāng)然，這聽起來(lái)有些愚蠢，但它是可能的，而編寫 C++ 解析器的人必須考慮所有可能的輸入，甚至是愚蠢的。
在下面的 template declarations（模板聲明）中 class 和 typename 有什么不同？
template class Widget; // uses "class" template class Widget; // uses "typename"
答案：沒什么不同。在聲明一個(gè) template type parameter（模板類型參數(shù)）的時(shí)候，class 和 typename 意味著完全相同的東西。一些程序員更喜歡在所有的時(shí)間都用 class，因?yàn)樗p易輸入。其他人（包括我本人）更喜歡 typename，因?yàn)樗凳局@個(gè)參數(shù)不必要是一個(gè) class type（類類型）。少數(shù)開發(fā)者在任何類型都被答應(yīng)的時(shí)候使用 typename，而把 class 保留給僅接受 user-defined types（用戶定義類型）的場(chǎng)合。但是從 C++ 的觀點(diǎn)看，class 和 typename 在聲明一個(gè) template parameter（模板參數(shù)）時(shí)意味著完全相同的東西。
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 } }
這看上去似乎是我們將 x 聲明為一個(gè)指向 C::const_iterator 的 local variable（局部變量）。但是它看上去如此僅僅是因?yàn)槲覀冎?C::const_iterator 是一個(gè) type（類型）。但是假如 C::const_iterator 不是一個(gè) type（類型）呢？假如 C 有一個(gè) static data member（靜態(tài)數(shù)據(jù)成員）碰巧就叫做 const_iterator 呢？再假如 x 碰巧是一個(gè) global variable（全局變量）的名字呢？在這種情況下，上面的代碼就不是聲明一個(gè) local variable（局部變量），而是成為 C::const_iterator 乘以 x！當(dāng)然，這聽起來(lái)有些愚蠢，但它是可能的，而編寫 C++ 解析器的人必須考慮所有可能的輸入，甚至是愚蠢的。
在下面的 template declarations（模板聲明）中 class 和 typename 有什么不同？
template class Widget; // uses "class" template class Widget; // uses "typename"
答案：沒什么不同。在聲明一個(gè) template type parameter（模板類型參數(shù)）的時(shí)候，class 和 typename 意味著完全相同的東西。一些程序員更喜歡在所有的時(shí)間都用 class，因?yàn)樗p易輸入。其他人（包括我本人）更喜歡 typename，因?yàn)樗凳局@個(gè)參數(shù)不必要是一個(gè) class type（類類型）。少數(shù)開發(fā)者在任何類型都被答應(yīng)的時(shí)候使用 typename，而把 class 保留給僅接受 user-defined types（用戶定義類型）的場(chǎng)合。但是從 C++ 的觀點(diǎn)看，class 和 typename 在聲明一個(gè) template parameter（模板參數(shù)）時(shí)意味著完全相同的東西。
然而，C++ 并不總是把 class 和 typename 視為等同的東西。有時(shí)你必須使用 typename。為了理解這一點(diǎn)，我們不得不討論你會(huì)在一個(gè) template（模板）中涉及到的兩種名字。
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 } }
這看上去似乎是我們將 x 聲明為一個(gè)指向 C::const_iterator 的 local variable（局部變量）。但是它看上去如此僅僅是因?yàn)槲覀冎?C::const_iterator 是一個(gè) type（類型）。但是假如 C::const_iterator 不是一個(gè) type（類型）呢？假如 C 有一個(gè) static data member（靜態(tài)數(shù)據(jù)成員）碰巧就叫做 const_iterator 呢？再假如 x 碰巧是一個(gè) global variable（全局變量）的名字呢？在這種情況下，上面的代碼就不是聲明一個(gè) local variable（局部變量），而是成為 C::const_iterator 乘以 x！當(dāng)然，這聽起來(lái)有些愚蠢，但它是可能的，而編寫 C++ 解析器的人必須考慮所有可能的輸入，甚至是愚蠢的。
