模板特化的多维度挖掘

  假如我有一个需求，就是如果传入的参数是int类型，我就输出int类型，否则就输出T。很显然，根据模板的基础知识，我们可以这么写

template <class T>
void f(T) {
    std::cout << "T\n";
}

template <>
void f(int) {
    std::cout << "int\n";
}

  除了这样写，还有别的写法吗。我们可以思考一下.................这里我们其实可以用std::enable_if_t来实现，它相当于给std::enable_if的type类型起了一个别名，我们先看怎么写。

template <class T>
std::enable_if_t<std::is_same_v<int, T>> g(T) {
    std::cout << "int\n";
}

template <class T>
std::enable_if_t<!std::is_same_v<int, T>> g(T) {
    std::cout << "T\n";
}

  假设我现在再提一个需求，就是只能实现一个函数，且只能接受int类型的参数，其它类型均不能通过编译。这时候如果你仅仅单纯地void f(int)，那么即便你传入double类型进来，它也会发生类型转换并执行这个函数，这并不是我们想要的。因此，我们可以考虑用std::enable_if_t来实现。

template <class T>
std::enable_if_t<std::is_same_v<int, T>> h(T) {
    std::cout << "strictly int\n";
}

  好的，事情到这里结束。