setjmp

#define setjmp(env) /* implementation-defined */

Сохраняет текущий контекст выполнения в переменную env типа std::jmp_buf. Эта переменная может быть позже использована для восстановления текущего контекста выполнения с помощью функции std::longjmp. То есть, когда выполняется вызов функции std::longjmp, выполнение продолжается в конкретной точке вызова, где была создана переменная std::jmp_buf, переданная в std::longjmp. В этом случае setjmp возвращает значение, переданное в std::longjmp.

Вызов setjmp должен появляться только в одном из следующих контекстов:

1. всё управляющее выражение if, switch, while, do-while, for.

   switch (setjmp(env)) { // ...
   

2. один операнд оператора отношения или равенства, а второй операнд является целочисленным константным выражением, причём результирующее выражение является всём управляющим выражением if, switch, while, do-while, for.

   if (setjmp(env) > 0) { // ...
   

3. операнд унарного оператора  ! с результирующим выражением, являющимся всём управляющим выражением if, switch, while, do-while, for.

   while (!setjmp(env)) { // ...
   

4. всё выражение выражения-инструкции (возможно, приведённое к void).

   setjmp(env);
   

Если setjmp появляется в любом другом контексте, поведение не определено.

После возврата в область видимости setjmp:

• все доступные объекты, флаги состояния чисел с плавающей запятой и другие компоненты абстрактной машины имеют те же значения, что и при выполнении std::longjmp,
• за исключением не-volatile локальных переменных в функции, содержащей вызов setjmp, значения которых неопределены, если они были изменены после вызова setjmp.

Параметры

Возвращаемое значение

​ 0 ​ если макрос был вызван исходным кодом и контекст выполнения был сохранен в env .

Ненулевое значение, если только что была выполнена нелокальная передача управления. Возвращаемое значение совпадает с переданным в std::longjmp .

Примечания

Вышеуказанные требования запрещают использование возвращаемого значения setjmp в потоке данных (например, для инициализации или присваивания объекта). Возвращаемое значение может быть использовано только в потоке управления или отброшено.

Пример

#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("Решение уравнения {}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;
}

Решение уравнения 1x² + -3x + 2 = 0...
x₁ = 1, x₂ = 2
Решение уравнения 2x² + -3x + -2 = 0...
x₁ = -0.5, x₂ = 2
Решение уравнения 1x² + 2x + 3 = 0...
Нет действительных решений

Смотрите также