compilateur ne se plaint pas de valeur fonction ne pas retourner

Question

je la fonction suivante:

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() 

cette compile parfaitement bien, mais ne devrait pas le compilateur se plaindre de l'absence d'une déclaration de retour?

EDIT 0: GNU compilateur g ++

Answer 1

Essayez de compiler avec option -Wall (gcc) [-Wreturn-type pour être plus précis]. Vous un obtenez un quelque chose d'avertissement comme « contrôle atteint la fin d'une fonction non-vide » ou quelque chose comme « aucune déclaration de retour en fonction de retour non vide »

Exemple:

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> 

Utilisation du retour La valeur d'une fonction non-nulle (sans déclaration de retour) est un comportement indéfini.

Answer 2

est ici la raison pour laquelle vous ne recevez pas d'erreur/avertissement est quelque chose qui est connu comme un comportement non défini (UB)

6.6.3/2 $ - « Flowing l'extrémité d'un fonction est équivalente à un retour sans valeur; cela se traduit par un comportement non défini dans un "

fonction de valeur-retour

Malheureusement, une compilation propre avec/sans avertissement a. partie de tout autre comportement imaginable fait partie de UB. Comme @Prasoon l'a mentionné, la fonction 'main' est une exception à cette règle.