Là nhảy qua một khởi tạo biến không được hình thành hoặc nó gây ra hành vi không xác định?

Xem xét mã này:

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

GCC và Clang từ chối nó , bởi vì bước nhảy bar:bỏ qua việc khởi tạo biến. MSVC hoàn toàn không phàn nàn (ngoại trừ việc sử dụng xsau khi bar:gây ra cảnh báo).

Chúng ta có thể làm một điều tương tự với một switch:

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

Bây giờ cả ba trình biên dịch phát ra lỗi .

Là những đoạn mã không thành hình? Hay họ gây ra UB?

Tôi đã từng nghĩ rằng cả hai đều không thành hình, nhưng tôi không thể tìm thấy những phần khải thị của tiêu chuẩn. [stmt.goto] không nói bất cứ điều gì về vấn đề này, và cũng như thế [stmt.select] .

Nó không được định hình khi khởi tạo không trống.

[stmt.dcl]

3 Có thể chuyển thành một khối, nhưng không phải theo cách bỏ qua các khai báo với khởi tạo (bao gồm cả các khai báo trong điều kiện và các câu lệnh init). Một chương trình nhảy từ một điểm trong đó một biến có thời lượng lưu trữ tự động không nằm trong phạm vi đến một điểm mà nó nằm trong phạm vi không được định dạng trừ khi biến đó có khởi tạo trống ([basic.life]). Trong trường hợp như vậy, các biến có khởi tạo trống được xây dựng theo thứ tự khai báo của chúng.

Trình khởi tạo làm cho việc khởi tạo không bị bỏ trống. Ngược lại, cái này

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

sẽ được hình thành tốt. Mặc dù những cảnh báo thông thường về việc sử dụng xvới giá trị không xác định sẽ được áp dụng.

Từ tuyên bố goto :

Nếu chuyển điều khiển đi vào phạm vi của bất kỳ biến tự động nào (ví dụ: bằng cách chuyển tiếp qua câu lệnh khai báo), chương trình không được định dạng (không thể được biên dịch), trừ khi tất cả các biến có phạm vi được nhập có

1. các kiểu vô hướng được khai báo mà không cần khởi tạo
2. các loại lớp với các hàm tạo mặc định tầm thường và các hàm hủy tầm thường được khai báo mà không có bộ khởi tạo
3. phiên bản đủ điều kiện cv của một trong những điều trên
4. mảng của một trong những điều trên