Rückgabe void type in C und C++

Question

Dies kompiliert ohne Warnungen.

Ist das in C und C++ erlaubt oder funktioniert es nur in gcc und clang?

Wenn es legal ist, ist es etwas Neues nach C99?

void f(){ 

} 

void f2(){ 
    return f(); 
} 

aktualisieren

als "Rad Lexus", schlug ich das versucht:

$ gcc -Wall -Wpedantic -c x.c 
x.c: In function ‘f2’: 
x.c:7:9: warning: ISO C forbids ‘return’ with expression, in function returning void [-Wpedantic] 
    return f(); 

---

$ clang -Wall -Wpedantic -c x.c 
x.c:7:2: warning: void function 'f2' should not return void expression [-Wpedantic] 
     return f(); 
     ^ ~~~~~ 
1 warning generated. 

---

$ gcc -Wall -Wpedantic -c x.cc 
(no errors) 

---

$ clang -Wall -Wpedantic -c x.cc 
(no errors) 

aktualisieren

Jemand gefragt, wie dieser Aufbau zu helfen ist. Gut ist mehr oder weniger syntaktischer Zucker. Hier ist ein gutes Beispiel:

void error_report(const char *s){ 
    printf("Error %s\n", s); 
    exit(0); 
} 

void process(){ 
    if (step1() == 0) 
     return error_report("Step 1"); 

    switch(step2()){ 
    case 0: return error_report("Step 2 - No Memory"); 
    case 1: return error_report("Step 2 - Internal Error"); 
    } 

    printf("Processing Done!\n"); 
} 

Answer 1

C11, 6.8.6.4 "Die return Anweisung":

A return statement with an expression shall not appear in a function whose return type is void .

Keine, können Sie nicht einen Ausdruck verwenden, auch wenn es von void Typ ist.

Aus dem Vorwort des gleichen Dokuments:

Major changes in the second edition included:

[...]

• return without expression not permitted in function that returns a value (and vice versa)

So war dies eine Änderung von C89 -> C99 (die zweiten Ausgabe des Sprachstandard) und hat auf diese Weise seitdem.

---

C++ 14, 6.6.3 "Die return Anweisung":

A return statement with an expression of non-void type can be used only in functions returning a value [...] A return statement with an expression of type void can be used only in functions with a return type of cv void; the expression is evaluated just before the function returns to its caller.

Ja, können Sie einen Ausdruck verwenden wenn es von Hohlraumtyp ist (das ist schon gültig seit C++ 98).

Answer 2

Dieser Code in C++ erlaubt, aber nicht erlaubt in C

Von Return statement @ cppreference

In a function returning void, the return statement with expression can be used, if the expression type is void.

---

OTOH in C11 Spezifikationen Entwurf n1570:

Major cha nges in der zweiten Auflage eingeschlossen:

return without expression not permitted in function that returns a value (and vice versa)

(return mit der Expression nicht in Funktion erlaubt, die ein void liefert)

A return statement with an expression shall not appear in a function whose return type is void. A return statement without an expression shall only appear in a function whose return type is void.

und 6.8.6.4 return (selbst wenn der Ausdruck auswertet zu void)

Answer 3

ISO/IEC 9899: 201x Ausschussentwurf sagt das folgende:

6.8.6.4 The return statement

Constraints

1. return statement with an expression shall not appear in a function whose return type is void.

   A return statement without an expression shall only appear in a function whose return type is void .

Also, es ist verboten in C.

---

Sie müssen -pedantic Schalter gcc verwenden, um es über Standard Verletzungen zu beklagen:

test.c: In function ‘f2’: 
test.c:6:12: warning: ISO C forbids ‘return’ with expression, in function returning void 
      [-Wpedantic] 
    return f(); 

Answer 4

Standard C nicht unterstützt diese Konstruktion:

C11 6.8.6.4: The return statement

Constraints

1 A return statement with an expression shall not appear in a function whose return type is void . A return statement without an expression shall only appear in a function whose return type is void .

keine besonderen Bestimmungen hinzugefügt werden für den Sonderfall in der Frage. Einige C-Compiler unterstützen dies als Erweiterung (gcc tut dies, wenn sie nicht dazu aufgefordert werden, einer der C-Standards zu entsprechen), aber C11 und frühere Versionen betrachten dies als Constraint-Verletzung.

Answer 5

C++ ermöglicht es so etwas wie das:

void f() 
{ 
    return void(); 
} 

Während C nicht. Deshalb wird eine Warnung ausgegeben, wenn Sie ein ISO C anstelle von ISO C++ kompilieren. Dies wird formell beschrieben als:

A return statement with an expression of type void can be used only in functions with a return type of cv void