如何检查模板参数的类型？

假设我有一个模板函数和两个类

class animal {
}
class person {
}

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

如何检查 T 是否为动物？我不想拥有 在运行时检查的东西。谢谢

Use 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 */ }

另请注意，具有显式（非推导）参数的函数模板是不常见的。这并非闻所未闻，但通常有更好的方法。