一、正文

定義一個類 class A，這個類裡面使用了類B的物件b，然後定義了一個類B，裡面也包含了一個類A的物件a，就成了這樣：

//a.h  
#include "b.h"  
class A  
{  
....  
private:  
    B b;  
};  

//b.h  
#include "a.h"  
class B  
{  
....  
private:  
    A a;  
};

一編譯，就出現了一個互包含的問題了，這時就有人跳出來說，這個問題的解決辦法可以這樣，在a.h檔案中宣告類B，然後使用B的指標。

//a.h   
//#include "b.h"  
class B;   
class A   
{  
 ....   
private:  
 B b;   
};   
 

//b.h   
#include "a.h"   
class B  
{  
 ....   
private:  
 A a;   
};

然後，問題就解決了。
但是，有人知道問題是為什麼就被解決的嗎，也就是說，加了個前置宣告為什麼就解決了這樣的問題。下面，讓我來探討一下這個前置宣告。
類的前置宣告是有許多的好處的。
我們使用前置宣告的一個好處是，從上面看到，當我們在類A使用類B的前置宣告時，我們修改類B時，只需要重新編譯類B，而不需要重新編譯a.h的（當然，在真正使用類B時，必須包含b.h）。
另外一個好處是減小類A的大小，上面的程式碼沒有體現，那麼我們來看下：

class B;  
class A  
{  
    ....  
private:  
    B *b;  
....  
};  
 

//b.h  
class B  
{  
....  
private:  
    int a;  
    int b;  
    int c;  
}; 

我們看上面的程式碼，類B的大小是12（在32位機子上）。

如果我們在類A中包含的是B的物件，那麼類A的大小就是12（假設沒有其它成員變數和虛擬函式）。如果包含的是類B的指標*b變數，那麼類A的大小就是4，所以這樣是可以減少類A的大小的，特別是對於在STL的容器裡包含的是類的物件而不是指標的時候，這個就特別有用了。
在前置宣告時，我們只能使用的就是類的指標和引用（因為引用也是居於指標的實現的）。

總結來說:
1）降低模組的耦合。因為隱藏了類的實現，被隱藏的類相當於原類不可見，對隱藏的類進行修改，不需要重新編譯原類。
2）降低編譯依賴，提高編譯速度。指標的大小為（32位）或8（64位），X發生變化，指標大小卻不會改變，檔案c.h也不需要重編譯。
3）介面與實現分離，提高介面的穩定性。
1、通過指標封裝，當定義“new C”或"C c1"時 ,編譯器生成的程式碼中不會摻雜X的任何資訊。
2、當使用C時，使用的是C的介面（C接口裡面操作的類其實是pImpl成員指向的X物件），與X無關，X被通過指標封裝徹底的與實現分離。

那麼，我問你一個問題，為什麼我們前置宣告時，只能使用型別的指標和引用呢？

如果你回答到：那是因為指標是固定大小，並且可以表示任意的型別，那麼可以給你80分了。為什麼只有80分，因為還沒有完全回答到。

想要更詳細的答案，我們看下下面這個類：

class A  
{  
public:  
    A(int a):_a(a),_b(_a){} // _b is new add  
      
    int get_a() const {return _a;}  
    int get_b() const {return _b;} // new add  
private:  
    int _b; // new add  
    int _a;  
}; 

我們看下上面定義的這個類A，其中_b變數和get_b()函式是新增加進這個類的。
那麼我問你，在增加進_b變數和get_b()成員函式後這個類發生了什麼改變，思考一下再回答。

好了，我們來列舉這些改變:

1.第一個改變當然是增加了_b變數和get_b()成員函式；
2.第二個改變是這個類的大小改變了，原來是4，現在是8。
3.第三個改變是成員_a的偏移地址改變了，原來相對於類的偏移是0，現在是4了。
4.上面的改變都是我們顯式的、看得到的改變。還有一個隱藏的改變，想想是什麼。。。

這個隱藏的改變是類A的預設建構函式和預設拷貝建構函式發生了改變。
由上面的改變可以看到，任何呼叫類A的成員變數或成員函式的行為都需要改變，因此，我們的a.h需要重新編譯。
如果我們的b.h是這樣的：

//b.h  
#include "a.h"  
class B  
{  
...  
private:  
    A a;  
}; 

那麼我們的b.h也需要重新編譯。
如果是這樣的：

class A;  
class B  
{  
...  
private:  
    A *a;  
}; 

那麼我們的b.h就不需要重新編譯。
像我們這樣前置宣告類A：
class A;
是一種不完整的宣告，只要類B中沒有執行需要了解類A的大小或者成員的操作，則這樣的不完整宣告允許宣告指向A的指標和引用。
而在前一個程式碼中的語句
A a;
是需要了解A的大小的，不然是不可能知道如果給類B分配記憶體大小的，因此不完整的前置宣告就不行，必須要包含a.h來獲得類A的大小，同時也要重新編譯類B。
再回到前面的問題，使用前置宣告只允許的宣告是指標或引用的一個原因是隻要這個宣告沒有執行需要了解類A的大小或者成員的操作就可以了，所以宣告成指標或引用是沒有執行需要了解類A的大小或者成員的操作的。

二、使用總結

這篇文章很大程度是受到Exceptional C++ (Hurb99)書中第四章 Compiler Firewalls and the Pimpl Idiom (編譯器防火牆和Pimpl慣用法) 的啟發，這一章講述了減少編譯時依賴的意義和一些慣用法，其實最為常用又無任何副作用的是使用前置宣告來取代包括標頭檔案。

Item 26 的Guideline - "Never #include a header when a forward declaration will suffice"

在這裡，我自己總結了可以使用前置宣告來取代包括標頭檔案的各種情況和給出一些示例程式碼。

首先，我們為什麼要包括標頭檔案？問題的回答很簡單，通常是我們需要獲得某個型別的定義(definition)。那麼接下來的問題就是，在什麼情況下我們才需要型別的定義，在什麼情況下我們只需要宣告就足夠了？問題的回答是當我們需要知道這個型別的大小或者需要知道它的函式簽名的時候，我們就需要獲得它的定義。

假設我們有型別A和型別C，在哪些情況下在A需要C的定義：

1.A繼承至C
2.A有一個型別為C的成員變數
3.A有一個型別為C的指標的成員變數
4.A有一個型別為C的引用的成員變數
5.A有一個型別為std::list<C>的成員變數
6.A有一個函式，它的簽名中引數和返回值都是型別C
7.A有一個函式，它的簽名中引數和返回值都是型別C，它呼叫了C的某個函式，程式碼在標頭檔案中
8.A有一個函式，它的簽名中引數和返回值都是型別C(包括型別C本身，C的引用型別和C的指標型別)，並且它會呼叫另外一個使用C的函式，程式碼直接寫在A的標頭檔案中
9.C和A在同一個名字空間裡面
10.C和A在不同的名字空間裡面

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，需要，我們需要知道呼叫函式的簽名。8，8的情況比較複雜，直接看程式碼會比較清楚一些。

      C& doToC(C&);        
      C& doToC2(C& c) {return doToC(c);};

從上面的程式碼來看，A的一個成員函式doToC2呼叫了另外一個成員函式doToC，但是無論是doToC2，還是doToC，它們的的引數和返回型別其實都是C的引用(換成指標，情況也一樣)，引用的賦值跟指標的賦值都是一樣，無非就是整形的賦值，所以這裡即不需要知道C的大小也沒有呼叫C的任何函式，實際上這裡並不需要C的定義。

但是，我們隨便把其中一個C&換成C，比如像下面的幾種示例：

1.C& doToC(C&);           
   C& doToC2(C c) {return doToC(c);};                                
2.C& doToC(C);               
   C& doToC2(C& c) {return doToC(c);};                
3.C doToC(C&);                
   C& doToC2(C& c) {return doToC(c);};                
4.C& doToC(C&);                
   C doToC2(C& c) {return doToC(c);};

無論哪一種，其實都隱式包含了一個拷貝建構函式的呼叫，比如1中引數c由拷貝建構函式生成，3中doToC的返回值是一個由拷貝建構函式生成的匿名物件。因為我們呼叫了C的拷貝建構函式，所以以上無論那種情形都需要知道C的定義。

9和10都一樣，我們都不需要知道C的定義，只是10的情況下，前置宣告的語法會稍微複雜一些。
最後給出一個完整的例子，我們可以看到在兩個不同名字空間的型別A和C，A是如何使用前置宣告來取代直接包括C的標頭檔案的：

#pragma once  
  
#include <list>  
#include <vector>  
#include <map>  
#include <utility>  
  
    //不同名字空間的前置宣告方式  
namespace test1  
{  
          class C;  
}  
  
  
  
namespace test2  
{     
       //用using避免使用完全限定名  
    using test1::C;  
      
    class A   
    {  
    public:  
                C   useC(C);  
            C& doToC(C&);  
            C& doToC2(C& c) {return doToC(c);};  
                           
    private:  
            std::list<C>    _list;  
            std::vector<C>  _vector;  
            std::map<C, C>  _map;  
            C*              _pc;  
            C&              _rc;  
      
    };  
} 

#ifndef C_H  
#define C_H  
#include <iostream>  
  
namespace test1  
{  
            
    class C  
    {  
    public:  
           void print() {std::cout<<"Class C"<<std::endl;}  
    };  
  
}  

作者：HelloGeekBand
連結：https://www.jianshu.com/p/de396c0751cc
來源：簡書
簡書著作權歸作者所有，任何形式的轉載都請聯絡作者獲得授權並註明出處。