C语言无return语句的int函数为何返回printf的返回值？

先看你提供的代码：

#include <stdio.h>

int m()
{
    printf("Hello");
}

void main() {
    
    int k = m();
    printf("%d",k);
}

你观察到的现象确实是函数m隐式返回了printf的返回值，但这属于未定义行为在特定编译器/平台下的一致表现，并非C标准规定的必然行为。

具体原理： #

• C标准明确规定：返回类型为int的函数如果没有显式return语句就结束执行，只有当调用者不读取返回值时，这种行为才被允许；一旦调用者读取返回值，就属于未定义行为。
• 在x86/x86_64平台的常见编译器（如GCC、Clang）中，int类型的函数返回值是通过eax（32位）或rax（64位）寄存器传递的。
• printf的返回值是成功输出的字符总数：打印"Hello"时返回5，打印"HelloWorld"时返回10，这和你看到的输出末尾数字完全对应。
• 当m函数执行完printf后直接结束（无return），此时eax/rax寄存器中还保留着printf的返回值，编译器生成的代码会直接把这个寄存器的值当作m的返回值传递给调用者，于是出现了你看到的一致结果。

重要提醒： #

这种现象只是特定环境下的巧合，C标准没有要求编译器必须这么做。换用其他编译器、平台或者调整优化等级，结果可能完全不同——比如返回随机值、程序崩溃等。所以编写代码时，必须给返回类型非void的函数添加显式的return语句，绝对不要依赖未定义行为。

内容的提问来源于stack exchange，提问作者RygelKenoid