为什么const int需要extern，而const char不需要*

Question

我很困惑为什么在我的extern文件中的定义中，对于int和char*，为什么需要char*。我有以下测试程序：

// extern.cpp
extern const int my_int = 1;
const char* my_str = "FOO";

// main.cpp
#include <iostream>

extern const int my_int;
extern const char* my_str;

int main() {
  std::cout << my_int;
  std::cout << my_str;
  return 0;
}

如果我将extern从extern const int my_int = 1;中删除，那么我就得到了undefined reference to 'my_int'。如果我将extern添加到const char* my_str = "FOO";中，则会得到一个警告'my_str' initialized and declared 'extern'。为什么我需要extern在my_int上，但是将它添加到my_str中会产生警告？

这里是gcc 10.1.0的C++17新闻。具体命令如下：

/usr/bin/g++-10  -g -std=gnu++17 -o main.cpp.o -c main.cpp
/usr/bin/g++-10  -g -std=gnu++17 -o extern.cpp.o -c extern.cpp
/usr/bin/g++-10  -g main.cpp.o extern.cpp.o -o TestExtern

Answer 1

这是由不同的联动 of my_int和my_str变量造成的。

my_int是名称空间范围内的const-qualified变量，这意味着默认情况下它具有内部链接。换句话说，它的可见性仅限于当前的翻译单元，除非您将其标记为extern。此外，内部链接常量必须有一个初始化器。

另一方面，my_str不是const-qualified。不要被指针类型中的const限定符混淆，因为该限定符是指定类型的一部分。指针本身是可变的，您可以在运行时为它分配一个不同的值。由于这是命名空间范围中的非const变量，因此它具有外部链接，因此引用整个程序范围内的单个指针对象。