C++模板类T的麻烦

Question

template <class T>
class List
{
    public:

        List();
        ~List();

        ...

    protected:

        template <class T> struct Item
        {
            struct Item* next;
            T data;
        };

        ...

        struct Item<T>* allocate();
};

template <class T>
struct Item<T>* List<T>::allocate() // error here
{
    ...
    return object; // struct Item<T>*
}

我怎样才能做到这一点？

Answer 1

您正在重复使用 T 类型名称。使用不同的：
模板struct Item { ... （或从 Item 中删除模板化 - 看起来您对外部模板参数很好）：

template <class T>
class List
{
    ...
    protected:

        struct Item
        {
            Item* next;
            T data;
        };

        Item* allocate() { return object; }
};

Answer 2

方法定义的正确语法是

template <class T>
typename List<T>::Item* List<T>::allocate()
{ 
    ... 
    return object; // struct Item<T>* 
} 

出于某种原因，其他发布者坚持将 部分附加到 Item 而不是 List （显然是被你的原始版本欺骗了）。

抱歉，我没有注意到 Item 本身也是一个模板。在这种情况下，它必须是

template <class T> 
typename List<T>::template Item<T>* List<T>::allocate()
{ 
    ... 
    return object; // struct Item<T>* 
} 

但是，请注意，在内部模板声明中重复使用相同的参数名称是非法的！你原来的类定义是非法的。它必须改为类似的东西

template <class T>
class List 
{ 
  ... 
  template <class U> struct Item // Note: `U` used intead of `T`
  { 
    struct Item* next; 
    U data; 
  }; 
  ...
  struct Item<T>* allocate(); 
}; 

Answer 3

写入：::

template <class T>
struct List<T>::Item* List<T>::allocate()
// etc

运算符告诉编译器 Item 是 List 的嵌套类。

Answer 4

事实上，问题更深层：

您不必将 Item 声明为 template，因为它是模板类中的嵌套类，它可以访问 T。

template <class T>
class List
{
public:

private:
  struct Item { ... };
};

然后你可以像这样定义access：

template <class T>
typename List<T>::Item List<T>::access(...) {}

这里的要点是List是一个模板类，所以它的参数必须指定，而一旦T > 是为 List 指定的，无需再次精确。

注意类型名称；）

Answer 5

您需要限定类型：List::Item。

当您位于类声明内部或该类型（或派生类）的每个成员函数的参数列表或主体内时，可以使用该类型的非限定名称，但不能用于返回类型。当编译器解析返回类型时，它还不知道您正在定义 List 模板的成员，因此它不会在该类范围内查找。

这是编译器工作方式的一个有趣的点，它实际上影响了即将发布的标准中的一些更改，以允许像返回类型定义一样的 auto ：

template<typename T, typename U>
auto sum( T lhs, U rhs ) -> delctype(lhs+rhs) 
{ return lhs+rhs; }

编译器能够推导出类型 T 和U 一旦参数存在，但你不能告诉它返回类型是 decltype(lhs+rhs) 作为返回类型，因为 lhs rhs 都尚未在范围内。虽然这只是 C++ 的问题，但它的根源与您面临的问题相同：返回类型的范围位于所声明的方法的范围之外。