làm cách nào tôi có thể sử dụng lệnh std :: enable_if trong toán tử chuyển đổi?

Question

Về cơ bản tôi muốn loại phạm vi của mình được chuyển đổi hoàn toàn từ Range<const char> thành Range<const unsigned char>. std :: enable_if dường như không thể vì hàm không có đối số và không trả về. Whats làm việc xung quanh?

Đây là cơ bản những gì tôi đã cố gắng:

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

Làm cho nó một khuôn mẫu với một tham số dummy mà mặc định là T - đây là hoãn loại trừ đến điểm mà các chức năng được instantiated, nếu không SFINAE doesn't work. Sau đó, bạn thực hiện kiểm tra bạn muốn trong giá trị mặc định của một tham số khác.

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