boost::exception 和 boost::variant 组合的问题

Question

当包含 boost::exception 时，我对两级变体结构有奇怪的问题。我有以下代码片段：

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

typedef boost::variant< int >   StoredValue;
typedef boost::variant< StoredValue > ExpressionItem;
inline std::ostream& operator << ( std::ostream & os, const StoredValue& stvalue ) {    return os;}
inline std::ostream& operator << ( std::ostream & os, const ExpressionItem& stvalue ) { return os; }

当我尝试编译它时，出现以下错误：

boost/exception/detail/is_output_streamable.hpp(45): error C2593: 'operator <<' is ambiguous
test.cpp(11): could be 'std::ostream &operator <<(std::ostream &,const ExpressionItem &)' [found using argument-dependent lookup]
test.cpp(8): or       'std::ostream &operator <<(std::ostream &,const StoredValue &)' [found using argument-dependent lookup]
1>  while trying to match the argument list '(std::basic_ostream<_Elem,_Traits>, const boost::error_info<Tag,T>)'
1>  with
1>  [
1>    _Elem=char,
1>    _Traits=std::char_traits<char>
1>   ]
1>   and
1>   [
1>       Tag=boost::tag_original_exception_type,
1>       T=const type_info *
1>   ]

代码片段已尽可能简化，在实际代码中结构要复杂得多，每个变体都有五个子类型。

当我删除 #include boost/exception/all 并尝试以下测试片段时，程序已正确编译：

void TestVariant()
{
  ExpressionItem test;
  std::stringstream str;
  str << test;
}

有人可以告诉我如何定义运算符 <<即使使用 boost::Exception 也能正常工作？

谢谢并问候

瑞克

Answer 1

我认为这与 boost::Exception 没有任何关系。它是输出流“operator <<”。但我没有像你一样使用它的变体——只有一种类型；我认为你应该至少有两种类型，因为这是一个“类固醇联盟”，但也许有一些隐含的东西......我会重新审视文档。

您的代码位于 boost 命名空间内吗？我认为您的输出流运算符与为异常定义的运算符冲突。尝试将代码放入您自己的命名空间中。

至于操作符没有被执行，它可能仍然是一个选择错误的问题......尝试使用你的“<<”运算符，方法是在其前面加上命名空间和解析运算符，就像使用 std::stringstream 一样。

编辑： 作为上一条评论的后续内容：您可以定义运算符在您自己的命名空间中，假设 mynamespace ，然后在需要时显式使用您的版本，例如

void TestVariant()
{
  using namespace mynamespace;

  ExpressionItem test;
  std::stringstream str;
  str << test;
}

它将适用于上述示例，但我不确定这是否是您的确切情况面对......而我对精神不太熟悉