模板特化的多维度挖掘

模板,特化,多维度,挖掘 · 浏览次数 : 29

小编点评

**方法一：使用模板函数** ```cpp template void f(T t) { if (std::is_same()) { std::cout << "int" << std::endl; } else { std::cout << "T" << std::endl; } } ``` **方法二：使用 std::enable_if_t** ```cpp #include template void f(T t) { using EnableIf = std::enable_if_t, std::string, std::string>>; EnableIf::type type; std::cout << type << std::endl; } ``` **方法三：使用 std::conditional_t** ```cpp #include template void f(T t) { std::conditional_t, std::string, std::string>> cond; cond(std::is_same, std::string, std::string>()); std::cout << cond.value() << std::endl; } ``` **方法四：使用模板函数和条件表达式** ```cpp #include template void f(T t) { if (std::is_integral()) { std::cout << "int" << std::endl; } else if (std::is_same()) { std::cout << "double" << std::endl; } else { std::cout << "T" << std::endl; } } ```

正文

假如我有一个需求，就是如果传入的参数是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";
}

好的，事情到这里结束。