const_cast (또는 static_cast)가 const를 추가하지 않는 이유는 무엇입니까?

Question

이 answer을보고 사용하고 싶습니다. 그러나, static_cast 및 const_cast을 사용할 때 세분화 오류가 발생하지만 임시 변수를 사용하면 문제가 없습니다. 그것은 분명히 bar()의 non-const 버전이 자체 over-and-over라고 부르기 때문입니다. 하지만 static_cast은 const foo*이되고 bar()의 const 버전을 선택합니다. 왜 이렇게이다?

#include <iostream> 
using namespace std; 

class foo 
{ 
    public: 
    void bar() const 
    { 
     cout << "const" << endl; 
    } 

    void bar() 
    { 
     cout << "non-const" << endl; 

//  static_cast<const decltype(this)>(this)->bar(); 

//  const_cast<const decltype(this)>(this)->bar(); 

     const auto& tmp = *this; 
     tmp.bar(); 
    } 
}; 

int main() { 
    foo A; 
    A.bar(); 
    const foo B; 
    B.bar(); 
    static_cast<const foo*>(&A)->bar(); 
    return 0; 
} 

Answer 1

decltype(this)는 foo*입니다. const decltype(this)은 foo* const입니다.

당신은 pointees cv-qualifications를 변경하지 않고 포인터 만 변경합니다. 따라서 매번 non-const 과부하가 선택됩니다.