反向模板別名

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。