modello di specializzazione con il modello più parametri

Question

Dire che ho questo:

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 
} 

Potrei specializzare il tipo di funzione 'T', ma lasciare 'X' come un parametro di modello?

class bar; 

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

È possibile?

Answer 1

Questo è sorprendentemente facile una volta a ottenere il blocco di esso

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>) { 
    // ... 
    } 
}; 

Ciò è necessario perché se siete specializzati in modo esplicito un singolo membro, è necessario fornire tutti gli argomenti di template . Non puoi lasciare un po '.

Answer 2

No. Ciò non è consentito. Una funzione membro classdeve essere completamente specializzata. Per esempio, dovrebbe essere,

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

Answer 3

È possibile specializzare parzialmente l'intera classe. In questo caso puoi dare diverse implementazioni alla funzione set per ogni specializzazione della classe.

Answer 4

si potrebbe considerare riscrivere il codice per rendere la funzione di membro di un modello a parte:

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

Quindi è possibile fornire specializzazioni esplicite per il modello foo<X>::set.