Est-il sécuritaire de placer la définition de la spécialisation de la fonction de modèle de modèle (sans organisme par défaut) dans le fichier source?

Je pense que votre code d'origine était incorrect et que votre «contournement» n'est pas conforme à la normalisation, également (malgré le fait que votre compilateur et votre lieur traitent). Les bonnes citations de la norme ont été citées dans Répondre de @ Llighness races en orbite forte > . Voir aussi l'exemple suivant à partir de la norme ([Temp.expl.spec] 14.7.3 / 6):

class String { };
template<class T> class Array { /* ... */ };
template<class T> void sort(Array<T>& v) { /* ... */ }

void f(Array<String>& v) {
  sort(v);          // use primary template
                    // sort(Array<T>&), T is String
}

template<> void sort<String>(Array<String>& v); // error: specialization
                                                // after use of primary template
template<> void sort<>(Array<char*>& v);        // OK: sort<char*> not yet used

Lightness Courses en orbite cité pourquoi ce n'est pas conforme em> pièces de la norme. Il pourrait y avoir des autres, dans les environs.

Je vais essayer d'expliquer en termes simples ce que signifie le verbiage standard, et j'espère que je l'obtiendrai correctement, et enfin expliquer les erreurs de liaison (ou l'absence d'erreur):

1. Quel est le point d'instanciation? LI>
2. Comment le compilateur sélectionne-t-il une spécialisation? LI>
3. Qu'est-ce qui est nécessaire au point d'instanciation? LI>
4. Pourquoi une erreur de liaison? LI> ol>

   ---

   1 / Quel est le point d'instanciation? strong> p>

   Le point d'instanciation d'une fonction de modèle est le point où il est appelé ou référé to ( & std :: trier code>) avec tous em> les paramètres de modèle de modèle (*). p>

   template<>
   void cls::f( const char* )
   {
   }