C++模板类公有继承时如何直接访问基类的公有typedef类型

这是C++模板两阶段名字查找规则决定的强制行为。
当派生类B<T>本身是模板时，类定义被解析的阶段，编译器还没有对不同模板参数T对应的基类A<T>做实例化——毕竟针对不同的T，A<T>的特化版本可能完全不存在名为mytype的类型成员，甚至基类本身的定义都可能随特化发生变化。
在这个解析阶段，编译器默认不会进入依赖模板参数的基类作用域搜索非限定名字，它只会在全局作用域、当前类的非依赖基类作用域中匹配mytype，自然无法命中定义在A<T>内部的typedef。这不是语法设计的疏漏，是为了避免模板定义阶段产生名字歧义的刻意规则安排。

需要明确：不存在完全不做任何额外声明、就可以让非限定mytype直接被解析为基类成员的C++语法。只要基类是依赖模板参数的，名字查找规则就强制要求你显式告知编译器这个名字的来源。
但你完全不需要在每一处使用位置都书写全限定typename A<T>::mytype，也不需要重复做冗余的类型重定义，只需要在派生类类定义内部做一次单次声明，就可以在后续所有类内位置直接书写mytype，没有任何重复冗余：

• 在派生类的类定义起始位置，使用using声明引入基类的类型名，这是C++11之后标准推荐的写法：

  template <typename T>
  class B : public A<T> {
  public:
      // 仅需单次声明，后续类内所有位置可直接使用mytype
      using typename A<T>::mytype;
  
      // 以下写法完全可正常编译，无冗余
      mytype bar(mytype x) {
          return x;
      }
  };
  

  这里的typename关键字是必须的——因为A<T>是依赖类型，编译器需要明确得知后续紧跟的是类型名，而非静态成员变量。
• 对比你提到的两类冗余实现：
  • 全限定写法会随着类型使用位置的增多产生大量重复代码，可读性极差；
  • 你注释里手动编写的typedef typename A<T>::mytype mytype，语义上和上述using声明完全等价，只是属于较早期的C++类型别名写法，现代标准更推荐用using完成类型引入，语义更清晰。

这种单次引入的写法，已经是名字查找规则允许范围内的最简洁实现——如果省略这次显式引入，编译器按照既定的查找逻辑，根本不会进入依赖的基类作用域匹配mytype，自然无法完成编译。

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