无return语句的C++ add函数为何能被cout正确输出？

这本质是未定义行为——C++标准明确规定：非void类型的函数如果没有执行return语句就返回，结果完全不可预测。你现在看到的"正确输出"只是当前编译器、当前环境下的巧合，绝对不能依赖这种写法。

为什么会出现这种巧合？ #

多数编译器（比如GCC、MSVC）对于int类型的函数返回值，会约定使用CPU的eax寄存器来传递结果。在你的add函数里：

• 计算result = a+b+c时，求和结果会先被放到eax寄存器，再写入栈上的result变量
• 函数结束时，虽然没写return result;，但eax寄存器里刚好还保留着之前求和的结果
• main函数调用add()时，会从eax寄存器读取返回值，所以cout刚好输出了正确的和

但这种情况完全是碰运气：

• 要是在add函数最后加一句无关代码（比如cout << "test";），eax寄存器会被覆盖成cout的返回值（转成int后就是乱码）
• 换个编译器或者开启不同优化等级（比如O2优化），编译器可能直接丢弃result的赋值，返回随机值
• 不同操作系统、CPU架构下，返回值的传递方式都可能不一样

正确的写法 #

必须给add函数加上return语句，同时建议把输入逻辑和计算逻辑分开（更符合单一职责）：

#include <iostream>
using namespace std;

int add(int a, int b, int c) {
    return a + b + c;
}

int main() {
    int a, b, c;
    cin >> a >> b >> c;
    cout << add(a, b, c) << endl;
    return 0;
}

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