C/C++中通常认为内存分为堆区,栈区,内存映射段,静态区(数据段),常量区(代码段)。
int globalVar = 1;
//全局变量存在静态区
static int staticGlobalVar = 1;
//全局静态变量存在静态区
void Test()
{
static int staticVar = 1;
//局部静态变量存在静态区
int localVar = 1;
//局部变量存在栈区
int num1[10] = { 1, 2, 3, 4 };
//整型数组局部变量存在栈区
char char2[] = "abcd";
//字符数组存在栈区,“abcd”常量字符串在常量区
const char* pChar3 = "abcd";
//pChar3局部变量在栈区,“abcd”常量字符串在常量区
int* ptr1 = (int*)malloc(sizeof(int) * 4);
int* ptr2 = (int*)calloc(4, sizeof(int));
int* ptr3 = (int*)realloc(ptr2, sizeof(int) * 4);
//ptr1,ptr2,ptr3都是局部变量在栈区,其指向的空间在堆区
free(ptr1);
free(ptr3);
}
int* a = (int*)calloc(10,sizeof(int));
realloc
对ptr所指向的空间进行调整,可以扩容可以缩容,但一般用来扩容使用,若第一个参数是空指针,那么它的作用等同于malloc
扩容
思考题:
4. malloc/calloc/realloc的区别?
malloc和calloc是从堆区上申请空间,realloc是对原空间的大小进行调整。
realloc第一个参数为NULL时,相当于malloc。
malloc申请空间不初始化,calloc申请空间并初始化。
realloc在扩容时存在原地扩容和异地扩容的问题。
C中的动态内存管理函数,已经不能完全满足C++的需要,所以C++中出现了新的动态内存管理的方式:new 和 delete操作符进行动态内存管理。
int* p1 = new int;
int* p2 = new int[10];
可以看到用new操作符进行动态资源的申请是很方便的,不用强制类型转换,也不需要计算要开辟空间的大小,还有一点就是不需要在申请后检查是否开辟成功。
malloc申请空间失败后返回空指针,所以在使用malloc申请资源后要进行检查,而new 操作符开辟失败后是采用抛异常的方式,不需要检查。
另外,new在申请空间的同时,可以对其进行初始化:
int *p1 = new int(6);
int* p2 = new int[6]{1,2,3,4,5,6};
int* p1 = new int[6];
delete p1;
这样就会出错的。
class A
{
public:
A(int a = 0,int b = 0)
:_a(a)
,_b(b)
{
cout << "A()" << endl;
}
~A()
{
cout << "~A()" << endl;
}
private:
int _a;
int _b;
};
int main()
{
A* p = (A*)malloc(sizeof(A));
if (p == NULL)
{
perror("malloc fail\n");
exit(-1);
}
free(p);
A* ptr = new A;
delete ptr;
return 0;
}
可以看到malloc和free并不会调用自定义类型的构造和析构函数。
new 和 delete 调用了自定义类型的构造和析构函数。
所以new 和 delete 是为了自定义类型而生的,对于内置类型与malloc和free没有什么区别(只是使用上的区别),但是对于自定义类型来说,new会调用构造函数,delete会调用析构函数。
构造函数不能显示调用(可以用定位new调用)
析构函数可以显示调用
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 new 是全局函数,是对malloc的封装,申请失败就不会在返回空指针,而是抛异常。
/*
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;
}
operator delete也是全局函数,是对free的封装。
为什么说new delete new[] delete[] malloc free 要配套使用,下面的例子足以证明:
讲一下,new[ ],和delete[ ]是如何实现的?
int* p1 = new int[6];
[6]就会告诉编译器,要申请6个int大小的空间,并完成6次构造函数的调用。
delete[] p1;
delete[ ]并没有写明释放几个对象的空间,调用几次析构函数,他是如何完成的呢?
实际上new [ ]的时候编译器会做一些小操作,让其多开辟4个字节的空间,存放开辟几个对象的空间以让delete [ ]使用。
如果此时你用delete或者是free来释放此段空间会报错,因为不允许从中间部分来释放动态开辟的空间。并为只会调用一次析构,不能对所有对象完成清理工作。
class A
{
public:
A(int a = 0,int b = 0)
:_a(a)
,_b(b)
{
cout << "A()" << endl;
}
~A()
{
cout << "~A()" << endl;
}
private:
int _a;
int _b;
};
int main()
{
A* ptr1 = new A[6];
delete ptr1;
return 0;
}
上面提到malloc操作自定义类型时,不会调用构造函数,采用定位new 的方式能够显示调用构造函数。
class A
{
public:
A(int a = 0,int b = 0)
:_a(a)
,_b(b)
{
cout << "A()" << endl;
}
~A()
{
cout << "~A()" << endl;
}
private:
int _a;
int _b;
};
int main()
{
A* ptr = (A*)operator new(sizeof(A));
new(ptr)A(2, 3);
return 0;
}
定位new后
这里只是为了举例,定位new通常是配合内存池使用的。因为内存池分配出的内存没有初始化,所以如果是自定义类型的对象,需要使用new的定义表达式进行显示调构造函数进行初始化。