C++类模板偏特化派生类的继承规则与override行为疑问

问题1：为什么全特化基类的派生类可以直接使用基类的类型别名，偏特化基类的派生类不行？ #

首先纠正认知偏差：你观察到的差异和「偏特化成员与主模板无关联」没有关系，本质是C++模板的名称查找规则导致的：

• FullySpecialized是普通非模板类，它的基类Base<double, int>是已经完全实例化的确定类型，编译器做名字查找的时候会自动遍历基类作用域，自然能找到继承来的TPtr、UPtr别名，不需要额外声明。
• PartiallySpecialized是模板类，它的基类Base<T, int>依赖模板参数T，属于依赖基类。C++标准规定，模板解析的第一阶段（还没实例化具体参数的时候）不会在依赖基类的作用域里查找非限定名称，所以你直接写TPtr编译器会报未定义错误，必须手动加using typename BaseT::TPtr告诉编译器这个名字来自依赖基类。

本质上两个派生类都继承了基类的类型别名，只是模板场景下的查找规则要求你显式声明你要用基类的依赖名称。

问题2：为什么偏特化场景下override关键字不会触发错误？ #

这是因为虚函数重写的校验和非限定名称查找的时机不一样：

• override的合法性校验发生在模板的第二阶段，也就是你用具体参数实例化PartiallySpecialized的时候，这时候基类Base<T, int>已经用给定的参数完成实例化，是确定的类型。
• 你已经通过using把TPtr、UPtr引入了派生类作用域，函数签名的类型可以正确解析，编译器对比基类的虚函数签名完全匹配，自然会判定重写合法，不会报错。
  如果没有提前把类型别名using到派生类，你写virtual void TFunc(TPtr t)第一阶段就会因为找不到TPtr直接报错，根本走不到override校验的步骤。

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