[結(jié)貼]C++多態(tài)的一個陷阱: delete一個多態(tài)指針的數(shù)組，會不會有未定義的行為?

werewq8q

我們知道，多態(tài)一般是用基類的指針指向一個繼承類的對象。如果基類的析構(gòu)函數(shù)是virtual的，那么沒有問題，delete基類指針的時候，自然會調(diào)用到繼承累的析構(gòu)函數(shù)，沒有問題。

但是如果是數(shù)組呢，會不會有保證能保證到能調(diào)用繼承類的析構(gòu)函數(shù)? 換句話說，下面的程序會不會有未定義的行為或者是潛在的問題? C++標(biāo)準(zhǔn)對此有沒有具體的規(guī)定?

1. 
   
2. #include<iostream>
   
3. using namespace std;
   
4. struct Base
   
5. {
   
6.     virtual ~Base(){}
   
7. };
   
8. struct Derived:public Base
   
9. {
   
10. };
    
11. int main(int argc,char** argv)
    
12. {
    
13.     Base*fa=new Derived[10];
    
14.     delete[] fa;
    
15.     return 0;
    
16. }
    

復(fù)制代碼

請指教！謝謝。

bruceteen

當(dāng)然不會，通過fa能知道其動態(tài)類型是什么（當(dāng)然，必須要有virtual函數(shù)，否則編譯器將其動態(tài)類型就當(dāng)成是靜態(tài)類型。這種情況下會出錯）
通過fa還能知道元素數(shù)目（一般藏在fa指向的內(nèi)存之前）
----------------------
我錯了，sorry。我只知道不能轉(zhuǎn)化為基類的數(shù)組，但沒想到delete[]也不行。

folklore

有這個
virtual ~Base(){}
就沒有問題了。

問題是不能將這個數(shù)組傳給函數(shù)吧。

Fomalhaut2

參見http://coolshell.cn/articles/9543.html。

沉水之魚

請謹(jǐn)記：多態(tài)不適用于數(shù)組

werewq8q

Fomalhaut2 發(fā)表于 2014-03-28 16:35
參見http://coolshell.cn/articles/9543.html。

非常好的帖子！學(xué)習(xí)了！