C++模板：返回列表::迭代器

Question

我怎样才能使下面的代码工作？在编译期间，我收到一条错误消息，告诉我 searchForResource 函数没有返回类型。

template<class T>
class ResourceManager
{
  private:
    struct ResourceWrapper;
    std::list<ResourceWrapper*> resources_; // This compiles fine

    std::list<ResourceWrapper*>::iterator  // Error occurs here
        searchForResource(const std::string& file);
};

另外，这是我定义 searchForResource 函数的方式吗？

template<class t>
std::list<typename ResourceManager<T>::ResourceWrapper*>::iterator
    ResourceManager<T>::searchForResource(const std::string& file)
{
    // ...
}

Answer 1

std::list::iterator 编译器很难理解。在实现和声明中添加 typename 前缀，让编译器知道它是一个类型。

就像这样：

typename std::list<ResourceWrapper*>::iterator searchForResource(const std::string& file);

Answer 2

template<class T>
class ResourceManager
{
  private:
    struct ResourceWrapper;
    std::list<ResourceWrapper*> resources_;

//      | typename lost here
//      V
    typename std::list<ResourceWrapper*>::iterator
        searchForResource(const std::string& file);
};

template<class T>
//  | typename lost here                    asterisk lost here | 
//  V                                                          V 
typename std::list<typename ResourceManager<T>::ResourceWrapper*>::iterator
    ResourceManager<T>::searchForResource(const std::string& file)
{
   return ...   
}

Answer 3

有一个经验法则可以避免此类编译错误。

每当您声明变量或函数时，使用模板后跟作用域解析运算符::，然后始终将关键字typename放入定义前面。

例如，

MyNameSpace::MyClass<T> x; // Ok; because template is NOT followed by scope resolution
MyNameSpace::MyClass<T>::MyType x; // Error; MyType can be a variable or a type; so put typename ahead

同样的事情也适用于函数声明。

Answer 4

我认为您缺少 typename 关键字。

Answer 5

问题是 ResourceWrapper 是一个依赖名称 ^*（它的定义取决于类型参数 T），这使得 std： :列表< ResourceWrapper * > 依赖类型名称。模板分两遍检查，在第一遍期间，检查模板没有实际类型替换的正确性。现在，当您输入 std::list< ResourceWrapper* >::iterator 编译器无法预先知道 iterator 实际上是一种类型，而不是类 std::list的静态属性或成员。 ResourceWrapper* > 因为类型是相关的并且 T 尚未被替换。

您必须使用 typename 关键字来提示编译器，告知它 iterator 确实是一种类型，正如其他人之前已经提到的

typename std::list< ResourceWrapper* >::iterator

：代码，我不能说，但似乎 ResourceWrapper 实际上不应该是 T 上的依赖类型。如果它实际上是非依赖的，则应该将该类型移到类模板之外。在这种情况下，将不再需要 typename：

struct ResourceWrapper;
template <typename T>
class ResourceManager {
   std::list<ResourceWrapper*>::iterator searchForResource(const std::string& file);
...

因为它是在模板外部定义的，所以对于 ResourceManager 模板的所有可能实例化都有一个定义，现在< code>ResourceWrapper 不再依赖于 T，并且不再需要（也不正确）typename。

^* 为什么依赖于 ResourceWrapper 以及这对代码有何影响。

通过讨论完全限定名称，可以更容易地看出 ResourceWrapper 依赖于类型 T 的原因：::ResourceManager::ResourceWrapper 。 T 是类型的一部分，因此 T 影响 ResourceWrapper 的实际定义。这在某种程度上是一个人为的示例，您可以说，如果编译器正在解析此特定模板，那么它必须知道 ResourceWrapper 是一种类型，因此 std::liststd::listResourceWrapper*>::iterator 是一种类型...这就是问题所在。没有特别的理由不为 ResourceManager 的特定实例化专门化 std::list 模板：

namespace std { // you should in general not add things to the std namespace!
                // but the implementation can
template <>
struct list< ResourceManager<int>::ResourceWrapper > {
   static const int iterator = 5;
...
};
}

同样，这是人为的，但编译器不可能预先知道解析模板，在您实际使用特定类型实例化模板之前，不会出现这种专门化。

Answer 6

您有 ResourceWrapper 结构的前向声明，这对于编译良好的行来说已经足够了，但是您收到错误，因为此时编译器需要 ResourceWrapper 结构的完整类型声明。 （可能是你的答案，这段代码实际上可以在 VS2008 上编译得很好）