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";
char* pChar3 = "abcd";
int* ptr1 = (int*)malloc(sizeof (int)* 4);
int* ptr2 = (int*)calloc(4, sizeof(int));
int* ptr3 = (int*)realloc(ptr2, sizeof(int)* 4);
free(ptr1);
free(ptr3);
}
//1. 选择题:
//选项 : A.栈 B.堆 C.数据段(静态区) D.代码段(常量区)
// globalVar在哪里?__C__ staticGlobalVar在哪里?__C__
// staticVar在哪里?__C__ localVar在哪里?__A__
// num1 在哪里?__A__
// char2在哪里?__A__ *char2在哪里?_A__
// pChar3在哪里?__A__ *pChar3在哪里?__D__
// ptr1在哪里?__A__ *ptr1在哪里?__B__
//
// 2. 填空题:
//sizeof(num1) = __40__;(num1数组的大小,10个整形数据每个为4)
//sizeof(char2) = __5__; (包括了\0的空间) strlen(char2) = __4__;(不包含\0的长度)
//sizeof(pChar3) = __4__; (指针) strlen(pChar3) = __4__;(字符串“abcd”的长度不包含\0的长度)
//sizeof(ptr1) = __4__;(指针)
此题中的数据就包含了程序中的各个内存区域。
如下图:
C中动态内存管理方式
malloc/calloc/realloc的区别?
-
malloc
函数原型:void* malloc(unsigned size);
功能:在堆中分配一块长度为size字节的连续区域,参数size为需要内存空间的长度。 -
calloc
函数原型:void* calloc(size_t numElements, size_t sizeofElement);
功能:参数sizeofElement为单位元素长度,numElements为元素个数,即在内存中申请numElements*sizeofElement字节大小的连续内存地址空间。 -
relloc
函数原型:void* realloc(void* ptr, unsigned newsize);
功能:为ptr重新分配一块大小为size的内存空间。
区别:
malloc不能初始化所分配的内存空间,calloc会将所分配的内存空间中的每一位都初始化为零。
malloc和calloc都用来动态分配内存空间,但realloc则是对给定的指针所指向的内存空间进行扩大或者缩小。
C++内存管理方式
通过new和delete操作符进行动态内存管理。
申请和释放单个元素空间时使用new和delete操作符。
申请和释放连续空间使用new[]和delete[]
new/delete和malloc/free的区别/相同点?
相同:
malloc/free和new/delete都是从堆上申请空间,并且需要手动释放。
不同
- malloc和free是函数,new和delete是操作符
- malloc申请的空间不会初始化,new可以初始化
- malloc申请空间时,需要手动计算空间大小并传递,new只需在其后跟上空间的类型即可
- malloc的返回值为void*, 在使用时必须强转,new不需要,因为new后跟的是空间的类型
- malloc申请空间失败时,返回的是NULL,因此使用时必须判空,new不需要,但是new需要捕获异常
- 申请自定义类型对象时,malloc/free只会开辟空间,不会调用构造函数与析构函数,而new在申请空间 后会调用构造函数完成对象的初始化,delete在释放空间前会调用析构函数完成空间中资源的清理
operator new和operator delete函数
new和delete是用户进行动态内存申请和释放的操作符,operator new 和operator delete是系统提供的全局函数。
new在底层调用operator new全局函数来申请空间。
delete在底层通过operator delete全局函数来释放空间。
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);
}
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 new实际上也是通过malloc来申请空间。
operator delete也是通过free来释放空间。
new和delete的实现原理
1、内置类型
- 在申请内置类型的空间时,new和malloc,delete和free基本相同。不同点在于new/delete申请的是单独元素空间而new[]/delete[]申请的是连续空间。
- 在new失败时会抛异常,malloc失败时会返回NULL。
2、自定义类型
-
new的原理
1、调用operator new函数申请空间。
2、在申请的空间上执行构造函数,完成对象资源的构造。 -
delete的原理
1、在空间上执行析构函数,完成对象中资源的清理工作。
2、调用operator delete函数释放对象的空间。 -
new T[N]的原理
1、调用operator new[]函数,在operator new[]中实际调用了operator new函数完成N个对象空间的申请。
2、在申请的空间上使用N次构造函数。 -
delete[]的原理
1、在释放的对象空间上执行N次析构函数,完成N个对象中资源的清理。
2、调用operator delete[]释放空间,实际在operator delete[]中调用operator delete来释放空间。