템플릿 인자 지정

Question

유효한 템플릿 인자가 필요한 것을 어떻게 지정할 수 있습니까?

template<class T> 
void f(const T& obj) 
{ 
//do something with obj 
} 

그러나 나는 내가 문자, INT, 짧은 부호 등하지만 아무것도를 받아 들일 만 정수형으로 T 싶습니다 : 내 말은, 예를 들어 보자의이 같은 것을 가지고있다. 템플릿 인자로 제공되는 것을 탐지하는 방법이 있습니까?
감사합니다.

Answer 1

개념 검사 (http://www.boost.org/doc/libs/1_43_0/libs/concept_check/concept_check.htm)를 살펴보십시오.

Answer 2

당신은 boost::enable_if 및 boost::is_integral이 (또한 TR1에 포함)를 사용할 수 있습니다 :

#include <boost/utility/enable_if.hpp> 
#include <boost/type_traits/is_integral.hpp> 

template <typename T> 
typename boost::enable_if<boost::is_integral<T> >::type 
f(const T & obj) 
{ 
    ... 
} 

Answer 3

당신이 정수가 아닌 유형은 컴파일 오류가 발생하려면, 당신은 또한 정적으로 주장 할 수 있습니다 (컴파일 시간의 주장을). 와

C++ 0X :

이

#include <utility> 

template <class T> 
void foo(T) 
{ 
    static_assert(std::is_integral<T>::value, "Only integral types allowed"); 
} 

int main() 
{ 
    foo(3); //OK 
    foo(3.14); //makes assertion fail 
} 

C++ 03로, 부스트 도움이 될 것입니다 :

#include <boost/type_traits.hpp> 
#include <boost/static_assert.hpp> 

template <class T> 
void foo(T) 
{ 
    BOOST_STATIC_ASSERT(boost::is_integral<T>::value); 
} 

int main() 
{ 
    foo(3); 
    foo(3.14); 
} 

(IMO, enable_if 당신의 다른 버전을 사용하려는 시나리오입니다 다른 유형에 대한 함수 및 오류 발생을 피하십시오. 다른 모든 유형에 대해 오류를 원할 경우, 기능을 사용 불가능으로 설정하면 "도움이되는 일치하는 함수가 없습니다"라는 메시지가 표시 될 수도 있습니다. 정수가 허용되지 않는 코드의 위치로)