在 C/C++?中經(jīng)常會發(fā)生數(shù)據(jù)類型的轉(zhuǎn)換，例如將 int 類型的數(shù)據(jù)賦值給 float 類型的變量時，編譯器會先把 int 類型的數(shù)據(jù)轉(zhuǎn)換為 float 類型再賦值；反過來，float 類型的數(shù)據(jù)在經(jīng)過類型轉(zhuǎn)換后也可以賦值給 int 類型的變量。

數(shù)據(jù)類型轉(zhuǎn)換的前提是，編譯器知道如何對數(shù)據(jù)進(jìn)行取舍。例如：

1. int a = 10.9;

2. printf("%d\n", a);

1. float b = 10;

2. printf("%f\n", b);

向上轉(zhuǎn)型和向下轉(zhuǎn)型是面向?qū)ο缶幊痰囊环N通用概念，它們也存在于?Java、C#?等編程語言中。

將派生類對象賦值給基類對象

下面的例子演示了如何將派生類對象賦值給基類對象：

可以發(fā)現(xiàn)，即使將派生類對象賦值給基類對象，基類對象也不會包含派生類的成員，所以依然不同通過基類對象來訪問派生類的成員。對于上面的例子，a.m_a 是正確的，但 a.m_b 就是錯誤的，因?yàn)?a 不包含成員 m_b。

這種轉(zhuǎn)換關(guān)系是不可逆的，只能用派生類對象給基類對象賦值，而不能用基類對象給派生類對象賦值。理由很簡單，基類不包含派生類的成員變量，無法對派生類的成員變量賦值。同理，同一基類的不同派生類對象之間也不能賦值。

要理解這個問題，還得從賦值的本質(zhì)入手。賦值實(shí)際上是向內(nèi)存填充數(shù)據(jù)，當(dāng)數(shù)據(jù)較多時很好處理，舍棄即可；本例中將 b 賦值給 a 時（執(zhí)行a=b;語句），成員 m_b 是多余的，會被直接丟掉，所以不會發(fā)生賦值錯誤。但當(dāng)數(shù)據(jù)較少時，問題就很棘手，編譯器不知道如何填充剩下的內(nèi)存；如果本例中有b= a;這樣的語句，編譯器就不知道該如何給變量 m_b 賦值，所以會發(fā)生錯誤。

將派生類指針賦值給基類指針

除了可以將派生類對象賦值給基類對象（對象變量之間的賦值），還可以將派生類指針賦值給基類指針（對象指針之間的賦值）。我們先來看一個多繼承的例子，繼承關(guān)系為：

下面的代碼實(shí)現(xiàn)了這種繼承關(guān)系：

1) 通過基類指針訪問派生類的成員

請讀者先關(guān)注第 68 行代碼，我們將派生類指針 pd 賦值給了基類指針 pa，從運(yùn)行結(jié)果可以看出，調(diào)用 display() 函數(shù)時雖然使用了派生類的成員變量，但是 display() 函數(shù)本身卻是基類的。也就是說，將派生類指針賦值給基類指針時，通過基類指針只能使用派生類的成員變量，但不能使用派生類的成員函數(shù)，這看起來有點(diǎn)不倫不類，究竟是為什么呢？第 71、74 行代碼也是類似的情況。

pa 本來是基類 A 的指針，現(xiàn)在指向了派生類 D 的對象，這使得隱式指針 this 發(fā)生了變化，也指向了 D 類的對象，所以最終在 display() 內(nèi)部使用的是 D 類對象的成員變量，相信這一點(diǎn)不難理解。

編譯器雖然通過指針的指向來訪問成員變量，但是卻不通過指針的指向來訪問成員函數(shù)：編譯器通過指針的類型來訪問成員函數(shù)。對于 pa，它的類型是 A，不管它指向哪個對象，使用的都是 A 類的成員函數(shù)，具體原因已在《C++函數(shù)編譯原理和成員函數(shù)的實(shí)現(xiàn)》中做了詳細(xì)講解。

概括起來說就是：編譯器通過指針來訪問成員變量，指針指向哪個對象就使用哪個對象的數(shù)據(jù)；編譯器通過指針的類型來訪問成員函數(shù)，指針屬于哪個類的類型就使用哪個類的函數(shù)。

2) 賦值后值不一致的情況

本例中我們將最終派生類的指針 pd 分別賦值給了基類指針 pa、pb、pc，按理說它們的值應(yīng)該相等，都指向同一塊內(nèi)存，但是運(yùn)行結(jié)果卻有力地反駁了這種推論，只有 pa、pb、pd 三個指針的值相等，pc 的值比它們都大。也就是說，執(zhí)行pc = pd;語句后，pc 和 pd 的值并不相等。

這非常出乎我們的意料，按照我們通常的理解，賦值就是將一個變量的值交給另外一個變量，不會出現(xiàn)不相等的情況，究竟是什么導(dǎo)致了 pc 和 pd 不相等呢？我們將在《將派生類指針賦值給基類指針時到底發(fā)生了什么？》一節(jié)中解開謎底。

將派生類引用賦值給基類引用

引用在本質(zhì)上是通過指針的方式實(shí)現(xiàn)的，這一點(diǎn)已在《引用在本質(zhì)上是什么，它和指針到底有什么區(qū)別》中進(jìn)行了講解，既然基類的指針可以指向派生類的對象，那么我們就有理由推斷：基類的引用也可以指向派生類的對象，并且它的表現(xiàn)和指針是類似的。

修改上例中 main() 函數(shù)內(nèi)部的代碼，用引用取代指針：

1. int main(){

2. D d(4, 40, 400, 4000);

3. 
   

4. A &ra = d;

5. B &rb = d;

6. C &rc = d;

7. 
   

8. ra.display();

9. rb.display();

10. rc.display();

11. 
    

12. return 0;

13. }