如何限制CRTP模式下的派生类，避免错误模板参数引发未定义行为

可以通过对Base类增加访问权限限制，直接阻止错误的派生类定义通过编译。

核心问题原因 #

原始CRTP实现没有校验Base<Derived>的实际派生类是否就是模板参数Derived，因此B可以错误继承Base<A>，导致后续static_cast执行非法类型转换触发未定义行为。

可行修复方案 #

方案1：友元权限限制（无额外依赖，实现最简单） #

将Base的构造函数设为私有，仅声明模板参数Derived为友元，只有匹配的派生类才能构造Base实例：

template <class Derived>
class Base {
private:
    // 私有构造函数，仅允许友元访问
    Base() = default;
    // 仅模板参数对应的派生类有权限构造Base实例
    friend Derived;
public:
    void foo()
    {
        static_cast<Derived*>(this)->bar();
    }
};

// 合法：A是Base<A>的友元，可以正常调用构造函数
class A: public Base<A>
{
public:
    void bar()
    {
        // ...
    }
};

// 编译报错：B不是Base<A>的友元，无法调用Base<A>的私有构造函数
class B: public Base<A>
{
    //...
};

此时B的定义会直接触发编译错误，从根源避免后续的非法调用。

方案2：静态断言校验（适合多构造函数的复杂场景） #

如果Base存在多个自定义构造函数，可以结合静态断言在编译期显式校验类型匹配，输出明确的错误提示：

#include <type_traits>

template <class Derived>
class Base {
public:
    Base() {
        static_assert(std::is_same_v<std::remove_cvref_t<decltype(*this)>::derived_type, Derived>, 
            "CRTP使用错误：派生类必须继承与自身类型匹配的Base模板实例");
    }

    void foo()
    {
        static_cast<Derived*>(this)->bar();
    }
private:
    using derived_type = Derived;
};

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