변환 연산자에서 std :: enable_if를 어떻게 사용할 수 있습니까?

Question

기본적으로 범위 형식을 Range<const char>에서 Range<const unsigned char>으로 암시 적으로 변환 할 수있게하려고합니다. std :: enable_if는 함수가 인수를 취하지 않고 반환하지 않기 때문에 불가능한 것처럼 보입니다. 무슨 일이야? 여기

내가 뭘하려 기본적으로 :

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

가 T 기본값은 더미 매개 변수가있는 템플릿 확인 -이 기능이 인스턴스화됩니다 지점 형태 추론을 연기하는 것입니다, 그렇지 않으면 SFINAE doesn't work. 그런 다음 다른 매개 변수의 기본값에서 원하는 검사를 수행합니다.

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