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

我想从模板类型Base派生一个类型Test,我专门研究派生类型(即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来修复 – 它是否与从派生类型专用的模板派生有关？)

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>
{
};