反向模板别名

Question

我需要某种方式来实现“反向模板别名”。所以我会使用模板typedef在编译时选择正确的类。我想做到以下几点：

typedef ClassA Temp<int>; 
typedef ClassB Temp<char>; 

ClassA和ClassB的不是模板类，但我想通过使用模板来选择合适的班级。所以如果需要Temp> < int>，它实际上会使用ClassA。在C++中甚至有可能这样吗？我尝试了以下，但它没有奏效。

template<> 
typedef ClassA Temp<int>; 

template<> 
typedef ClassB Temp<char>; 

我得到了以下错误在GCC

error: template declaration of ‘typedef’ 

Answer 1

没有，typedef不能定义类型模板，只有类型。你可以做的两个最接近的事情是：

template <typename T> 
struct Temp; 

template <> 
struct Temp<int> : ClassA {} 

template <> 
struct Temp<char> : ClassB {} 

所以你写的只是Temp<int>，但它是一个派生类，而不是类本身，或

template <typename T> 
struct Temp; 

template <> 
struct Temp<int> { typedef ClassA Type; } 

template <> 
struct Temp<char> { typedef ClassB Type; } 

这样你就可以得到ClassA和ClassB自己，但你必须写Temp<int>::Type。