c++ - 不能在函数中声明运算符。 Clang错误或规范？

Question

C 的一个奇怪的极端情况是函数可以在其他函数中声明，例如

void foo(void)
{
  void bar(void); // Behaves as if this was written above void foo(void)
  bar();
}

这已经贯彻到 C++ 中，至少对于大多数函数而言。如果有问题的函数恰好被称为 operator==，则 Clang 似乎无法识别该模式。

struct foo
{
  int value;
};

struct bar
{
  foo value;
};

bool wot(const bar &x, const bar &y)
{
  bool eq(const foo &, const foo &);         // Declare function eq
  bool operator==(const foo &, const foo &); // Declare function operator==
  bool func = eq(x.value, y.value);          // This line compiles fine
  bool call = operator==(x.value, y.value);  // Also OK - thanks user657267!
  bool op = x.value == y.value;              // This one doesn't
  return func && call && op;
}

bool test()
{
  bar a;
  bar b;
  return wot(a,b);
}

GCC 和 ICC 编译得很好。检查对象中的名称修饰表明 operator== 已使用正确的类型声明。 Clang(我尝试了最高 3.8)错误:

error: invalid operands to binary expression
      ('const foo' and 'const foo')
      bool op = x.value == y.value;
                ~~~~~~~ ^  ~~~~~~~

除非将声明移到函数的正上方，在这种情况下，Clang 也很高兴:

bool operator==(const foo &, const foo &);
bool wot(const bar &x, const bar &y)
{
  return x.value == y.value; // fine
}

我不能使用此解决方法，因为引发此问题的“真实世界”案例涉及模板层，这意味着我只知道函数声明中的类型名称“foo”。

我认为这是 Clang 中的一个错误 - 是否对 operatorX 自由函数进行了特殊处理，禁止在函数中声明它们？

Answer 1

对于重载的运算符，请参阅 [over.match.oper]/(3.2) :

[…] for a binary operator @ with a left operand of a type whose cv-unqualified version is T1 and a right operand of a type whose cv-unqualified version is T2, […] non-member candidates […] are constructed as follows:

The set of non-member candidates is the result of the unqualified lookup of operator@ in the context of the expression according to the usual rules for name lookup in unqualified function calls (3.4.2) except that all member functions are ignored. However, if no operand has a class type, […]

也就是说，我们拥有与普通调用完全相同的名称查找规则，因为 x.value 属于类类型 (foo)。这是一个 Clang 错误，它发生在所有二元运算符中。归档为 #27027 .