Ich muss eine eigenständige Funktion zur Kompilierungszeit implementieren, um die Typgleichheit zu überprüfen (Funktionsvorlage ohne Argumente)bool eqTypes<T,S>()).

In sich geschlossen bedeutet, sich nicht auf die Bibliothek zu verlassen.

Ich bin in all dem nicht gut. Das habe ich versucht, aber es ist nicht das, was ich brauche.

template<typename T>
bool eq_types(T const&, T const&) { 
return true;
}

template<typename T, typename U> 
bool eq_types(T const&, U const&) { 
return false; 
}