C++11中如何优雅检查模板类型是否派生自特定基类并限制模板参数？

嘿，这个需求很典型，我们可以利用C++的编译期类型检查机制，轻松实现对Context模板参数的限制，确保只有继承自Base的类型才能被使用。下面给你两种实用的方案：

方案一：用static_assert做显式编译检查（推荐，错误提示清晰） #

这种方式最直观，直接在模板类内部添加编译期断言，不符合条件的话会抛出明确的错误信息，让用户一眼就知道问题出在哪。

需要包含<type_traits>头文件来使用类型判断工具：

#include <type_traits>
#include <cstdio>

class Base { public: virtual void run() = 0; };
class Stratege1 : public Base { public: virtual void run() { printf("Stratege1 \n"); } };
class Stratege2 { public: virtual void run() { printf("Stratege2 \n"); } };

template <typename T> 
class Context { 
public: 
    void run() { t.run(); }; 
private: 
    T t;
    // 核心检查：确保T是Base的派生类（包括Base本身）
    static_assert(std::is_base_of_v<Base, T>, "错误：模板参数T必须派生自Base类！");
};

效果 #

• 当你用Stratege1实例化Context时，编译完全正常，能正常调用run()方法。
• 如果你尝试用Stratege2实例化，编译器会直接触发static_assert，输出你自定义的错误提示，比默认的编译错误友好得多。

注意：std::is_base_of_v是C17的语法，如果你的项目用的是C11/14，改成std::is_base_of<Base, T>::value就行。

方案二：用SFINAE机制隐式限制模板实例化 #

这种方式是通过模板参数的重载决议来过滤不符合条件的类型，不符合的类型会直接无法匹配Context模板，不会生成对应的类实例。

#include <type_traits>
#include <cstdio>

class Base { public: virtual void run() = 0; };
class Stratege1 : public Base { public: virtual void run() { printf("Stratege1 \n"); } };
class Stratege2 { public: virtual void run() { printf("Stratege2 \n"); } };

// 利用enable_if在模板参数层面做限制
template <typename T, typename = std::enable_if_t<std::is_base_of_v<Base, T>>> 
class Context { 
public: 
    void run() { t.run(); }; 
private: 
    T t;
};

效果 #

和方案一类似，Stratege1能正常使用，Stratege2会触发编译错误，但错误信息可能因编译器不同而有所差异，不如static_assert的提示直接。

额外注意点 #

• 如果有人尝试直接用Base作为模板参数（比如Context<Base>），虽然is_base_of会返回true，但因为Base是抽象类（包含纯虚函数），编译器会在实例化T t;时报错，这其实也符合预期——毕竟抽象类不能直接实例化。
• 务必记得包含<type_traits>头文件，否则这些类型判断工具无法使用。

内容的提问来源于stack exchange，提问作者Changjian YU