为什么这个函数 returns 0 而不是 double？

Question

我正在测试一段代码，但我不明白为什么它会打印 "The higher value is 0"。这是主要功能：

int main() {
    double a,b,c;
    a=576;
    b=955;
    c=higher(a,b);
    printf("The higher value is %g\n", c);
    return 0;
}

在另一个 .c 中我有这个函数：

double higher(double a, double b){
    if (a>b)
        return a;
    return b;
}

注意：如果我将 higher() 放在 main.c 中，它可以正常工作，但这样它会告诉我较高的值为 0。如果我将 return 放在 higer 中，它也可以工作() 像这样：

return (int)b;

如果 return 是双精度的函数与 main() 在同一个 .c 中或在不同的 .c 中，是否有区别？

Answer 1

使用 C99 或 C11 编译器编译并阅读警告。您正在使用没有原型的函数。

在没有原型的情况下，C99 之前的版本默认采用 return int 的函数。 C99 及更高版本，需要原型。

即使没有启用额外的警告：

$ cat test.c
int main()
{
    int i = f();
    return 0;
}

int f(void)
{
   return 1;
}

$ gcc -std=c11 test.c
test.c: In function ‘main’:
test.c:13:2: warning: implicit declaration of function ‘f’ [-Wimplicit-function-declaration]
  int i = f();

请注意，gcc 在编译时不会发出警告 -std=c90，但在启用警告时会发出警告 -Wall。

因此，由于 higher() 预期 return 和 int，该值通过赋值（c 的类型转换为 double没有改变）。

现在是有趣的部分：undefined behaviour（UB，记住这句话！）由于调用和实现函数的签名不同。

可能发生的是根据过程调用标准 (PCS) 和应用程序二进制接口 (ABI) - 检查维基百科。简而言之：higher 本身 return 是一个 double。这很可能通过一个浮点 CPU 寄存器传递给调用者。调用者 OTOH 期望整数 CPU 寄存器中的 return 值（由于缺少原型）（碰巧持有 0）。

因此，由于他们显然沟通不畅，您得到了错误的结果。请注意，这有点推测并且取决于 PCS/ABI。要记住的是这是 UB，所以任何事情都有可能发生，甚至 demons flying out of your nose.

为什么要使用原型：

好吧，你已经注意到了，编译器不知道你是否正确调用了一个函数。更糟糕的是，它不知道使用了哪些参数类型以及 returned 了哪种结果类型。这是一个特别的问题，因为 C 会自动转换某些类型（您在这里确实遇到过）。

由于经典 K&R（标准前）C 没有原型，所有未知函数的参数都假定为 int/double 调用中的标量参数。结果默认为 int。（很久以前，我可能遗漏了一些部分；我开始使用 K&R 进行一些编码，弄乱了类型（这正是您的问题，但没有一个干净的解决方案），等等，把它扔在角落里并愉快地在 Modula-2 中编程直到几年后我尝试了 ANSI-C）。

如果现在编译代码，你应该至少符合（并编译）C99，最好使用当前标准（C11）。

为什么这个函数 returns 0 而不是 double？

Why this function returns 0 instead of a double?

c

double

casting

return

function