在 C 中，如果在块范围内声明的对象没有链接，为什么 main() 中没有“extern”的函数声明起作用？

Question

据我所知，C 中的对象有 3 种类型的链接：1）外部 2）内部和 3）无，并且在块范围内声明的对象，如在函数体内，没有链接，除非前面有关键字“外部”或“静态”。

但是为什么下面的函数声明能够链接到 main() 函数下面的定义，即使我在声明期间没有使用“extern”？请解释一下，因为它颠覆了我对这个话题的全部理解。谢谢。

#include<stdio.h>

int main()
{
int foo();  //working even though I've not used "extern"
printf("%d",foo());
}

int foo()
{
return 8;
}

上述程序的结果：8

Answer 1

并且在块范围内声明的对象（如在函数体内）没有链接，除非前面带有关键字“extern”或“static”。

函数不是对象。

C11 中的 6.2.2 说

-5- 如果函数标识符的声明没有存储类说明符，则它的链接将完全确定，就好像它是使用存储类说明符extern 声明的一样。如果对象标识符的声明具有文件范围且没有存储类说明符，则其链接是外部的。

第一句话说在文件范围内声明的函数就像用extern 声明一样。即使在块范围内声明也适用。下一段是：

-6- 以下标识符没有链接： 声明为对象或函数以外的任何标识符；声明为函数参数的标识符；未使用存储类说明符 extern 声明的对象的块范围标识符。

也就是说块范围的对象没有链接，但没有函数。

在 ISO C 中不能有嵌套函数，所以如果它没有引用块外的东西，那么声明一个块作用域函数是没有意义的。

Answer 2

函数不是对象。所以你所说的关于对象的内容并不适用于函数。