Effective C++笔记之二十三：非void函数不写return

news2024/12/28 22:03:23

一.main函数

Qt Creator查看汇编的步骤如下

上图是g++编译器下的汇编
eax就是main()函数的返回值
如果删掉return 0；

可以发现编译器还是把eax的值设为了0，由此可见，即使在main函数中不写return 0，编译器还是会默认添加个return 0。
eax, ebx, ecx, edx, esi, edi, ebp, esp等都是X86 汇编语言中CPU上的通用寄存器的名称，是32位的寄存器。
每一个都有有各自的特别之处：
eax 是"累加器"(accumulator), 它是很多加法乘法指令的缺省寄存器。
ebx 是"基地址"(base)寄存器, 在内存寻址时存放基地址。
exc 是计数器(counter), 是重复(REP)前缀指令和LOOP指令的内定计数器。
......　
如果换成VC++编译器
0x4015da <+ 26> b8 00 00 00 00 mov $0x0,%eax
就变成了
0x501383 <+ 19> xor eax,eax
但是实际上xor eax,eax与mov $0x0,%eax的作用是一样的，都是让eax的值为0
如果还想查看其他编译器下的汇编代码，使用godbolt.org网站。它支持市面上几乎所有的编译器，而且各个版本都有。如下图所示：

那么普通函数也会默认添加个return 0吗？下面来看看

二.普通函数

首先要说明的是，非void普通函数不写return，VC++编译器是会报错的：C4716：XXX必须返回一个值。下面只讨论g++编译器下的情形。
先来看段代码

#include <iostream>
int test()
{
    int num = 10;
    num = 11;
    return num;
}

int main()
{
    int var = test();
    std::cout << var << std::endl;
    return 0;
}

预期输出：11，没毛病。
在return num;处打个断点，汇编如下

可以看到在return num;处会修改eax的值。
删掉return num;然后在num = 11;处打个断点

此时，编译器没有给寄存器exa更新值，那么返回值将是未定义的，本例中则会输出1，如下图所示：

非void普通函数不写return是导致崩溃的原因之一，但是它并不是一定会导致崩溃，比如下面这段代码，恰好能正常输出3。

#include <iostream>
int max(int x, int y)
{
    int z;
    if (x > y)
        z = x;
    else
        z = y;
}

int main()
{
    int a = 2, b = 3, c;
    c = max(a, b);
    std::cout << c << std::endl;
    return 0;
}

在z = y;打个断点，汇编如下

编译的时候发现没有写 return 语句，依然会改动寄存器eax的值，并直接将 eax 的值返回。由于max函数中不涉及其他的修改eax值的操作，因此人品爆发得到了正确的结果。