使用typename作爲模板參數

Question

我想寫一個函數來打印C++中的std列表。對於模板函數，T不能用作模板參數嗎？

template <typename T> 
void printlist(list<T> a) 
{ 
    list<T>::iterator i; 
    for (i=a.begin(); i!=a.end(); ++i) 
     cout<<*i<<" "; 
} 

Answer 1

好像你正在使用C++ 03的標準，其中，以解析C++程序，編譯器需要知道某些名他們的名稱是否類型或非類型。

作爲修復您的問題，您需要list<T>::iterator之前添加typename，使其工作

template <typename T> 
void printlist(list<T> a) 
{ 
    typename list<T>::iterator i; 
    for (i=a.begin(); i!=a.end(); ++i) 
     cout << *i << " "; 
} 

Answer 2

你確定模板名稱list解析爲std::list？

編輯：你忘了typename關鍵字。編譯器錯誤消息幾乎總是會說「依賴類型所需的類型名稱」。這突顯了在發佈問題時需要包含錯誤消息。

其他反饋：

• 這不是構建像我一個迭代器，再後來初始化很好的做法。 最好寫list<T>::iterator i = a.begin();這可能是你的for循環的一部分。
• 您可以使用const_iterator
• 您正在按值傳遞一個列表，而不是通過const引用。換句話說，這個聲明會更好：void printlist(const std::list<T>& a)

Answer 3

的代碼大多是合法的。一些編譯器可能會接受它。但是，寫它通過以下方式是一定要工作（假設你有using namespace std定義）：

template <typename T> 
void printlist(list<T> a) 
{ 
    typename list<T>::iterator i; 
    for (i=a.begin(); i!=a.end(); ++i) 
     cout<<*i<<" "; 
} 

爲了提高效率，你應該通過在列表中的const引用：

template <typename T> 
void printlist(const list<T>& a) 
{ 
    typename list<T>::const_iterator i; 
    for (i=a.begin(); i!=a.end(); ++i) 
     cout<<*i<<" "; 
} 

但是，有一個STL算法已經爲你做了這個。假設你想打印出一個整數列表，只寫：

copy(a.begin(), a.end(), ostream_iterator<int>(cout, " ")); 

只是適當的元素類型更換int。注意：此算法適用於任何序列。