Erreur de référence non définie pour la méthode de gabarit

Question

Cela me rend fou depuis une heure et demie. Je sais que c'est une petite chose mais ne peux pas trouver ce qui ne va pas (le fait que c'est un vendredi après-midi pluvieux, bien sûr, n'aide pas).

J'ai défini les paramètres classe suivante qui configuration tiendra lecture d'un fichier et me permettra d'y accéder de mon programme:

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); 
}; 

où la méthode convert() est définie dans VAConfig.cpp comme

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

Tout à fait simple. Mais quand je test de mon programme principal à l'aide

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

Je reçois une erreur de compilation undefined reference to 'int VAConfig::convert<int>...'. Idem pour readParameter().

A regardé beaucoup de tutoriels de modèle, mais je ne peux pas comprendre cela. Des idées?

Answer 1

mise en œuvre du code basé sur des modèles ne devrait jamais être dans un fichier .cpp: votre compilateur doit les voir en même temps qu'il voit le code qui les appelle (sauf si vous utilisez explicit instantiation pour générer le code objet basé sur un modèle, mais même alors .cpp est le mauvais type de fichier à utiliser). Ce que vous devez faire est de déplacer l'implémentation vers le fichier d'en-tête ou vers un fichier tel que VAConfig.t.hpp, puis #include "VAConfig.t.hpp" chaque fois que vous utilisez des fonctions membres modélisées.

Answer 2

Si vous déplacez l'implémentation des méthodes basées sur des modèles (convert et readParameter) vers le fichier d'en-tête, cela devrait fonctionner.

Le compilateur doit avoir accès aux implémentations des fonctions de modèle aux points où elles sont instanciées.

Answer 3

Une méthode de modèle est simplement un modèle pour une méthode. Les arguments du modèle doivent être remplis lorsque la méthode est "instanciée".

Il devrait être possible de compiler un compilateur qui se contente de la déclaration d'une méthode de modèle, et d'avoir une étape de 'compilation de modèles' compiler toutes les instances nécessaires de la méthode modèle.

Ce n'est pas le cas pour Microsoft vc. J'ai entendu un collègue marmonner à ce sujet étant le cas sur unix, cependant.

La plupart des compilateurs instancient la méthode de modèle sur demande, où ils sont utilisés dans le code source. Afin d'instancier la méthode, le compilateur doit 'voir' le corps de la fonction template. C'est pourquoi le corps est le plus souvent placé soit dans le fichier d'en-tête, soit par ex. un fichier .h.cpp, qui est ensuite inclus en tant que dernière ligne du fichier .h.