使用类型名作为模板参数

Use typename as template argument

本文关键字:参数 类型      更新时间:2023-10-16

我正在尝试编写一个函数来打印 std 列表C++。对于模板函数,T 不能用作模板参数是真的吗?

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

代码大多是合法的。 一些编译器可能会接受它...但是,按以下方式编写它肯定会起作用(假设您已经定义了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<<" ";
}

为了提高效率,您应该将列表作为常量引用传入:

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替换为适当的元素类型即可。 注意:此算法适用于任何序列。

似乎您正在使用 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 << " ";
}

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

编辑:您忘记了类型名称关键字。 编译器错误消息几乎总是显示"依赖类型所需的类型名"。 这强调了在发布有关问题时包含错误消息的必要性。

其他反馈:

  • 构造像 i 这样的迭代器,然后稍后对其进行初始化,这不是好的做法。最好写list<T>::iterator i = a.begin(); 这可能是您for循环的一部分。
  • 您可以使用const_iterator
  • 您是按值传递列表,而不是按常量引用传递列表。 换句话说,这个宣言会更好:void printlist(const std::list<T>& a)