具有与另一个类同名的类静态方法

Question

这是示例：

struct A
{
    A(const int a ):b(a)
    {
    }

    int b;
};

struct B
{
    B() : a(5)
    {
    }

    static void A()
    {
    }

    A a;
};

int main()
{
    B::A();
}

编译器错误是：

a9.cpp:19: error: ‘A’ does not name a type
a9.cpp: In constructor ‘B::B()’:
a9.cpp:24: error: class ‘B’ does not have any field named ‘a’

我在 fedora 9 上使用 gcc 4.3.0。

有人可以解释为什么编译器会抱怨吗？ 如果可能，请参考标准。

谢谢

Answer 1

这是有效的：

struct B {
    B() : a(5) { }

    static void A() { }

    ::A a;
};

由于您已使用 A 作为 B 中的成员名称，该成员的定义会隐藏外部命名空间中的 A 类型。使用 :: 您可以访问该名称空间。

此行为在（草案）标准<中指定/a> as:

3.3.7 (1) “可以通过在嵌套声明区域中显式声明同名来隐藏名称”（struct B，它嵌套在还定义了 struct A 的命名空间中）。

仔细阅读第 3 章基本概念的介绍，以获得进一步的说明。特别地，本节规定

是相同的

• 3(7)如果两个名称是由相同字符序列组成的标识符，则它们 ；或者
• 它们是由同一运算符形成的重载运算符函数的名称；或者
• 它们是由相同类型形成的用户定义的转换函数的名称。

请注意，最后一个定义不区分类型和类成员，因此名称隐藏（隐藏）规则 3.3.7 (1) 适用。