변수 초기화를 잘못 건너 뛰거나 정의되지 않은 동작을 유발합니까?

이 코드를 고려하십시오.

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]). 이 경우, 초기화가 빈번한 변수는 선언 순서대로 구성됩니다.

이니셜 라이저는 초기화를 비공식으로 만듭니다. 대조적으로, 이것은

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

잘 형성 될 것입니다. x불확실한 가치로 사용 하는 것에 대한 일반적인 경고 가 적용 되지만 .

에서 고토 문 :

제어 전송이 자동 변수의 범위에 들어간 경우 (예 : 선언문 위로 건너 뛰어) 범위를 입력 한 모든 변수가

1. 이니셜 라이저없이 선언 된 스칼라 유형
2. 간단한 기본 생성자와 이니셜 라이저없이 선언 된 간단한 소멸자가있는 클래스 유형
3. 위 중 하나의 cv 인증 버전
4. 위 중 하나의 배열