C++模板元编程怎样进行类型萃取

在 C++ 模板元编程中，可以使用 SFINAE（Substitution Failure Is Not An Error）技术进行类型萃取。SFINAE 是一种编译器在模板参数替换失败时不会报错，而是继续寻找其他合适的模板特化的机制。

具体来说，可以通过定义一个模板结构体，并在其中使用 std::enable_if 或decltype关键字进行类型萃取。例如：

#include <type_traits>

template <typename T, typename std::enable_if<std::is_integral<T>::value, int>::type = 0>
void foo(T t) {
    // 这个函数只接受整数类型的参数
}

int main() {
    foo(42); // 正确：42 是整数类型
    foo(3.14); // 错误：3.14 不是整数类型，编译器会寻找其他合适的模板特化
    return 0;
}

在上面的例子中，foo 函数只接受整数类型的参数。如果传入的参数不是整数类型，编译器会使用 SFINAE 技术寻找其他合适的模板特化。在这个例子中，由于没有其他模板特化匹配传入的参数类型，编译器会报错。

除了 std::enable_if，还可以使用 decltype 关键字进行类型萃取。例如：

#include <type_traits>

template <typename T, typename std::enable_if<std::is_same<decltype(std::declval<T>() * 2), int>::value, int>::type = 0>
void bar(T t) {
    // 这个函数只接受可以乘以 2 得到 int 类型的参数
}

int main() {
    bar(4); // 正确：4 可以乘以 2 得到 int 类型
    bar(3.14); // 错误：3.14 不能乘以 2 得到 int 类型，编译器会寻找其他合适的模板特化
    return 0;
}

在上面的例子中，bar 函数只接受可以乘以 2 得到 int 类型的参数。如果传入的参数不能乘以 2 得到 int 类型，编译器会使用 SFINAE 技术寻找其他合适的模板特化。在这个例子中，由于没有其他模板特化匹配传入的参数类型，编译器会报错。