问当使用extern在文件之间共享const时，为什么定义需要extern？

EN

根据标准，

具有名称空间作用域(3.3.6)的名称如果名称为.一个非易失性变量，显式声明为const或constexpr，既未显式声明extern，也未先前声明为具有外部链接。

因此，有一条特殊的规则，即当const或constexpr存在时，名称空间作用域上的变量具有内部链接，即使它们本来会有外部链接。我不完全确定这个规则为什么存在，但我怀疑它允许编译器内联const变量，因此根本不为它们分配任何存储空间。extern说明符显式地重写了这一点，并使变量再次具有外部链接。

为变量提供初始化程序，将重写外接程序。

现在这有点不同了。默认情况下，变量的声明也是一个定义，但是extern会取消这一点，这样您就可以在不定义变量的情况下声明变量(也就是说，因为它的定义位于另一个转换单元中)。但是，如果您有一个初始化器，那么它将重写extern，并且声明再次成为一个定义。这与上面关于内部和外部联系的规则并没有什么关系。