Задание аргумента шаблона

Question

Как я могу указать, что требуется для допустимого аргумента шаблона? То, что я имею в виду, давайте, например, взять что-то вроде этого:

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

, но я хотел бы T быть только целочисленный типа, поэтому я принял бы полукокс, INT, короткие беззнаковые и т.д., но ничего больше. Есть (я уверен, что есть) способ обнаружить его, что предоставляется в качестве шаблона arg?
Спасибо.

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

(ИМО, enable_if для сценариев, в которых вы хотите включить какой-то другой вариант функция для других типов и избежать получения ошибки.Если вы хотите получить ошибку для всех других типов, если функция отключена, вы можете просто получить не слишком полезное сообщение: «нет соответствующей функции для вызова», что даже не указывает к месту в коде, где нецелые числа запрещены.)