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