”绝对不要以多态方式处理数组“似乎对VC/gcc编译器无效?

cdsfiui

绝对不要以多态方式处理数组(More Effective c++),它说的是处理数组的时候，因为有指针偏移量的运算，所以Derived类的内容被当成Base类的内容使用的时候，计算出来的偏差是不正确的，所以，我用VC做了一个实验:

1. 
   
2. struct B{
   
3.     int i = 2;
   
4.     virtual ~B(){ cout << "B dtor\n"; }
   
5. };
   
6. struct D :B{
   
7.     int j = 3;
   
8.     int k = 4;
   
9.     int l = 5;
   
10.     ~D(){ cout << "D dtor\n"; }
    
11. };
    
12. void f(B* pb,size_t s)
    
13. {
    
14.     for (size_t i = 0; i < s; ++i)
    
15.         cout << pb[i].i << endl;
    
16. }
    
17. int main()
    
18. {
    
19.     B* pb = new D;
    
20.     delete pb;
    
21.     B* p2 = new D[2];
    
22.     f(p2,2);
    
23.     D buf[2];
    
24.     f(buf, 2);
    
25.     delete[] p2;
    
26.     return 0;
    
27. }
    

复制代码

用VC编译运行没有问题，GCC运行就崩溃(在delete[]这句)。为什么

bruceteen

你测试代码错了
cout << pb->i << endl;
改为
cout << pb[i].i << endl;
再试试


而 delete[] p2; 在VC上不错，这是VC特殊处理过的

cdsfiui

回复 2# bruceteen


    谢谢你的指正，那么为什么delete[]不能用于删除基类指针呢? 我的用法不对吗，还是说动态分配的多态指针，不可以delete[]? 那如何删除。

windoze

尽管D is-a B，但是D[] is-not-a B[]，程序崩掉是正确行为，VC擅自打了个补丁，这是不符合标准的。