C++ специализирует класс шаблона для принятия дополнительного параметра шаблона

Question

Можно ли специализировать класс шаблона для принятия дополнительных параметров шаблона?

Например:

template <typename T> 
struct X { 
    void foo() { cerr << "Generic" << endl;} 
}; 


template <> 
template <bool b> 
struct X<int> { 
    void foo() { cerr << "Specialization" << endl;} 
}; 

Я не мог сделать вышеупомянутую работу с г ++, но может быть, есть какой-то подвох, который сделает эту работу.

Edit: Я не хочу, чтобы переместить шаблон <bool b> к базовому шаблону X, потому что это особенность только X<int>. Если я должен, есть способ, которым я могу позволить пользователям не требуется указывать какие-либо значения для этого? Мне бы очень понравился подход, который не идет по этому маршруту.

Answer 1

Вы можете изменить свой основной шаблон принять класс прокси черты вместо:

template <typename T> 
struct Foo 
{ 
    typedef typename T::type type; 

    // work with "type" 

    void static print() { std::cout << T::message << std::endl; } 
} 

Затем определить класс признака:

template <typename T> 
struct traits 
{ 
    typedef T type; 
    static const char * const message = "Generic"; 
}; 

Теперь вы можете создать экземпляр Foo<traits<double>> и Foo<traits<int>>, и вы можете инкапсулировать дополнительное поведение в классе признаков, которое вы можете специализировать по мере необходимости.

template <> 
struct traits<int> 
{ 
    typedef int type; 
    static const char * const message = "Specialized"; 
};