C++ SFINAE基本用法

SFINAE（Substitution Failure Is Not An Error）是C++模板元编程中的一种技术，它利用了模板参数替换失败不报错的特性，可以在编译期间自动过滤掉不符合条件的模板实例化。

SFINAE的基本用法是通过函数重载和模板特化来实现的。具体步骤如下：

1. 定义一个模板函数或者模板类，其中包含一个或多个“不确定”的类型参数。

2. 在函数或者类中使用这些模板参数来实现具体功能。

3. 定义一个辅助函数或者类，用于检查某些条件是否成立。

4. 在辅助函数或者类中定义一个静态常量或者静态函数，用于返回bool类型的值表示条件是否成立。

5. 使用函数重载或者模板特化的方式，根据条件成立与否来选择具体的实现。

下面是一个简单的示例代码，演示了如何使用SFINAE来实现一个函数模板，用于计算两个数中较大的那个数：

#include <type_traits>

template<typename T>
typename std::enable_if<std::is_integral<T>::value, T>::type
max(T a, T b) {
    return a > b ? a : b;
}

template<typename T>
typename std::enable_if<std::is_floating_point<T>::value, T>::type
max(T a, T b) {
    return a > b ? a : b;
}

int main() {
    int i = 1, j = 2;
    float x = 1.0f, y = 2.0f;
    max(i, j);   // 返回值为2
    max(x, y);   // 返回值为2.0f
    return 0;
}

在上面的代码中，我们定义了两个模板函数max，一个处理整数类型，另一个处理浮点类型。为了保证模板参数只能是整数类型或者浮点类型，我们使用了std::enable_if和std::is_integral/std::is_floating_point来进行条件判断。如果条件成立，那么函数返回类型就是T，否则函数不会被实例化。在main函数中，我们分别调用了两个max函数，得到了正确的结果。

需要注意的是，SFINAE技术并不适用于所有情况，有些复杂的类型判断可能需要使用更高级的技术。此外，SFINAE还有一些陷阱和注意事项，需要谨慎使用。