为什么我不能创建这样的模板函数？ [复制]

Question

我试图使用如下辅助函数打印vector<int>：

这不起作用 -

template<class T>
void print(const std::vector<T>& v)
{
    std::vector<T>::const_iterator i;
    for (i = v.begin(); i != v.end(); i++)
        std::cout << *i << "  ";
    std::cout << std::endl;
}

编辑：我明白了。

但这有效 -

template<class T>
void print(const std::vector<T>& v)
{
    // changed std::vector<T> to std::vector<int>
    std::vector<int>::const_iterator i;
    for (i = v.begin(); i != v.end(); i++)
        std::cout << *i << "  ";
    std::cout << std::endl;
}

我想问以下问题：

• 为什么第一个不起作用，第二个起作用？
• 有哪些替代方法可以为相同的功能编写函数？ 附言我不希望在函数内部更改任何元素。我想这可以使用 for_each() 算法来完成。但我不确定如何为其编写谓词。

Answer 1

你应该使用

typename std::vector<T>::const_iterator i;

让它工作（正如编译器在错误消息中告诉你的那样）。

const_iterator 在第一种情况下是依赖于模板的名称，因此您必须使用关键字来消除歧义。

请点击 Joachim Pileborg 评论中的链接以获得良好的解释。

Answer 2

std::vector<T>::const_iterator是依赖名，需要在前面加上typename：

typename std::vector<T>::const_iterator i;

或者直接这样写：

for (auto it  = v.begin(); it != v.end(); ++it) {
    std::cout << *it << "  ";
}

或者

for (auto const& e : v) 
{
   cout << e << "\n";
}
std::cout << std::endl;

什么是依赖名称：

以某种方式依赖于模板参数的名称。当然，任何明确包含模板参数的限定或非限定名称都是依赖的。此外，如果访问运算符左侧的表达式类型取决于模板参数，则由成员访问运算符（. 或 ->）限定的限定名称是依赖的。特别是，this->b 中的 b 在出现在模板中时是一个从属名称。最后，在 ident(x, y, z) 形式的调用中的标识符 ident 当且仅当任何参数表达式具有依赖于模板参数的类型时，它才是依赖名称。

Answer 3

• 为什么第一个不起作用，第二个起作用？

因为你忽略了错误

typename std::vector<T>::const_iterator i;
^^^Use typename

• 有哪些替代方法可以为相同的功能编写函数？附言我不希望在函数内部更改任何元素。我想这可以使用 for_each() 算法来完成。但我不确定如何为其编写谓词。

struct foo{
    void operator()(const int &i) const{
        std::cout<<i<<"  ";
    }
}
for_each(v.begin(), v.end(),foo());