std::longjmp

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека утилит

Языковая поддержка Поддержка типов (базовые типы, RTTI) Макросы тестирования функциональности библиотеки (C++20)     Управление динамической памятью Программные утилиты Поддержка сопрограмм (C++20) Вариативные функции is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Трёхстороннее сравнение (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)     is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

Общие утилиты Дата и время Функциональные объекты Библиотека форматирования (C++20) bitset hash (C++11) Операторы отношения (устарело в C++20) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= Целочисленные функции сравнения cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)     cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Операции обмена и типа swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Общие лексические типы pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

Утилиты поддержки программ

Прерывание программы
abort exit quick_exit (C++11) _Exit (C++11)	atexit at_quick_exit (C++11) EXIT_SUCCESSEXIT_FAILURE
Недостижимый поток управления
unreachable (C++23)
Взаимодействие с окружением
system	getenv
Сигналы
signal raise sig_atomic_t	SIG_DFLSIG_IGN SIG_ERR
Типы сигналов
SIGABRTSIGFPESIGILL	SIGINTSIGSEGVSIGTERM
Нелокальные переходы
setjmp	longjmp
Типы
jmp_buf

 

<tbody> </tbody>

Определено в заголовочном файле <csetjmp>
void longjmp( std::jmp_buf env, int status );

Загружает контекст выполнения 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	—	переменная, которая хранит состояние выполнение программы, сохранённое с помощью вызова std::setjmp
status	—	значение, возвращаемое setjmp. Если оно равно 0, вместо него используется 1

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

(нет)

Примечание

std::longjmp это механизм, использовавшийся в C для перехвата неожиданных ошибочных ситуаций, когда функция не могла вернуть никакое значение. C++ для этой цели обычно использует обработку исключений.

Пример

Запустить этот код

#include <csetjmp>
#include <iostream>

std::jmp_buf my_jump_buffer;

[[noreturn]] void foo(int status) 
{
    std::cout << "foo(" << status << ") вызвана\n";
    std::longjmp(my_jump_buffer, status+1);  // setjmp() вернёт status+1
}

int main()
{
    volatile int count = 0; // изменяемые локальные переменные в области видимости
                            // setjmp должны быть volatile
    if (setjmp(my_jump_buffer) != 5)
    { // равенство против константного выражения в if
        count += 1; // Инкремент volatile переменной устарел, начиная с C++20 (P1152)
        foo(count); // Это приведёт setjmp() к выходу
    }
}

Вывод:

foo(1) вызвана
foo(2) вызвана
foo(3) вызвана
foo(4) вызвана

Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

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

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

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