GCC 和 Clang 模板调用解析差异

Question

给定以下代码：

#include <iostream>

struct Alice
{
  template <typename A>
  void operator|(const A& /*a*/) const
  {
    std::cout << "operator| member" << std::endl;
  }
};

template <typename A>
void operator|(const A& /*a*/, const Alice& /*alice*/)
{
  std::cout << "operator| non-member" << std::endl;
}

int main()
{
  Alice a;
  Alice b;

  a | b;

  return 0;
}

使用 GCC 4.8.1、4.9 和 clang 3.4 编译时不会发出警告，但会给出不同的结果。

$ g++ -Wall -Wextra -std=c++11 alice.cpp && ./a.out
operator| non-member

$ clang++ -Wall -Wextra -std=c++11 alice.cpp && ./a.out
operator| member

造成这种差异的原因是什么？如何强制执行相同的行为？

编辑： 有趣的事实：从成员函数中删除 const 限定符使 gcc 也更喜欢成员函数。然而，它并没有解决问题。

编辑：如果未指定-std=c++11，则clang++ 更喜欢非成员。

编辑： ICC 14.0 更喜欢非会员，不会发出警告。

Answer 1

根据重载决议，有两个可行的函数：具有推导参数的全局operator|-模板的特化和成员运算符函数模板的特化。两者具有相同的签名 - 成员函数模板具有 Alice const& 类型的隐式对象参数（请参阅 §13.3.1/4）。

所以两个可行的函数（在模板参数推导之后）具有相同的签名。并且它们被实例化的模板都没有比另一个更专业。所以这确实是一个模棱两可的，因此是不正确的。令人惊讶的是，VC++ 是正确的。

如何强制执行相同的行为？

也许你应该去掉歧义，然后 Clang、VC++ 和 GCC 应该有相同的行为。