声明一个函数extern意味着它的定义将在链接时被解析，而不是在编译期间。

与没有声明extern的常规函数不同，它可以在任何源文件中定义(但不能在多个源文件中定义，否则会得到链接器错误，提示您已经给出了函数的多个定义)，包括声明了extern的那个源文件。因此，在我们的例子中，链接器在同一个文件中解析函数定义。

我不认为这样做会很有用，但是做这样的实验可以更好地了解语言的编译器和链接器是如何工作的。

内联函数对于extern的含义有特殊的规则。(注意，内联函数是C99或GNU扩展;他们不是原始的C。

对于非内联函数，不需要extern，因为默认情况下它是打开的。

注意，c++的规则是不同的。例如，在要从c++调用的C函数的c++声明上需要extern“C”，关于内联有不同的规则。

您需要区分两个独立的概念:函数定义和符号声明。"extern"是一个链接修饰符，它是对编译器的一个提示，说明后面引用的符号定义在哪里(提示是，"不在这里")。

如果我写

extern int i;

在C文件的文件范围内(函数块之外)，那么你说“变量可能在其他地方定义”。

extern int f() {return 0;}

既是函数f的声明，也是函数f的定义。在这种情况下，定义覆盖了extern。

extern int f();
int f() {return 0;}

首先是声明，然后是定义。

如果您想声明和同时定义一个文件作用域变量，使用extern是错误的。例如,

extern int i = 4;

将给出一个错误或警告，这取决于编译器。

如果显式地希望避免定义变量，则使用extern非常有用。

让我解释一下:

假设文件a.c包含:

#include "a.h"

int i = 2;

int f() { i++; return i;}

文件a.h包括:

extern int i;
int f(void);

文件b.c包含:

#include <stdio.h>
#include "a.h"

int main(void){
    printf("%d\n", f());
    return 0;
}

The extern in the header is useful, because it tells the compiler during the link phase, "this is a declaration, and not a definition". If I remove the line in a.c which defines i, allocates space for it and assigns a value to it, the program should fail to compile with an undefined reference. This tells the developer that he has referred to a variable, but hasn't yet defined it. If on the other hand, I omit the "extern" keyword, and remove the int i = 2 line, the program still compiles - i will be defined with a default value of 0.

文件作用域变量是隐式定义的，如果没有显式地为它们赋值，则默认值为0或NULL——这与在函数顶部声明的块作用域变量不同。extern关键字避免了这种隐式定义，因此有助于避免错误。

对于函数，在函数声明中，关键字确实是多余的。函数声明没有隐式定义。

在C语言中，函数隐式定义为extern，而不管是否实际声明关键字。

那么，代码:

    int f() {return 0;}

编译器将处理为

    extern int f() {return 0;}

从本质上讲，典型的函数定义与前面带有extern关键字的函数定义之间没有语义上的区别，如本例中所示。你可以在https://www.geeksforgeeks.org/understanding-extern-keyword-in-c/上阅读更深入的解释

extern关键字根据环境的不同有不同的形式。如果声明可用，则extern关键字采用前面在翻译单元中指定的链接。在没有任何此类声明的情况下，extern指定外部链接。

static int g();
extern int g(); /* g has internal linkage */

extern int j(); /* j has tentative external linkage */

extern int h();
static int h(); /* error */

以下是C99草案(n1256)的相关段落:

6.2.2 Linkages of identifiers [...] 4 For an identifier declared with the storage-class specifier extern in a scope in which a prior declaration of that identifier is visible,23) if the prior declaration specifies internal or external linkage, the linkage of the identifier at the later declaration is the same as the linkage specified at the prior declaration. If no prior declaration is visible, or if the prior declaration specifies no linkage, then the identifier has external linkage. 5 If the declaration of an identifier for a function has no storage-class specifier, its linkage is determined exactly as if it were declared with the storage-class specifier extern. If the declaration of an identifier for an object has file scope and no storage-class specifier, its linkage is external.

声明一个函数extern意味着它的定义将在链接时被解析，而不是在编译期间。

与没有声明extern的常规函数不同，它可以在任何源文件中定义(但不能在多个源文件中定义，否则会得到链接器错误，提示您已经给出了函数的多个定义)，包括声明了extern的那个源文件。因此，在我们的例子中，链接器在同一个文件中解析函数定义。

我不认为这样做会很有用，但是做这样的实验可以更好地了解语言的编译器和链接器是如何工作的。