std::uncaught_exception, std::uncaught_exceptions

Определено в заголовке `<exception>`
bool uncaught_exception() throw();	(1)	(до C++11)
bool uncaught_exception() noexcept;	(1)		(начиная с C++11) (устарело в C++17) (удалено в C++20)
int uncaught_exceptions() noexcept;	(2)	(начиная с C++17) (constexpr начиная с C++26)

1) Определяет, существует ли в текущем потоке активный объект исключения, то есть было ли исключение выброшено или повторно выброшено и ещё не передано в соответствующий блок catch, std::terminate или std::unexpected. Иными словами, std::uncaught_exception определяет, выполняется ли в данный момент раскрутка стека.

2) Определяет, сколько исключений в текущем потоке было выброшено или повторно выброшено и ещё не передано в соответствующие блоки catch.

Иногда исключение можно безопасно выбросить, даже когда std::uncaught_exception() == true(до C++17) std::uncaught_exceptions() > 0(начиная с C++17). Например, если раскрутка стека приводит к уничтожению объекта, деструктор этого объекта может выполнять код, выбрасывающий исключение, при условии, что исключение будет перехвачено каким-либо блоком catch до выхода из деструктора.

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

1) true, если в текущем потоке выполняется раскрутка стека, и false в противном случае.

2) Количество неперехваченных объектов исключений в текущем потоке.

Примечания

Примером использования uncaught_exceptions, возвращающей int, является библиотека boost.log: выражение BOOST_LOG(logger) << foo(); сначала создаёт объект-охранник и записывает в его конструкторе количество неперехваченных исключений. Вывод выполняется деструктором объекта-охранника, если только foo() не выбрасывает исключение (в этом случае количество неперехваченных исключений в деструкторе будет больше, чем количество, зафиксированное конструктором).

std::experimental::scope_fail и std::experimental::scope_success в LFTS v3 используют функциональность uncaught_exceptions, поскольку их деструкторы должны выполнять разные действия в зависимости от того, вызываются ли они во время раскрутки стека.

Макрос проверки возможностей	Значение	Стандарт	Возможность
`__cpp_lib_uncaught_exceptions`	`201411L`	(C++17)	`std::uncaught_exceptions`
`__cpp_lib_constexpr_exceptions`	`202411L`	(C++26)	constexpr для типов исключений

Пример

#include <exception>
#include <iostream>
#include <stdexcept>

struct Foo
{
    char id{'?'};
    int count = std::uncaught_exceptions();

    ~Foo()
    {
        count == std::uncaught_exceptions()
            ? std::cout << id << ".~Foo() called normally\n"
            : std::cout << id << ".~Foo() called during stack unwinding\n";
    }
};

int main()
{
    Foo f{'f'};

    try
    {
        Foo g{'g'};
        std::cout << "Exception thrown\n";
        throw std::runtime_error("test exception");
    }
    catch (const std::exception& e)
    {
        std::cout << "Exception caught: " << e.what() << '\n';
    }
}

Возможный вывод:

Exception thrown
g.~Foo() called during stack unwinding
Exception caught: test exception
f.~Foo() called normally

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

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

DR	Применяется к	Опубликованное поведение	Корректное поведение
LWG 70	C++98	спецификация исключений для `uncaught_exception()` отсутствовала	указано как `throw()`

См. также

terminate	функция, вызываемая при сбое обработки исключений (функция)
exception_ptr (C++11)	тип разделяемого указателя для работы с объектами исключений (псевдоним типа)
current_exception (C++11)	сохраняет текущее исключение в `std::exception_ptr` (функция)

Внешние ссылки

1.	GOTW, выпуск 47: неперехваченные исключения
2.	Обоснование `std::uncaught_exceptions` (N4125)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/error/exception/uncaught_exception