关于 delete[]
叶建柏
2023-12-01
通常在delete[]一个数组时,编译器要按顺序作如下两件事情:
1. 对每个数组元素调用析构函数
2. 释放对象数组所占内存
注意这是彼此独立的两步.
在第2步.编译器只需简单地把数组首地址告诉操作系统,操作系统内部有内存申请情况的记录(每个申请内存段的首地址,长度,etc..),因此会正确地释放掉内存.注意整个数组所占内存是一次释放掉的,而不是每个元素释放一次.事实上,在这一步编译器无需知道数组元素个数.
当然在第1步确实需要知道元素个数.因此如楼主所说,编译器会把元素个数放在分配的那块内存的前面,结构如下所示
n object1 object2 ... objectn
不要把这个n和数组内存长度混淆起来.前者是编译器管理的,后者是操作系统管理的.(如果知道对象的size,是可以从后者计算出前者.遗憾的是,操作系统没有API提供所申请的内存段的长度,编译器只好自己记录)
要注意的是,如果数组元素没有显式构造函数(例如char),那么编译器就无需作第1步了.在这种情况下,编译器根本不需要知道数组个数,因此就偷懒不再在数组前面放元素个数n了.