使用C++中的模板检查继承

#include<iostream>
#include <type_traits>

template<typename T>
struct Base {
    void foo() {
        std::cout << "Base::foo()"<< std::endl;
    }
};

template<typename T>
struct Derived : public Base<T> {
    void foo() {
        std::cout << "Derived::foo()"<< std::endl;
    }
};

template<typename T>
struct CheckInheritance {
    static_assert(std::is_base_of<Base<T>, Derived<T>>::value, "Derived must inherit from Base");
};

int main() {
    CheckInheritance<int>();
    return 0;
}