为什么我的派生类找不到我的基类的类型别名？

Question

让我们从代码示例开始，因为它应该很容易看出发生了什么：

template <typename T>
struct Base
{
    using Type = int;
};

template<typename T>
struct Derived : public Base<T>
{
    // error: unknown type name 'Type'
    using NewType = Type;
};

int main()
{}

我原以为 Derived 会找到 Base 的 Type 别名。但是，我尝试过的所有编译器（MSVC、Clang、GCC）似乎都不喜欢这段代码。

更令人惊讶的是，将 Derived 的继承改为：

struct Derived : public Base<int>

解决问题。

我可以更改什么以允许 Derived 找到 Base 的别名吗？

Answer 1

因为Type 是一个从属名称（它依赖于模板Base<T>）。您需要对其进行限定并使用typename。你也可以用Derived:: 来限定它（op 自己想出来）：

template<typename T>
struct Derived : public Base<T>
{
    using NewType = typename Base<T>::Type;
    // or
    using NewType2 = typename Derived::Type;
};

您可以在此处阅读有关从属名称的更多信息：

https://en.cppreference.com/w/cpp/language/dependent_name

How do you understand dependent names in C++

Where and why do I have to put the "template" and "typename" keywords?

Why do I have to access template base class members through the this pointer?

"not declared in this scope" error with templates and inheritance