1. 总结并剖析 malloc/free 和 new/delete 之间关系和差异。
1)它们都是动态管理内存的入口。
2)malloc/free 是 C/C++ 标准库的函数,new/delete 是 C++ 操作符。
3)malloc/free 只是动态分配内存空间/释放空间。而 new/delete 除了分配空间还会调用构造函数和析构函数进行初始化与清理(清理成员)。
4)malloc/free 需要手动计算类型大小且返回值是 void*,new/delete 可自己计算类型的大小,返回对应类型的指针。
2. 剖析 new/delete、new[]/delete[] 到底做了些什么事情。
1)new
(1)调用 operator new 分配空间。
(2)调用构造函数初始化对象。
2)delete
(1)调用析构函数清理对象。
(2)调用 operator delete 释放空间。
3)new[N]
(1)调用 operator new 分配空间。
(2)调用 N 次构造函数分别初始化每个对象。
4)delete[]
(1)调用 N 次析构函数清理对象。
(2)调用 operator delete 释放空间。
3. 实现 NEW_ARRAY/DELETE_ARRAY 宏,模拟 new[]/delete[] 申请和释放数组。
1)实现 NEW_ARRAY 宏,模拟 new[] 申请数组。
#define NEW_ARRAY(PTR, TYPE, N) \
do \
{ \
PTR = (TYPE*)operator new(sizeof(TYPE)*N + 4);\
(*(int*)PTR) = N; \
PTR = (TYPE*)((char*)PTR + 4); \
for (size_t i = 0; i < N; ++i) \
new(PTR + i)TYPE; \
}while (false);
2)实现 DELETE_ARRAY 宏,模拟 delete[] 释放数组。
#define DELETE_ARRAY(PTR, TYPE) \
do{ \
int N = *((int*)PTR - 1); \
for (int i = 0; i < N; ++i) \
PTR[i].~TYPE(); \
PTR = (TYPE*)((char*)PTR - 4); \
operator delete(PTR); \
} while (false);