g++ std：：set 找不到运算符<为类定义

g++ std::set cannot find operator< defined for class

本文关键字：lt 定义 运算符 std set 找不到 g++      更新时间：2023-10-16

尝试编译以下代码时(从原始代码简化(：

#include <cstdlib>
#include <iostream>
#include <set>
namespace OrbitSets {
class rational;
}
bool operator<(OrbitSets::rational a, OrbitSets::rational b);
namespace OrbitSets {
// Class definition
class rational {
private:
long long numerator;
long long denominator;
public:
rational() {
numerator = 0;
denominator = 1;
}
rational(int a) {
numerator = a;
denominator = 1;
}
friend bool ::operator<(rational a, rational b);
};
}
// Ordering operations
inline bool operator<(OrbitSets::rational a, OrbitSets::rational b) {
return a.numerator * b.denominator < b.numerator * a.denominator;
}
int main() {
const OrbitSets::rational a = 5;
const OrbitSets::rational b = 3;
std::set<OrbitSets::rational> c;
c.insert(a);
if (a < b) return 1;
return 0;
}

gcc 在 c.insert 行上抱怨它找不到 OrbitSets：：rational 类的运算符<，给出以下错误：

/usr/include/c++/5/bits/stl_function.h:387:20: error: no match for ‘operator<’ (operand types are ‘const OrbitSets::rational’ and ‘const OrbitSets::rational’)
{ return __x < __y; }

但是，当注释掉 c.insert(a( 行时，代码可以正确编译，即使两行后使用相同类型的参数进行了类似的比较。

我正在使用 g++ 来编译它，为什么它找不到上述运算符用于 less<..>模板类，但以后能找到它使用2行吗？

当set::insert尝试计算表达式__x < __y以比较对象时，编译器会执行依赖于参数的查找。

第一步是非限定名称查找。 由于表达式在namespace std中使用，因此此查找会std::operator<找到几个函数(如您在长编译器错误输出中看到的那样(，并在那里停止。

然后编译器找出函数调用的"关联命名空间和类"是什么。 由于两个参数具有相同的类类型，因此唯一关联的类是OrbitSets::rational，唯一关联的命名空间是OrbitSets。

由于operator<位于全局命名空间中，因此关联的命名空间查找找不到它。

我还不明白的是为什么规则 [basic.argdep.lookup]/4.2 不适用：

  • 在关联类中声明的任何命名空间范围的友元函数或友元函数模板在其各自的命名空间中可见，即使在普通查找期间它们也不可见。

在我看来，您确实有一个命名空间范围的友元函数，该函数是在关联的类中声明的，即使它不是第一个声明。 但是 g++ 和 clang++ 都给出了相同的错误，其中至少有一个通常是正确的。

您的(a < b)表达式不在包含任何其他operator<的作用域中，因此在这种情况下可以找到全局命名空间中的::operator<重载集，包括您所指的重载集。

无论如何，您可以通过将operator<移动到namespace OrbitSets.

相关文章：