c++ enable_if在泛型编程中的应用

在C++中，std::enable_if是一个模板元编程工具，用于在编译时根据一个条件来选择是否实例化一个模板。它通常与模板元编程中的SFINAE（Substitution Failure Is Not An Error）技朧结合使用，可以在编译时根据条件来选择不同的实现。

std::enable_if的一个常见应用是在泛型编程中进行函数重载。通过使用std::enable_if，我们可以让编译器根据条件选择不同的重载函数或者禁用某些重载函数。比如，我们可以根据某个类型是否满足某个条件来选择不同的实现。

以下是一个简单的例子，演示了如何在泛型编程中使用std::enable_if：

#include <iostream>
#include <type_traits>

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

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

int main() {
    int x = 5, y = 10;
    float f1 = 3.5, f2 = 2.5;

    std::cout << "Sum of integers: " << add(x, y) << std::endl;
    std::cout << "Sum of floats: " << add(f1, f2) << std::endl;

    // This will not compile, as add function for mixed types is not defined
    //std::cout << "Sum of mixed types: " << add(x, f1) << std::endl;

    return 0;
}

在上面的例子中，我们定义了两个重载的add函数，一个用于整数类型，一个用于浮点数类型。通过std::enable_if，我们限制了这两个函数的调用条件，使得编译器可以根据参数类型选择正确的函数。

需要注意的是，std::enable_if需要用typename来指定返回类型，同时函数模板的返回类型中也需要使用typename关键字。此外，std::enable_if只是在编译时进行条件判断，不会对程序的运行时逻辑产生影响。