C中的隐式函数声明

什么是术语“隐式函数声明”。 调用标准库函数时,如果不包含相应的头文件,会产生警告

int main(){ printf("How is this not an error ?"); return 0; } 

不应该使用一个函数没有声明它是一个错误? 请详细解释。 我search这个网站,发现类似的问题,但无法find一个明确的答案。 大多数答案都提到了包含头文件以摆脱警告的一些信息。 但是我想知道这不是一个错误。

这应该被认为是一个错误。 但是C是一种古老的语言,所以这只是一个警告。
-Werror (gcc)编译解决了这个问题。

当C没有find一个声明时,它假定这个隐式声明: int f(); ,这意味着该函数可以接收你给它的任何东西,并返回一个整数。 如果这种情况恰好足够接近(在printf情况下),那么事情就会起作用。 在某些情况下(例如函数实际上返回一个指针,指针比int大),这可能会导致真正的麻烦。

请注意,这在更新的C标准(C99,C11)中得到了修复。 在这些标准中,这是一个错误。 但是, gcc并没有默认实现这些标准,所以你仍然得到警告。

隐式声明在C中是无效的

C99删除了这个function(在C89中出现)。

gccselect默认使用-std=c99发出警告,但是编译器有权拒绝翻译这样的程序。

C是一种非常低级的语言,所以它允许你创build几乎任何可以想象的合法对象(.o)文件。 你应该把C看作基本打扮的汇编语言。

特别是C在使用之前不需要声明函数。 如果你调用一个没有声明的函数,函数的使用就变成了(隐式的)声明。 在一个简单的testing中,我只是跑了,这只是一个内置库函数(如printf(至less在GCC))的情况下的警告,但对于随机函数,它会编译得很好。

当然,当你尝试链接,并找不到富,那么你会得到一个错误。

在像printf这样的库函数的情况下,一些编译器包含内置的声明,所以他们可以做一些基本的types检查,所以当隐式声明(来自使用)与内置声明不匹配时,得到一个警告。

由于历史原因回到C的第一个版本,函数被假定为具有int function(int arg1, int arg2, int arg3, etc)的隐式定义int function(int arg1, int arg2, int arg3, etc)

编辑:不,我错了int的参数。 相反,它会传递任何types的参数。 所以它可能是一个int或一个double或一个char* 。 如果没有原型,编译器会传递任何大小的参数,被调用的函数最好使用正确的参数types来接收它。

有关更多详情,请查阅K&R C

为了完成这个画面,因为 – -Werror可能被认为是太“侵入”了,
对于gcc(和llvm)来说,一个更精确的解决scheme就是将这个警告转换成一个错误,使用下面的选项:

 -Werror=implicit-function-declaration 

请参阅使一个海湾合作委员会警告错误?

关于一般的使用 – -Werror :当然,有一些无需警告的代码是值得推荐的,但在某些发展阶段可能会减慢原型devise。

隐式声明的函数是既没有原型也没有定义,但在代码中被调用的地方。 因此,编译器不能validation这是函数的预期用法(参数的数量和types是否匹配)。 在编译之后,在链接时parsing对引用的引用(与所有其他全局符号一样),所以在技术上,跳过原型不是问题。

假定程序员知道他在做什么,这是提供原型的正式合同被省略的前提。

如果使用错误types或数量的参数调用函数,可能会发生恶意错误。 这个最可能的performance是堆栈的腐败。

现在这个function可能看起来不太古怪,但在过去,这是一种减less头文件数量的方法,因此编译速度更快。