关于匿名命名空间和内部链接的标准是什么？

Question

我对这个事实很好奇，因为我想出了以下代码：

namespace
{
    int my_variable = 12;
    void get_data_a_lot() {}
}


int main()
{
    my_variable++;

    get_data_a_lot();
}

并使用 msvc 编译我得到以下信息：

00E 00000000 SECT4  notype       External     | ?my_variable@?A0x087c0a53@@3HA (int `anonymous namespace'::my_variable)
025 00000000 SECT6  notype ()    Static       | ?get_data_a_lot@?A0x087c0a53@@YAXXZ (void __cdecl `anonymous namespace'::get_data_a_lot(void))

但是当我用 gcc 编译时，我得到以下信息：

002 00000000 SECT2  notype       Static       | _ZN12_GLOBAL__N_111my_variableE
003 00000000 SECT1  notype ()    Static       | _ZN12_GLOBAL__N_114get_data_a_lotEv

所以问题是：“my_variable”是外部的还是编译器错误是正确的行为？

Answer 1

标准说

[基本链接]

4未命名命名空间或在未命名命名空间内直接或间接声明的命名空间具有内部链接。 所有其他命名空间都有外部链接。 如果名称是以下名称，则具有名称空间范围的名称未在上面给出内部链接与封闭名称空间具有相同的链接

• 一个变量; 或者
• [...]

根据哪个my_variable应该有内部链接。 然而，必须记住，如何实现链接完全取决于实现。 MSVC 没有标记符号Static事实并不意味着它违反了标准。 标准所要求的只是一个实体，其名称具有内部链接，与其他 TU 中具有相同名称的实体不同，因此只能在定义它的单个 TU 中通过该名称引用。名称修饰很可能是MSVC 如何轻松完成它。