类模板的成员函数返回该类中定义的类型的正确语法是什么？

Question

我目前正在学习 Accelerated C++，但我陷入了练习 11-6。这个想法是将标准库向量重新实现为一个名为 Vec 的类。

我在使用迭代器擦除（迭代器）成员时遇到了问题，因为我不知道在类定义之外的正确语法，并且我尝试过的所有操作都会导致编译器错误。我目前拥有的代码是：

template <class T> T* Vec<T>::erase(T* pos){

    if(pos < avail)
        std::copy(pos + 1, avail, pos);

    --avail;
    alloc.destroy(avail);

    return pos;

}

这完美地工作。但是，出于可维护性目的以及与 stl 中算法的兼容性，我知道我应该这样做：

template <class T> Vec<T>::iterator Vec<T>::erase(Vec<T>::iterator pos){

    // As before

}

我已经在类定义中定义了迭代器，如下所示：

 typedef T* iterator;

尝试使用第二个进行编译代码片段结果：

D:\Documents\Programming\Accelerated C++\Chapter 11>cl /EHsc Vec.cpp
Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 15.00.21022.08 for 80x86
Copyright (C) Microsoft Corporation.  All rights reserved.

Vec.cpp
Vec.cpp(23) : warning C4346: 'Vec<T>::iterator' : dependent name is not a type prefix with 'typename' to indicate a type
Vec.cpp(23) : error C2143: syntax error : missing ';' before 'Vec<T>::erase'
Vec.cpp(23) : error C4430: missing type specifier - int assumed. Note: C++ does not support default-int
Vec.cpp(23) : fatal error C1903: unable to recover from previous error(s); stopping compilation

遗憾的是，该警告对我来说没有多大意义，并且在阅读 它的 MSDN 页面 我无法确切地看到它如何应用于我的代码。

其余消息看起来好像编译器无法识别返回类型。

我尝试了许多不同的组合，但搜索并没有多大帮助。我将不胜感激任何帮助。谢谢！

Answer 1

  template <class T> 
  typename Vec<T>::iterator Vec<T>::erase(typename Vec<T>::iterator pos){
 //^^^^^^^^ note this                      ^^^^^^^^ note this as well!

       //your code!
  }

也就是说，有两个地方需要 typename。这是因为 iterator 是一个依赖名称，所以 typename 是必需的！

请阅读由 Johannes 的好人在 Stackoverflow 上所作的精彩解释：

• 我必须在哪里以及为什么必须放置“模板”和“类型名” ” 关键字？

阅读完后，您还可以阅读此主题：

• 将 typename 关键字与 typedef 和 new 一起使用

---

其他好文章的链接：

• 名称绑定和依赖名称（仅限 C++）
• 从属名称（向下滚动并阅读本节 - 如果阅读完整的文章会更好）

Answer 2

template <class T> typename Vec<T>::iterator Vec<T>::erase(typename Vec<T>::iterator pos){

    // As before

}

...因为这里迭代器的名称​​依赖于模板参数”，没有typename编译器假装认为 Vec::iterator 是 Vec 的静态成员:)