模板專業化與模板化類型

Question

我想專門類模板具有以下功能：

template <typename T> 
class Foo 
{ 
public: 
    static int bar(); 
}; 

功能沒有參數，並應返回基於美孚類型的結果。 （在這個玩具例子中，我們返回類型的字節數，但在實際應用中，我們想返回一些元數據對象。） 專業化工程完全指定類型：

// specialization 1: works 
template <> 
int Foo<int>::bar() { return 4; } 

// specialization 2: works 
template <> 
int Foo<double>::bar() { return 8; } 

// specialization 3: works 
typedef pair<int, int> IntPair; 
template <> 
int Foo<IntPair>::bar() { return 2 * Foo<int>::bar(); } 

然而，我想把它推廣到依賴（其他）模板參數本身的類型。 添加以下專業化給出了一個編譯時錯誤（VS2005）：

// specialization 4: ERROR! 
template <> 
template <typename U, typename V> 
int Foo<std::pair<U, V> >::bar() { return Foo<U>::bar() + Foo<V>::bar(); } 

我假定這是不合法的C++，但是爲什麼呢？有沒有一種方法來優雅地實現這種模式？

Answer 1

Partitial專業化只爲類，而不是功能是有效的。

解決方法：

template <typename U, typename V> 
class Foo<std::pair<U, V> > { 
public: 
static int bar() { return Foo<U>::bar() + Foo<V>::bar(); } 
}; 

如果您不希望完全專注類，使用輔助結構

template<class T> 
struct aux { 
    static int bar(); 
}; 

template <>int aux <int>::bar() { return 4; } 
template <>int aux <double>::bar() { return 8; } 

template <typename U, typename V> 
struct aux <std::pair<U, V> > { 
    static int bar() { return Foo<U>::bar() + Foo<V>::bar(); } 
}; 

template<class T> 
class Foo : aux<T> { 
    // ... 
}; 

Answer 2

它在C++中是完全合法的，它是部分模板專業化。
取出template <>，如果它不已經存在添加明確的類模板專業化，它應該編譯在VS2005（但不是在VC6）

// explicit class template specialization 
template <typename U, typename V> 
class Foo<std::pair<U, V> > 
{ 
public: 
    static int bar(); 
}; 

template <typename U, typename V> 
int Foo<std::pair<U, V> >::bar() { return Foo<U>::bar() + Foo<V>::bar(); }