在C和C++中返回void類型

Question

這個編譯沒有任何警告。

這是合法的C和C++還是隻是在gcc和鏗鏘聲中工作？

如果它是合法的，C99之後它是否是一些新的東西？

void f(){ 

} 

void f2(){ 
    return f(); 
} 

更新

爲 「拉德雷克薩斯」 建議我嘗試這樣做：

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

更新

有人問這樣的結構是如何幫助。那麼語法糖或多或少。這裏是一個很好的例子：

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 「的return聲明」：

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

沒有，你可能不會使用表達式，哪怕是void類型。

從同一文件的前言：

Major changes in the second edition included:

[...]

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

因此，這是從C89的變化 - > C99（語言標準第二版），並從那時起一直如此。

---

C++ 14，6.6.3 「的return聲明」：

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.

是，您可以如果是void類型的使用表達式（這一直是從C++ 98開始有效）。

Answer 2

此代碼允許C++但C

不允許從Return statement @ cppreference

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

---

OTOH在C11 n1570規格草案：

Major cha在第二版nges包括：

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

和6.8.6.4返回（return與表達函數，它返回一個void不允許）

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.

（即使該表達式的計算結果到void）

Answer 3

ISO/IEC 9899：201x委員會草案說明如下：

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 .

因此，在C中是禁止的。

---

您需要使用-pedantic開關gcc它抱怨標準的違規行爲：

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

標準C不支持這樣的結構：

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 .

沒有特別規定添加對於問題中的特例。有些C編譯器確實支持這種擴展（除非被指示符合C標準之一），但C11和以前的版本認爲它是違反約束的。

Answer 5

C++允許這樣的事情：

void f() 
{ 
    return void(); 
} 

雖然C沒有。這就是爲什麼如果您將其編譯爲ISO C而不是ISO C++時發出警告的原因。這正式描述爲：

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