为什么这段代码仍然有效？

Question

我刚刚遇到的一些旧代码：

MLIST * new_mlist_link()
{
    MLIST *new_link = (MLIST * ) malloc(sizeof(MLIST));
    new_link->next  = NULL;
    new_link->mapi  = NULL;
    new_link->result = 0;
}

这被调用来构建链接列表，但是我注意到没有语句：

return new_link;

即使那里没有 return 语句，列表仍然可以正确构建。为什么会发生这种情况？

编辑： 平台：Mandriva 2009 64位 Linux 2.6.24.7-server GCC 4.2.3-6mnb1

编辑： 有趣...此代码也在大约 5 个不同的 Linux 安装上成功运行，所有不同版本/风格，以及 Mac。

Answer 1

在 32 位 Windows 上，大多数时候，函数的返回值保留在 EAX 寄存器中。其他操作系统中也使用类似的设置，当然它是特定于编译器的。这个特定的函数可能将 new_link 变量存储在同一位置，因此当您返回而不返回时，该位置中的变量将被调用者视为返回值。

这是不可移植的，而且实际执行起来非常危险，但也是让 C 编程变得如此有趣的小事情之一。

Answer 2

可能它只是使用了 EAX 寄存器，该寄存器通常存储最后一个被调用函数的返回值。这根本不是一个好的做法！这类事情的行为是未定义的..但是看到工作很酷;-)

Answer 3

这基本上是运气；显然，编译器碰巧将 new_link 粘贴到粘贴返回值的同一位置。

Answer 4

要避免此问题，请使用：

-Wreturn-type：

每当定义函数的返回类型默认为 int 时发出警告。还警告返回类型不为 void 的函数中任何没有返回值的 return 语句（脱离函数体的末尾被视为无值返回），以及函数中带有表达式的 return 语句，其返回值返回类型为空。

-Werror=return-type 将上面的内容变成错误：

将指定的警告变为错误。附加警告说明符，例如 -Werror=switch 将 -Wswitch 控制的警告转换为错误。此开关采用否定形式，用于否定特定警告的 -Werror，例如 -Wno-error=switch 使 -Wswitch 警告不是错误，即使 -Werror 有效时也是如此。您可以使用 -fdiagnostics-show-option 选项来使用控制它的选项修改每个可控警告，以确定该选项的用途。

（来自 GCC 警告选项）

Answer 5

这是巧合。你不应该依赖它。

Answer 6

最有可能的是，它会产生一个很难发现的错误。我不确定我在哪里读到它，但我记得如果你忘记放入 return 语句，大多数编译器将默认返回 void。

这是一个简短的例子：

#include <iostream>

using namespace std;

int* getVal();

int main()
{
        int *v = getVal();
        cout << "Value is: " << *v << endl;
        return 0;
}

int* getVal()
{
        // return nothing here
}

对我来说，这也有效。但是，当我运行它时，我遇到了段错误。所以它确实是未定义的。仅仅因为它可以编译，并不意味着它会起作用。

Answer 7

它之所以有效，是因为在 20 世纪 40 年代 C 语言创建时，还没有 return 关键字。如果您查看 C43 MINSI 标准的“函数”部分，它对这个主题有这样的说法（除其他外）：

16.4.3b For backwards compatibility the EAX register MUST be used to return
        the address of the first chunk of memory allocated by malloc.

Answer 8

可能是巧合：

函数返回值的空间是提前分配的。由于该值未初始化，因此它可能指向堆上与为结构分配的内存相同的空间。