对于这样一个程序:
![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/42a7fd1ba4b59df7088a33fb16260b21.png)
因此,我们期望再Person类中进行前置声名,希望这样就能减少文件之间的编译依存关系。
但是这就带来问题,首先,对于标准程序库中的东西我们不能用前置声名的方式来进行声名,另一个问题就是对于前置声名的类型,我们仅是知道他的定义,但是我们并不知道具体实现,因此我们将不能为Person类中的相应的对象分配内存。因此像这样的简单的的前置声名是不可行的。为了实现接口和实现的分离,有两种方法,第一种,我们采用包含指针的方式实现(handle class),第二种我们采用抽象基类来实现。
handle class
对于声名和实现的分离,一般会为实现定义成为一个实现类,实现类和原来的类的接口必须保持一致。将Person类的实现类设计为PersonImpl,这样Person类的定义如下:
我们再Person中包含一个其实现类的指针,这样我们再分配内存时仅为其分配一个指针的内存即可。对于实现定义和实现分离,我们因该尽量做到如下准则:
- 如果使用引用或者指针能够完成任务则不要使用对象。
- 如果能,尽量用类的声名代表类的定义,类的声名和定义如下:
- 将声名和实现定义到两个不同的头文件中
对于上述的类的使用方法具体如下:
Interface class
抽象基类也可以很好的实现声名和实现的分离,我们的可以定义一个Person类的抽象基类,然后通过继承该接口类实现分离。
这样我们Person的指针或者引用来指向该接口的派生类,而该派生类需要实现Person的各种接口。
为了能够获得一个派生类的指针,我们采用一个工厂函数来返回Person的派生类指针。我们通常将该工厂函数声明为静态变量。
对于用户而言,他对接口类的使用应该是这样的,而实现接口的具体类已被封装起来。
对于接口类,我们必须实现它的具体实现类才能使用该接口,
上述的两种方法是实现定义和实现分离的常用的方法,也是降低编译之间的相互依赖关系的重要手法。但是两种方式都会带来额外的开销,handle class 需要对一次间接的寻址,而接口类需要维护一个虚函数表。
但是当我们享受某种东西带来的利益时,同时也要接受它带来的弊端,爱一个人也是一样的。