Est-ce que le code valide est invalide?

Question

Je trouve que le code suivant est accepté par Visual C++ 2008 et GCC 4.3 compilateurs:

void foo() 
{ 

} 

void bar() 
{ 
    return foo(); 
} 

Je suis un peu surpris qu'il compile. Est-ce une fonctionnalité de langue ou est-ce un bug dans les compilateurs? Que disent les normes C/C++ à ce propos?

Answer 1

Il est une fonctionnalité de langage C++

C++ (ISO 14882: 2003) 6.6.3/3

Une déclaration de retour avec une expression de type « vide cv » peut être utilisé que dans les fonctions avec un type de retour de cv vide; l'expression est évaluée juste avant que la fonction ne retourne à son appelant.

C (ISO 9899: 1999) 6.8.6.4/1

Une déclaration de retour avec une expression ne doit pas apparaître dans une fonction dont le type de retour est vide.

Answer 2

Oui, c'est un code valide. Ceci est nécessaire lorsque vous avez des fonctions de modèle afin que vous puissiez utiliser un code uniforme. Par exemple,

template<typename T, typename P> 
T f(int x, P y) 
{ 
    return g(x, y); 
} 

Maintenant, g pourrait être surchargée pour revenir vide lorsque le second argument est un type particulier. Si "return void" était invalide, l'appel à f serait alors rompu.

Answer 3

Ceci est valable et peut être très utile par exemple pour créer un code plus propre dans des situations où vous voulez faire une gestion des erreurs avant de retourner:

void ErrRet(int code, char* msg) 
{ 
    // code logging/handling error 
} 
void f() 
{ 
    if (...) return ErrRet(5, "Error Message !"); 
    // code continue 
} 

Answer 4

Valid effet. Je l'utilise souvent pour les macros de validation d'entrée:

#define ASSERT_AND_RETURN_IF_NULL(p,r) if (!p) { assert(p && "#p must not be null"); return r; } 

bool func1(void* p) { 
    ASSERT_AND_RETURN_IF_NULL(p, false); 
    ... 
} 

void func2(void* p) { 
    ASSERT_AND_RETURN_IF_NULL(p, void()); 
    ... 
}