การชนกันของเนมสเปซ C ++ ในตัวสร้างสำเนา

ฉันมีรหัสต่อไปนี้:

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 ถ้าฉันเปลี่ยนประเภทของพารามิเตอร์ Bar ด้วย :: Foo มันใช้งานได้

คำถามของฉันคือเหตุผลที่อยู่เบื้องหลังพฤติกรรมนี้ (ฉันคิดว่ามันเกี่ยวข้องกับข้อเท็จจริงที่ว่าการสืบทอดทำให้ Bar ป้อนเนมสเปซ A แต่ฉันไม่พบเอกสารใด ๆ เพื่อสนับสนุนทฤษฎีนี้

ทุกชั้นมีชื่อของมันถูกฉีดเข้าไปในฐานะสมาชิก A::Foo::Fooดังนั้นคุณสามารถตั้งชื่อ สิ่งนี้เรียกว่าชื่อคลาสที่ถูกฉีด

[ระดับ]

2ชื่อคลาสถูกแทรกลงในขอบเขตที่ประกาศทันทีหลังจากเห็นชื่อคลาส class-name ถูกแทรกเข้าไปในขอบเขตของคลาสเอง สิ่งนี้เป็นที่รู้จักกันในชื่อฉีด - คลาส - ชื่อ สำหรับวัตถุประสงค์ในการตรวจสอบการเข้าถึงชื่อที่ถูกแทรกคลาสจะได้รับการปฏิบัติเสมือนเป็นชื่อสมาชิกสาธารณะ

[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;
};