不完整类型的无效使用

问题描述

我试图在我的项目中使用来自子类的 typedef，我已经在下面的示例中隔离了我的问题.

I'm trying to use a typedef from a subclass in my project, I've isolated my problem in the example below.

有人知道我哪里出错了吗?

Does anyone know where I'm going wrong?

template<typename Subclass>
class A {
    public:
        //Why doesn't it like this?
        void action(typename Subclass::mytype var) {
            (static_cast<Subclass*>(this))->do_action(var);
        }
};

class B : public A<B> {
    public:
        typedef int mytype;

        B() {}

        void do_action(mytype var) {
            // Do stuff
        }
};

int main(int argc, char** argv) {
    B myInstance;
    return 0;
}

这是我得到的输出:

sean@SEAN-PC:~/Documents/LucadeStudios/experiments$ g++ -o test test.cpp
test.cpp: In instantiation of ‘A<B>’:
test.cpp:10:   instantiated from here
test.cpp:5: error: invalid use of incomplete type ‘class B’
test.cpp:10: error: forward declaration of ‘class B’

推荐答案

原因是在实例化类模板时，其成员函数的所有声明(而不是定义)也被实例化.当需要专门化的完整定义时，类模板被精确地实例化.例如，当它用作基类时就是这种情况，就像您的情况一样.

The reason is that when instantiating a class template, all its declarations (not the definitions) of its member functions are instantiated too. The class template is instantiated precisely when the full definition of a specialization is required. That is the case when it is used as a base class for example, as in your case.

那么发生的事情是 A 在

class B : public A<B>

Subclass::mytype

template<typename T>
void action(T var) {
    (static_cast<Subclass*>(this))->do_action(var);
}