Değişken başlatma üzerine atlamak kötü biçimlendirilmiş mi yoksa tanımlanmamış davranışa neden oluyor mu?

Bu kodu düşünün:

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

GCC ve Clang bunu reddeder , çünkü bar:değişken başlatmayı atlar. MSVC (kullanılmasının haricinde hiç şikayet etmiyor xsonra bar:nedenleri bir uyarı).

Şununla benzer bir şey yapabiliriz switch:

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

Şimdi her üç derleyici de hata yayar .

Bu parçacıklar kötü biçimlendirilmiş mi? Yoksa UB'ye mi neden oluyorlar?

Her ikisinin de kötü biçimlenmiş olduğunu düşünürdüm, ama standardın vahiy kısımlarını bulamıyorum. [stmt.goto] bu konuda hiçbir şey söylemez ve [stmt.select] de söylemez .

Başlatma işlemi boş olmadığında kötü şekillenir.

[Stmt.dcl]

3 Bir bloğa transfer etmek mümkündür, ancak başlatmalarla bildirimleri atlayacak şekilde değil (koşullar ve init deyimleri dahil). Otomatik depolama süresine sahip bir değişkenin kapsam dışında olmadığı bir noktadan, değişkenin başlangıç ​​durumuna getirilmediği sürece ([basic.life]) kapsamın içinde olduğu bir noktaya atlayan program. Böyle bir durumda, boşaltma ile değişkenler, açıklama sırasına göre oluşturulur.

Başlatıcı, başlatmayı boş bırakır. Aksine, bu

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

iyi biçimlendirilmiş olur. Gerçi xbelirsiz bir değerle kullanımla ilgili olağan uyarılar geçerli olacaktır.

Gönderen git açıklamada :

Eğer kontrolün transferi herhangi bir otomatik değişkenin kapsamına girerse (örn. Bir beyan ifadesi üzerinde ileri atlayarak), kapsamı girilen tüm değişkenler

1. başlatıcılar olmadan bildirilen skaler tipler
2. önemsiz varsayılan kurucuları ve başlatıcılar olmadan bildirilen önemsiz yıkıcıları olan sınıf türleri
3. Yukarıdakilerden birinin cv nitelikli sürümleri
4. yukarıdakilerden birinin dizileri