부동 소수점 형식을 허용하는 std :: make_signed

Question

스칼라 형식 (정수, 부동 소수점 등)에 대해서만 인스턴스화 할 수있는 템플릿 클래스가 있으며 구성원의 typedef가 항상 형식의 서명 된 변형이되도록하고 싶습니다. 즉 :

unsigned int ->signed int
signed long long ->signed long long (이미 서명)
unsigned char ->signed char
float ->float
long double ->long double
등

불행히도 std::make_signed은 부동 소수점 유형이 아닌 정수형에만 사용할 수 있습니다. 가장 간단한 방법은 무엇입니까? 내가 양식을 using SignedT = ...;, 템플릿 매개 변수 T 이미 스칼라 수 보장 내 템플릿 클래스의 일부로 찾고 있어요.

Answer 1

: 나는 부동 소수점 유형에 대한 전문성 수 있도록 conditionaly하는 std::enable_if을 사용하고

#include <type_traits> 

template<typename T> 
struct identity { using type = T; }; 

template<typename T> 
using try_make_signed = 
    typename std::conditional< 
     std::is_integral<T>::value, 
     std::make_signed<T>, 
     identity<T> 
     >::type; 

을 그리고 이것은 당신이 그것을 테스트 할 수있는 방법입니다 :

int main() 
{ 
    static_assert(::is_same< 
     try_make_signed<unsigned int>::type, int 
     >::value, "!"); 

    static_assert(std::is_same< 
     try_make_signed<double>::type, double 
     >::value, "!"); 
} 

여기에 live example입니다.

Answer 2

std::conditional을 처음 사용하다가 SFINAE를 사용하기로 결정했습니다. 간단한 템플릿 별칭 할 것

template<typename T, typename Enable = void> 
struct my_make_signed { 
    typedef typename std::make_signed<T>::type type; 
}; 

template<typename T> 
struct my_make_signed<T, 
    typename std::enable_if<std::is_floating_point<T>::value>::type> { 
    typedef T type; 
}; 

Answer 3

namespace mine {   

    template<typename T, bool b> 
    struct make_signed__ { 
     typedef T type; 
    }; 

    template<typename T> 
    struct make_signed__<T,false> { 
     typedef typename std::make_signed<T>::type type; 
    }; 

    template<typename T> 
    struct make_signed { 
     typedef typename make_signed__<T, std::is_floating_point<T>::value>::type type; 
    }; 

} 

int main() { 
    std::cout << std::is_same<mine::make_signed<unsigned int>::type, int>::value; 
    std::cout << std::is_same<mine::make_signed<long double>::type, long double>::value; 
} 

Answer 4

@jrok는 원래 작동 할 수있는 코드를 가지고 있었지만 작은 조정 만하면되었습니다. 이 작업 코드 :

template<typename T> 
struct YourClass 
{ 
    using SignedT = 
     typename std::conditional 
     < 
      std::is_floating_point<T>::value, //if floating point type 
      std::common_type<T>,    //use it as-is 
      std::make_signed<T>    //otherwise make sure it is signed 
     >::type::type; //notice the double ::type 
}; 

데모 :이 기능은 여러 번 사용해야하는 경우 유형 특성 클래스가 위의 구조체는 그 자체로 수정할 수 http://ideone.com/Vw7o82

. 그러나 @Andy Prowl의 대답은 별칭 템플릿으로 처리하는 것이 더 좋습니다.