[结贴]C++多态的一个陷阱: delete一个多态指针的数组，会不会有未定义的行为?

werewq8q

我们知道，多态一般是用基类的指针指向一个继承类的对象。如果基类的析构函数是virtual的，那么没有问题，delete基类指针的时候，自然会调用到继承累的析构函数，没有问题。

但是如果是数组呢，会不会有保证能保证到能调用继承类的析构函数? 换句话说，下面的程序会不会有未定义的行为或者是潜在的问题? C++标准对此有没有具体的规定?

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. }
    

复制代码

请指教！谢谢。

bruceteen

当然不会，通过fa能知道其动态类型是什么（当然，必须要有virtual函数，否则编译器将其动态类型就当成是静态类型。这种情况下会出错）
通过fa还能知道元素数目（一般藏在fa指向的内存之前）
----------------------
我错了，sorry。我只知道不能转化为基类的数组，但没想到delete[]也不行。

folklore

有这个
virtual ~Base(){}
就没有问题了。

问题是不能将这个数组传给函数吧。

Fomalhaut2

参见http://coolshell.cn/articles/9543.html。

沉水之鱼

请谨记：多态不适用于数组

werewq8q

Fomalhaut2 发表于 2014-03-28 16:35
参见http://coolshell.cn/articles/9543.html。

非常好的帖子！学习了！