为何该C++函数未显式返回grade却能正常返回对应值？

哦，这可是C++里一个经典的「未定义行为」陷阱！咱们一步步拆解：

核心问题：你的代码触发了未定义行为 #

首先看你的函数：

int Grade(double points) {
    int grade = floor(0.25*points - 1.5);
    if (grade < 0) return 0;
}

这个函数的返回类型是int，但当grade >= 0时，函数执行完if块后就直接结束了——没有任何显式的return语句返回grade。根据C++标准，非void类型的函数如果没有通过return语句返回值，属于未定义行为（Undefined Behavior）。

为什么看起来「正常返回了grade」？ #

这纯粹是编译器和CPU调用约定的巧合：

• 大多数编译器遵循的调用约定里，返回int类型的值时，会把结果存在CPU的特定寄存器里（比如x86架构的EAX寄存器）。
• 你的代码里，int grade = floor(...)这行计算完成后，grade的值大概率刚好被存在了那个用来返回结果的寄存器里。
• 当函数没有显式return就结束时，CPU会直接把这个寄存器里现有的值当作函数返回值，所以你看起来像是得到了grade的正确值。

但这绝对不可靠！ #

未定义行为意味着标准没有规定程序的行为，任何事情都可能发生：

• 换个编译器（比如从GCC换成MSVC）、升级编译器版本，结果可能就变成随机垃圾值。
• 打开编译器优化（比如-O2），代码会被重排，那个寄存器里的值可能早就被其他操作覆盖了。
• 极端情况下，程序甚至可能崩溃或者出现完全无法预料的诡异行为。

正确的写法 #

必须补上显式的return语句，让函数的行为完全符合预期：

int Grade(double points) {
    int grade = floor(0.25*points - 1.5);
    if (grade < 0) {
        return 0;
    }
    return grade; // 这行绝对不能少！
}

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