GCC 12编译报错‘no match for operator==’，GCC 11正常问题咨询

问题重现 #

代码如下：

#include <iostream>
#include <algorithm>

class EqualityChecker
{
public:
  template <typename T>
  static bool checkEquality(const T lhs, const T rhs)
  {
    return *lhs == *rhs;
  }
};

namespace Foo
{
  class ValueEntity
  {
  private:
    int val;

  public:
    int value() const { return val; }
  };
}

bool operator==(const Foo::ValueEntity &lhs, const Foo::ValueEntity &rhs)
{
  return lhs.value() == rhs.value();
}

int main()
{
  Foo::ValueEntity v1;
  Foo::ValueEntity v2;

  bool equal = EqualityChecker::checkEquality(&v1, &v2);
  std::cout << "equal: " << equal << std::endl;

  return 0;
}

使用命令g++-12 --std=c++20 main.cpp编译时，出现错误：

main.cpp: In instantiation of 'static bool EqualityChecker::checkEquality(T, T) [with T = Foo::ValueEntity*]':
main.cpp:36:46:   required from here
main.cpp:10:17: error: no match for 'operator==' (operand types are 'Foo::ValueEntity' and 'Foo::ValueEntity')
   10 |     return *lhs == *rhs;

原因分析 #

这个问题的核心是C++依赖于参数的查找（ADL）规则以及GCC版本对模板查找规则的实现差异：

1. 当模板函数checkEquality中执行*lhs == *rhs时，*lhs的类型是Foo::ValueEntity，ADL会自动查找该类型所在命名空间Foo内的operator==，但你的operator==定义在全局命名空间，因此ADL找不到它。
2. 对于非ADL的普通查找：模板的查找分为两个阶段——模板定义点的查找（不依赖模板参数的名字）和模板实例化点的查找（依赖模板参数的名字）。这里operator==是依赖于模板参数T的名字（因为*lhs的类型由T决定），但根据C++标准，对于这类依赖名字的查找，只有ADL和模板定义点可见的名字会被考虑。你的operator==是在模板定义之后才声明的，因此模板定义点时它不可见，普通查找也找不到。
3. GCC 11的实现存在宽松处理，在模板实例化点额外做了非ADL查找，找到了全局的operator==；而GCC 12修复了这个问题，严格遵循C++标准，因此出现编译错误。

正确行为与解决方案 #

根据C++标准，GCC 12的行为是符合标准的正确行为，GCC 11的行为属于非标准的兼容处理。

解决这个问题有三种常见方案：

• 将operator==移入Foo命名空间：让ADL能够找到该运算符，这是最符合C++编码规范的做法：

  namespace Foo
  {
    bool operator==(const ValueEntity &lhs, const ValueEntity &rhs)
    {
      return lhs.value() == rhs.value();
    }
  }
  

• 在模板定义前声明operator==：让模板定义点能看到该运算符，普通查找即可找到：

  namespace Foo
  {
    class ValueEntity;
  }
  
  bool operator==(const Foo::ValueEntity &lhs, const Foo::ValueEntity &rhs);
  
  class EqualityChecker
  {
    // ... 原模板代码 ...
  };
  

• 在模板中显式调用全局operator==：绕过ADL和普通查找的限制，直接指定全局命名空间的运算符：

  template <typename T>
  static bool checkEquality(const T lhs, const T rhs)
  {
    return ::operator==(*lhs, *rhs);
  }
  

内容的提问来源于stack exchange，提问作者Jonny H