一、new/delete
1、操作内置类型
(1)语法
动态申请一个空间:
int* ptr = new 类型(初始化的值);
释放动态申请的一个空间:
delete ptr;
动态申请一个连续的空间:
int* ptr = new 类型[申请空间的大小]{初始化的值}
释放一段连续的空间:
delete[] ptr;
注意:new和delete与new[]和delete[]要匹配使用。
(2)功能
new是向内存申请一块空间,成功后返回该类型的指针。C++兼容C语言,内置类型的动态申请用法简单了,但是功能保持一致。
delete是释放一段空间
// 动态申请一个int类型的空间
int* ptr4 = new int;
// 动态申请一个int类型的空间并初始化为10
int* ptr5 = new int(10);
// 动态申请10个int类型的空间
int* ptr6 = new int[3];
delete ptr4;
delete ptr5;
delete[] ptr6;
2、操作自定义类型
new/delete 和 malloc/free最大区别是 new/delete对于自定义类型除了开空间外,new会调用构造函数。delete会调用析构函数并释放空间。操作更加简便。构造函数和析构函数不能显示(手动)调用,面对自定义类型malloc不能用,因此用new和delete。
class A
{
public:
A(int a = 0)
: _a(a)
{
cout << "A():" << this << endl;
}
~A()
{
cout << "~A():" << this << endl;
}
private:
int _a;
};
int main()
{
A* p1 = (A*)malloc(sizeof(A));
A* p2 = new A(1);
free(p1);
delete p2;
A* p5 = (A*)malloc(sizeof(A) * 10);
A* p6 = new A[10];
free(p5);
delete[] p6;
return 0;
}
(1)初始化
①用局部变量初始化
A aa1(1);
A aa2(2);
A* p5 = new A[10]{aa1, aa2};
delete[] p5;
②用匿名对象初始化
A* p6 = new A[10]{ A(1), A(2)};
delete[] p6;
③用隐式类型转化初始化
A* p7 = new A[10]{ 1, 2 };
delete[] p7;
二、operator new与operator delete函数
1、概念
operator new 和operator delete是系统提供的全局函数,new在底层调operator new全局函数来申请空间,delete在底层通过 operator delete全局函数来释放空间。operator new是对malloc的封装,operator delete是对free的封装。
2、功能
(1)operator new
该函数实际通过malloc来申请空间,当malloc申请空间成功时直接返回;申请空间失败,执行用户提供的空间不足应对措施,如果用户提供该措施 就继续申请,否则就抛异常。
void* __CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{
void* p;
while ((p = malloc(size)) == 0)
if (_callnewh(size) == 0)
{
static const std::bad_alloc nomem;
_RAISE(nomem);
}
return (p);
}
(2)operator delete
该函数最终是通过free来释放空间的
void operator delete(void* pUserData)
{
_CrtMemBlockHeader* pHead;
RTCCALLBACK(_RTC_Free_hook, (pUserData, 0));
if (pUserData == NULL)
return;
_mlock(_HEAP_LOCK); /* block other threads */
__TRY
/* get a pointer to memory block header */
pHead = pHdr(pUserData);
/* verify block type */
_ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));
_free_dbg(pUserData, pHead->nBlockUse);
__FINALLY
_munlock(_HEAP_LOCK); /* release other threads */
__END_TRY_FINALLY
return;
}
3、使用
(1)operator new
使用起来和new基本没区别,但是不会调用构造函数,类似于malloc,但是错误不会返回0,而是抛异常。
Stack* pst=(Stack*)operator new(sizeof(Stack));
(2)operator delete
operator delete(ptr1);
这两个函数并不是给用户用的,而是给库用的
三、new和delete的实现原理
1、内置类型
如果申请的是内置类型的空间,new和malloc,delete和free基本类似,不同的地方是: new/delete申请和释放的是单个元素的空间,new[]和delete[]申请的是连续空间,而且new在申 请空间失败时会抛异常,malloc会返回NULL。
2、自定义类型
(1)new的原理:
①调用operator new函数申请空间
②在申请的空间上执行构造函数,完成对象的构造
(2)delete的原理
①在空间上执行析构函数,完成对象中资源的清理工作
③调用operator delete函数释放对象的空间
(3)new T[]的原理
①调用operator new[]函数,在operator new[]中实际调用operator new函数完成N个对象空间的申请
②在申请的空间上执行N次构造函数
(4)delete[]的原理
①在释放的对象空间上执行N次析构函数,完成N个对象中资源的清理
②调用operator delete[]释放空间,实际在operator delete[]中调用operator delete来释 放空间。
对于A会申请40字节外加10字节,这10字节用来存10,存储这个是因为delete[]时会调用析构函数,但是次数不知道,因此会将指针向前偏移后取出10,然后调用10次析构函数。对于默认生成的析构函数,如果没有资源释放,这个时候编译器不会进行处理,因此不匹配的结果是未定义的。
四、定位new
1、功能
在已分配的原始内存空间中调用构造函数初始化一个对象。
2、语法
new (place_address) type
或者
new (place_address) type(initializer-list)
3、使用场景
(1)定位new表达式在实际中一般是配合内存池使用。因为内存池分配出的内存没有初始化,所以如 果是自定义类型的对象,需要使用new的定义表达式进行显示调构造函数进行初始化。
(2)当读取数据不是从堆区读取的时候需要用。
五、malloc/free和new/delete的区别
1、二者的共同点
都是从堆上申请空间,并且需要用户手动释放。
2、二者的不同点
(1)malloc和free是函数,new和delete是操作符
(2)malloc申请的空间不会初始化,new可以初始化
(3)malloc申请空间时,需要手动计算空间大小并传递,new只需在其后跟上空间的类型即可, 如果是多个对象,[]中指定对象个数即可。
(4)malloc的返回值为void*, 在使用时必须强转,new不需要,因为new后跟的是空间的类型。
(5)malloc申请空间失败时,返回的是NULL,因此使用时必须判空,new不需要,但是new需 要捕获异常
(6)申请自定义类型对象时,malloc/free只会开辟空间,不会调用构造函数与析构函数,而new 在申请空间后会调用构造函数完成对象的初始化,delete在释放空间前会调用析构函数完成空间中资源的清理