c++ - C++中带有模板参数的Typedef

Question

我该如何解决这个错误？

我的头文件

template<typename T>
class C1 {
public:
typedef std::vector<T::F> TFV;
TFV Function1();
};

我的 CPP 文件

template<typename T>
TFV C1::Function() //error: ‘TFV’ does not name a type
{ }

Answer 1

首先，使用typename关键字告诉编译器解释F为类型的（限定）名称：

typedef std::vector<typename T::F> TFV;
//                  ^^^^^^^^

其次，TFVis 不是在全局命名空间中定义的类型，因此您必须在定义中正确限定它Function1()：

    template<typename T>
    typename C1<T>::TFV C1<T>::Function1()
//  ^^^^^^^^ ^^^^^^^      ^^^
    { }

最后，类模板的成员函数的定义应该放在头文件中，除非您为所有将隐式生成的模板实例化提供显式实例化。

如果不这样做，很可能会导致链接器出现未解决的引用错误。

Answer 2

有 C++11？然后使用尾随返回类型。

template<typename T>
class C1 {
public:
  typedef std::vector<typename T::F> TFV;
  TFV Function1();
};

template<typename T>
auto C1<T>::Function1() -> TFV { }

这是有效的，因为在函数的参数之后，()在这种情况下，范围与块内部相同{}。您可以访问this（与 decltype 结合使用）并且可以TFV在没有范围解析运算符的情况下使用。