我可以复制构造一个带有错误信息的提升::异常吗?

考虑以下使用 boost 异常类的代码：

class exception : virtual public boost::exception {
// ...
};
template<typename Exc>
class exception_impl : virtual public std::exception
, public Exc {
public:
exception_impl(const Exc& exc) : Exc(exc) {}
virtual const char* what() const throw() {return "blah";}
};

(实际上，此代码更复杂。例如，仅当后者还不是Exc的直接或间接基类时，exception_impl才从std::exception派生。但这只会分散我对问题的注意力，所以我跳过了它。

---

鉴于此，我现在可以派生自己的异常类：

class some_exception : public exception {
// ...
};

并使用它们：

struct tag_test_int;
typedef boost::error_info<tag_test_int,int> test_int_info;
void f()
{
boost::throw_exception( exception_impl<some_exception>() << test_int_info(42) );
}

---

但是，事实证明，生成的异常没有test_int_info对象。因此，我更改了exception_impl构造函数以提供一些诊断信息：

exception_impl(const Exc& exc)
: Exc(exc) {
std::cerr << "========================================================================nexc:n";
std::cerr << boost::diagnostic_information(exc);
std::cerr << "========================================================================n*this:n";
std::cerr << boost::diagnostic_information(*this);
std::cerr << "========================================================================n";
}

这确实表明，当我将Exc对象复制到exception_impl基类对象中时，信息会丢失：

================================================================================

除名： 投掷位置未知(考虑使用 BOOST_THROW_EXCEPTION) 动态异常类型：some_exception [tag_test_int*] = 42 ======================================================================== *这： 投掷位置未知(考虑使用 BOOST_THROW_EXCEPTION) 动态异常类型：exception_impl std：：exception：：what： "blah">

---

IIRC，异常对象必须根据标准可复制，并且忽略可能的优化，复制抛出表达式的结果。因此，boost的异常必须是可复制的，并且它们当然不会在此过程中丢失信息。我一定在这里错过了一些相当明显的东西。

我做错了什么？

#include <iostream>
#include <exception>
#include <boost/exception/all.hpp>
using std::cout;
class myException : public virtual boost::exception {
};
template <class T>
class exception_impl : public virtual std::exception, public T {
public:
exception_impl() {}
exception_impl(const T& ex) : T(ex) {}
virtual const char* what() const throw() {return "blah";}
};
class some_exception : public myException {
};
struct tag_test_int;
typedef boost::error_info<tag_test_int,int> test_int_info;
void f()
{
boost::throw_exception( exception_impl<some_exception>() << test_int_info(42) );
}
int main() {
try {
f();
} catch (boost::exception& e) {
cout << boost::diagnostic_information(e);
}
return 0;
}

Throw location unknown (consider using BOOST_THROW_EXCEPTION)
Dynamic exception type: N5boost16exception_detail10clone_implI14exception_implI14some_exceptionEEE
std::exception::what: blah
[P12tag_test_int] = 42