在最近的封闭范围内使用 using 指令声明局部外部变量

Question

这个程序是否符合 c++ 标准？

namespace X { int i = 1; }

using namespace X;

int main() {
    extern int i;
    i = 2;
}

我使用不同的编译器得到不同的结果：

• GCC 和 Clang 给出链接器错误：未定义的 i 引用。

• Visual c++ 接受程序。

Answer 1

[basic.link]/p6:

如果存在具有相同名称和类型的链接的实体的可见声明，忽略在最里面的封闭命名空间范围之外声明的实体，块范围声明会声明相同的实体并接收链接之前的声明。如果存在不止一个这样的匹配实体，则程序是非良构的。否则，如果没有找到匹配的实体，则块范围实体接收外部链接。

X::i 在 extern 声明的最内层封闭命名空间（即全局命名空间）之外声明，因此它被忽略。这意味着没有找到 i 的声明，因此 extern int i 是一个名为 i 的具有外部链接的新变量的声明。

您的程序将编译，但如果块范围 i 是 odr-used，则不会链接。