c++ - c++ : "Expected primary expression before ` >` token" 中的模板问题

Question

我在类里面做的项目中有以下代码。几个小时以来，我一直在处理打印语句的问题，而且我无法在 Internet 上找到我需要的东西。

这是我的模板类定义:

template <class T>
class oset {
    template <class U>
    class node { 
    .....
    };
    .....
public:
   template <class U>
    class iter {
        node<U> *pos;          // node _before_ the one with this->operator*
        // constructor is private:
        iter(node<U>* n) : pos(n) { }
    friend class oset<U>; 
    ....
    };
 private:
    iter<T> start;         // initialized in the constructors below
    iter<T> finish;        // initialized in the constructors below

 public:
    iter<T> begin() {
        return start;
    }
    iter<T> end() {
        return finish;
    }
....
};

那么我遇到的问题是打印出来的:

template <class S>
void print(oset<S>& OS) {
    for (oset<S>::iter<S> i = OS.begin(); i != OS.end(); ++i) { 
        // ^-- error is on previous line
        cout << *i << " ";
   }
   cout << endl;
}

当我尝试使用 g++ 进行编译时，出现以下错误消息:

oset.cc:276: error: expected primary-expression before ‘>’ token

oset.cc:276: error: ‘i’ was not declared in this scope

问题出在注释行。给出问题的“>” token 是第一个 i 之前的那个.由于某种原因，它不喜欢 <S> .如果我去掉 <S>它告诉我它需要一个“；”在 i 之前

老实说，我不知道是什么导致了这个问题。我感到非常沮丧，我们将不胜感激任何帮助。谢谢!

Answer 1

for (oset<S>::iter<S> i = OS.begin(); i != OS.end(); ++i) { //error this line

你必须使用 typename和 template这里:

for (typename oset<S>::template iter<S> i = OS.begin(); i != OS.end(); ++i) 

请注意，以下均无效:

oset<S>::iter<S> i              //error
typename oset<S>::iter<S> i     //error
oset<S>::template iter<S> i     //error

您的情况是您必须同时使用两个关键字:typename以及template :

typename oset<S>::template iter<S> i  //ok

@Johannes 在本主题中解释了为什么这里需要这两个关键字:

• Where and why do I have to put the "template" and "typename" keywords?

---

一些建议和改进

• 使迭代器类成为非模板。使用 T无论您在哪里使用 U在其定义中。
• 同时重命名来自 iter 的类至 iterator .让它看起来像标准容器/迭代器，这样你就可以在 <algorithm> 中定义的算法中使用它.

也就是说，你的类应该是这样的:

class iterator {
    node<T> *pos;
    iterator(node<T>* n) : pos(n) { }
    friend class oset<T>; 
};

然后在for循环，你只需要 typename作为:

typename oset<S>::iterator i //ok