Namespaces
Variants

    std::unreachable

    ja.cppreference.net より
     
    C++
    コンパイラサポート
    フリースタンディングとホスト環境
    言語
    標準ライブラリ
    標準ライブラリヘッダ
    名前付き要件
    機能テストマクロ (C++20)
    言語サポートライブラリ
    コンセプトライブラリ (C++20)
    診断ライブラリ
    メモリ管理ライブラリ
    メタプログラミングライブラリ (C++11)
    汎用ユーティリティライブラリ
    コンテナライブラリ
    イテレータライブラリ
    レンジライブラリ (C++20)
    アルゴリズムライブラリ
    文字列ライブラリ
    テキスト処理ライブラリ
    数値ライブラリ
    日付と時間ライブラリ
    入出力ライブラリ
    ファイルシステムライブラリ (C++17)
    並行処理サポートライブラリ (C++11)
    実行制御ライブラリ (C++26)
    技術仕様書
    シンボル索引
    外部ライブラリ
     
    ユーティリティライブラリ
    言語サポート
    型サポート（基本型、RTTI）
    ライブラリ機能テストマクロ (C++20)
    プログラムユーティリティ
    可変長引数関数
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    コルーチンサポート (C++20)
    契約サポート (C++26)
    三方比較
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    汎用ユーティリティ
    関係演算子 (C++20で非推奨)
    整数比較関数
    (C++20)(C++20)(C++20)    
    (C++20)
    swap および 型操作
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    共通語彙型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    プログラムサポートユーティリティ
     
    ヘッダ <utility> 
    [[noreturn]] void unreachable();
    		(C++23 以降)

    指定された箇所で未定義動作を呼び出します。

    処理系はこれを用いて、到達不能なコード分岐を最適化で除去したり（通常は最適化ビルド）、さらなる実行を防ぐためにトラップしたり（通常はデバッグビルド）することができます。

    注記

    機能テスト マクロ 値 標準 機能
    __cpp_lib_unreachable 202202L (C++23) std::unreachable

    実装例 

    [[noreturn]] inline void unreachable()
{
    // 可能であればコンパイラ固有の拡張機能を使用
    // 拡張機能が使用されない場合でも、空の関数本体とnoreturn属性により未定義動作が発生する
#if defined(_MSC_VER) && !defined(__clang__) // MSVC
    __assume(false);
#else // GCC, Clang
    __builtin_unreachable();
#endif
}

    例

    このコードを実行 
    #include <cassert>
#include <cstddef>
#include <cstdint>
#include <utility>
#include <vector>
struct Color { std::uint8_t r, g, b, a; };
// 制限されたテクスチャ機能のみがサポートされていると仮定
void generate_texture(std::vector<Color>& tex, std::size_t xy)
{
    switch (xy)
    {
    case 128: [[fallthrough]];
    case 256: [[fallthrough]];
    case 512: /* ... */
        tex.clear();
        tex.resize(xy * xy, Color{0, 0, 0, 0});
        break;
    default:
        std::unreachable();
    }
}
int main()
{
    std::vector<Color> tex;
    generate_texture(tex, 128); // OK
    assert(tex.size() == 128 * 128);
    generate_texture(tex, 32);  // 未定義動作を引き起こす
}

    出力例: 

    Segmentation fault

    関連項目

    [[ assume ( expression )]]
    (C++23)
    		指定された時点で expression が常に true と評価されることを指定する
    (属性指定子)
    (C++20)
    		ポインタがアラインされていることをコンパイラに通知する
    (関数テンプレート)
    Cドキュメント for unreachable

    外部リンク

    1. GCC ドキュメント: __builtin_unreachable
    2. Clang ドキュメント: __builtin_unreachable
    3. MSVC ドキュメント: __assume