特定方法和一般类中的“使用类型”语法有什么区别？

Question

template<class Derived>
class Base{
    public:
        using dType = typename Derived::Type; //1
        void interface(){
            using dType = typename Derived::Type; //2
        }
};
template<typename T>
class Derived:public Base<Derived<T>>{
    public:
        using Type = T;
};

int main(){
    Base<Derived<int>>{};
    return 0;
}

当我在 (1) 中使用“使用”语法时，出现类似

的错误

test.cpp: In instantiation of 'class Derived<int>':
test.cpp:14:9:   required from 'class Base<Derived<int> >'
test.cpp:31:21:   required from here
test.cpp:23:7: error: invalid use of incomplete type 'class Base<Derived<int> >'
   23 | class Derived:public Base<Derived<T>>{
      |       ^~~~~~~
test.cpp:12:7: note: declaration of 'class Base<Derived<int> >'
   12 | class Base{
      |

但是，当我在（2）中使用它时，我没有错误。 它们有什么区别？

Answer 1

当类本身完全定义时，成员函数会在流程的后期实例化。 （因为类模板的成员函数只有在实际使用时才会被实例化，并且它们只能用于完整类型或这些类型的实例），为此，类必须是完整类型。

但是，在实例化 Base 时，Derived 本身是一个不完整的类型（因为必须先实例化基类，然后派生类才能确定其布局），因此在 Base 内部，它无法查看 Derived，因为 Derived 是不完整的。它只是过早地查看其模板类型，使其无效。