Namespaces
Variants

    std::longjmp

    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)



     
    プログラムサポートユーティリティ
     
    ヘッダ <csetjmp> 
                 void longjmp( std::jmp_buf env, int status );
    		で定義 (C++17まで) 
    [[noreturn]] void longjmp( std::jmp_buf env, int status );
    		(C++17以降)

    事前の envsetjmp の呼び出しによって保存された実行コンテキスト を読み込みます。この関数は戻りません。制御は、 を設定したマクロ setjmpenv の呼び出し元に転送されます。その setjmp は、status として渡された値を返します。

    setjmp を呼び出した関数が終了している場合、動作は未定義です（言い換えれば、コールスタックを上るロングジャンプのみが許可されます）。

    C++における追加の制限

    Cの longjmp に加えて、C++ std::longjmp はより制限された動作を持ちます。

    std::longjmpをthrowで置き換え、 setjmpをcatchで置き換えた場合に、 いずれかの自動オブジェクトに対して 非自明なデストラクタ が呼び出される場合、そのようなstd::longjmpの動作は未定義です。

    std::longjmpが コルーチン 内で、 co_await 演算子が使用される可能性のある場所で呼び出された場合、動作は未定義です。

    		(C++20以降)

    パラメータ

    env - プログラムの実行状態を参照する変数。 setjmp によって保存されたもの
    status - setjmp から返される値。 ​ 0 ​ と等しい場合、 1 が代わりに使用される

    注記

    std::longjmp は、関数が意味のある値を返せない予期せぬエラー状態を処理するためにC言語で使用されるメカニズムです。C++では一般的にこの目的のために 例外処理 を使用します。

    例

    このコードを実行 
    #include <array>
#include <cmath>
#include <csetjmp>
#include <cstdlib>
#include <format>
#include <iostream>
std::jmp_buf solver_error_handler;
std::array<double, 2> solve_quadratic_equation(double a, double b, double c)
{
    const double discriminant = b * b - 4.0 * a * c;
    if (discriminant < 0)
        std::longjmp(solver_error_handler, true); // エラーハンドラへジャンプ
    const double delta = std::sqrt(discriminant) / (2.0 * a);
    const double argmin = -b / (2.0 * a);
    return {argmin - delta, argmin + delta};
}
void show_quadratic_equation_solution(double a, double b, double c)
{
    std::cout << std::format("Solving {}x² + {}x + {} = 0...\n", a, b, c);
    auto [x_0, x_1] = solve_quadratic_equation(a, b, c);
    std::cout << std::format("x₁ = {}, x₂ = {}\n\n", x_0, x_1);
}
int main()
{
    if (setjmp(solver_error_handler))
    {
        // ソルバーのエラーハンドラ
        std::cout << "実数解なし\n";
        return EXIT_FAILURE;
    }
    for (auto [a, b, c] : {std::array{1, -3, 2}, {2, -3, -2}, {1, 2, 3}})
        show_quadratic_equation_solution(a, b, c);
    return EXIT_SUCCESS;
}

    出力: 

    Solving 1x² + -3x + 2 = 0...
x₁ = 1, x₂ = 2
Solving 2x² + -3x + -2 = 0...
x₁ = -0.5, x₂ = 2
Solving 1x² + 2x + 3 = 0...
実数解なし

    欠陥報告

    以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

    DR 適用対象 公開時の動作 正しい動作
    LWG 619 C++98 C++における追加制限の文言が不明確であった 文言を改善
    LWG 894 C++98 std::longjmpを
    throw で、 setjmp を
    catch で置き換えた際に
    自動オブジェクトが破棄される場合、
    動作は未定義であった     		動作は非自明なデストラクタが
    自動オブジェクトに対して呼び出される
    場合にのみ未定義

    関連項目

    		コンテキストを保存する
    (関数マクロ)
    Cドキュメント for longjmp