部分專業化模板作為特征成員類型

Question

我想從特征類中選擇一個模板，如下所示：

template<typename T>
class JobTypeA { };

template<typename T>
class JobTypeB { };

template<typename T>
class JobTraits
{
    /* nothing */
};

class A { };

template<>
class JobTraits<A>
{
    typedef JobTypeA Type;
};

class B {};

template<>
class JobTraits<B>
{
    typedef JobTypeB Type;
};

class JobTarget1 { };
class JobTarget2 { };

template<typename T, typename U>
class JobUser
{
public:
    typedef typename JobTraits<T>::Type<U> JobType;

    void doSomething (void)
    {
        JobType j;
        /*... */
    }
};

int
main (void)
{
    JobUser<B, JobTarget1> j;
}

由於特殊特征類中的“不完整類型的typedef”，因此不會編譯以上內容。 我在帶有g ++ 4.7.2的std = c ++ 11中使用“別名模板”來工作。 但是VS2010還不支持它。 沒有“別名模板”，是否有任何變通辦法可以實現相同的目的。

Answer 1

怎么樣

template<typename U>
struct Type
{
   typedef JobTypeA<U> type;
};

和

template<typename U>
struct Type
{
   typedef JobTypeB<U> type;
};

用法：

typedef typename JobTraits<T>::template Type<U>::type JobType;