Question

鉴于来自cpprefernce.com的std::exception_ptr示例，以下列方式缩短代码是否合法？如果所有处理都在catch块内完成，则不需要将std::exception_ptr存储在外部甚至全局范围内。

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

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()
{
    try {
        std::string().at(1); // this generates an std::out_of_range
    } catch(...) {
        handle_eptr(std::current_exception()); // CHANGE: HANDLING THE std::exception_ptr AS R-VALUE INSIDE THE CATCH BLOCK
    }
} // destructor for std::out_of_range called here, when the eptr is destructed

Answer 1

是的，该计划有效。

来自cppreference：

std :: exception_ptr引用的异常对象仍然有效只要至少有一个std :: exception_ptr 引用它：std :: exception_ptr是共享所有权智能指针

在这种情况下，{p> eptr将确保从std::current_exception返回的值不会超出范围。如果有疑问，请认为std::exception_ptr的生命周期遵循std::shared_ptr的相同范围规则，因为它们都是“共享所有权智能指针”

Answer 2

当然，但是cppreference代码的重点是异常指针允许你在catch块之外保留异常的生命周期，而不需要重新抛出。

因此，您的代码看起来很合法，但它不会满足cppreference代码的目的。

存储std :: exception_ptr的生命周期要求

2 个答案: