复制构造函数中的C ++名称空间冲突

Question

我有以下代码：

namespace A {
    struct Foo {
        int a;
    };
}

struct Foo {
    int b;
};

struct Bar : public A::Foo {
    Bar(Foo foo) {
        c = foo.b;
    }
    int c;
};

C ++编译器抱怨“ c = foo.b”，因为A :: Foo没有名为b的成员。如果我用:: Foo更改Bar参数的类型，它将起作用。

我的问题是此行为背后的原因是什么（我想这与继承使Bar进入A名称空间这一事实有关，但是我找不到任何文档来支持该理论。

Answer 1

每个类均以其成员的名义注入其名称。所以你可以命名A::Foo::Foo。这称为注入的类名。

[类]

2在看到类名之后，立即将一个类名插入到声明该类名的范围中。类名也被插入到类本身的作用域中。这称为注入类名称。为了进行访问检查，将注入的类名视为公共成员名。

[basic.lookup]

3为了隐藏和查找名称，一个类的注入的类名也被认为是该类的成员。

因为参数类型的不合格名称查找始于该类的范围Bar，所以它将继续进入其基类的范围以说明那里的任何成员。它将找到A::Foo::Foo一个类型名称。

如果要使用全局类型名称，只需通过其周围的（全局）名称空间对其进行限定。

Bar(::Foo foo) {
    c = foo.b;
}

这将在未出现注入的类名的范围内进行完全限定的查找。

有关后续“为什么”的问题，请参见

• 为什么会有注入的类名？