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

Question

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

class animal {
}
class person {
}

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

如何检查 T 是动物？我不想在运行时进行检查。谢谢

Answer 1

使用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 */ }

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

Answer 2

我认为今天，最好使用，但仅限于 C++17。

#include <type_traits>

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

如果在 if 表达式主体中使用某些类型特定的操作而不使用constexpr，则此代码将无法编译。

Answer 3

您可以根据传递给其参数的内容来专门化您的模板，如下所示：

template <> void foo<animal> {

}

请注意，这会基于作为T. 这通常是可取的，因为它减少了混乱，本质上是我们首先拥有模板的原因。

Answer 4

在 C++17 中，我们可以使用variables。

要使用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...
    }
}

Answer 5

std::is_same()仅从 C++11 开始可用。对于 C++11 之前的版本，您可以使用typeid()：

template <typename T>
void foo()
{
    if (typeid(T) == typeid(animal)) { /* ... */ }
}