이 왜 명시 적으로 부울() 변환이 문맥 전환에 일어나는가

Question

는, 출력은

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

하지

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

입니다

내가 뭘 기대했는지 (그리고 주석 처리 된 부분의 주석을 풀면 얻을 수있는 것).

그래서 const-bool로 변환하는 것보다 const-int가 아닌 우선 순위로 변환하는 규칙은 무엇입니까?

Answer 1

참조 바인딩에서 오버로드 확인을 수행 할 때 더 적은 자격이 부여 된 유형이 선호됩니다. 멤버 함수 (13.3.1.1.1p2)의 내재 된 오브젝트 파라미터에 객체를 결합하는 결합 기준이다

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.3.1이 예들과 함께 논의된다 13.3.3.2p3 .4).

변환 연산자는 오버로드 해결 (13.3p2)의 목적으로 멤버 함수 (13.3.1.5)로 처리됩니다. bool으로 문맥 변환은 초기화 (4p4)의 의미를가집니다.

변환 연산자의 반환 형식에 필요한 변환은 이후에만 으로 간주되며 변환 연산자 자체 (13.3.3p1) 사이의 과부하 해결을 고려해야합니다.

해결 방법은 모든 변환 연산자가 특히 const- 품질, 특히 스칼라 유형과 동일하도록 보장하는 것입니다.

Answer 2

const-bool로 변환하는 것보다 const-int가 아닌 우선 순위로 변환하는 규칙은 무엇입니까?

비 const 오브젝트의 const 멤버 기능을 사용하려면 비 const 오브젝트를 const 오브젝트로 변환해야합니다. 그렇기 때문에 operator int()은 operator bool() const과 더 일치합니다. 당신이 INT 연산자를 제거 할 경우

, 그것은 조금 명확하게하기 위해, 정말로 처음 부울 컨텍스트 (첫 번째 경우)에 발생하는 것은 이것이다 :

:

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

대신, 무슨 일이있다

if (a.operator int())