带有空void main（）的程序的退出代码是什么意思？

Question

我用下面给出的空main编写了一个简单的C程序，并用gcc编译了它

void main(){
}

执行时，它返回退出代码作为25，如果我在包含stdio之后添加printf语句。h、 它返回退出代码5

这里25和5的含义是什么，以及为什么它由在main（）之前或之后执行的任何代码返回？如果我使用int main（），并且不放置返回语句，则退出代码为零。

Answer 1

（补充约翰·博林格的回答）

旧的ISO C标准（ISO/IEC 9899:1999）指出：

[main]应进行定义

• 返回类型为int和

^{§5.1。2.2.C标准的第1部分}

如果返回类型与int不兼容，则返回到主机环境的终止状态未指定。

^{§5.1。2.2.3¨1}

这表明允许不返回int的表单是故意的。

许多编译器的手册（例如。Watcom C/C，IBMVisualage C/C，Microsoft Visual C/C）声明main可能具有返回类型vol，因此具有vol main（）的程序是符合要求的程序。

很长一段时间以来，许多代码都是用space的返回类型编写的。gcc（可能）认为与遗留代码兼容很重要，并允许无效main（），但在这种情况下：

• 它给出一个警告（警告：“main”的返回类型不是“int”）

参考资料：

• http://web.archive.org/web/20160604095048/homepage.ntlworld.com/jonathan.deboynepollard/FGA/legality-of-void-main.html

int main（）{}

这在C89/90中未定义，在以下版本中定义良好（返回0）。

在x86上，EAX寄存器通常用于返回值。所以呢

int main() {}

被编译成类似于：

main:
        push    rbp
        mov     rbp, rsp
        mov     eax, 0
        pop     rbp
        ret

对于

void main() {}

最简单的操作是删除mov eax，0：

main:
        push    rbp
        mov     rbp, rsp
        nop
        pop     rbp
        ret

如果添加printf语句：

#include <stdio.h>

void main()
{
  printf("1234");
}

你会得到：

.LC0:
        .string "1234"
main:
        push    rbp
        mov     rbp, rsp
        mov     edi, OFFSET FLAT:.LC0
        mov     eax, 0
        call    printf
        pop     rbp
        ret

printf调用更改EAX寄存器（返回写入流的字符数，EAX用于返回值）。

Answer 2

这里25和5是什么意思

C语言规范没有定义其main（）声明为返回false的程序的行为。然而，接受此类代码的实现可能会也可能不会为其定义行为。因此，在一般意义上，没有退出状态具有任何意义或意义的程序与无效main（）。

显然，GCC特别接受代码，但是我在GCC的文档化C扩展中没有找到对其行为的定义，所以在这种情况下，您观察到的退出状态也没有任何意义。

以及为什么它由在main（）之前或之后执行的任何代码返回？

没有特别的原因。该行为未定义。

如果我使用int main（），并且不放置返回语句，则退出代码为零。

这种情况定义明确。C指定如果执行到达对main（）（假定使用两个C标准签名之一声明，两个签名都返回int）的初始调用的末尾，则行为就好像调用了exit（0）。这是一个特例。如果执行到达非void函数的右大括号，并且其调用者对返回值执行任何操作，则该行为是未定义的。