关于operator new[]和delete[]内置类型的问题

Beginnor

首先谢谢你打开这个帖子哈
恩，我的意思是，当动态分配内置类型数组的时候，为什么分配正好的内存呢，这样，delete[]的时候怎么识别是否到了数组尾阿？
如这个小程序，

1. void* operator new[](size_t w{
   
2. void *p=::operator new(w);
   
3.         cout<<"w:"<<w<<endl
   
4.                 <<p<<endl;//用来输出new表达式所要求的字节数
   
5.         return p;
   
6. }
   
7. int main()
   
8. {
   
9.         int *p2=new int[5];
   
10.         cout<<"p2:"<<p2<<endl;
    
11.         cout<<endl;
    
12.         delete[] p2;
    
13.         return 0;
    
14. }

复制代码

显示输出20，即4*5=20，即使我delete p2;也不会报错，请问为什么会这样呢？

Moon_Bird

回复 1# Beginnor
数组内存对象中会保存“数组大小”信息，这依赖于编译器实现，因此使用delete[]时，会知道应该使用多少次析构函数

int *p2=new int[5];
delete p2;      
结果是未定义行为，极有可能发生内存泄漏

   

Beginnor

    谢谢您的回答！
不过在分配一个自定义的类的数组时候，的确是有一个表示数组大小的信息，如这个程序：

1. #include<iostream>
   
2.   
   
3. using std::cout;
   
4. 
   
5. using std::endl;
   
6. 
   
7. using std::hex;
   
8. 
   
9. class X
   
10. 
    
11. {
    
12. 
    
13.         public:
    
14. 
    
15.                 X(int q = 0): a(q) {}
    
16. 
    
17.                 ~X() { cout << "del" << endl; }
    
18. 
    
19.         private:
    
20. 
    
21.                 int a;
    
22. 
    
23. };
    
24. 
    
25. 
    
26. void *operator new[](size_t size)
    
27. 
    
28. {
    
29. 
    
30.         void *p = malloc(size);
    
31. 
    
32.         cout << "new[]:" << size << endl;
    
33. 
    
34.         cout << "new[]:" << hex << p << endl;
    
35. 
    
36.         return p;
    
37. 
    
38. }
    
39. 
    
40. 
    
41. int main(void)
    
42. 
    
43. {
    
44. 
    
45.         X *q = new X[5];
    
46. 
    
47.         cout << hex << q << endl;
    
48. 
    
49.         cout << *(reinterpret_cast<int *>(q) - 1) << endl;
    
50. 
    
51.         delete [] q;
    
52. 
    
53.         q = new X(3);
    
54. 
    
55.         cout << hex << q << endl;
    
56. 
    
57.         delete q;
    
58. 
    
59. 
    
60.         return 0;
    
61. 
    
62. }

复制代码

可以看出有4字节用来表示，但内置类型的数组没有这几个专门的字节阿~请问这是怎么回事啊……

ps：程序引自
关于operator new和operator new[]的区别
http://bbs.chinaunix.net/forum.p ... mp;fromuid=27068386

sonicling

不用析构的类型管他有多少个呢

Beginnor

回复 4# sonicling

……对，不过小弟纳闷的是，我delete[]的时候编译器咋就能分出来数组到哪结束阿


   

sonicling

回复 5# Beginnor


    只有析构的时候才会关心数量，删除内存时的内存长度记录在内存管理器里。

Beginnor

回复 6# sonicling


    谢谢您的回答哇哇