C++内存管理
C/C++的内存分布,并且各个内存区域都存储那些数据
- 栈又叫堆栈,非静态局部变量/函数参数/返回值等等,栈是向下增长的。
- 内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享内存,做进程间通信。
- 堆用于程序运行时动态内存分配,堆是向上增长的。
- 数据段存储全局数据和静态数据。
- 代码段可执行代码(这里的可执行代码是编译后的01机器码)和只读常量。
1.C++内存管理方式
C语言的内存管理方式C++依然可以用,可是C++用起来比较麻烦,所以C++就有了自己的内存管理方式:通过new和delete操作符来进行动态内存管理。
注意:C语言的malloc之类的都是函数,可是C++的new/delete都是操作符。
1.1 new/delete操作内置类型
void Test()
{
int *p1 = new int;
//动态申请一个int型的空间
int *p2 = new int(2);
//动态申请一个int型空间,并且进行初始化为2
int *p3 = new int[3];
//动态连续申请3个int型的空间
delete p1;
delete p2;
delete[] p3; //若删除多个连续的内存块需要在Delete后面加[]
}
注意:如果申请或释放一个类型空间,使用new/delete即可;如果要申请或释放多个类型空间需要用new[]/delete[]。
1.2 new/delete操作自定义类型
class Test
{
public:
Test()
:_data(0)
{
std::cout << "Test()" << std::endl;
}
~Test()
{
std::cout << "~Test()" << std::endl;
}
private:
int _data;
};
void TestNewDelete()
{
Test *t1 = new Test;
delete t1;
Test *t2 = new Test[10];
delete[] t2;
/*Test *t3 = (Test *)malloc(sizeof(Test));
free(t3);
Test *t4 = (Test *)malloc(sizeof(Test) * 10);
free(t4);
*/
}
**注意:**在申请自定义类型的空间时,new会调用构造函数,delete会调用析构函数。而malloc/free不会调用。所以C++才会引入new/delete关键字。
2.operator new 与 operator delete函数
new和delete是用户进行动态内存申请和释放的操作符,operator new 和 operator delete是系统提供的全局函数。 new在底层调用operator new全局函数来申请空间,delete在底层通过operator delete全局函数来释放空间。
/*
operator new:该函数实际通过malloc来申请空间,当malloc申请空间成功时直接返回;申请空间失败,尝试
执行空 间不足应对措施,如果改应对措施用户设置了,则继续申请,否则抛异常。
*/
void *__CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{
// try to allocate size bytes
void *p;
while ((p = malloc(size)) == 0)
if (_callnewh(size) == 0)
{
// report no memory
// 如果申请内存失败了,这里会抛出bad_alloc 类型异常
static const std::bad_alloc nomem;
_RAISE(nomem);
}
return (p);
}
/*
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;
}
/*
free的实现
*/
#define free(p) _free_dbg(p, _NORMAL_BLOCK)
从上面的两个源码可以看出,**operator new 实际也是通过malloc来申请空间,**但是他比直接用malloc的好处是,如果申请成功直接返回,否则执行空间不足应对措施,如果提供了措施就继续申请,否则就抛异常。operator delete最终是通过free来释放空间的。
3.new和delete的实现原理
3.1 内置类型
如果申请的是内置类型的空间,new和malloc,delete和free基本类似,不同的地方是:new/delete申请和释放的是单个元素的空间,new[]和delete[]申请的是连续空间,而且new在申请空间失败时会抛异常,malloc会返回NULL。
3.2 自定义类型
-
new的原理
- 调用operator new函数申请空间
- 在申请的空间上执行构造函数,完成对象的构造
-
delete的原理
- 在空间上执行析构函数,完成对象中资源的清理工作
- 调用operator delete函数释放对象的空间
-
new T[N]的原理
- 调用operator new[]函数,在operator new[]中实际调用operator new函数完成N个对象空间的申请
- 在申请的空间上执行N次构造函数
-
delete[]的原理
- 在释放的对象空间上执行N次析构函数,完成N个对象中资源的清理
- 调用operator delete[]释放空间,实际在operator delete[]中调用operator delete来释放空间