本文深入探讨C++中extern关键字的应用，解析其如何指定全局变量、函数及模板的外部连接，强调在不同源文件间共享变量的重要性。同时，文章阐述了extern与C语言调用规则的关系，以及在模板实例化中的优化作用。
https://docs.microsoft.com/zh-cn/cpp/cpp/extern-cpp?view=vs-2019
extern 关键字应用于全局变量、函数、模板等声明，来指定其具有外部连接。
在说明其含义之前，有必要简单了解一下程序和连接。
在C++种，符号（例如变量或者是函数名）在其范围内可以声明任意次数，但是只能被定义一次。声明在程序种引入或者是重新引入一个名称。定义引入一个名称，会显式初始化变量。函数由函数体和函数名组成。
一个程序由一个或多个的解释单元组成。解释单元由一个实现文件（.cpp、.cxx等）和其所有显式或不显式地include的头文件（.h等）组成。每一个解释单元都被编译器独立地编译。编译后，连接器将编译完成地解释单元合并为单一的程序。在不同的解释单元中重复定义同一个名称，会违反ODR(one definition rule)规则。
通常，想要在各个.cpp中都使用同一变量最好的方式就是将其放到一个.h文件中，然后再各个.cpp中使用include将.h文件引入。这样就确保了该名称只定义了一次。
然而，有时候必须在.cpp文件中定义全局变量。在这样的情况下，需要一种方式来通知编译器和连接器，哪些变量是针对于一个文件的，哪些变量是针对所有文件的。
外部和内部链接：
free function是在全局或命名空间中定义的函数。非const全局变量和free function默认具有外部连接。他们在所有的解释单元中可见。因此，其他的全局对象不可用他们的名称。没有连接或是只有内部连接的标识只在定义它的解释单元中可见，当一个名称具有内部连接的时候，同一名称可能出现在其他的解释单元中。类定义或是函数定义的的变量没有连接。
可以通过定义为static为全局变量强加上内部连接，这样，它只能在定义它的解释器中可见。
以下四种对象默认具有内部连接：
const object
constexpr object
typedefs
static objects in namespace
可以利用extern关键字给const变量加上外部连接，例如：
extern const int value=2;
extern关键字在上下文中有四种含义。
1：在一个非const的全局变量中，extern关键字指定变量或者是方法在其他的解释单元中定义。extern可以用于除了该变量声明所在之外的任何文件。
2：在一个const的全局变量中，extern关键字指定变量具有外部连接。extern必须应用于所有文件的所有声明。（全局常量默认有内部连接。）
3：extern "C"表明函数在其他地方被定义，并且使用C语言的调用规则。
4：在template的定义中，其指明该模板已经在其他地方被实例化。这是一种优化，告诉编译器可以重用该实例，而不是再创建一个实例。
扫一扫
226
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
