假设有一个Date类
Date.h
class Date {
private:
int year, month, day;
};
如果有个Task类的定义要用到Date类,有两种写法
其一
Task1.h
class Date;
class Task1 {
public:
Date getData();
};
其二
Task2.h
#include "Date.h"
class Task2 {
public:
Date getData();
};
一个采用前置声明,一个采用#include<Date.h>加入了Date的定义。两种方法都能通过编译。但是 Task1.h 这种写法更好。如果Date.h 的 private 成员变量改变,比如变成 double year, month, day; ,Task1.h 不需要重新编译,而 Task2.h 就要重新编译,更糟的是如果 Task2.h 还与其他很多头文件有依赖关系,就会引发一连串的重新编译,花费极大的时间。可是事实上改变一下写法就可以省去很多功夫。
所以能用前置声明代替#include 的时候,尽量用前置声明
有些情况不能用前置声明代替#include
比如Task1.h改成
class Date;
class Task1 {
public:
Date d;
};
会编译错误,因为Date d定义了一个Date类型变量,编译器为d分配内存空间的时候必须知道d的大小,必须包含定义Date类的Date.h文件。
这是可以采用指针来代替
class Date;
class Task1 {
public:
Date *d;
};
指针的大小是固定的。在32位机上是4字节,64位机上是8字节。这时编译Task1的时候不需要Date的大小,所以和Date的定义无关。
何时可以用前置声明代替#include
在这里,我自己总结了可以使用前置声明来取代包括头文件的各种情况和给出一些示例代码。
首先,我们为什么要包括头文件?问题的回答很简单,通常是我们需要获得某个类型的定义(definition)。那么接下来的问题就是,在什么情况下我们才需要类型的定义,在什么情况下我们只需要声明就足够了?问题的回答是当我们需要知道这个类型的大小或者需要知道它的函数签名的时候,我们就需要获得它的定义。
假设我们有类型A和类型C,在哪些情况下在A需要C的定义:
- A继承至C
- A有一个类型为C的成员变量
- A有一个类型为C的指针的成员变量
- A有一个类型为C的引用的成员变量
- A有一个类型为std::list<C>的成员变量
- A有一个函数,它的签名中参数和返回值都是类型C
- A有一个函数,它的签名中参数和返回值都是类型C,它调用了C的某个函数,代码在头文件中
1,没有任何办法,必须要获得C的定义,因为我们必须要知道C的成员变量,成员函数。
2,需要C的定义,因为我们要知道C的大小来确定A的大小,但是可以使用Pimpl惯用法来改善这一点,详情请
看Hurb的Exceptional C++。
3,4,不需要,前置声明就可以了,其实3和4是一样的,引用在物理上也是一个指针,它的大小根据平台不同,可能是32位也可能是64位,反正我们不需要知道C的定义就可以确定这个成员变量的大小。
5,不需要,有可能老式的编译器需要。标准库里面的容器像list, vector,map,
在包括一个list<C>,vector<C>,map<C, C>类型的成员变量的时候,都不需要C的定义。因为它们内部其实也是使用C的指针作为成员变量,它们的大小一开始就是固定的了,不会根据模版参数的不同而改变。
6,不需要,只要我们没有使用到C。
7,需要,我们需要知道调用函数的签名。
上述例子可以说明
如果使用object reference 或 object point 可以完成任务,就不要用object
这样可以尽最大可能避免#include
#include "B.h" class A { public: A(void); virtual ~A(void); private: B b; };
#include "A.h" class B { private: A a; public: B(void); ~B(void); };
一编译,就出现了一个互包含的问题了,A中有B类型的成员变量所以需要include<b.h>,而B中又有A类型的成员变量也需要include<a.h>,这就导致了循环include,编译是肯定通过不了的!
#include "B.h" class B; class A { public: A(void); virtual ~A(void); private: B b; };
#include "A.h" class B { private: A a; public: B(void); ~B(void); };
class CBed; // 盖房子时:现在先不买,肯定要买床的 class CHouse { CBed& bed; // 我先给床留个位置 // CBed bed; // 编译出错 public: CHouse(void); CHouse(CBed& bedTmp); virtual ~CHouse(void); void GoToBed(); };
#include "Bed.h" #include "House.h" // 等房子开始装修了,要买床了 CHouse::CHouse(void) : bed(*new CBed()) { CBed* bedTmp = new CBed(); // 把床放进房子 bed = *bedTmp; } CHouse::CHouse(CBed& bedTmp) : bed(bedTmp) { } CHouse::~CHouse(void) { delete &bed; } void CHouse::GoToBed() { bed.Sleep(); }