c++ - 编译器找不到重载

Question

我最近正在为我拥有的一些代码使用一些简单的类型，并为它们重载插入运算符，以便它们可以轻松打印。我遇到了一个案例，我实际上得到了一千行编译器呕吐。简化版在这里:

#include <iostream>
#include <sstream>
#include <utility>
#include <string>

namespace ns{
template<typename KEY, typename VALUE>
using KeyValue = std::pair<KEY, VALUE>;

template<typename K, typename V>
inline std::ostream& operator<< (std::ostream& os, const KeyValue<K,V>& arg){
  os << "Key: " << arg.first << " Value: " << arg.second;
  return os;
}
}


struct Foo_t{
  double a = 0;
};

inline std::ostream& operator<< (std::ostream& os, const Foo_t& f){
  os << "a: " << f.a;
  return os;
}



int main()
{
  Foo_t foo{6.283185};
  ns::KeyValue<std::string, Foo_t> foo_kv{"Foo_t", foo};

  std::ostringstream oss;
  oss << foo_kv;

  std::cout << oss.str();
}

原来错误是因为 Foo_t和它的 operator<<不在命名空间 ns .如果我将它们添加到命名空间 ns并在 main 中进行调整，然后编译正常。根据我公认的有限知识，我原以为它会通过 ADL 找到，但事实并非如此。为什么？除了添加 Foo_t 之外，还有没有更好的方法来修复它？到命名空间 ns ?

顺便说一句，编译器呕吐的一千行是 GCC 试图提供帮助并列出 operator<< 的所有候选重载它知道。

Answer 1

KeyValue是 std::pair 的别名.定义别名模板的命名空间不被视为 ADL 的关联命名空间。只有类和类的封闭命名空间范围 std::pair自己会考虑。

因此 ns 中的运算符重载没有找到。

移动发现Foo_t内ns ，因为函数参数类型中的类型模板参数的类范围和封闭命名空间范围被考虑用于 ADL。

如 Foo_t在里面 ns ，然后 ns将被添加到将被搜索的关联作用域列表中，因为它是 foo_kv 的类型模板参数的类类型。如 Foo_t在全局命名空间范围中声明，然后只添加全局命名空间范围(无论如何都已经通过非限定查找进行了搜索)。

至于如何修复:如果你想无论使用什么模板参数都找到运算符重载，那么你可以制作KeyValue一个独特的类型:

template<typename KEY, typename VALUE>
struct KeyValue : std::pair<KEY, VALUE> {
    using std::pair<KEY, VALUE>::pair;
};

或者您可以将运算符重载移动到全局命名空间中。