4

有没有专门为嵌套类提供特征模板？我已经在下面提到的三个地方进行了尝试，每个地方都有给定的错误。我已经看到有关专门化嵌套模板类的问题，但这不是我在这里想要做的——我正在尝试专门化嵌套类使用的特征类。

TraitUser 类将 Trait 中的定义用作特定类型 T 的专用定义。也许最相关的是，它使用 trait 成员来初始化基类。

template<T>
class TraitUser:public X<typename Trait<T>::Type>
{
  //Trait<T> gets used in here
};

//class A;
//class A::B;   <-incomplete type used in nested name

//template<>
//struct Trait<A::B>
//{};

class A
{
private:
    //class B;

    //template<>         <-explicit specialization at class scope
    //struct Trait<B>
    //{};

    class B:TraitUser<B>
        {};
};


//template<>        <- specialization after instantiation
//struct Trait<A::B>
//{};

看起来问题的根源在于无法转发声明嵌套类，也无法在类声明中定义特化。

我正在使用 C++11 在 clang 下尝试这个。

4

1 回答 1

3

这里有一些复杂的声明顺序：

template <class T>
struct Trait;

template <class T>
struct X
{};

template<class T>
class TraitUser:public X<typename Trait<T>::Type>
{
  //Trait<T> gets used in here
};

class A
{
private:
    class B;
};


template<>
struct Trait<A::B>
{
    typedef int Type;
};

class A::B : public TraitUser<B>
{};
于 2013-08-05T18:50:57.363 回答