CRTP模式下基类能访问派生类变量却无法直接使用其自定义类型的原因是什么

这一差异本质是C++模板实例化时机和类定义顺序的规则导致的，并非无意义的人为规定，存在明确的底层逻辑限制：

核心逻辑：类实例化的顺序约束 #

当你定义class B : public A<B<_N>>时，编译器的处理顺序是固定的：

1. 先将B<_N>作为不完整类型做前置声明
2. 必须先完成基类A<B<_N>>的全量实例化，才能继续处理派生类B的类体内容
   也就是说，在基类A的实例化阶段，派生类B还只是个不完整类型，其内部的成员、类型别名都还没有被编译器解析。

为什么静态常量可以正常访问 #

你代码中定义的static constexpr int NA1 = Derived::NB1;这类静态常量，不会在基类A实例化的时候就立刻求值初始化。按照C++模板的隐式实例化规则：类模板的静态数据成员，只有当它被实际使用时才会触发初始化，此时派生类B已经完成了完整的类定义，内部的NB1、NB2等常量都已经可见，因此不会报错。

为什么自定义类型无法直接访问 #

而using Scalar = typename Derived::Scalar;属于类的类型别名声明，是基类A实例化阶段必须立刻完成解析的内容。此时派生类B还是不完整类型，编译器还没有解析到它内部的Scalar类型定义，因此直接触发「不完整类型非法使用」的编译错误。

可行的替代方案 #

除了将Scalar作为模板参数传递给基类外，你也可以把对派生类类型的访问延迟到成员函数中，成员函数的实例化时机同样晚于派生类的完整定义，因此可以正常访问：

template <class Derived>
class A {
public:
    void func() {
        using Scalar = typename Derived::Scalar; // 编译正常
        Scalar val = 1.5;
    }
};

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