理解运算符查找；哪个编译器是正确的？

Question

这可能以前被问过，但我没有找到答案......

我有一个无序容器（即哈希；我们将其称为 QHash，因为它是，尽管这可能发生在任何类似的情况下）需要一个比较运算符来作为它的键类型。

考虑以下几点：

// foo.h
class Bar
{
public:
    class Foo {};
};

// foo.cpp
#include <QtCore/QHash>

namespace
{
    typedef Bar::Foo Foo;
    bool operator==(Foo const& a, Foo const& b) { return &a == &b; }
}

uint qHash(Foo const& foo) { return qHash(&foo); }

int main()
{
    QHash<Foo, int> hash;
    // do stuff with hash, e.g.:
    hash.insert(Foo(), 5);
    return 0;
}

使用 G++，一切都很好。然而，clang 在 qhash.h 的内部给出了一个关于 invalid operands to binary expression 的错误，其中试图在 Foo 的实例上使用 ==。在我看来，clang 不是在匿名命名空间中找到或拒绝 operator== 的定义，可能是由于与 G++ 不同的查找规则。

我想知道，哪个编译器是正确的？

附言我在 C++11 模式下构建，以防它有所作为。

Answer 1

好吧，ADL 会查看定义类的命名空间。看 在 [basic.lookup.argdep]/2： “对于函数调用中的每个参数类型 T，都有一组零 或更多相关的命名空间和一个 要考虑的零个或多个相关类的集合。的套 命名空间和类已确定 完全由函数参数的类型（以及 任何模板模板参数）。 用于指定类型的 typedef 名称和 using-declarations 不 为这个集合做出贡献。”

注意最后一句话。

因此，对于原始示例，命名空间中的 typedef 运营商没有帮助， gcc 是错的，clang 是对的。

Answer 2

这是known GCC bug。本质上，问题在于 GCC 没有正确实现运算符名称的两阶段名称查找。您的operator== 未通过非限定查找找到（因为它被声明得太晚）并且未通过参数相关名称查找找到（因为::(anonymous namespace) 不是Bar::Foo 的关联命名空间，因此不应考虑在qHash 的实例化。

如果将qHash 的定义移动到匿名命名空间中，GCC 将拒绝该代码，因为它的错误仅适用于运算符名称，而不适用于普通函数名称。

Answer 3

尽管您声称无序容器的选择无关紧要，但以下自包含的完全标准代码在 g++ 和 clang 上都会产生一致的错误——没有找到 operator==。

#include <unordered_map>

// foo.h
class Bar
{
public:
    class Foo {};
};

// foo.cpp
namespace
{
    typedef Bar::Foo Foo;
    bool operator==(Foo const& a, Foo const& b) { return &a == &b; }
}

namespace std
{
  template <>
  struct hash<Foo>
  {
    std::size_t operator()(const Foo& k) const
    {
      return std::hash<const Foo*>()(&k);
    }
  };
}

int main()
{
    std::unordered_map<Foo, int> hash;
    // do stuff with hash, e.g.:
    hash.emplace(Foo(), 5);
    return 0;
}

错误的重要部分是

错误：operator== 不匹配（操作数类型为 const Bar::Foo 和 const Bar::Foo）

  { return __x == __y; }

基本上，如果您希望通过库代码找到运算符，请将它们粘贴到类的关联命名空间中，然后让 ADL 完成它的工作。绝对不要使用匿名命名空间，除非类本身在匿名命名空间内。