奇怪的行为？ [复制]

Question

可能重复：
Where and why do I have to put the “template” and “typename” keywords?

我（不得不 :)）几周前成为了一名 C++ 开发人员（我之前有过一些经验，但不是太多，我更多的是在 Java 中），试图学习所有重要的东西并像开发一样高效我可以。如果我的问题完全愚蠢，请原谅。我对一个简单的示例模板类有疑问：

template<typename T>
class SameCounter {
private:
    map<T,int> counted;
public:
    SameCounter(list<T> setup) {
        for(list<T>::iterator it = setup.begin(); it != setup.end(); it++) {
            counted[*it]++;
        }
    }
    map<T,int>::const_iterator& begin() { // line 25
        return counted.begin();
    }
    map<T,int>::const_iterator& end() {
        return counted.end();
    }
};

...
// using the class
Reader rdr;
rdr.Read();
SameCounter<char> sc(rdr.GetData());

我在编译时遇到了一些错误：

Error   3   error C4430: missing type specifier - int assumed. Note: C++ does not support default-int   d:\learn_cpp\examples\gyakorlas_1.cpp   25
Error   2   error C2143: syntax error : missing ';' before '&'  d:\learn_cpp\examples\gyakorlas_vizsga\gyakorlas_1.cpp  25

(both of them twice)

我对此一无所知，我假设的模板可能有问题，因为如果我将 SameCounter 创建为普通类，那完全没问题。谢谢你的帮助。

Answer 1

这应该对你有帮助：

typename map<T,int>::const_iterator& begin() {
    return counted.begin();
}
typename map<T,int>::const_iterator& end() {
    return counted.end();
}

C++ 模板很棘手。 T 是一个模板参数，map<T, int>::const_iterator 可能意味着不同的东西（类型名称，还有 - 比如说 - 静态成员......），具体取决于您传递的 T。

这就是为什么在模板中有时您需要明确您的意图并表明您实际上的意思是“const_iterator 是一种类型，我想要引用它”。关键字“typename”允许这样做。

见：http://pages.cs.wisc.edu/~driscoll/typename.html

---

为了使您的代码更简单并避免减少对typename 的需求，您可以从以下开始：

private:
    typedef std::map<T, int> MapType;
    MapType counted;

然后就跟着去

typename MapType::const_iterator &begin() {

不幸的是，这个typename 仍然需要在这里，您需要进一步为每个依赖类型提供typedef typename 才能将其从进一步的声明中删除（请参阅@rhalbersma 的答案）。 p>

---

根据@rhalbersma 的评论，我还要强调您应该按值返回这些迭代器。返回对临时对象的引用会导致未定义的行为，因为对象超出了范围，您最终会得到一个“悬空引用”。

那就去做吧：

typename MapType::const_iterator begin() {

Answer 2

我已经在下面注释了您的课程。有几点值得一提：

  template<typename T>
  class SameCounter 
  {
  private:
     typedef map<T,int> MapType; // typedef here to keep specific container in a single place
     typedef typename MapType::const_iterator const_iterator; // to avoid retyping "typename"
     typedef typename MapType::iterator iterator; // to avoid retyping typename
     MapType counted;
  public:
     SameCounter(list<T> setup) {
        // auto here to avoid complicated expression
         for(auto it = setup.begin(); it != setup.end(); it++) {
             counted[*it]++;
         }
     }

    // by value instead of by reference, mark as const member
    const_iterator begin() const {
        return counted.begin();
    }

    // by value instead of by reference, mark as const member
    const_iterator end() const {
        return counted.end();
    }

    // probably best to also forward cbegin()/cend() and non-const begin() / end()
 };

• 如果您想从map 更改为另一个容器（例如unorderd_map），inner typedefs 会派上用场，并且它们可以避免为嵌套 typedefs 重复键入 typename。
• auto（C++11 关键字）可以限制输入复杂的迭代器类型
• 按值返回迭代器是惯用的方式
• begin()/end() 的常量正确性
• overload begin() / end() 用于非常量迭代器，还提供 cbegin()/cend()

一般来说，最好使用与要包装的函数相同的接口（常量、返回值）（在本例中为 map 的 begin()/end()）。