[問題] Dynamic Memory Allocation

[WGL (飛揚寒星)]

關於 delete [] 的問題，曾有同學提出：如果指針不再指向原來的位置，那麼
delete[]會有何效果？
於是，我設計了下面的code：

#include <iostream>
using namespace std;
class Count
{
      public:
             Count(int=0);
             ~Count();
             int x;
};

Count::Count(int value) : x(value)
{
}
Count::~Count()
{
               cout<<"\nDestructor for Count "<<x<<endl;
}

int main(){
    Count *cptr = new Count [20];
    for(int i=0;i<20;i++)
                     cptr[i].x=i;
    cptr+=11;
    cout<<"\nNow cptr is at Count "<<cptr->x<<endl;
    delete [] cptr;
    system("pause");
    return 0;
}


注意指針是指向第11個element。執行結果：

Now cptr is at Count 11

Destructor for Count 1330118735

Destructor for Count 19

Destructor for Count 18

Destructor for Count 17

Destructor for Count 16

Destructor for Count 15

Destructor for Count 14

Destructor for Count 13

Destructor for Count 12

Destructor for Count 11

可是如果把11改成1，結果如下：

Now cptr is at Count 1

這樣就結束了！

請問，究竟delete[] call destrucor 的範圍和pointer指向的位置到底有什麼關係呢？

謝謝！！

--
我寧以頃刻短暫的繁華，換取千年無盡的落寞。

歡迎大家上我的“部落格”：http://coldstar.5d6d.com/forum-2-1.html
※ 編輯: WGL             來自: 140.112.241.120      (01/12 10:27)
※ WGL:轉錄至看板 NTUEE113HW                                       01/12 10:28
→ adrianshum:結果應該和實作有關. 有的實作會expect number of
→ adrianshum:elements 放在 pointer 前. 也許就是這樣, 它把在
→ adrianshum:allocated array 以後的一小部份也當成是要 deallocate
→ adrianshum:, 因為裡面會是 garbage, 所以那個 "count" 才會出現奇
→ adrianshum:怪的東西.
→ adrianshum:看回你的例子看來就是這樣, ptr 前剛好就是 element 10
→ adrianshum:裡面很可能就是 "10" 這個值 放在最後, 即是當 delete
→ adrianshum:時, 往回找一個 int 的話, 會找到 10, 所以當成要
→ adrianshum:deallocate 10 個 element, 即是多d eallocate 一個的
→ adrianshum:長度, 就是那個奇怪 count 的那個, 要是你 +=15 的話大
→ adrianshum:概會看到 6 次古怪的 destructor (如果你幸運沒有
→ adrianshum:runtime error 的話)