C++ attribute: fallthrough (since C++17)

이전 case 레이블에서의 fall through가 의도적이며, fallthrough에 대해 경고하는 컴파일러에 의해 진단되어서는 안 됨을 나타냅니다.

구문

설명

null 문 에만 적용하여 fallthrough 문 ( [ [ fallthrough ] ] ; )을 생성할 수 있습니다.

fallthrough 문은 오직 switch 문 내에서만 사용될 수 있으며, 다음으로 실행될 문은 해당 switch 문의 case 또는 default 레이블을 가진 문이어야 합니다. fallthrough 문이 루프 내부에 있는 경우, 다음 (레이블이 지정된) 문은 해당 루프의 동일한 반복의 일부여야 합니다.

예제

void f(int n)
{
    void g(), h(), i();
    switch (n)
    {
        case 1:
        case 2:
            g();
            [[fallthrough]];
        case 3: // fallthrough에 대한 경고 없음
            h();
        case 4: // 컴파일러가 fallthrough에 대해 경고할 수 있음
            if (n < 3)
            {
                i();
                [[fallthrough]]; // 올바름
            }
            else
            {
                return;
            }
        case 5:
            while (false)
            {
                [[fallthrough]]; // 잘못된 형식: 다음 문장이 동일한 반복의
                                 //             일부가 아님
            }
        case 6:
            [[fallthrough]]; // 잘못된 형식, 후속 case 또는 default 레이블 없음
    }
}

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참고문헌

참고 항목