Basicamente, quero que meu tipo de intervalo seja implicitamente conversívelRange<const char> paraRange<const unsigned char>. std :: enable_if parece impossível porque a função não recebe argumentos e não tem retorno. Qual é o trabalho em volta?

Aqui está basicamente o que eu tentei:

template<typename T>
class Range{
    T* begin_;
    T* end_;
public:
    Range(T* begin,T* end):begin_{begin},end_{end}{}
    template<int N>
    Range(T (&a)[N]):begin_{static_cast<T*>(&a[0])},end_{static_cast<T*>(&a[N-1])}{}
    T* Begin(){return begin_;}
    T* End(){return end_;}
    operator typename std::enable_if<std::is_same<T,const char>::value,Range<const unsigned char>&>::Type (){
        return *reinterpret_cast<Range<const unsigned char>*>(this);
    }
};