コピーコンストラクターでのC ++名前空間の競合

私は次のコードを持っています：

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

struct Foo {
    int b;
};

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

A :: Fooにはbという名前のメンバーがないため、C ++コンパイラーは「c = foo.b」で不平を言います。:: FooでBarパラメータのタイプを変更すると、機能します。

私の質問は、この動作の背後にある合理的なものは何ですか（私はそれが継承によってBarがA名前空間に入るようにするという事実に関係していると思いますが、この理論をサポートするドキュメントを見つけることができません。

すべてのクラスには、その名前がメンバーとして挿入されています。したがって、名前を付けることができますA::Foo::Foo。これは注入されたクラス名と呼ばれます。

[クラス]

2クラス名は、クラス名が見られた直後に宣言されているスコープに挿入されます。クラス名もクラス自体のスコープに挿入されます。これは、注入されたクラス名と呼ばれます。アクセスチェックの目的で、注入されたクラス名はパブリックメンバー名であるかのように扱われます。

[basic.lookup]

3クラスの注入されたクラス名も、名前の非表示と検索のために、そのクラスのメンバーと見なされます。

引数型の非修飾名の検索は、クラスのスコープで始まるためBar、その基本クラスのスコープに進み、そこでメンバーを考慮します。そしてA::Foo::Foo、型名として検索します。

グローバルタイプ名を使用する場合は、周囲の（グローバル）名前空間で修飾します。

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

これは、注入されたクラス名が表示されないスコープで完全修飾ルックアップを実行しています。

フォローアップの「なぜ」の質問については、

• 注入されたクラス名があるのはなぜですか？

完全な答えではなく、（コンパイルされてから）にBar入らないことを示すコードのみnamespace A。から継承する場合、この継承が入力を許可する場合A::Foo1、あいまいさのFoo違いは問題にならないことがわかります。BarA

namespace A {
    struct Foo {
        int a;
    };

    struct Foo1 {
        int a;
    };
}

struct Foo {
    int b;
};

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