隐式声明如何工作

int f();

请注意,您仍然可以将参数传递给f,因为它未被声明为int f(void); (这是为了向后兼容K& R C).

因此,编译器不“知道”malloc接收到一个size参数,实际上你可以将它传递给你想要的,它并不关心.

所以,代码工作的纯粹事实就是纯粹的运气.在malloc的情况下,如果代码有效,它只是意味着整数的大小与指针的大小相同 – 不多也不少 – 所以,你仍然可以调用malloc并将其结果赋值给指针,因为没有比特被修剪/丢失.

在编译发生后,在链接阶段找到真正的函数.到目前为止,您的代码已经使用错误的函数原型进行编译.当然,如果链接器无法在其路径中的任何位置找到该函数,则会报告错误并中止所有内容.

对于malloc和其他标准库函数的情况,可能有内置函数来提高性能. gcc甚至可以选择禁用内置函数(-fno-builtin或-fno-builtin-function).来自gcc手册页：

GCC normally generates special code to handle certain built-in
functions more efficiently; for instance,calls to “alloca” may become
single instructions that adjust the stack directly,and calls to
“memcpy” may become inline copy loops. The resulting code is often
both smaller and faster,but since the function calls no longer appear
as such,you cannot set a breakpoint on those calls,nor can you
change the behavior of the functions by linking with a different
library. In addition,when a function is recognized as a built-in
function,GCC may use information about that function to warn about
problems with calls to that function,or to generate more efficient
code,even if the resulting code still contains calls to that
function.

因此,在malloc的特定情况下,这就是编译器“知道”其通常签名的方式.尝试使用gcc编译此代码：

int main(void) {
    char *a = malloc(12,13,14,15);
    return 0;
}

您将看到它将因编译错误而中止：

test.c:3: error: too many arguments to function `malloc'

如果使用选项-fnobuiltin,则错误消失且警告不同：

test.c:3: warning: implicit declaration of function `malloc'

这与您每次使用之前未定义的常规函数??时获得的警告相同,因为现在编译器忽略了他对这些函数的“了解”.此示例使用gcc,但其他编译器将具有类似的行为.