C++模板派生类无法直接解析基类函数需加this->的原因

这个现象完全对应C++模板的**两阶段名称查找（Two-phase Name Lookup）**特殊规则，和f()、g()是否使用模板类型参数没有直接关系。

C++中类模板的名称查找严格分为两个执行阶段：

• 第一阶段是模板定义解析阶段：编译器首次扫描到类模板的定义代码、还未遇到具体的模板实例化（比如示例中的Derived<char>）时，会先对所有**非待决名称（即不依赖模板参数的名称）**完成查找。这一阶段编译器不会进入依赖模板参数的基类（即待决基类，示例中Base<T>的具体内容完全随T变化，编译器在这个阶段无法预判T对应的Base特化是否存在f成员——毕竟开发者完全可以针对任意类型写Base的全特化，删掉f成员或者替换成其他内容）作用域查找名称，只会在模板定义的外围、全局作用域做查找。
• 第二阶段是模板实例化阶段：当编译器遇到具体的模板实例化代码（比如Derived<char> obj）时，才会对**待决名称（即依赖模板参数的名称）**补充执行查找，这时候基类的具体定义已经完全确定，可以正常遍历基类作用域找成员。

回到原始代码，g()函数里直接写的f(i)属于无任何限定的非限定名，编译器在第一阶段就会把它判定为非待决名称，直接在外围作用域查找f，不会等实例化阶段去Base<T>里找，全局作用域又没有匹配的自由函数f，自然直接编译失败。

为什么加限定后可以正常编译 #

两种修改方式本质都是把f从非待决名称变成了待决名称，让编译器把它的查找推迟到实例化阶段：

• 写this->f(i)时，this是指向当前Derived<T>实例的指针，属于依赖模板参数的表达式，从属的f自然被判定为待决名称，实例化阶段就能从确定的基类Base<char>中找到成员函数f。
• 写Base<T>::f(i)时，代码显式指定了查找范围是待决基类Base<T>，编译器同样会把这个名称的查找推迟到实例化阶段，匹配到基类的f成员。

为什么非模板等价代码不需要加限定 #

非模板类的继承不存在两阶段查找逻辑，编译器解析非模板派生类定义的时候，基类的类型已经是完全确定的，查找成员名时会自动遍历基类作用域，不需要额外加this或者基类限定就能找到基类的f。

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