C++ 类的前置声明

最近在仿照muduo的网络库源代码写自己的网络服务器，当初想着整个项目分模块去写，最后再和主程序链接，正好升入理解一下编译链接的过程，但是现在发现每个模块的内容其实也不是很多，实际上没有必要分模块去写。然后在写的过程中就遇到了一些问题，困扰了我很久，那就是前置声明问题 这个问题开始于一个头文件的循环引用

现在有两个头文件

• 头文件a.hpp

  #include"B.hpp"
  // a.hpp
  class A {
  public:
  	void printA();
  	B b;
  };
  1
  2
  3
  4
  5
  6
  7

  这个类A中有一个定义了一个自定义类型B，这个B类型使我们定义的类

• 头文件b.hpp

  #include"A.hpp"	
  class B {
  public:
  	void printB();
  	A a;
  };
  1
  2
  3
  4
  5
  6

​ 这个类B中有一个自定义类型A

上面两个头文件就造成了非常难搞的问题，两个类相互依赖，且在两个不同的文件里面，于是我那时候想当然的就写出了以下代码上面的代码，然后在编译的时候就会出现大问题！！

让我们复习一下编译的过程：

• 预编译
• 编译
• 汇编

然而在预编译的时候会做一步重要的处理就是头文件展开，而这个展开的过程是递归进行的，也就是说你展开的头文件里面可能引用了别的头文件，全部都要展开直到没有#include为止

所以我们只看头文件B.hpp，我们先展开他的头文件A.hpp（因为B.hpp引用了A.hpp）,展开效果如下：👇

#include"B.hpp"
// a.hpp
class A {
public:
	void printA();
	B b;
};
class B {
public:
	void printB();
	A a;
};
1
2
3
4
5
6
7
8
9
10
11
12

如果照这样继续展开下去，你就会发现这实际上是一个无穷无尽的过程，所以编译过程会一直循环不会停止。那么这个问题该如何处理呢？

这就要用到C++类的前置声明了，实际上这个的逻辑就是我不引头文件，而是在你前面先写一个类的声明(注意是声明不是定义)

B.h

class A;
class B {
    public:    
    void printB();
    A a;
};
1
2
3
4
5
6

A.h

class B;
class A {
    public:    
    void printA();
    B b;
};
1
2
3
4
5
6

这样所有的问题似乎得到了解决。但这样你去编译的时候还是会报错，原因就是另外一个坑：前置声明 之后只能定义指针和引用，而不能定义出一个实体类。

所以下面的定义才是正确的：

B.h

class A;
class B {
    public:    
    void printB();
    A* a;
};
1
2
3
4
5
6

A.h

class B;
class A {
    public:    
    void printA();
    B* b;
};
1
2
3
4
5
6

最后在A 和 B的定义文件（也就是cpp文件中）每个的定义文件分别引入#include"A.h"和#include"B.h"然后在定义A或B的成员函数既可