1。名称查找。

Question

我为boost.log创建了一个简单的格式化程序，如std::exception namespace my_space { template< typename CharT, typename TraitsT > std::basic_ostream< CharT, TraitsT >& operator<< (std::basic_ostream< CharT, TraitsT >& strm, std::exception const& e) { // some printout stuff here strm << e.what(); return strm; } } // namespace my_space示例所示。现在，如果我想使用在我自己的命名空间中定义的重载运算符，则日志无法找到重载。

一些代码：

template< typename StreamT, typename T >
inline typename boost::log::aux::enable_if_formatting_ostream< StreamT, StreamT& >::type
operator<< (StreamT& strm, T const& value)
{...}

但是如果我移动（Stroustrup请不要拍我，只是为了测试），格式化程序会找到std命名空间的重载。

错误消息在formatting_ostream.hpp（boost 1.59.0 line 782）

中

Error   818 error C2679: binary '<<' : no operator found which takes a right-hand operand of type 'const std::exception' (or there is no acceptable conversion) d:\prg\boost\1.59.0\include\boost\log\utility\formatting_ostream.hpp

使用Visual Studio 2013，消息说出：

using namespace my_space;
try {
    // throw(std::runtime_error("something happend."));
    throw(my_exception(0x1, "something happend."));
}
catch (std::exception& e) {
    std::cerr << e << std::endl;  // works just fine
    MY_LOG_ERROR(slg) << log::add_value("Exception", e); // compile error
}

我的意图是，我有一个自己的异常类（在命名空间my_space中定义）继承自std :: exception，所以我可以抛出自己的但是捕获一个std :: exception。

__Genus

如何在不使用我自己的函数/重载或创建双捕获块来污染std命名空间的情况下实现此目的？

Answer 1

您的问题中存在两个问题，我将在下面单独讨论。

1。名称查找。

在C ++中，非限定函数调用（例如流表达式中的operator<<）涉及unqualified name lookup，它基本上会生成一组您可能正在调用的候选函数。在此设置之外，然后根据overload resolution rules选择实际功能。对于完成调用，至关重要的是（a）预期函数在候选集中，以及（b）考虑到调用函数的方式，它与集合中的其他函数没有歧义（提供的参数数量）及其类型，显式模板参数等。）在您的情况下（a）未完成。

简单而靠近您的代码，operator<<查找分三个阶段执行。首先，编译器在右侧操作数类中查找成员operator<<。 Boost.Log流中定义的运算符以这种方式找到。接下来，在包含函数调用的名称空间中查找独立（非成员）运算符，从内部名称空间开始向外移动。使用using指令和声明导入的名称也在此处考虑。只要找到任何operator<<，此查找就会结束。请注意，当您从代码中调用运算符时以及在使用log::add_value时从Boost.Log调用运算符时，所考虑的名称空间会有所不同。在第一种情况下，您将my_space导入当前命名空间，以便找到您的运算符。在后一种情况下，Boost.Log不会导入您的命名空间，因此找不到您的运算符。

最后，编译器执行依赖于参数的查找（ADL）来收集您可能正在调用的其他函数。基本上，它在相关的命名空间中查找运算符，该命名空间由以下组成：

声明函数调用中每个参数类型的命名空间。这意味着在两种情况下都会考虑名称空间std，因为在那里声明了std::exception。当使用Boost.Log时，还会考虑其声明流类型的内部命名空间（它包含一些运算符，但它们都不接受std::exception）。
如果函数是模板，则也会类似地考虑其模板参数类型的名称空间。
如果函数参数类型或函数模板参数类型本身就是模板，那么这些模板参数的命名空间也会被类似地考虑。这是递归完成的。

ADL在名称空间operator<<中找到std，但没有一个接受std::exception。这里运算符查找的净效果是my_space中的运算符只是因为你的using - 指令而被找到，当从程序的另一个点调用运算符时这没有帮助，例如作为Boost.Log代码。

在实施运营商时，最佳做法是依靠ADL找到这些运营商。这意味着支持类型的运算符必须放在声明该类型的同一名称空间中。如果是std::exception，则为名称空间std。从技术上讲，向命名空间std添加内容会导致未定义的行为（根据[namespace.std] / 1），因此最好的解决方案是在命名空间中定义自己的流操纵器并使用它将异常输出到流中：

namespace my_space {

template< typename T >
struct my_manip
{
  T const& value;
};
template< typename T >
my_manip< T > to_stream(T const& value) {
  my_manip< T > m = { value };
  return m;
}

template< typename CharT, typename TraitsT >
std::basic_ostream< CharT, TraitsT >& operator<< (
  std::basic_ostream< CharT, TraitsT >& strm,
  my_manip< std::exception > const& e)
{
  // some printout stuff here
  strm << e.value.what();
  return strm;
}

} // namespace my_space

try {
  // ...
}
catch (std::exception& e) {
  std::cerr << my_space::to_stream(e) << std::endl;
}

如果您愿意，还可以为operator<<提供广义的my_manip。

2。添加Boost.Log属性。

如果你的初衷是将例外附加到日志记录中，那么我担心你没有以正确的方式做到这一点。 add_value操纵器不确定您提供的值的运行时类型，这意味着它会保存std::exception的副本，从而丢失派生类提供的任何诊断信息（包括{{1 }} 信息）。这称为object slicing。

您可以使用多条路线来实现您想要的效果。首先，您可以在捕获异常的位置格式化错误消息。

what()

您将无法将其用作接收器或格式化程序中的属性值，但这对您来说已经足够了。您也可以使用自定义操纵器：

catch (std::exception& e) {
  MY_LOG_ERROR(slg) << e.what();
}

如果确实需要它作为属性值，则必须选择所需的信息类型。例如，如果您只需要错误消息，则可以附加它而不是异常：

catch (std::exception& e) {
  MY_LOG_ERROR(slg) << my_space::to_stream(e);
}

如果异常本身就是您所需要的，那么您需要C ++ 11 catch (std::exception& e) { MY_LOG_ERROR(slg) << log::add_value("ErrorMessage", std::string(e.what())); }：

exception_ptr

在C ++ 03中，您可以使用Boost.Exception或实现自定义机制来确定异常的动态类型。请注意，标准库或Boost.Exception也不为catch (std::exception& e) { MY_LOG_ERROR(slg) << log::add_value("Exception", std::current_exception()); }提供operator<<，因此您必须为此实现自定义格式化程序。

boost.log std :: exception formatter无法找到运算符＆lt;＆lt;自己的命名空间中的重载

1 个答案:

1。名称查找。

2。添加Boost.Log属性。