C函数接受值，即使它的参数是无效的

Question

我是编程新手，我在定义函数之前阅读了我们需要定义它的原型。如果我们不希望我们的函数接受任何值，那么我们将 void 作为参数写入。所以只是为了检查它，我写了这个小程序，在定义函数原型时，我把它的参数写为 void，而在写它的定义时，它写了 int a 作为它的参数（希望我会得到一个错误，但我从来没有得到一个）。然后我编译并运行它给我这个输出的程序

这个程序打印从 1 到 3 的所有数字的平方

1 的平方是 1：

2 的平方是 4：

3的平方是9：

在此之后，我将定义中的参数更改为 float a（只是为了检查程序是否仍然可以工作），这次我得到了不同的输出，如下所示

这个程序打印从 1 到 3 的所有数字的平方

1的平方是0：

2的平方是0：

3的平方是0：

.

谁能解释一下这里发生了什么？为什么我的编译器没有抛出错误，为什么我得到两个完全不同的 int 和 float 输出？我正在使用带有更新 4 的 Visual Studio Professional 2013！

//program to calulate square using functions 

#include <stdio.h>
#pragma warning (disable:4996)

int square(void);

int main()
{

    int i;

    printf("This program prints the square of all the numbers starting from 1 to 3");

    for (i = 1; i <= 3; i++)  
            printf("\n\nthe square of %d is %d : \t",i,square(i));

    getch();
    return 0;
}


square(a)
{

    a = a*a;
    return a;

}

Answer 1

旧的 C 标准允许声明不带参数的函数，然后假定参数的类型为 int。只要一切都匹配，一切正常，但如果事情不匹配，可能会发生有趣的事情。

这一切都归结为calling convention。调用代码将参数放在某处（通常是堆栈和寄存器），然后函数从某处获取它们，如果这个“某处”相同，并且数据类型匹配，则一切正常。当它们不匹配时，您会得到未定义的行为。

所以int 版本有效，因为一切都匹配。编译器会警告您，它不知道您的代码是否真的可以工作（或在以后的 C 标准版本和 C++ 中给出实际错误），但这只是警告，这意味着您需要确保它正常（你真的不想这样做，这是编译器的工作，所以启用警告并修复它们！）。

您提到的float 版本是未定义的行为。计算机能够做的任何事情都可能发生（包括闯入您的银行帐户并在您下次使用网上银行时清空它，这基本上是许多恶意软件实际感染计算机的方式，利用编程错误）。但是在这里你可能得到零，因为浮点参数和返回值是在 FPU 寄存器中传递的，函数不会改变，因此返回值恰好为零。

Answer 2

符合标准的 C 编译器必须为您的问题中的程序发出至少一个诊断信息。

您的square 函数声明为：

int square(void);

表示它不接受任何参数并返回int 结果。然后您将其称为：

square(i)

传递一个参数。这是一个违反约束，这意味着编译器必须发出诊断（可能是警告或致命错误）。

然后你定义它为：

square(a) { /* ... */ }

这是一个老式的定义。它说square 接受int 参数并返回int 结果（在过时的“隐式int”规则下）。但是该定义在调用时不可见，因此编译器将仅使用声明来处理调用。

根据Microsoft's documentation，这个：

#pragma warning (disable:4996)

禁用“已弃用”功能的警告。它不应该应用于您程序中的任何内容，因此您仍然应该在不正确的调用 square(i) 时收到警告或致命错误。

您的编译器有问题，或者更有可能是您问题中的代码或您对编译器行为的描述不正确。

请从您的问题中复制并粘贴确切的代码并尝试编译它。如果它确实在没有警告或错误的情况下编译，则说明您的编译器或您使用它的方式存在严重问题。

（当然，square 的声明、定义和调用都应该是一致的，但你的问题是关于为什么编译器不诊断错误，而不是关于如何在源代码中修复它。）

至于为什么int 和float 得到不同的输出，如果函数的声明和定义不一致，任何调用都会导致未定义的行为。当您将定义更改为使用float 时，生成的代码可能会传递一个int 值，该函数错误地将其解释为float 值。结果毫无意义。

更新： 现在我已经看到了您的屏幕截图，看起来您的编译器正在做一些我没想到的事情。它警告声明int square(void) 有一个无效参数列表。就其本身而言，该声明是完全有效的；这只是一个问题，因为以下 定义 使用 int 参数定义了 square。它一定是决定在它看到不兼容的定义之后对声明发出警告。

真正让我吃惊的是它没有警告square(i) 的调用。该调用与定义（在它之后）一致，但与声明（在它之前）不一致。

C 设计为一次性处理。构造的合法性取决于它前面的代码，而不是它后面的代码。

但 C 标准强加的唯一要求是编译器必须发出至少一个诊断。它没有说明该诊断的措辞，也没有要求它是一个致命的错误。在这种情况下，代码违反了约束（因为 square 的声明和定义不兼容），在我看来，它应该拒绝该程序——但警告符合标准的要求。

不管编译器的作者做出什么决定，它确实产生了几条警告消息，你不应该忽略它们。它（也许间接地）指出了您的代码存在的问题，您应该解决这些问题。编译器警告您的代码这一事实有时比警告的实际内容更能提供信息。