4

我正在尝试为operator<<将存储在boost::variant. 这是一个说明问题的小例子：

#include <iostream>
#include <vector>

std::ostream & operator<<( std::ostream & os, const std::vector< int > & ) {
  os << "Streaming out std::vector< int >";
  return os;
}

std::ostream & operator<<( std::ostream & os, const std::vector< double > & ) {
  os << "Streaming out std::vector< double >";
  return os;
}

#include <boost/variant.hpp>

typedef boost::variant< std::vector< int >, std::vector< double > > MyVariant;

int main( int argc, char * argv[] ) {
  std::cout << MyVariant();
  return 0;
}

Clang 的第一个错误是

boost/variant/detail/variant_io.hpp:64:14: error: invalid operands to binary expression ('std::basic_ostream<char>' and 'const std::vector<int, std::allocator<int>>')
        out_ << operand;
        ~~~~ ^  ~~~~~~~

我意识到这#include <boost/variant.hpp>是在一个奇怪的地方。我很确定这个问题与模板中的两阶段名称查找有关，所以我移动了#include它以尝试从关于 lookup 的 clang 文档中实现修复 #1 。该文档中的修复 #2 不是一个好的选择，因为我相信将重载的 operator<< 添加到 std 命名空间会导致未定义的行为。

不应该在允许编译器找到定义operator<<之前定义 my s吗？#include该技术似乎适用于以下示例，改编自同一个 clang 页面。

#include <iostream>

namespace ns {
  struct Data {};
}

std::ostream& operator<<(std::ostream& out, const ns::Data & data) {
  return out << "Some data";
}

namespace ns2 {
  template<typename T>
  void Dump( std::ostream & out, const T & value) {
    out << value;
  }
}

int main( int argc, char * argv[] ) {
  ns2::Dump( std::cout, ns::Data() );
}
4

1 回答 1

8

在模板实例化过程中，取决于模板类型的函数模板仅在第二阶段查找期间找到。阶段 II 查找不考虑在使用点可见的名称，而只考虑基于参数相关查找找到的名称。由于 和 的唯一关联命名空间std::ostream是std::vector<int>命名空间std，因此它不会查找在全局命名空间中定义的输出运算符。当然，您不允许将这些运算符添加到命名空间std，这是一个真正的问题：您只能为涉及至少一个用户定义类型的容器定义这些运算符！绕过这个限制的可能方法是添加一个自定义分配器，它只是从std::allocator<T>但存在于合适的用户定义命名空间中：然后您可以在此命名空间中定义输出运算符。这种方法的缺点是std::vector<T>（即，没有分配器参数）几乎是一种词汇类型。

移动声明并没有帮助：第二阶段名称查找实际上并不依赖于声明的顺序，只是声明必须在实例化点之前。唯一正确的解决方法是在第二阶段查找所寻找的命名空间中定义运算符，这几乎意味着要打印的类型必须涉及用户定义的类型。

于 2013-09-15T20:55:50.460 回答