Extern告诉编译器信任你，这个变量的内存在其他地方声明了，所以它不会尝试分配/检查内存。

因此，您可以编译一个引用extern的文件，但是如果没有在某个地方声明该内存，则不能进行链接。

对于全局变量和库很有用，但是危险，因为链接器不进行类型检查。

Extern是用于声明变量本身驻留在另一个翻译单元中的关键字。

因此，您可以决定在一个转换单元中使用一个变量，然后从另一个转换单元访问它，然后在第二个转换单元中将其声明为extern，符号将由链接器解析。

如果不将其声明为extern，则会得到两个名称相同但完全不相关的变量，并且变量的多个定义存在错误。

首先，extern关键字不用于定义变量;相反，它用于声明变量。我可以说extern是一个存储类，而不是数据类型。

extern用于让其他C文件或外部组件知道这个变量已经在某处定义。例如:如果你正在构建一个库，不需要在库本身的某个地方强制定义全局变量。库将直接编译，但在链接文件时，它将检查定义。

extern变量是在另一个翻译单元中定义的变量的声明(感谢sbi的更正)。这意味着变量的存储空间被分配到另一个文件中。

假设您有两个.c文件test1.c和test2.c。如果你定义一个全局变量int test1_var;在test1.c中你想访问test2.c中的这个变量你必须使用extern int test1_var;在test2.c。

完整的示例:

$ cat test1.c 
int test1_var = 5;
$ cat test2.c
#include <stdio.h>

extern int test1_var;

int main(void) {
    printf("test1_var = %d\n", test1_var);
    return 0;
}
$ gcc test1.c test2.c -o test
$ ./test
test1_var = 5

我使用了一个非常简短的解决方案，允许头文件包含对象的extern引用或实际实现。实际包含该对象的文件只是#define GLOBAL_FOO_IMPLEMENTATION。然后，当我向这个文件添加一个新对象时，它也会显示在那个文件中，而不需要我复制和粘贴定义。

我在多个文件中使用这种模式。因此，为了保持内容尽可能自包含，我只是在每个头文件中重用单个GLOBAL宏。我的标题是这样的:

//file foo_globals.h
#pragma once  
#include "foo.h"  //contains definition of foo

#ifdef GLOBAL  
#undef GLOBAL  
#endif  

#ifdef GLOBAL_FOO_IMPLEMENTATION  
#define GLOBAL  
#else  
#define GLOBAL extern  
#endif  

GLOBAL Foo foo1;  
GLOBAL Foo foo2;


//file main.cpp
#define GLOBAL_FOO_IMPLEMENTATION
#include "foo_globals.h"

//file uses_extern_foo.cpp
#include "foo_globals.h

简而言之，extern意味着变量是在其他模块中定义的，它的地址在链接时是已知的。编译器不会在当前模块中保留内存，并且知道变量类型。要理解extern，至少要有很少的汇编经验。