plantilla con la plantilla de múltiples parámetros

Question

Decir que tengo esto:

template<typename T, int X> 
class foo 
{ 
public: 
    void set(const T &t); 
}; 

template<typename T, int X> 
void foo::set<T, X>(const T &t) 
{ 
    int s = X; 
    // ...etc 
} 

¿Podría especializar el tipo de función 'T', pero dejan 'X' como un parámetro de plantilla?

class bar; 

template<int X> 
void foo::set<bar, X>(const bar &t) 
{ 
    int s = X; 
    // ...etc 
} 

Es esto posible?

Answer 1

Esto es sorprendentemente fácil una vez que el cuelgue de ella

template<typename T, int X> 
class foo 
{ 
private: 
    template<typename, int> class params { }; 

public: 
    void set(const T &t) { 
    set(t, params<T, X>()); 
    } 

private: 
    template<typename T1, int X1> 
    void set(const T1 &t, params<T1, X1>) { 
    // ... 
    } 

    template<int X1> 
    void set(const bar &t, params<bar, X1>) { 
    // ... 
    } 
}; 

Esto es necesario porque si se especializan explícitamente un solo miembro, debe proporcionar todos los argumentos de plantilla . No puedes dejar un poco.

Answer 2

No. Eso no está permitido. Una función miembro classdebe estar completamente especializada. Por ejemplo, debería ser,

template<> 
void foo<bar, 5>::set(const bar &t) 
{   //^^^^ 
    int s = 5; 
    // ...etc 
} 

Answer 3

Puede parcialmente especializar toda la clase. En este caso, puede dar diferentes implementaciones a la función set para cada especialización de la clase.

Answer 4

usted podría considerar volver a escribir el código para hacer la función de miembro de una plantilla separada:

template <int X> class foo 
{ 
    template <typename T> void set(const T &); 
    // ... 
}; 

A continuación, le puede proporcionar especializaciones explícitas para la plantilla foo<X>::set.