在C++中，可以使用模板来进行编译时检查一个类是否继承自基类并使用它。以下是一个示例代码：

#include 

// 基类
class BaseClass {};

// 派生类
class DerivedClass : public BaseClass {};

// 检查类是否继承自基类的模板
template 
struct IsDerivedFrom
{
    static void Check()
    {
        static_assert(std::is_base_of::value, "Derived class does not inherit from Base class!");
    }
};

int main()
{
    // 检查DerivedClass是否继承自BaseClass
    IsDerivedFrom::Check();
    
    return 0;
}

在这个示例中，我们定义了一个模板IsDerivedFrom，它有两个类型参数Derived和Base，并且有一个静态成员函数Check()。在Check()函数中，我们使用std::is_base_of来检查Derived是否是Base的派生类。如果不是，编译器会产生一个静态断言错误。

在main()函数中，我们使用IsDerivedFrom模板来检查DerivedClass是否继承自BaseClass。如果继承关系正确，程序将正常运行。如果继承关系错误，编译器将产生一个静态断言错误，指示派生类没有正确继承基类。

通过这种方式，我们可以在编译时检查一个类是否继承自基类并使用它。