정수형의 "signed-ness"에 기반한 부분 템플릿 전문화?

Question

을 감안할 때 :

unsigned n; 
f(n); // warning: comparison n >= 0 is always true 

비교 T가 unsigned 유형입니다 n >= 0을 할 수없는 어떤 영리한 방법이 있나요 : unsigned 유형을 사용

template<typename T> 
inline bool f(T n) { 
    return n >= 0 && n <= 100; 
} 

경고를 생성? 나는 부분 템플릿 특수화를 추가하는 시도 :

template<typename T> 
inline bool f(unsigned T n) { 
    return n <= 100; 
} 

하지만 GCC 4.2.1 그렇게 좋아하지 않는다. (나는 어쨌든 종류의 부분 템플릿 전문화가 합법적이라고 생각하지 않았습니다.)

Answer 1

당신은 is_unsigned 유형의 특성과 enable_if를 사용할 수 있습니다

template <typename T> 
typename std::enable_if<std::is_unsigned<T>::value, bool>::type f(T n) 
{ 
    return n <= 100; 
} 

template <typename T> 
typename std::enable_if<!std::is_unsigned<T>::value, bool>::type f(T n) 
{ 
    return n >= 0 && n <= 100; 
} 

컴파일러는 각각 C + +0을 지원 또는 TR1 경우가 std 또는 std::tr1 네임 스페이스 enable_if 및 is_unsigned을 찾을 수 있습니다. 그렇지 않으면 Boost에는 형질 라이브러리 유형 인 Boost.TypeTraits이 구현되어 있습니다. enable_if의 부스트 구현은 조금 다릅니다. boost::enable_if_c은 TR1 및 C++ 0x enable_if과 유사합니다.

Answer 2

부호없는 정수의 랩 어라운드 동작을 활용할 수 있습니다.

template<bool> struct bool_ { }; 

template<typename T> 
inline bool f(T n, bool_<false>) { 
    return n >= 0 && n <= 100; 
} 

template<typename T> 
inline bool f(T n, bool_<true>) { 
    return n <= 100; 
} 

template<typename T> 
inline bool f(T n) { 
    return f(n, bool_<(static_cast<T>(-1) > 0)>()); 
} 

그것은, >= 0 말을 다시 경고를 피하지 않는 것이 중요합니다.

template<class T> bool f(T val); 
template<> bool f<unsigned>(unsigned val); 

UPDATE 서명되지 않은 플래그

당신은 모든 다른 구현을 구현할 수 있습니다 다음은 너무

template<typename T> 
inline bool f(T n) { 
    return (n == 0 || n > 0) && n <= 100; 
} 

Answer 3

당신은 같은 unsigned 유형에 대한 특별한 템플릿 기능 구현을 구현할 수 GCC를 속여 표시 사용하려는 서명되지 않은 유형 또는 다음과 같은

과 같은 bool 플래그를 추가하십시오. 0

template <class T, bool U> bool f(T val) 
{ 
     if (U) 
       return val <= 100; 
     else 
       return (val >=0) && (val <= 100); 
} 

... 

cout << f<int, false>(1) << endl; 
cout << f<int, false>(-1) << endl; 
cout << f<char, true>(10) << endl; 

Answer 4

T가 부호없는 유형인 경우 비교 n> = 0을 수행하지 않는 영리한 방법이 있습니까? 부분 템플릿 전문화를 추가하려고 시도했습니다.

옵티마이 저는 조건을 감지 한 후 비교할 코드를 삭제해야합니다.

Clang의 경우 경고를 스쿼시하려면 -Wno-tautological-compare을 추가하십시오. GCC/G ++의 경우 경고를 스쿼시하려면 -Wno-type-limits을 추가하십시오.

당신은 당신이 할 수있는 pragma diagnostic {push|pop}을 지원하는 컴파일러를 사용하는 경우 :

#if (GCC_VERSION >= 40600) || (LLVM_CLANG_VERSION >= 10700) || (APPLE_CLANG_VERSION >= 20000) 
# define GCC_DIAGNOSTIC_AVAILABLE 1 
#endif  

#if MSC_VERSION 
# pragma warning(push) 
# pragma warning(disable: 4389) 
#endif 

#if GCC_DIAGNOSTIC_AVAILABLE 
# pragma GCC diagnostic push 
# pragma GCC diagnostic ignored "-Wsign-compare" 
# if (LLVM_CLANG_VERSION >= 20800) || (APPLE_CLANG_VERSION >= 30000) 
# pragma GCC diagnostic ignored "-Wtautological-compare" 
# elif (GCC_VERSION >= 40300) 
# pragma GCC diagnostic ignored "-Wtype-limits" 
# endif 
#endif 

template<typename T> 
inline bool f(T n) { 
    return n >= 0 && n <= 100; 
} 

#if GCC_DIAGNOSTIC_AVAILABLE 
# pragma GCC diagnostic pop 
#endif 

#if MSC_VERSION 
# pragma warning(pop) 
#endif 

는 또한 기능 템플릿 만 전체 전문화에 대한 부분 특수화가 없음을 Comparison is always false due to limited range…