如何确保模板参数T继承自Base<T>？static_assert问题排查与解决

问题场景 #

你尝试用CRTP（奇异递归模板模式）确保模板参数T必须公开继承自Base<T>，于是在Base类内加入了static_assert做检查。但编译时发现：main函数里的static_assert能正常通过，可Base类内部的断言却直接报错，导致编译失败。

你的代码如下：

#include <type_traits>

template <typename T>
class Base { 
public:
    static_assert(std::is_convertible<T*, Base<T>*>::value, "Class must inherit Base as public");
};

class DerivedWithPublic : public Base<DerivedWithPublic> { };

int main() {
    DerivedWithPublic p;
    static_assert(std::is_convertible<DerivedWithPublic*, Base<DerivedWithPublic>*>::value, "Class must inherit Base as public");
}

原因分析 #

核心问题是编译顺序导致的类型完整性差异：

• 当定义DerivedWithPublic时，编译器需要先实例化它的基类Base<DerivedWithPublic>。此时DerivedWithPublic还处于不完整状态——它的继承关系还在构建中，编译器还没处理完它的完整定义。
• Base类内部的static_assert是在基类实例化阶段执行的，这时T（也就是DerivedWithPublic）是不完整类型，std::is_convertible<T*, Base<T>*>的结果会是false，触发断言报错。
• 而main函数里的断言是在DerivedWithPublic完全定义之后执行的，此时类型完整，转换检查自然能通过。

解决方案 #

要解决这个问题，关键是把继承检查延迟到T成为完整类型之后再执行，以下是几种可行方案：

方案1：将断言移至构造函数 #

构造函数的实例化时机晚于类的完整定义，当创建DerivedWithPublic对象时，T已经是完整类型，此时检查就能正常通过：

#include <type_traits>

template <typename T>
class Base { 
public:
    Base() {
        static_assert(std::is_convertible<T*, Base<T>*>::value, "Class must inherit Base as public");
    }
};

class DerivedWithPublic : public Base<DerivedWithPublic> { };

int main() {
    DerivedWithPublic p;
    static_assert(std::is_convertible<DerivedWithPublic*, Base<DerivedWithPublic>*>::value, "Class must inherit Base as public");
}

方案2：使用依赖模板的延迟检查 #

通过定义一个辅助模板结构体，把断言放在依赖于T的类型别名中，利用模板实例化的延迟特性，确保检查在T完整后执行：

#include <type_traits>

template <typename T, typename BaseT>
struct InheritanceChecker {
    static_assert(std::is_convertible<T*, BaseT*>::value, "Class must inherit Base as public");
    using type = void;
};

template <typename T>
class Base { 
public:
    // 依赖于T的类型，会延迟到T完整时实例化
    using Check = typename InheritanceChecker<T, Base<T>>::type;
};

class DerivedWithPublic : public Base<DerivedWithPublic> { };

int main() {
    DerivedWithPublic p;
    static_assert(std::is_convertible<DerivedWithPublic*, Base<DerivedWithPublic>*>::value, "Class must inherit Base as public");
}

方案3：C++20 用requires子句 #

如果使用C++20及以上版本，可以直接用requires约束模板参数，确保只有满足继承条件的类型才能实例化Base：

#include <type_traits>

template <typename T>
requires std::is_convertible_v<T*, Base<T>*>
class Base { };

class DerivedWithPublic : public Base<DerivedWithPublic> { };

int main() {
    DerivedWithPublic p;
    static_assert(std::is_convertible_v<DerivedWithPublic*, Base<DerivedWithPublic>*>);
}

内容的提问来源于stack exchange，提问作者Max Gómez