Могу ли я скопировать конструкцию boost:: exception с информацией об ошибке?

Рассмотрим следующий код, использующий класс форсированного исключения:

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:

========================================================================
exc:
Throw location unknown (consider using BOOST_THROW_EXCEPTION)
Dynamic exception type: some_exception
[tag_test_int*] = 42
========================================================================
*this:
Throw location unknown (consider using BOOST_THROW_EXCEPTION)
Dynamic exception type: exception_impl
std::exception::what: "blah"

IIRC, объекты исключений должны быть скопированы в соответствии со стандартом и, невзирая на возможные оптимизации, копируется результат выражения throw. Таким образом, форсированные исключения должны быть скопируемыми и, конечно же, не теряют информацию на этом пути. Я должен упустить что-то довольно очевидное здесь.

Что я делаю неправильно?

Ответ 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
boost 1.55

Я думаю, проблема заключается в том, что вы выводите диагностическую информацию внутри конструктора, а tag_test_int не задает струя.