classe template con un singolo metodo specializzato in C++

Question

Ho solo un file hpp per un compito scolastico in C++ (non sono autorizzato ad aggiungere un file cpp, la dichiarazione e l'implementazione dovrebbero essere entrambe scritte nel file).

ho scritto questo codice al suo interno:

template<class T> 
class Matrix 
{ 
    void foo() 
    { 
     //do something for a T variable. 
    } 
}; 

vorrei aggiungere un altro metodo foo, ma questo foo() saranno specializzati per un solo <int>. Ho letto in alcuni punti che ho bisogno di dichiarare una nuova classe di specializzazione perché funzioni. Ma quello che voglio è che la specializzazione foo si trovano appena sotto l'originale foo, in modo che sarà simile a questa:

template<class T> 
class Matrix 
{ 
    void foo(T x) 
    { 
     //do something for a T variable. 
    } 
    template<> void foo<int>(int x) 
    { 
     //do something for an int variable. 
    } 
}; 

• Perché mi appare un errore per questa sintassi ("atteso non qualificata-id, prima ' < "token")?
• Perché non è possibile?
• Come posso risolvere questo problema senza dichiarare una nuova classe specializzata?

Grazie

Answer 1

foo non è un modello. È una funzione membro di un modello. Pertanto, foo<int> non ha senso. (Inoltre, specializzazioni esplicite devono essere dichiarati in ambito namespace.)

è possibile specializzarsi in modo esplicito una funzione di membro di un particolare di un'istanza implicita di un modello di classe:

template<class T> 
class Matrix 
{ 
    void foo(T x) 
    { 
     //do something for a T variable. 
    } 
}; 

// must mark this inline to avoid ODR violations 
// when it's defined in a header 
template<> inline void Matrix<int>::foo(int x) 
{ 
    //do something for an int variable. 
} 

Answer 2

è necessario definire il metodo foo originale un modello, e in realtà non v'è alcuna necessità per la classe di essere un modello, solo il metodo:

class Matrix 
{ 
    template<typename T> void foo(T x) 
    { 
     //do something for a T variable. 
    } 
    template<> void foo<int>(int x) 
    { 
     //do something for an int variable. 
    } 
}; 

UPDATE: il codice funziona solo in Visual Studio. Ecco un codice che dovrebbe funzionare anche altrove:

class Matrix 
{ 
    template<typename T> void foo(T x) 
    { 
     //do something for a T variable. 
    } 
}; 

template<> void Matrix::foo<int>(int x) 
{ 
    //do something for an int variable. 
}