std::longjmp

Определён в заголовочном файле `<csetjmp>`
void longjmp( std::jmp_buf env, int status );		(до C++17)
[[noreturn]] void longjmp( std::jmp_buf env, int status );			(начиная с C++17)

Загружает контекст выполнения env, сохранённый предыдущим вызовом setjmp. Эта функция не возвращает управление. Управление передаётся в точку вызова макроса setjmp, который настроил env. Затем этот 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); // Go to error handler

    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))
    {
        // Error handler for solver
        std::cout << "No real solution\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...
No real solution

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были ретроактивно применены к ранее опубликованным стандартам C++.

DR	Применён к	Поведение согласно опубликованному стандарту	Корректное поведение
LWG 619	C++98	формулировка дополнительных ограничений в C++ была расплывчатой	формулировка уточнена
LWG 894	C++98	поведение не определялось, если замена `std::longjmp` на throw и `setjmp` на catch приводила бы к уничтожению любого автоматического объекта	поведение не определено только в том случае, если вызывается нетривиальный деструктор любого автоматического объекта

См. также

setjmp	сохраняет контекст (макрос функции)
Документация по C для `longjmp`

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/program/longjmp