仅当它不是模板时才编译具有结构类型的同名变量

Question

为什么只有在不是模板的情况下才允许具有结构类型同名的变量？

为什么这被认为是可以的：

struct Foo {
    int func(int) const;
};

struct Foo Foo;

但不是这样：

template<bool x = true>
struct Foo {
    int func(int) const;
};

struct Foo<> Foo;

// gcc 11.2

<source>:6:14: error: 'Foo<> Foo' redeclared as different kind of entity
    6 | struct Foo<> Foo;
      |              ^~~
<source>:2:8: note: previous declaration 'template<bool x> struct Foo'
    2 | struct Foo {
      |        ^~~
Compiler returned: 1

// clang 13.0.1

<source>:6:14: error: redefinition of 'Foo' as different kind of symbol
struct Foo<> Foo;
             ^
<source>:2:8: note: previous definition is here
struct Foo {
       ^
1 error generated.
Compiler returned: 1

https://godbolt.org/z/s94n115fq

Answer 1

根据 C++ 标准（C++ 20、13 模板），类模板名称在其声明区域中应是唯一的。

7 类模板不得与任何其他模板同名，
类、函数、变量、枚举、枚举器、命名空间或类型
除 13.7.6 中规定的情况外，在同一范围（6.4）中。除了一个
函数模板可以被非模板函数重载
(9.3.4.6) 与其他函数模板同名或
相同的名称（13.10.4），在命名空间范围或中声明的模板名称
类范围在该范围内应是唯一的。

例如，main 中的这个声明

template<bool x = true>
struct Foo {
    int func(int) const;
};

int main()
{
    struct Foo<> Foo;
}

是正确的。

对于这些声明

struct Foo {
    int func(int) const;
};

struct Foo Foo;

，变量 Foo 的声明隐藏了声明的结构的名称。在 C 结构中，标记名称和变量名称位于不同的名称空间中。因此，为了保持与 C 的兼容性，C++ 中允许使用此类声明。

要在变量声明后引用结构类型，您需要使用结构类型的详细名称。