const_cast를 사용하여 메서드의 비 const 변형 만들기

Question

const_cast를 이미 구현 된 메서드의 비 const 버전을 만드는 데 사용할 수 있습니까? 이 줄을 따라 (실제 작업을 수행하는 const 메서드에 대한 권장 사항을 통해) 뭔가를 본 것 같지만 실제로 작동하는 방법을 잘 모르겠습니다.

Value& const search(key) const { 
    // find value with key 
    return value; 
} 

Value& search(key) { 
    return const_cast<Value&>(search(key)); 
} 

이렇게하지 않으면 코드가 중복되지 않은 비 const 함수를 만드는 데 권장되는 방법은 무엇입니까?

Answer 1

그것을 할 수있는 가장 쉬운 방법은 C++ 17에서 as_const 함께 : 그것없이

Value& search(key) { 
    return const_cast<Value&>(std::as_const(*this).search(key)); 
} 

이 대신이 작업을 수행 할 수 있습니다 (직접 또는 그것을 구현, 매우 어렵지 않다)

Value& search(key) { 
    return const_cast<Value&>(static_cast<const T&>(*this).search(key)); 
} 

여기서 T은 클래스의 유형입니다 (decltype으로 일반 솔루션을 사용할 수 있지만 decltype(*this)이 참조 유형이므로 실제로보기가 어렵습니다).

as_const 구현 here 또는 일반 캐스트 here을 살펴볼 수 있습니다.

Answer 2

두 가지 접근법.

첫째 :

namespace notstd{ // backported C++17 
    template<class T> 
    T const& as_const(T& t){return t;} 
    template<class T> 
    T const&& as_const(T&& t){return t;}  
} 
namespace utility { // not ever in std 
    template<class T> 
    T& remove_const(T const& t){return const_cast<T&>(t);} 
    template<class T> 
    T&& remove_const(T const&& t){return const_cast<T&&>(t);} 
} 

다음 : 또는

Value& const search(Key key) const { 
    // find value with key 
    return value; 
} 

Value& search(Key key) { 
    return utility::remove_const(notstd::as_const(*this).search(key)); 
} 

나 : 우리는 self 어쩌면 const가있는 친구 템플릿에 작업을 위임

Value& const search(Key key) const { 
    return search(*this, key); 
} 

Value& search(Key key) { 
    return search(*this, key); 
} 
private: 
    template<class Self> 
    friend decltype(auto) search(Self& self, Key key){ 
    // find value with key 
    } 

.