比如class foo;
聲明一個foo類,這個聲明,有時候也叫做前向聲明(forward declaration),在聲明完這個foo類之後,定義完這個foo類之前的時期,foo類是一個不完全的類型(incomplete type),也就是說foo類是一個類型,但是這個類型的一些性質(比如包含哪些成員,具有哪些操作)都不知道。
因此這個類的作用也很有限.
(1)不能定義foo類的對象。
(2)可以用於定義指向這個類型的指針或引用。(很有價值的東西)
(3)用於聲明(不是定義)使用該類型作爲形參或者返回類型的函數。
正因爲有前向聲明的存在,我們在很多時候可以簡便的做一些事情。
在c++中,如果要爲類編寫頭文件的話,一般是要#include一堆頭文件的,但利用前向聲明和c++編譯器的特性,其中大部分是不需要的。
c++編譯器做的事情主要是:1.掃描符號;2.確定對象大小。
所以很多時候並不需要將類都include進來。
比如:
(1)由於所有對象類型的應用所佔用的空間都是相同大的,所以c++編譯器很好確認對象大小。
class string;
class Sample
{
private:
string &s;
};
這裏只需要做一個string的前向聲明就可以了,不需要#include <string>
(2)由於所有類型的指針也是相同大小的。所以與(1)類似,也可以只做前向聲明就好。
(3)聲明成員函數的形參或者是返回類型,也可以利用前向聲明的性質。
class string;
class foo;
class Sample
{
public:
foo foo_test(foo &);
private:
string &s;
foo *f;
};
這裏,我根本沒有定義一個foo類,但是還是可以這樣用,因爲成員函數不佔類對象的大小,所以c++編譯器還是可以確定對象的大小。
前向聲明的作用在於告訴編譯器這個一個在別的地方定義的類型。這樣C++編譯器就能生成正確的符號表了。