std::enable_if和std::is_base_of

std::enable_if,其主要为了完成模板特偏化，有两个参数，第一个为布尔值类型，第二个参数如果第一个参数的布尔值为true，其为默认空值，如果已经赋值，则为对应的类型。如果布尔值为false，则会报错。

#include <iostream>
#include <type_traits>

template <typename T>
typename std::enable_if<std::is_integral<T>::value, T>::type
addOne(T x) {
    return x + 1;
}

int main() {
    int a = 5;
    double b = 3.14;

    std::cout << "a + 1 = " << addOne(a) << std::endl; // 正确，因为int是整数类型
    // std::cout << "b + 1 = " << addOne(b) << std::endl; // 错误，因为double不是整数类型

    return 0;
}

std::is_base_of，其一共存在两个参数，如果第一个参数为第二个参数的基类，则为true，否则为false