为什么在上下文转换中不发生显式 bool() 转换

Question

如果下面的测试程序

#include <iostream>

class A {
public:
    A() {}
    explicit operator bool() const {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
        return true;
    }
//    explicit operator bool() {
//        std::cout << __PRETTY_FUNCTION__ << std::endl;
//        return true;
//    }
    const operator int() const {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
        return 1;
    }
    operator int() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
        return 1;
    }
};

int main() {
    A a;
    if (a) {
        std::cout << "bool()" << std::endl;
    }
    if (a + 0) {
        std::cout << "int()" << std::endl;
    }
}

运行，输出为

int A::operator int()
bool()
int A::operator int()
int()

而不是

bool A::operator _Bool()
bool()
int A::operator int()
int()

我的预期（以及如果您取消注释注释部分会得到什么）。

那么问题是，转换为非 const-int 优先于转换为 const-bool 的规则是什么？

Answer 1

在对引用绑定执行重载决议时，首选 cv 限定的类型。这在 13.3.3.2p3 中进行了讨论，并给出了示例：

struct X {
  void f() const;
  void f();
};
void g(const X& a, X b) {
  a.f(); // calls X::f() const
  b.f(); // calls X::f()
}

请注意，将对象绑定到成员函数 (13.3.1.1.1p2) 的隐式对象参数是引用绑定 (13.3.3.1.4)。

出于重载决议 (13.3p2) 的目的，转换运算符被视为成员函数 (13.3.1.5)。到bool 的上下文转换具有初始化（4p4）的语义。

重要的是，转换运算符的返回类型所需的任何转换仅在考虑到转换运算符本身之间的重载决议（13.3.3p1）之后才考虑。

解决方案是确保所有转换运算符具有相同的const-qualification，尤其是对于标量类型。

Answer 2

转换为非 const-int 优先于转换为 const-bool 的规则是什么？

使用非常量对象的常量成员函数，需要将非常量对象转换为常量对象。这就是为什么operator int() 比operator bool() const 更匹配的原因。

为了更清楚一点，如果您要删除 int 运算符，第一个 bool 上下文（第一个 if）真正发生的情况是：

if ( const_cast<const A&>(a).operator bool() ) {

相反，发生的事情是这样的：

if ( a.operator int() )