Compiler beschwert sich nicht über Funktion nicht Wert zurück

Question

Ich habe die folgende Funktion:

bool Server::ServerInit() 
{ 
// bool listenResult = socket.Listen((const uint8 *)_LOCAL_HOST, m_iPort); 
// if(true == listenResult) 
//  cout << "Server passive socket listening\n"; 
// else 
//  cout << "Server passive socket not listening\n"; 
//  
// return listenResult; 
} // ServerInit() 

diese kompiliert völlig in Ordnung, sollte aber nicht der Compiler über das Fehlen einer return-Anweisung beschweren?

EDIT 0: GNU g ++ Compiler

Answer 1

Versuchen mit -Wall Option (gcc) Kompilieren [-Wreturn-type genauer sein]. Sie werden eine bekommen eine Warnung so etwas wie oder so etwas wie „no return-Anweisung in der Funktion der Rückkehr nicht-leer“

Beispiel „Steuer Ende eines nicht-Lücke Funktion erreicht“:

C:\Users\SUPER USER\Desktop>type no_return.cpp 
#include <iostream> 
int func(){} 

int main() 
{ 
    int z = func(); 
    std::cout<< z; //Undefined Behaviour 
} 
C:\Users\SUPER USER\Desktop>g++ -Wall no_return.cpp 
no_return.cpp: In function 'int func()': 
no_return.cpp:2:12: warning: no return statement in function returning non-void 

C:\Users\SUPER USER\Desktop> 

der zurück Verwendung Der Wert einer nicht-void-Funktion (die keine return-Anweisung hat) ist Undefined Behavior.

Answer 2

Hier ist der Grund, warum Sie nicht bekommen, Fehler/Warnung, da es etwas ist, das als nicht definiertes Verhalten (UB)

$ 6.6.3/2 bekannt ist - „abfließende das Ende eines Funktion ist äquivalent zu einer Rückkehr ohne Wert; ergibt ich undefiniertes Verhalten in einer Wert-Rückkehr Funktion "

Leider eine saubere Zusammenstellung mit/ohne eine Warnung. Teil von jedem anderen vorstellbaren Verhalten ist alles Teil von UB.

Wie @ Prasoon erwähnt, ist "Haupt" -Funktion eine Ausnahme von dieser Regel.