前向声明的局限性

前向声明的定义：有些时候我们可以声明一些类但是并不去定义它，当然这个类的作用也很有限了。
比如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++编译器就能生成正确的符号表了。