c++ - Use typename as template argument

Question

I am trying to write a function to print std list in C++. Is it true that for template function, T cannot be used as template argument?

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

Answer 1

该代码大部分是合法的。一些编译器可能会接受它......但是，按照以下方式编写它肯定会起作用（假设您已经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为适当的元素类型。注意：此算法适用于任何序列。

Answer 2

似乎您正在使用 C++03 标准，为了解析 C++ 程序，编译器需要知道某些名称是类型还是非类型。

作为解决您的问题的方法，您需要先添加typename才能list<T>::iterator使其正常工作

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

Answer 3

您确定模板名称list解析为std::list吗？

编辑：您忘记了 typename 关键字。编译器错误消息几乎总是说“依赖类型所需的类型名”。这强调了在发布问题时需要包含错误消息。

其他反馈：

• 构造一个像 i 这样的迭代器然后再初始化它不是一个好习惯。最好写list<T>::iterator i = a.begin(); 这可能是你for循环的一部分。
• 你可以使用 const_iterator
• 您正在按值传递列表，而不是通过 const 引用。换句话说，这个声明会更好： void printlist(const std::list<T>& a)