CRTP派生类静态变量未初始化及构造函数相关技术疑问

问题1：编译输出0，仅主动访问Foo::_hello才触发注册 #

这是C++静态成员惰性初始化和编译器优化共同导致的：

• 你的CRTP基类中的Registrar实例属于静态成员变量，C++标准明确规定，静态成员只会在**第一次被odr-used（被使用）**时才会触发初始化（调用构造函数）。
• 如果代码里没有任何地方直接或间接引用这个静态Registrar实例，编译器会判定它为“未使用代码”，直接优化掉，不会执行其构造函数内的DoRegister()，工厂映射的大小自然维持为0。
• 当你主动访问Foo::_hello时，这个派生类的静态成员会间接关联到基类的静态Registrar（CRTP基类依赖派生类类型），触发静态成员的初始化流程，进而执行注册逻辑。

问题2：引用_hello解决后，仅派生类有空/类外默认构造时才触发注册 #

核心原因是CRTP基类的静态成员初始化依赖派生类的完整类型：

• 在Registrar构造函数里引用_hello，本质是强制编译器实例化派生类的静态成员，这要求派生类必须是完整类型（即编译器已读取到派生类的全部定义）。
• 如果派生类没有公开的默认构造函数（比如构造函数为私有/保护，或仅声明未定义），编译器在处理基类静态Registrar的初始化时，无法确认派生类是否可合法实例化，会跳过该静态成员的初始化，导致DoRegister()未被调用。
• 当派生类存在公开的空构造或类外定义的默认构造时，编译器能确认派生类是完整且可实例化的，才会正常初始化基类的静态Registrar实例，执行注册逻辑。

补充实践建议 #

要规避这类初始化问题，可以：

• 在派生类中显式声明一个用于触发初始化的静态成员，比如static const int dummy = reinterpret_cast<int>(&Registrar::dummy);（强制触发odr-use）
• 调整注册逻辑，改用函数指针而非直接构造实例的方式完成工厂注册，减少对派生类构造函数的依赖

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