C++ 这是一个不完整的类型吗？

Question

这里是代码

#include <iostream>

#include "ClassA.h"

ClassA* class_a = new ClassA();

int main() {



    return 0;
}

A类

#ifndef CLASSA_H
#define CLASSA_H

#include <iostream>
#include "ClassB.h"

class ClassA
{
public:
    ClassA()
    {
        ClassB classB = new ClassB();

        std::cout << "End of constructor" << std::endl;
    }

    void ClassA::DoSomething( void )
    {
        std::cout << "ClassA  DoSomething";
    }
};


#endif  /* CLASSA_H */

B类

#ifndef CLASSB_H
#define CLASSB_H

class ClassA;

extern ClassA* class_a;

class ClassB
{

public:

    ClassB ()
    {
        ::class_a->DoSomething();
        std::cout << "ClassB constructor" << std::endl;
    }

};


#endif  /* CLASSB_H */

在ClassB 的构造函数中，我在::class_a->DoSomething(); 得到一个编译错误member access into incomplete type "ClassA"。但是ClassA在解析ClassB的构造函数时怎么不完整呢？当它通过 ClassA 时，它是否会在其构造函数中到达 ClassB 类型，然后希望转到该文件？

Answer 1

这是一个不完整的类型，因为您没有在 ClassB 标头中包含 ClassA 的标头 但您正在尝试使用 ClassA 实例。 换句话说，编译器由于前向声明知道有ClassA，这足以声明一个指针，但是类型不完整，无法使用，因为编译器没有看到类型的声明。

您需要制作一个源文件（例如ClassB.cpp），在源文件中包含ClassA 标头，并将ClassB 构造函数的实现移动到源文件中。

Answer 2

在处理完包含后，让我们从编译的角度来看：

#line 1 main.cpp
//#include <iostream>
/* Text of iostream inserted here */
//#include "ClassA.h"
#line 1 ClassA.h

//#ifndef CLASSA_H (it isn't defined)
#define CLASSA_H

//#include <iostream>
/* Almost nothing here because iostream has already been included */

//#include "ClassB.h"
#line 1 ClassB.h
//#ifndef CLASSB_H (again, it isn't defined)
#define CLASSB_H

class ClassA;

extern ClassA* class_a;

class ClassB
{

public:

    ClassB ()
    {
        ::class_a->DoSomething();

没错。所以我们编译了main.cpp，其中包含了ClassA.h，其中包含了ClassB.h。至此，ClassA 尚未定义。

将（至少）其中一个构造函数移动到单独的 .cpp 文件中。