std::exception_ptr

typedef /*unspecified*/ exception_ptr;

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
    {
        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)'

См. также