为什么C++中模板基类的公有成员类型默认被隐藏？

template<typename T>
struct A
{
    using U = T;
};

template<typename T>
struct B : A<T>
{
    B(typename A<T>::U) {} // 编译正常
    B(U) {} // 编译报错：未知类型名 'U'
};

int main()
{
    return typename B<int>::U{}; // 编译正常
}

上述代码中，派生类B继承自模板基类A<T>，直接引用基类中定义的公有类型别名U时会触发编译错误；但显式指定基类限定符写A<T>::U、或是通过实例化后的派生类类型写B<int>::U访问该类型时，代码可正常编译。为什么C++中模板基类的公有成员类型默认无法直接在派生类作用域内引用？

这一行为不是因为基类的公有成员“被隐藏”，完全是C++模板两阶段名字查找的逻辑决定的：

• 模板派生类B<T>在被编译器**第一次解析（非实例化阶段）**的时候，还不知道模板基类A<T>的具体内容。因为A<T>本身是依赖模板参数的泛型定义，在T没有被替换成具体类型前，编译器没法提前确认A<T>内部到底有没有叫U的成员、这个成员是类型还是普通变量、有没有访问权限限制。
• 为了避免产生没有必要的歧义，C++标准明确要求：在模板类作用域内做非限定名字查找（也就是直接写名字、不带任何限定前缀）的时候，默认会跳过所有依赖模板参数的基类的作用域。写B(U)的时候，编译器根本不会进入A<T>的作用域搜索U，自然会抛出“未知类型名”的编译错误。
• 当你显式写出A<T>::U的时候，这个表达式明确和模板参数绑定，编译器会延后名字查找的时机：等T被实际实例化为具体类型时，再去A<T>的对应作用域里查找名为U的成员。这里需要加typename关键字，是因为在模板解析的早期阶段，编译器还没法判断A<T>::U是类型名还是普通的静态成员变量，必须显式标注这是一个类型。
• 代码里B<int>::U可以正常编译，是因为此时B<int>已经是完全实例化的具体类型，没有任何依赖模板参数的不确定部分，编译器可以顺着继承链把所有基类的成员表全部展开，自然能找到从A<int>继承来的别名U。

• 在派生类的类体中引入基类的类型名，后续就可以直接用非限定名访问：在B的类内部加上using typename A<T>::U;
• 所有引用基类类型的位置，都显式带上基类限定符和typename标注。

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