const-refゲッターのconst_castで参照ゲッターを実装する落とし穴

Question

私はクラスがあります。例えば、vector<T>です。私は、それぞれT&とconst T&を返す2つのゲッターメソッドを実装したいと思います。私はそれらの両方を実装したくありません。代わりに、constバージョンのみを実装し、非constメソッドでそのコードをconst_castで再利用したいと思います。

template<typename T> 
class Vector { 
public: 
    T& operator[](size_t i) { 
     return const_cast<T&>(
      static_cast<const Vector<T>*>(this)->operator[](i)); 
    } 

    const T& operator[](size_t i) const { 
     return data[i]; 
    } 

private: 
    T* data; 
}; 

このアプローチの落とし穴はありますか？または、const_castが正当なものであることを確認する方法はありますか？

最後に、このような複製されたconst/non-constコードを扱うよくある一般的な方法は何ですか？

Answer 1

一つのきれいな方法はthisのconst性を推測することができますプライベートテンプレート関数に委譲することです：

#include <cstdint> 

template<typename T> 
class Vector { 
public: 
    T& operator[](std::size_t i) { 
     return impl_indirection(this, i); 
    } 

    const T& operator[](std::size_t i) const { 
     return impl_indirection(this, i); 
    } 

private: 
    template<class MaybeConstVector> 
    static decltype(auto) impl_indirection(MaybeConstVector* pv, std::size_t index) 
    { 
    return pv->data[index]; 
    } 

    T* data; 
};