Як перевірити тип параметра шаблону?

Припустимо, у мене є функція шаблону і два класи

class animal {
}
class person {
}

template<class T>
void foo() {
  if (T is animal) {
    kill();
  }
}

Як мені перевірити наявність тварини? Я не хочу мати щось, що перевіряє під час роботи. Дякую

Використання is_same:

#include <type_traits>

template <typename T>
void foo()
{
    if (std::is_same<T, animal>::value) { /* ... */ }  // optimizable...
}

Зазвичай це абсолютно непрацездатний дизайн, однак ви дуже хочете спеціалізуватися :

template <typename T> void foo() { /* generic implementation  */ }

template <> void foo<animal>()   { /* specific for T = animal */ }

Також зауважте, що незвично мати шаблони функцій з явними (невиведеними) аргументами. Це не нечувано, але часто є кращі підходи.

Я думаю, сьогодні це краще використовувати, але тільки з C ++ 17.

#include <type_traits>

template <typename T>
void foo() {
    if constexpr (std::is_same_v<T, animal>) {
        // use type specific operations... 
    } 
}

Якщо ви використовуєте певні операції типу в тілі виразу if constexpr, цей код не компілюється.

У C ++ 17 ми можемо використовувати варіанти .

Для використання std::variantпотрібно включити заголовок:

#include <variant>

Після цього ви можете додати std::variantу свій код так:

using Type = std::variant<Animal, Person>;

template <class T>
void foo(Type type) {
    if (std::is_same_v<type, Animal>) {
        // Do stuff...
    } else {
        // Do stuff...
    }
}

Ви можете спеціалізувати свої шаблони на основі того, що передається в їх параметри, як це:

template <> void foo<animal> {

}

Зверніть увагу, що це створює абсолютно нову функцію на основі типу, який передається як T. Зазвичай це переважно, оскільки це зменшує безлад і, по суті, є причиною того, що ми маємо шаблони в першу чергу.