std::unexpected_handler

typedef void ( *unexpected_handler )();

std::unexpected_handler — это тип указателя на функцию (указатель на функцию без аргументов и с типом возвращаемого значения void), который устанавливается и запрашивается функциями std::set_unexpected и std::get_unexpected и вызывается функцией std::unexpected.

Реализация C++ предоставляет функцию std::unexpected_handler по умолчанию, которая вызывает std::terminate(). Если установлено значение нулевого указателя (с помощью std::set_unexpected), реализация может вместо этого восстановить обработчик по умолчанию.

Ожидается, что пользовательский обработчик std::unexpected_handler либо завершит программу, либо выбросит исключение. Если он выбрасывает исключение, возможна одна из следующих трёх ситуаций:

1) исключение, выброшенное функцией std::unexpected_handler, удовлетворяет динамической спецификации исключений, которая была нарушена ранее. Новому исключению разрешено покинуть функцию, и раскрутка стека продолжается.

2) исключение, выброшенное функцией std::unexpected_handler, по-прежнему нарушает спецификацию исключений:

2a) однако спецификация исключений допускает std::bad_exception: выброшенный объект исключения уничтожается, а среда выполнения C++ создаёт и выбрасывает вместо него std::bad_exception.

2b) спецификация исключений не допускает std::bad_exception: вызывается std::terminate().

См. также