Question

#include <boost/exception/all.hpp>
#include <iostream>

struct myexception : virtual boost::exception, virtual std::exception {};
typedef boost::error_info<struct tag_info, std::string> info;

void main()
{
    try
    {
        BOOST_THROW_EXCEPTION(myexception()
            << info("1")
            << info("2") );
    }
    catch(const myexception& e)
    {
        std::cout << boost::diagnostic_information(e) << std::endl;
    }
}

这将输出

[struct tag_info *] = 2

我明白为什么会这样，但宁愿让它输出

[struct tag_info *] = 1
[struct tag_info *] = 2

当然，我可以将info键入boost::error_info<struct tag_info, std::vector<std::string> >，然后将std::vector中的所有信息累积到异常中，但这有两个缺点： a）它涉及复制std :: vector
b）我需要在投掷之前建立向量，即我不能简单地使用移位运算符来添加更多信息。

因此，我现在正在寻找更好的解决方案，将相同error_info类型的几个信息添加到例外。

编辑：
我尝试按照Josh Kelley在下面的评论中提出的那样做，并超载operator <<：

#include <boost/exception/all.hpp>
#include <iostream>
#include <vector>

typedef boost::error_info<struct tag_info, std::string> info;
typedef boost::error_info<struct tag_multiple_infos, std::vector<std::string> > multiple_infos;

struct myexception : virtual boost::exception, virtual std::exception
{
    myexception& operator<< (const info& rhs)
    {
        std::vector<std::string>* pinfos = boost::get_error_info<multiple_infos, myexception>(*this);
        if (pinfos != NULL)
        {
            pinfos->push_back(rhs.value());
        }
        else
        {
            std::vector<std::string> infos;
            infos.push_back(rhs.value());
            *this << multiple_infos(infos);
        }
        return *this;
    }
};

std::string to_string(const multiple_infos& info)
{
    std::ostringstream oss;
    std::for_each(info.value().begin(), info.value().end(),
        [&oss](const std::string& str) { oss << str << ' '; });
    return oss.str();
}

void main()
{
    try
    {
        BOOST_THROW_EXCEPTION(myexception()
            << info("1")
            << info("2") );
    }
    catch(const myexception& e)
    {
        std::cout << boost::diagnostic_information(e) << std::endl;
    }
}

那将输出

[struct tag_multiple_infos *] = 1 2

这很整洁，但我更喜欢Pyotrs的答案，因为它对我来说更自然，并且需要更少的代码。但是，如果我想在多个catch站点¹中添加info，那么这个解决方案会更合适，因为我不需要知道已经添加了多少个infos

¹ = I.e。将信息转换为异常，抛出它，将其捕获到其他地方，将更多信息转移到其中，然后重新抛出。

Answer 1

只需使用两个标签：

struct tag_info1;
struct tag_info2;
typedef boost::error_info<tag_info1, std::string> info1;
typedef boost::error_info<tag_info2, std::string> info2;

像这样使用：

    BOOST_THROW_EXCEPTION(myexception()
        << info1("1")
        << info2("2") );

如果您想要更多信息，请使用模板：

template <unsigned N>
struct tag_info {};

template <unsigned N>
struct Nth {
  typedef boost::error_info<tag_info<N>, std::string> info;
};

    BOOST_THROW_EXCEPTION(myexception()
        << Nth<1>::info("1")
        << Nth<2>::info("2") );

将几个相同类型的boost :: error_infos添加到boost :: exception

1 个答案: