เกิดข้อผิดพลาดเมื่อใช้การเตรียมใช้งานในคลาสของสมาชิกข้อมูลที่ไม่คงที่และตัวสร้างคลาสที่ซ้อนกัน

โค้ดต่อไปนี้ค่อนข้างไม่สำคัญและฉันคาดว่ามันควรจะคอมไพล์ได้ดี

struct A
{
    struct B
    {
        int i = 0;
    };

    B b;

    A(const B& _b = B())
        : b(_b)
    {}
};

ฉันได้ทดสอบโค้ดนี้กับ g ++ เวอร์ชัน 4.7.2, 4.8.1, clang ++ 3.2 และ 3.3 นอกเหนือจากข้อเท็จจริงที่ว่า g ++ 4.7.2 segfaults ในโค้ดนี้ ( http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57770 ) คอมไพเลอร์ที่ผ่านการทดสอบอื่น ๆ ยังให้ข้อความแสดงข้อผิดพลาดที่ไม่ได้อธิบายอะไรมาก

g ++ 4.8.1:

test.cpp: In constructor ‘constexpr A::B::B()’:
test.cpp:3:12: error: constructor required before non-static data member for ‘A::B::i’ has been parsed
     struct B
            ^
test.cpp: At global scope:
test.cpp:11:23: note: synthesized method ‘constexpr A::B::B()’ first required here 
     A(const B& _b = B())
                       ^

เสียงดัง ++ 3.2 และ 3.3:

test.cpp:11:21: error: defaulted default constructor of 'B' cannot be used by non-static data member initializer which appears before end of class definition
    A(const B& _b = B())
                    ^

การทำให้โค้ดนี้สามารถคอมไพล์ได้และดูเหมือนว่ามันไม่ควรสร้างความแตกต่าง มีสองทางเลือก:

struct B
{
    int i = 0;
    B(){} // using B()=default; works only for clang++
};

หรือ

struct B
{
    int i;
    B() : i(0) {} // classic c++98 initialization
};

รหัสนี้ไม่ถูกต้องจริงๆหรือคอมไพเลอร์ผิด?

รหัสนี้ไม่ถูกต้องจริงๆหรือคอมไพเลอร์ผิด?

ดีไม่เช่นกัน มาตรฐานมีข้อบกพร่อง - กล่าวว่าทั้งสองอย่างนั้นAถือว่าสมบูรณ์ในขณะที่แยกวิเคราะห์ตัวเริ่มต้นสำหรับB::iและสามารถB::B()ใช้ (ซึ่งใช้ตัวเริ่มต้นสำหรับB::i) ภายในคำจำกัดความของA. เป็นวัฏจักรอย่างชัดเจน พิจารณาสิ่งนี้:

struct A {
  struct B {
    int i = (A(), 0);
  };
  A() noexcept(!noexcept(B()));
};

นี้มีความขัดแย้ง: B::B()เป็นปริยายnoexceptIFF A()ไม่เคยโยนและA()ไม่เคยโยน IFF B::B()เป็นไม่ได้ noexceptมีวงจรอื่น ๆ และความขัดแย้งในพื้นที่นี้

นี้จะติดตามโดยประเด็นหลัก1360และ1397 โปรดสังเกตโดยเฉพาะหมายเหตุนี้ในปัญหาหลัก 1397:

บางทีวิธีที่ดีที่สุดในการจัดการกับสิ่งนี้คือการทำให้เป็นรูปแบบที่ไม่ถูกต้องสำหรับตัวเริ่มต้นสมาชิกข้อมูลที่ไม่คงที่เพื่อใช้ตัวสร้างเริ่มต้นของคลาส

นี่เป็นกรณีพิเศษของกฎที่ฉันใช้ใน Clang เพื่อแก้ไขปัญหานี้ กฎของ Clang คือไม่สามารถใช้ตัวสร้างเริ่มต้นที่เป็นค่าเริ่มต้นสำหรับคลาสได้ก่อนที่จะมีการแยกวิเคราะห์ข้อมูลเริ่มต้นสมาชิกข้อมูลที่ไม่คงที่สำหรับคลาสนั้น ดังนั้น Clang จึงออกการวินิจฉัยที่นี่:

    A(const B& _b = B())
                    ^

... เนื่องจากเสียงดังแยกวิเคราะห์อาร์กิวเมนต์เริ่มต้นก่อนที่จะแยกวิเคราะห์ค่าเริ่มต้นเริ่มต้นและอาร์กิวเมนต์เริ่มต้นนี้ต้องการให้ตัวBเริ่มต้นเริ่มต้นได้รับการแยกวิเคราะห์แล้ว (เพื่อที่จะกำหนดโดยนัยB::B())

อาจเป็นปัญหา:

§12.1 5. คอนสตรัคเตอร์ดีฟอลต์ที่เป็นค่าดีฟอลต์และไม่ได้กำหนดเป็นลบถูกกำหนดโดยปริยายเมื่อถูกใช้ (3.2) เพื่อสร้างอ็อบเจ็กต์ประเภทคลาส (1.8) หรือเมื่อมีการดีฟอลต์อย่างชัดเจนหลังจากการประกาศครั้งแรก

ดังนั้นตัวสร้างเริ่มต้นจะถูกสร้างขึ้นเมื่อค้นหาครั้งแรก แต่การค้นหาจะล้มเหลวเนื่องจาก A ไม่ได้กำหนดไว้อย่างสมบูรณ์ดังนั้นจึงไม่พบ B ภายใน A