шаблон специализация с Шаблонным типом

Question

Я хочу, чтобы специализировать шаблон класса с помощью следующей функции:

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

функция не имеет аргументов и возвращает результат, основанный на типе Foo. (В этом игрушечном примере мы возвращаем число байтов типа, но в реальном приложении мы хотим вернуть некоторый объект мета-данных.) специализация работает полностью определенных типов:

// 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++, это Partial Template Specialization.
Снимите 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(); }