关于std::exception_ptr复制语义不符合智能指针特性的咨询

你混淆了std::exception_ptr的共享异常状态语义和引用语义。它的“智能指针特性”指的是能共享异常对象的所有权、自动管理异常生命周期，而非自身具备像普通指针那样的引用传递特性——它本质是个值类型，拷贝后是独立的对象，只是共享同一个异常状态（如果有的话）。

你的代码为什么不生效？ #

lambda用[ptr]捕获的是外部ptr的副本，虽然初始时和外部ptr指向同一个空状态，但在lambda内部给这个副本赋值std::current_exception()时，只是修改了lambda内部的exception_ptr实例，外部的原ptr完全不受影响——二者是独立的对象，赋值操作只是改变自身指向的异常状态，不会同步到其他副本。

两种可行的修复方案 #

方案1：引用捕获外部ptr

如果lambda的生命周期不会超过外部ptr的生命周期，直接用引用捕获，让lambda操作外部的原对象：

std::exception_ptr ptr{};

auto l = [&ptr] {
   try{
      throw std::runtime_error("test exception");
   }catch(...)
   {
       ptr = std::current_exception();
   }
};

这里不需要mutable，因为引用捕获的是外部对象，修改的是它的状态，而非lambda内部的副本。

方案2：用智能指针包裹exception_ptr

如果lambda需要异步执行（比如放到线程池），外部ptr可能提前销毁，就用std::shared_ptr包裹exception_ptr，让lambda捕获这个智能指针的副本——它们共享同一个exception_ptr对象，修改内部值就能同步到外部：

auto wrapped_ptr = std::make_shared<std::exception_ptr>();

auto l = [wrapped_ptr] {
   try{
      throw std::runtime_error("async exception");
   }catch(...)
   {
       *wrapped_ptr = std::current_exception();
   }
};

之后外部通过*wrapped_ptr就能获取到lambda捕获的异常。

再明确std::exception_ptr的语义 #

它的“智能”体现在：当最后一个指向某异常的exception_ptr被销毁时，对应的异常对象会自动被释放。但它本身是值类型，拷贝、赋值都是操作自身的指向，而非共享自身的存储——这和std::shared_ptr不同，std::shared_ptr的拷贝是共享同一个指针存储，而std::exception_ptr的拷贝是共享同一个异常对象，自身是独立的“句柄”。

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