如何使std::optional<std::exception>::value()返回多态派生异常？

问题现象 #

经测试，抛出并捕获std::optional<std::exception>::value()无法实现多态处理：

• 直接抛出std::logic_error("blah ..")并捕获const std::exception& e时，能正常输出blah ..；
• 但将std::logic_error("Booo ..")存入std::optional<std::exception>后，抛出其value()并捕获时，输出的是std::exception，出现对象切片问题。

原因分析 #

std::optional<T>的模板类型是std::exception，当你将派生类（如std::logic_error）对象存入其中时，会调用std::exception的拷贝构造函数，将派生类对象切片为纯基类对象。此时optional内部存储的已经是失去派生类信息的std::exception实例，后续抛出value()自然无法触发多态行为。

解决方案 #

要保留异常的多态性，核心是避免对象切片，以下是两种可行方案：

1. 使用智能指针封装（通用方案）

将std::optional的模板类型改为智能指针，存储指向派生异常对象的指针，这样就能保留派生类的完整信息。示例代码：

#include <optional>
#include <exception>
#include <stdexcept>
#include <memory>
#include <iostream>

int main() {
    std::optional<std::unique_ptr<std::exception>> opt_exc;
    // 存入派生异常对象的智能指针
    opt_exc = std::make_unique<std::logic_error>("Booo ..");

    try {
        // 抛出指针指向的对象，捕获基类引用以触发多态
        throw *opt_exc.value();
    } catch (const std::exception& e) {
        std::cout << e.what() << std::endl; // 输出"Booo .."
    }

    return 0;
}

这里使用std::unique_ptr管理内存，避免手动释放的风险；如果需要共享所有权，也可以用std::shared_ptr。

2. 使用std::variant存储具体异常类型（受限方案）

如果能预先确定所有可能抛出的异常类型，可以用std::variant存储这些类型，再通过std::visit抛出。这种方案不需要指针，但灵活性较差，仅适用于异常类型固定的场景：

#include <optional>
#include <exception>
#include <stdexcept>
#include <variant>
#include <iostream>

// 枚举所有可能的异常类型
using ExceptionType = std::variant<std::logic_error, std::runtime_error>;

int main() {
    std::optional<ExceptionType> opt_exc;
    opt_exc = std::logic_error("Booo ..");

    try {
        // 遍历variant，抛出对应的异常对象
        std::visit([](const auto& exc) { throw exc; }, *opt_exc);
    } catch (const std::exception& e) {
        std::cout << e.what() << std::endl; // 输出"Booo .."
    }

    return 0;
}

关于是否必须使用指针 #

不是必须使用指针，但指针（尤其是智能指针）是最通用的解决方案：

• 如果需要支持任意派生自std::exception的类型，智能指针是唯一能覆盖所有场景的选择；
• 若异常类型固定，std::variant可以作为无指针的替代方案，但扩展性不足。

内容的提问来源于stack exchange，提问作者Wololo