Ja, ich weiss dass man Templates nicht in *.hpp und *.cpp trennen kann, hier geht es um was anderes, nämlich dass man es anscheinend unter gewissen Umständen muss. Zuerst ein kurzer Code, welcher als Grundlage für das Problem dient:

template<typename T>
struct MyClass
{
  T m_var;

  void foo();
}

template<typename T>
void MyClass<T>::foo()
{
  m_var = T();
}

// Vollständige Spezialisierung:
template<>
struct MyClass<int>
{
  double m_var;

  void foo();
}

void MyClass<int>::foo()
{
  m_var = 4.0;
}

Habe ich wie immer jeweils in einen Header gepackt, aber alles in den Header und keine Trennung, wie man es sich halt von den Templates gewohnt ist.

Als ich dann aber den Header für die Spezialisierung in zwei TUs eingebunden habe und kompilieren, bzw. linken, wollte, gab es ein Multiple Definition Problem und zwar die Funktion foo sei doppelt vorhanden. Aktuell habe ich der Funktionsdefinition einfach ein inline davor gesetzt, aber ein wenig überrascht war ich schon. Vor allem konnte ich nirgends etwas dazu finden.
Können solche vollständig spezialisierten Templates, welche ja eigentlich von keinem Templateparameter abhängig sind, direkt in Header und Source aufgeteilt werden? Irgendwo würde es sogar Sinn ergeben, aber neu wäre es mir trotzdem.

Weiss jemand etwas näheres dazu?

Grüssli

eine explizite Spezialisierung muss überall dort *deklariert* sein, wo es zu
einer Templateinstanziierung kommen kann. Da es sich aus Sicht der ODR bei einer
expliziten Spezialisierung aber nicht mehr um ein Template handelt, darf eine
solche Spezialisierung aber nur genau einmal definiert werden.

Für die Praxis heißt das: am Besten deklariert man die Spezialisierung zusammen
mit dem Primärtemplate und definiert sie in einer eigenen cpp-Datei.