Bool Rückgabewert in Funktion Vorlage Spezialisierung

Question

Ich frage mich, warum die unten Funktion Vorlage Spezialisierung nicht kompiliert (aufgrund no return statement in function returning non-void).

class Boring { 
public: 
    template<typename T> bool eval() const { } 
}; 

template<> inline bool Boring::eval<int>() const { return true; } 

Ich würde erwarten, dass die nicht-spezialisierten Funktionsvorlage, es sei denn verwendet nicht bewertet werden würde. Wenn der Rückgabetyp zu T* geändert wird, kompiliert das Unten erfolgreich.

int x = 5; 

class Boring { 
public: 
    template<typename T> T* eval() const { } 
}; 

template<> inline int* Boring::eval<int>() const { return &x; } 

Answer 1

Beide Programme sind wohlgeformt. Obwohl ein undefiniertes Verhalten auftreten würde, wenn die primäre Vorlage eval instanziiert und aufgerufen würde, macht das das Programm nicht schlecht dargestellt. Sie haben jedoch Ihren Compiler in einem Modus, in dem einige Warnungen als Fehler behandelt werden (z. B. -Wall), oder er behandelt diese Warnung standardmäßig als Fehler.