std::enable_if 和 std::is_base_of 结合使用

`std::enable_if` 和 `std::is_base_of` 是 C++ 中的两个模板元编程工具，它们通常一起用于条件编译和类型安全的操作。

`std::enable_if` 是一种断言，它允许你在函数或类型的声明上添加一个布尔表达式，如果该表达式的值为真，则编译器会通过；否则，编译过程将失败，从而防止了无效的代码被执行。例如：

template <typename T>
void foo(T value, std::enable_if_t<std::is_arithmetic_v<T>>) {
    // 只有当T是基本算术类型时，这段代码才会被实例化
    // 对于非数值类型，foo不会被调用
}

`std::is_base_of` 则是一个类型断言，检查某个类型是否直接或间接派生自另一个给定的基类。它的返回类型是一个布尔值，如果是，则表示是；否则不是。

两者结合使用，可以确保函数的行为只对特定的基类及其衍生类有效。例如：

template <typename Derived, typename Base>
void bar(Derived& derived, std::enable_if_t<std::is_base_of<Base, Derived>::value>) {
    // 这里保证derived确实是从Base派生的，因此可以安全地调用Base的成员
    Base* base = dynamic_cast<Base*>(&derived);
    if (base) {
        base->specificFunction();
    }
}

在这个例子中，只有`Derived`是`Base`的直接或间接子类时，`bar`函数的模板实例化才会被启用。