std:: longjmp

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

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

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

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

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

パラメータ

戻り値

(なし)

注記

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++規格に対して遡及的に適用されました。

関連項目