CRTP与不完整类型：C++模板成员函数实例化规则咨询

首先明确C++标准中与该问题直接相关的3条核心规则：

• 类模板隐式实例化触发条件：当代码需要引用类模板的完整类型定义时（比如将其作为基类、定义该类型的对象），会触发类模板的隐式实例化，但该实例化仅会生成类本身的定义、所有类成员的声明，不会实例化类中成员函数、成员函数模板的函数体，成员函数的定义属于延迟实例化范畴。
• 函数定义的触发条件：无论是普通类的成员函数，还是类模板实例化生成的成员函数，只有当函数被*ODR-used（满足单定义规则的使用场景，最常见的就是实际发起对该函数的调用、取函数地址）*时，编译器才会要求函数定义可见、触发函数定义的实例化；仅在名称查找阶段确认函数调用的合法性时，只需要函数存在有效声明即可。
• 类的完整类型边界：一个自定义类在自身定义的闭合花括号}出现前，始终属于不完整类型；所有在类内直接定义的成员函数，其函数体的语义分析、实例化工作，都会等整个类成为完整类型之后才会执行。

对应示例代码的执行流程拆解 #

你给出的示例代码：

template<typename D> struct B{
  void foo() const { static_cast<const D*>(this)->baz(); }
};

struct D : B<D> {
  void bar() const { foo(); }
  void baz() const {}
};

编译器处理这段代码的顺序完全符合上述规则，不存在逻辑矛盾：

1. 处理到struct D : B<D>时，由于需要确定基类B<D>的内存布局、成员集合，必须拿到B<D>的完整类定义，因此触发类模板B对D的实例化。这个阶段仅生成B<D>的类结构和成员声明，也就是仅生成void foo() const;的函数声明，完全不会解析foo的函数体内容。你观察到的B<D>特化提前出现的现象，对应的就是这个类层面的实例化步骤——这个步骤根本不涉及函数体中对D成员的访问，因此哪怕此时D还是不完整类型，也不会触发错误。
2. 继续处理D类内部的成员声明：遇到类内定义的bar、baz函数时，编译器仅先登记两个函数的签名信息，不会立刻编译两者的函数体。
3. 当编译器走到D定义的闭合}时，D正式成为完整类型，之后编译器才会开始处理类内定义的所有成员函数的函数体：
   • 处理D::bar的函数体时，对foo()的调用只需要通过名称查找找到B<D>中已经声明的foo函数即可，不会立刻要求foo的定义存在。
   • 只有当D::bar被实际调用（比如main函数中写D d; d.bar();）时，才会触发B<D>::foo的定义实例化，此时D早已是完整类型，函数体中static_cast<const D*>(this)->baz()的调用可以正常找到D::baz的定义，完全符合语法规则。

关键认知澄清 #

你之前的猜测完全正确：定义D::bar时调用B::foo，仅需要B::foo的声明，B::foo的定义会延迟到D::bar被实际调用、D已经成为完整类型之后才会实例化。

需要注意一个常见的CRTP踩坑场景：如果在类模板B的类定义范围内、成员函数体之外的位置写需要D为完整类型的代码，就会直接触发编译错误，比如：

template<typename D> struct B{
  // 错误：实例化B<D>类时会立刻处理别名定义，此时D还是不完整类型
  using BazFuncPtr = decltype(&D::baz);
  void foo() const { static_cast<const D*>(this)->baz(); }
};

这类错误的本质原因是：类内的别名定义、成员变量类型声明、非静态成员的默认初始化值等内容，会跟着类模板的类实例化步骤一起处理，不会延迟到函数实例化阶段，因此这些位置如果访问派生类成员，就会触发不完整类型错误。

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