C++11/14：类型萃取（std::enable_if/SFINAE）

目录

1、什么是 SFINAE？

2、std::enable_if 的作用

3、使用 std::enable_if 和 SFINAE 的场景

4、C++14 及更高版本的改进

5、总结

---

前言

        std::enable_if 和 SFINAE（Substitution Failure Is Not An Error）是 C++ 中用于模板元编程的重要技术，主要用于控制模板实例化行为，实现条件编译和类型选择。这种技术可以帮助你根据类型特性或编译期条件，有选择性地启用或禁用某些模板实例。

1、什么是 SFINAE？

SFINAE 是 C++ 模板机制中的一个原则，意思是“替换失败不是错误”。当编译器尝试解析一个模板实例时，如果替换模板参数导致表达式无效（例如，类型不匹配或函数不可用），编译器不会直接报错，而是简单地忽略该模板实例，并继续尝试其他可能的模板实例。

利用 SFINAE，我们可以根据类型特性（如是否支持某些操作、是否具有某些成员函数等）来控制模板的启用或禁用。

2、std::enable_if 的作用

std::enable_if 是 C++11 引入的标准库工具，用于显式实现 SFINAE。它是一个模板结构体，通过布尔条件控制其是否具有成员 type：

如果条件为 true，std::enable_if 定义了一个成员 type，通常用作返回类型或模板参数。

如果条件为 false，std::enable_if 没有 type 成员，从而导致替换失败，触发 SFINAE。