c++ - 将 error_info 添加到 std::exception

Question

我正在将 boost::exception 整合到现有代码中。一些代码现在使用 BOOST_THROW_EXCEPTION，但有些代码可能仍会抛出标准的 std::exception。

我想在中间捕获站点添加 error_info。根据文档，如果异常是 boost::exception，我可以这样做:

try {
    do_something()
}
catch( boost::exception & e ) {
    e << boost::errinfo_file_name(file_name);
    throw;
}

但这只会将信息添加到 boost 异常中。我也想将它添加到 std::exception 中。最干净的方法是什么？这是一种方法，但它会导致一些代码重复:

try {
    do_something()
}
catch( boost::exception & e ) {
    e << boost::errinfo_file_name(file_name);
    throw;
}
catch( std::exception & e ) {
    throw enable_error_info(e) << boost::errinfo_file_name(file_name);
}

是否有一种方法等同于“将当前异常作为 boost 异常提供给我，或者如果不是，则从中创建一个 boost 异常”？

编辑:boost::enable_error_info() 有点这样做，但返回原始异常的拷贝，它切掉了 boost::exception 我正在捕获的异常的一部分。恰当的例子:

int main()
{
    try {
        try {
            BOOST_THROW_EXCEPTION( std::runtime_error( "foo" ) );
        }
        catch( std::exception & e ) {
            std::cerr << e.what() << std::endl; // "foo" 
            if( const char* const* function = boost::get_error_info<boost::throw_function>(e) ) std::cerr << *function << std::endl; // "int main()"
            throw boost::enable_error_info(e) << boost::errinfo_file_name("bar");
        }
    }
    catch( std::exception & e ) {
        std::cerr << e.what() << std::endl; // "std::exception" 
        if( const char* const* function = boost::get_error_info<boost::throw_function>(e) ) std::cerr << *function << std::endl; // NOTHING
    }

    return 0;
}

编辑:我尝试使用 boost::current_exception()，它也将一些东西切掉了。基本上，由于多重继承导致的切片，任何复制异常的尝试都会丢失一些数据。与文档说您应该始终使用 throw 而不是 throw e 重新抛出的原因相同。所以我真的不想招致任何复制，除非有必要。

理想情况下，我想编写以下内容，其中 current_exception_as_boost_exception() 返回对当前异常的引用，如果它已经是一个 boost::exception，否则返回对其调用 boost::enable_error_info 的结果。

try {
    do_something()
}
catch( std::exception & e ) {
    throw current_exception_as_boost_exception() << boost::errinfo_file_name(file_name);
}

这就是 boost::enable_current_exception 的用途吗？真的不清楚它的用途是什么，并且没有在任何教程中使用。

Answer 1

这是一个可以满足我要求的解决方案。但如果感觉我在这里 reshape 某些东西。难道没有内置的方法来实现同样的事情吗？

struct rethrow
{
    rethrow()
    {
        try{ throw; }
        // Already a boost::exception
        catch( boost::exception& ) {} 
        // Something else. Make it a boost::exception
        catch( ... ) { ptr = boost::current_exception(); } 
    }

    template<class T> 
    rethrow const& operator<<( const T& t ) const
    {
        try
        {
            re();
        }
        catch( boost::exception& e )
        {
            e << t;
        }
        return *this;
    }

    ~rethrow()
    {
        re();
    }

private:
    void re() const
    {
        if( !ptr ) throw;
        else boost::rethrow_exception( ptr );
    }

    boost::exception_ptr ptr; 
};


int main()
{
    try {
        try {
            throw std::runtime_error( "foo" ); // or BOOST_THROW_EXCEPTION( std::runtime_error( "foo" ) );
        }
        catch( std::exception & e ) {
            rethrow() << boost::errinfo_file_name("bar");
        }
    }
    catch( std::exception & e ) {
        std::cerr << __LINE__ << ": caught " << e.what() << std::endl; // "caught foo"
        if( const char* const* function = boost::get_error_info<boost::throw_function>(e) ) std::cerr << __LINE__ << ": throw from " << *function << std::endl; // "throw from int main()" (when using BOOST_THROW_EXCEPTION)
        if( std::string const* fileName = boost::get_error_info<boost::errinfo_file_name>(e) ) std::cerr << __LINE__ << ": trying to open " << *fileName << std::endl; // "trying to open bar"
    }

    return 0;
}