c++ - 在没有模板参数的派生类中使用模板类名是否合法？

Question

以下代码在 clang++ 8.0.0 下都可以正常编译和 g++ 9.1.0 (编译标志是 -Wall -Wextra -Werror -pedantic-errors):

template <typename>
struct Base
{
};

struct Derived : Base<int>
{
    Base base()
    {
        return Base();
    }
};

int main()
{
}

这是这些编译器中的错误还是 C++ 标准的特性？

Answer 1

与 injected-class-name

内部Base<T> , Base指(在某些情况下)Base<T> .

Derived然后也会使用那个注入(inject)的类名。