std::exception_ptr

using exception_ptr = /*unspecified*/

std::exception_ptr — это тип, подобный указателю и допускающий нулевое значение, который управляет объектом исключения, выброшенным и захваченным с помощью std::current_exception. Экземпляр std::exception_ptr можно передать другой функции, возможно, в другом потоке, где исключение можно повторно выбросить и обработать с помощью блока catch.

Объект std::exception_ptr, созданный по умолчанию, является нулевым указателем; он не указывает на объект исключения.

Два экземпляра std::exception_ptr считаются равными, только если оба имеют нулевое значение или указывают на один и тот же объект исключения.

std::exception_ptr не преобразуется неявно ни в арифметический тип, ни в тип перечисления, ни в тип указателя. Он может быть преобразован в bool в контекстном выражении и принимает значение false, если имеет нулевое значение, и true в противном случае.

Объект исключения, на который ссылается std::exception_ptr, остаётся действительным, пока существует хотя бы один std::exception_ptr, ссылающийся на него: std::exception_ptr — это интеллектуальный указатель с совместным владением (примечание: это дополняет обычные правила времени жизни объекта исключения).

std::exception_ptr соответствует требованиям NullablePointer.

Пример

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

void handle_eptr(std::exception_ptr eptr) // passing by value is OK
{
    try
    {
        if (eptr)
            std::rethrow_exception(eptr);
    }
    catch(const std::exception& e)
    {
        std::cout << "Caught exception: '" << e.what() << "'\n";
    }
}

int main()
{
    std::exception_ptr eptr;

    try
    {
        [[maybe_unused]]
        char ch = std::string().at(1); // this generates a std::out_of_range
    }
    catch(...)
    {
        eptr = std::current_exception(); // capture
    }

    handle_eptr(eptr);

} // destructor for std::out_of_range called here, when the eptr is destructed

Caught exception: 'basic_string::at: __n (which is 1) >= this->size() (which is 0)'

См. также