Проверка типа при компиляции

[220Volt]

Доброго времени суток!

Передо мной стояла задача – удачно завершить компиляцию, если в параметр шаблона передан целый беззнаковый тип. Сделал примерно так:

template <typename T>
   class Unsigned_integer
   {
      static const T val_for_assert = ~static_cast<T>(0);
      static_assert(val_for_assert > 0, "Unsigned_integer::illegal signed type");
   };

template <typename Type>
   class Q : Unsigned_integer<Type>
   {
   }

Интересно, а это не шаманство? Может в std что-то есть на такие случаи?

[220Volt]

Сам спросил, сам отвечу. "Правильное" решение моей задачи:

#include <type_traits>
template <typename T>
	class Q
	{
		static_assert(! is_floating_point<T>::value, "illegal type");	// Не скомпилится с "плавающими" типами.
		static_assert(is_unsigned<T>::value, "illegal type");			// Не скомпилится с signed.
	};

Вообще много интересных вариантов: http://en.cppreference.com/w/cpp/header/type_traits