我可以复制构造带有错误信息的 boost::exception 吗？

Question

考虑以下使用 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";}
};

（实际上这段代码更复杂。例如，exception_impl 仅派生自 std::exception，如果后者还不是 Exc 的直接或间接基类。但这只是分散了我对问题的注意力有，所以我跳过了。）

---

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

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 标准：：异常：：什么：“废话”

---

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

我做错了什么？

Answer 1

对我来说非常好用：
（我不得不为 exception_impl 添加一个默认构造函数）

#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

编译使用：

• g++ (Ubuntu 4.9.2-0ubuntu1~14.04) 4.9.2
• 提升 1.55

我认为问题在于您在构造函数中输出诊断信息，而 tag_test_int 未设置 jet。