C中的隐式函数声明

Question

术语"函数的隐式声明"是什么意思.调用标准库函数而不包括相应的头文件会产生警告,如果的话

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

如果不声明它是错误的话,不应该使用函数吗？请详细解释.我搜索了这个网站,发现了类似的问题,但找不到明确的答案.大多数答案说了一些关于包含头文件以摆脱警告的事情.但我想知道这不是一个错误.

Answer 1

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

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

请注意,这是在较新的C标准(C99,C11)中修复的.在这些标准中,这是一个错误.但是,gcc默认情况下不实现这些标准,因此您仍然会收到警告.

Answer 2

隐式声明在C中无效.

C99删除了此功能(存在于C89中).

gcc选择仅默认发出警告,-std=c99但编译器有权拒绝翻译此类程序.

Answer 3

要完成图片，因为-Werror强权认为过于“侵入”，
对海湾合作委员会（和LLVM）更精确的解决方案是改造只是在一个错误此警告，使用选项：

-Werror=implicit-function-declaration

请参阅使一个 gcc 警告成为错误？

关于一般用途-Werror：当然，建议使用无警告代码，但在开发的某些阶段，它可能会减慢原型设计的速度。

Answer 4

C是一种非常低级的语言,因此它允许您创建几乎任何您可以想到的合法对象(.o)文件.您应该将C视为基本装扮的汇编语言.

特别是,C不需要在使用之前声明函数.如果在不声明函数的情况下调用函数,则函数的使用将成为它(隐式)声明.在我刚刚运行的简单测试中,这只是内置库函数(如printf)(至少在GCC中)的警告,但对于随机函数,它将编译得很好.

当然,当你尝试链接时,它找不到foo,那么你会收到一个错误.

对于像printf这样的库函数,一些编译器包含内置的声明,因此它们可以进行一些基本的类型检查,所以当隐式声明(来自使用)与内置声明不匹配时,你将会得到警告.