如何在模板中使用嵌套的typedef？

Question

我想Test从模板化类型派生一个类型Base,我专门研究派生类型(即Base<Test>).

在模板化类型中,我想使用派生类型(模板参数)中定义的typedef.

但是,我收到此编译错误:

error C2039: 'X' : is not a member of 'Test'

这是代码片段:

template <typename T>
class Base
{
protected:
  void func(typename T::X x) {}
};


class Test : public Base<Test>
{
public:
  typedef int X;
};

这是可行的,如果是这样,我需要做什么修复？

(我看到了这类问题的几个答案,但看起来我的方案没有通过前缀typename来修复 - 它是否与从派生类型专用的模板派生有关？)

Answer 1

除了typedef之外,您还可以在基类中将类型声明为第二个模板参数:

template <typename T, typename X>
class Base
{
protected:
  void func(X x) {}
};


class Test : public Base<Test, int>
{
public:
//  typedef int X;
};

Answer 2

这对我有用：

template <typename T> struct Traits;

template <typename Derived>
class Base
{
   protected:
      void func(typename Traits<Derived>::X x) {}
};


class Test;

template <> struct Traits<Test>
{
  typedef int X;
};


class Test : public Base<Test>
{
};