C++类模板与普通继承的成员访问规则并不完全相同。在非模板类继承中，派生类可以直接调用基类的公有或保护成员，编译器会在定义类时沿着继承链向上查找。然而当派生类本身是类模板，并且基类依赖模板参数时，直接写基类成员名往往会导致编译错误。理解这种现象需要先区分依赖名字与非依赖名字，以及C++模板两阶段查找机制。简单来说，非依赖名字在模板定义阶段查找，而依赖名字会推迟到模板实例化阶段查找。派生类模板中未加任何限定的成员名会被视为非依赖名字，因此编译器不会去依赖基类中查找，最终报告未声明标识符。
一、依赖基类导致的名字查找差异
先看一个典型错误示例。Base 是一个类模板，Derived 继承 Base<T>，并在成员函数 call 中直接调用基类的 show 方法：
#include <iostream>
template<typename T>
class Base {
public:
void show() const {
std::cout << "Base show" << std::endl;
}
};
template<typename T>
class Derived : public Base<T> {
public:
void call() {
show(); // 编译错误：show 不是依赖名字
}
};
这段代码中，show 没有任何 this 或 Base<T> 限定，编译器在模板定义阶段不会到依赖基类 Base<T> 中查找，因此会报错，常见提示为 show 未声明。这里的核心不是访问控制问题，而是查找规则问题。即使 show 声明为 public，直接调用依然无法通过编译。
产生这种限制的原因在于，模板定义时 Base<T> 的具体内容尚未确定，T 可能是任意类型，甚至可能产生模板特化。如果编译器过早绑定 show，在某些特化下可能指向完全不同的实体，因此标准规定依赖基类成员必须通过显式方式访问，使名字成为依赖表达式。
二、使用 this 指针与显式限定名
最常用的解决办法是使用 this 指针。将 call 中的 show() 改为 this->show() 后，由于 this 的类型是 Derived<T>*，它依赖于模板参数 T，整个表达式就变成了依赖表达式，编译器会推迟到实例化阶段再到 Base<T> 中查找 show。示例代码如下：
template<typename T>
class Derived : public Base<T> {
public:
void call() {
this->show(); // 正确：this->show 是依赖表达式
}
};
另一种写法是使用基类限定名，例如 Base<T>::show()。这种写法同样能解决编译问题，但在涉及虚函数时需要注意：显式限定名会关闭虚函数动态绑定，强制调用基类版本，而 this->show() 会保留多态行为。如果 Base 中的 show 是虚函数，并且 Derived 覆盖了它，使用 Base<T>::show() 会绕过派生类重写，直接执行基类实现。因此除非确实需要调用基类实现，否则一般建议优先使用 this->。
显式限定名在多重继承场景中还有一个作用：当多个基类都有同名成员时，可以通过 Base1<T>::name 或 Base2<T>::name 明确指定来源，避免歧义。不过这种写法较为冗长，并且对重载函数不够友好，后续维护时容易遗漏。
三、使用 using 声明和 typename 消歧义
如果派生类希望像普通继承那样直接书写成员名，可以在类内部使用 using 声明，把依赖基类的成员引入当前作用域。例如：
template<typename T>
class Derived : public Base<T> {
public:
using Base<T>::show;
void call() {
show(); // 正确：show 已通过 using 引入
}
};
这种方式的优势是可以保留重载集，也能让派生类对象直接通过 .show() 访问基类成员，而无需在每一个调用点写 this->。如果派生类本身也定义了同名函数，使用 using 还能把基类版本一并纳入重载候选，避免派生类函数隐藏基类函数。
当 Base<T> 中存在嵌套类型时，还需要 typename 关键字。例如 Base<T>::iterator 是一个依赖限定类型，编译器默认不知道它是一个类型还是静态成员，因此必须写成 typename Base<T>::iterator。示例：
template<typename T>
class ContainerBase {
public:
using value_type = T;
};
template<typename T>
class Box : public ContainerBase<T> {
public:
typename ContainerBase<T>::value_type getValue() {
return value;
}
private:
typename ContainerBase<T>::value_type value;
};
这里的 value_type 是基类中依赖 T 的嵌套类型，如果不加 typename，编译器会将其解释为静态成员或值，导致语义错误。类似地，如果访问的是基类中的成员模板，还需要使用 template 关键字消歧义，例如 obj.template convert<int>()，不过该类写法在普通应用中出现频率相对较低。
四、混合继承场景中的访问方式
并非所有类模板继承都会遇到查找限制。如果派生类是普通类，继承的是一个已经实例化的类模板，例如 class IntDerived : public Base<int>，此时基类不再是依赖基类，编译器在定义 IntDerived 时就能看到 Base<int> 的全部成员，因此可以直接调用 show()，无需 this-> 或 using。同理，如果派生类模板继承的是非模板普通类，那么来自普通基类的成员也不受依赖规则影响，可以直接访问。
真正需要特别处理的是派生类模板继承依赖基类的情况，也就是基类名中包含模板参数 T。此时所有在基类中查找的名字，包括成员函数、成员变量、嵌套类型，都必须通过 this->、Base<T>:: 或 using 声明来明确。实际开发中可以按照以下优先级选择：一般成员函数用 this-> 访问；如果想在多个函数中大量使用某个基类成员，可以在类内统一使用 using 引入；需要显式调用基类虚函数版本时才用 Base<T>:: 限定。
此外，访问控制规则仍然适用。this-> 和 using 只能访问公有或保护成员，私有成员依旧不可见。模板特化还可能改变基类成员集合，因此即使某个特化中基类没有该成员，模板实例化时才会报错。这也是模板代码与普通继承代码一个重要的行为差异。