コンパイラの警告 (レベル 1、エラー、オフ) C5262

  • [アーティクル]

ここで暗黙的なフォールスルーが発生します。 break ステートメントがありませんか? ケース間でステートメントをbreak意図的に省略する場合に使用[[fallthrough]]する

解説

switch ステートメントのケース間で暗黙的に発生する制御フローは、C と C++ の両方のバグの履歴ソースです。 SAL マクロは__fallthroughありましたが、ビルド コンパイラの診断には役に立ちませんでした。 お客様には、意図的に "通過" するレガシ コードがあるため、意図的なフォールスルーを何らかの方法で示さなければ、実用的な警告を出すことはできません。 C++17 では、このようなインスタンスを [[fallthrough]] 示すために属性が追加されました。 コンパイラはこの属性を考慮に入れ、新しい警告を抑制できます。

コンパイラ警告 C5262 は Visual Studio 2022 バージョン 17.4 の新機能であり、既定ではオフになっており、有効にすると既定でエラーとして扱われます。 ビルドを中断せずにレガシ コードを引き続きサポートするには、C5262 を明示的に有効にする必要があります。 この警告を有効にする方法については、「既定で無効になっているコンパイラ警告」を参照してください。

例

このサンプル コードは、ステートメントまたは属性がないbreak場合やreturn属性が含まれるケースのswitch診断を[[fallthrough]]示しています。

// C5262.cpp
// compile using /std:c++17 /we5262

int main(int argc, char** argv)
{
    switch (argc)
    {
        case 0: ++argv;
        case 1:
        case 2: argv++;
        default:
            argv = 0;
    }
}

/*
When built, the compiler produces this output:

.\C5262.cpp(9,9): error C5262: implicit fall-through occurs here; are you missing a break statement? Use [[fallthrough]] when a break statement is intentionally omitted between cases
        case 1:
        ^
.\C5262.cpp(8,17): note: statement that may fall through is here
        case 0: ++argv;
                ^
.\C5262.cpp(11,9): error C5262: implicit fall-through occurs here; are you missing a break statement? Use [[fallthrough]] when a break statement is intentionally omitted between cases
        default:
        ^
.\C5262.cpp(10,17): note: statement that may fall through is here
        case 2: argv++;
*/

ケース間の制御フローが意図的な場合にこの問題を解決するには、属性を使用します [[fallthrough]] 。

関連項目

switch ステートメント (C++)
[[fallthrough]] 属性