come posso usare std :: enable_if in un operatore di conversione?

Question

Fondamentalmente voglio che il mio tipo di intervallo sia implicitamente convertibile da Range<const char> a Range<const unsigned char>. std :: enable_if sembra impossibile perché la funzione non accetta argomenti e non ha alcun ritorno. Qual è il lavoro intorno?

Qui è fondamentalmente ciò che ho provato:

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); 
    } 
}; 

Answer 1

Ne fanno un modello con un parametro fittizio che il default è T - questo è di rinviare tipo di detrazione al punto in cui viene istanziato la funzione, altrimenti SFINAE doesn't work. Quindi esegui il controllo desiderato nel valore predefinito di un altro parametro.

template< 
    typename U = T, 
    typename = typename std::enable_if< std::is_same<U,const char>::value >::type 
> 
operator Range<const unsigned char>() { 
    return *reinterpret_cast<Range<const unsigned char>*>(this); 
}