即使没有定义相等的运算符,下面的代码编译并执行没有错误：
class A {
public:
operator bool() const { return true; }
};
int main()
{
A a,b;
a == b; //why does this compile?
return 0;
}
对于一个== b而言内部发生的是对两个操作数都调用了运算符bool()const,然后将两个布尔值进行比较,以相等(这发生在我们的生产代码中,类A是智能指针类型,并在语义上给出可疑的结果).
我的问题是：C标准中的什么规则允许在这种情况下两个操作数的隐式转换？我可以理解,如果另一个操作数已经是一个bool,而不是两个操作数,一个操作数将被隐式转换为bool以进行相等的测试.
解决方法
I can understand that one operand would be implicitly converted …,but not both
然后你被误解了编辑：根据专家的评论,参数依赖查找似乎是一个你的假设是正确的情况.但你的不是ADL的例子.
What rule in the C++ standard allows for the implicit conversion of both operands
从标准草案：
[over.match] (2.9)
- Then the best viable function is selected based on the implicit conversion sequences (13.3.3.1) needed
to match each argument to the corresponding parameter of each viable function.
我强调“每个论据”.不是“单一论证”.
