條款三 絕不要把多態(tài)應(yīng)用于數(shù)組繼承的一大特性是,允許你通過指向基類的指針和引用來操縱派生類對(duì)象。也允許通過基類指針和引用來操縱派生類數(shù)組。但是用基類指針操縱一個(gè)包含派生類對(duì)象的數(shù)組,就會(huì)發(fā)生各種個(gè)樣的問題,其結(jié)果往往是不確定的。我根據(jù)書中的例子,寫了一個(gè)小程序:
其結(jié)果如下: 可以看到程序并不如我們所期望的那樣,這說明什么呢? arr[i],表示的是*(arr+i),但是arr+i所指向的地址偏離arr所指向的地址是i*(an object in the array)。因?yàn)閰?shù)被聲明為BST數(shù)組類型,那么數(shù)組的每個(gè)元素必須是BST,那么它們的間隔也畢定是i*sizeof(BST)。如果傳入BalancedBST數(shù)組,編譯器可能就會(huì)犯錯(cuò)誤,在這種情況下,編譯器就會(huì)假定數(shù)組里每個(gè)對(duì)象的大小都和BST的大小一樣。而通常派生類要比基類有更多的成員變量,所以派生類一般都比基類對(duì)象大。所以我們就看到了如上的結(jié)果。 試圖通過一個(gè)基類指針刪除一個(gè)包含派生類對(duì)象的數(shù)組,也會(huì)有同樣的問題。所以不要把多臺(tái)應(yīng)用到數(shù)組上,還是很有好處的。