为什么 return 0 是可选的？

Question

为什么，如果我写

int main() 
{ 
    //... 
}

我不需要在main 函数的末尾写return 0; 吗？编译器会帮我做吗？

我使用 GCC/C99。

Answer 1

C99 和 C++ 的特殊情况 main 函数返回 0 如果控制在没有显式返回的情况下到达末尾。此仅适用于main 函数。

对于main 特殊情况，C99 规范的相关位是 5.1.2.2.3

5.1.2.2.3 程序终止

如果主函数的返回类型 是与 int 兼容的类型，a 从初始调用返回 main函数相当于调用 具有值的退出函数
由主函数返回为其 争论; 到达} 终止主函数返回 值为 0。

6.9.1/12

如果终止函数的} 是 达到，以及函数的值 call 被调用者使用， 行为未定义。

你可以用 gcc 测试一下：

int foo ( void ) { }
int main( void ) { }

C89 模式（两个函数都有错误）：

sandiego:$ gcc src/no_return.c -std=c89 -Wall 
src/no_return.c: In function ‘main’:
src/no_return.c:2: warning: control reaches end of non-void function
src/no_return.c: In function ‘foo’:
src/no_return.c:1: warning: control reaches end of non-void function

C99 模式（main 是一个特例）：

sandiego:$ gcc src/no_return.c -std=c99 -Wall
src/no_return.c: In function ‘foo’:
src/no_return.c:1: warning: control reaches end of non-void function

Answer 2

如果函数末尾没有明确的 return 语句，则最新的 C（目前是 C99，有一些修改）默认从 main 返回 0，并且控制从函数的末尾流出（参见 5.1 .2.2.3 在C99 TC3)。这是因为大多数情况下，无论如何都会写出这样一种形式的回报。

在 C89 中，您需要在那里返回一些东西——它没有这样的隐式返回。但编译器绝不需要诊断此类错误（请参阅C89 draft 中的 3.6.6.4 和C99 TC3 中的 6.9.1/12）。

Answer 3

是的。 C 中的main 是一个非常特殊的函数，它有一些额外的规则。请参阅 C99 标准中有关其终止的段落。从本质上讲，如果你退出函数而不返回值，这相当于你给了一个返回值0。这对于main 来说是特殊的，在调用函数期望返回值的其他函数中这样做可能（并且将会）使您的程序崩溃。

如果 main 的返回类型 函数是一种兼容的类型 int，从初始调用返回 主要功能相当于 调用退出函数 主函数返回的值为 它的论点；到达 } 终止主函数返回一个 值为 0。如果返回类型不是 与 int 兼容，终止 状态返回给主机 环境未指定。

Answer 4

基本上，是的。函数不需要返回任何内容，即使它们声明了void 以外的返回类型。返回的值将是未定义的。

请注意，C99 要求声明非void 返回类型的函数始终通过返回语句终止。因此，如果您使用编译器的 C99 模式进行编译，此代码将导致编译时错误。