การกระโดดข้ามการกำหนดค่าเริ่มต้นของตัวแปรไม่ถูกต้องหรือทำให้เกิดพฤติกรรมที่ไม่ได้กำหนดหรือไม่?

พิจารณารหัสนี้:

void foo()
{
    goto bar;
    int x = 0;
    bar: ;
}

GCC และ Clang ปฏิเสธเนื่องจากการข้ามไปยังการbar:ข้ามการกำหนดค่าเริ่มต้นของตัวแปร MSVC ไม่บ่นเลย (ยกเว้นการใช้xหลังจากbar:ทำให้เกิดการเตือน)

เราสามารถทำสิ่งเดียวกันด้วยswitch:

void foo()
{
    switch (0)
    {
        int x = 0;
        case 0: ;
    }
}

ตอนนี้ทั้งสามคอมไพเลอร์ปล่อยข้อผิดพลาด

ตัวอย่างเหล่านั้นไม่ดีหรือไม่ หรือพวกเขาทำให้ UB?

ฉันเคยคิดว่าทั้งสองรูปแบบไม่ดี แต่ฉันไม่สามารถหาส่วนที่น่ารำคาญของมาตรฐาน [stmt.goto]ไม่ได้พูดอะไรเกี่ยวกับเรื่องนี้และไม่ไม่[stmt.select]

มันไม่ถูกต้องเมื่อการเตรียมใช้งานไม่ว่างเปล่า

[stmt.dcl]

3เป็นไปได้ที่จะถ่ายโอนไปยังบล็อก แต่ไม่ใช่ในลักษณะที่ข้ามการประกาศด้วยการเริ่มต้น (รวมถึงสิ่งที่อยู่ในเงื่อนไขและข้อความเริ่มต้น) โปรแกรมที่กระโดดจากจุดที่ตัวแปรที่มีระยะเวลาการจัดเก็บอัตโนมัติไม่อยู่ในขอบเขตไปยังจุดที่อยู่ในขอบเขตจะมีรูปแบบไม่ดีเว้นแต่ตัวแปรนั้นจะมีการเริ่มต้นที่ว่างเปล่า ([basic.life]) ในกรณีเช่นนี้ตัวแปรที่มีการกำหนดค่าเริ่มต้นว่างจะถูกสร้างขึ้นตามลำดับการประกาศ

initializer ทำให้การกำหนดค่าเริ่มต้นไม่ว่างเปล่า ในทางตรงกันข้ามนี่

void foo()
{
    goto bar;
    int x; // no initializer
    bar: ;
}

จะมีรูปแบบที่ดี แม้ว่าคำเตือนทั่วไปเกี่ยวกับการใช้xกับค่าไม่แน่นอนจะนำไปใช้

จากคำสั่ง goto :

หากการถ่ายโอนการควบคุมเข้าสู่ขอบเขตของตัวแปรอัตโนมัติใด ๆ (เช่นโดยการกระโดดไปข้างหน้าเหนือคำแถลงการณ์ประกาศ) โปรแกรมนั้นมีรูปแบบไม่ดี (ไม่สามารถรวบรวมได้) ยกเว้นตัวแปรทั้งหมดที่มีการป้อนขอบเขตไว้

1. ประเภทสเกลาร์ที่ประกาศโดยไม่มีค่าเริ่มต้น
2. ประเภทคลาสที่มีตัวสร้างปริยายเล็กน้อยและ destructors เล็กน้อยที่ประกาศโดยไม่มีค่าเริ่มต้น
3. รุ่นที่ผ่านการรับรอง cv จากหนึ่งในข้างต้น
4. อาร์เรย์หนึ่งในด้านบน