Errore di riferimento non definito per metodo modello

Question

Questo mi ha fatto impazzire per l'ultima ora e mezza. So che è una cosa piccola ma non riesco a trovare cosa c'è che non va (il fatto che sia un piovoso venerdì pomeriggio, ovviamente, non aiuta).

ho definito la classe seguente che conterrà i parametri di configurazione letti da un file e mi lascia loro l'accesso dal mio programma:

class VAConfig { 
    friend std::ostream& operator<<(std::ostream& lhs, const VAConfig& rhs); 

private: 
    VAConfig(); 
    static std::string  configFilename; 
    static VAConfig*  pConfigInstance; 
    static TiXmlDocument* pXmlDoc; 
    std::map<std::string, std::string> valueHash; 

public: 
    static VAConfig* getInstance(); 
    static void setConfigFileName(std::string& filename) { configFilename = filename; } 
    virtual ~VAConfig(); 

    void readParameterSet(std::string parameterGroupName); 
    template<typename T> T readParameter(const std::string parameterName); 
    template<typename T> T convert(const std::string& value); 
}; 

in cui il metodo convert() è definito in VAConfig.cpp come

template <typename T> 
T VAConfig::convert(const std::string& value) 
{ 
    T t; 
    std::istringstream iss(value, std::istringstream::in); 
    iss >> t; 
    return t; 
} 

Tutto abbastanza semplice. Ma quando prova dal mio programma principale utilizzando

int y = parameters->convert<int>("5"); 

ottengo un errore undefined reference to 'int VAConfig::convert<int>...' compilazione. Idem per readParameter().

Guardato un sacco di tutorial modello, ma non è possibile capirlo. Qualche idea?

Answer 1

implementazione del codice su modelli non dovrebbe mai essere in un file .cpp: il compilatore deve vedere loro allo stesso tempo come meglio crede il codice che li chiama (a meno che non si utilizza explicit instantiation per generare il codice oggetto basato su modelli, ma anche allora .cpp è il tipo di file sbagliato da usare).

È necessario spostare l'implementazione sul file di intestazione o su un file come VAConfig.t.hpp e quindi su #include "VAConfig.t.hpp" ogni volta che si utilizzano funzioni di membri con modelli.

Answer 2

Se si sposta l'implementazione dei metodi basati su modelli (convert e readParameter) nel file di intestazione, dovrebbe funzionare.

Il compilatore deve avere accesso alle implementazioni delle funzioni basate sui modelli nei punti in cui vengono istanziati.

Answer 3

Un metodo di modello è semplicemente un modello ... per un metodo. Gli argomenti del template devono essere compilati dove il metodo è "istanziato".

Dovrebbe essere possibile creare un compilatore che si accontenti della dichiarazione di un metodo modello e avere un passaggio 'compilazione modello' compilare tutte le istanze necessarie del metodo modello.

Questo non è il caso per microsoft's vc. Ho sentito un collega borbottare sul fatto che sia il caso su Unix, però.

La maggior parte dei compilatori istanzia il metodo di modello su richiesta, dove vengono utilizzati nel codice sorgente. Per istanziare il metodo, il compilatore deve 'vedere' il corpo della funzione template. Ecco perché il corpo viene spesso inserito nel file di intestazione o, ad es. un file .h.cpp, che viene quindi incluso come ultima riga del file .h.