Как в шаблоне разрешить определенные типы?

Question

[Pinkman]

Здравствуйте! Вопрос такой, как в шаблоне разрешить , допустим, типы int и double а на остальные поставить ассерты?

template <class T>
struct Test {
    T workingOnlyWithIntegerOrDouble();
private:
    T num_;
}

Comments

[Pinkman]

Есть вариант сделать внутри функции T workingOnlyWithIntegerOrDouble() ; std::is_same(T, int), может есть другие способы?

[Евгений Шатунов]

Pinkman, тебе стоит более точно сформулировать вопрос.
Тебя интересуют именно все целочисленные и вещественные числа или тебя интересуют исключительно только int и double?

Ты сейчас свой вопрос поставил так, как будто спрашиваешь разрешение решить задачу каким-то определенным образом.
Но саму задачу ты не описал еще. Я предлагаю тебе описать в своем вопросе именно условия решаемой тобой задачи.

Answer 1

[cunion]

template <class T>
struct is_permitted 
{
	static constexpr bool value = false;
};

template <>
struct is_permitted<int>
{
	static constexpr bool value = true;
};

template <>
struct is_permitted<double>
{
	static constexpr bool value = true;
};

template <class T>
struct test
{
	test()
	{
		static_assert(is_permitted<T>::value);
	}
};