爲什麼不明確的布爾（）轉換的上下文轉換髮生

Question

如果下面的測試PROGRAMM

#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討論的，給定的例子：（13.3.3.1

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）的隱式對象參數是一個參考結合。4）。

爲了重載決議（13.3p2），轉換運算符被視爲成員函數（13.3.1.5）。上下文轉換爲bool具有初始化語義（4p4）。

重要的是，考慮到轉換運算符本身（13.3.3p1）之間的超載分辨率，在之後，轉換運算符的返回類型上所需的任何轉換僅被視爲。

解決方案是確保所有轉換運算符具有相同的const資格，尤其是對標量類型。

Answer 2

將轉換爲非const-int優先級轉換爲const-bool的規則是什麼？

使用非const對象的const成員函數，需要將非const對象轉換爲const對象。這就是爲什麼operator int()與operator bool() const有更好的匹配。

爲了使它更清楚一點，如果你想刪除INT運營商，真正與第一布爾上下文（第一IF）發生的情況是這樣的：

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

相反，會發生什麼情況是這樣的：

if (a.operator int())