std:: exception_ptr

std::exception_ptr — это тип, похожий на указатель, который может быть null и управляет объектом исключения, который был выброшен и захвачен с помощью 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) // передача по значению допустима
{
    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); // это генерирует std::out_of_range
    }
    catch(...)
    {
        eptr = std::current_exception(); // захват
    }
    handle_eptr(eptr);
} // деструктор для std::out_of_range вызывается здесь, когда eptr уничтожается

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

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