系列文章目录
一、内存分布
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";
const 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);
}
globalVar在静态区,因为它是全局变量;
staticGlobalVar在静态区,因为它由static修饰,是一个静态变量。
staticVar在静态区,因为它由static修饰
localVar在栈区,因为它是一个局部变量
num1 在栈区,因为num1是一个局部的指针变量
char2在栈区,因为它是局部指针变量
*char2在栈区,因为char2指向一块在栈区开辟的空间(char2),虽然“abcd”是常量字符串存在于常量区,但char2中的数据是该常量字符串的一份拷贝,所以*char2位于栈区。
pChar3在栈区,因为pChar3只是一个局部指针变量,存储着常量字符串的位置
*pChar3在常量区,因为*pChar3就是位于常量区的字符串
ptr1在栈区,因为它是一个局部指针变量,指向动开辟的空间
*ptr1在堆区,因为它是一块动态开辟的空间
二、内存管理
通过new、delete操作符完成C++的内存管理。
1.new、delete处理内置类型
处理内置类型时,相较C语言的malloc、free等只有使用方式的差别。
注意:申请和释放单个元素的空间,使用new和delete操作符,申请和释放连续的空间,使用new[]和delete[]
注意:new和delete要匹配起来使用.对于连续空间都加方括号,对于单个元素空间都不加方括号。
void Test()
{
// 动态申请一个int类型的空间
int* ptr1 = new int;
// 动态申请一个int类型的空间并初始化为10
int* ptr2 = new int(10);
// 动态申请10个int类型的空间
int* ptr3 = new int[10];
//动态申请10个int类型的空间并初始化
//未指定初始化的空间为0
int* ptr4 = new int[10]{1,2,3};
delete ptr1;
delete ptr2;
delete[]ptr3;
delete[]ptr4;
}
new相较C语言中的malloc在申请空间失败时有部分区别。new在申请空间失败时会抛异常,malloc会返回NULL。
这意味着我们使用new时无需想C语言中对malloc返回值进行判空操作。,我们只需要对new进行捕获异常
int main()
{
int* A = (int*)malloc(sizeof(int) * 1024);
if (A == nullptr)
{
perror("malloc fail");
return 0;
}
free(A);
try
{
while (1)
{
int* B = new int[1024*1024*100];
}
}
catch (exception& e)
{
cout << e.what() << endl;
}
return 0;
}
运行结果:
2.new、delete处理自定义类型
C++中设置new、delete主要用于处理自定义类型。
相较C语言的动态管理,new、delete会自动调用自定义类的构造函数、析构函数。
class test
{
public:
test(int val = 0)
:_val(val)
{
cout << "构造函数" << endl;
}
~test()
{
cout << "析构函数" << endl;
}
private:
int _val;
};
int main()
{
test* p = new test(10);
delete p;
return 0;
}
运行结果:
3.定位new
对指针指向的空间显式调用构造函数进行创建和初始化。这也是构造函数唯一可以显式调用的地方。
使用形式如下:
class test
{
public:
test(int val = 0)
:_val(val)
{
cout << "构造函数" << endl;
}
~test()
{
cout << "析构函数" << endl;
}
void Show()
{
cout << _val << endl;
}
private:
int _val;
};
int main()
{
//开辟test类型大小的空间
test* A = (test*)malloc(sizeof(test));
if (A == nullptr)
{
perror("malloc fail");
return 0;
}
//定位new,在A指向的空间显式调用构造函数来创建、初始化
new(A)test(10);
A->Show();
delete A;
return 0;
}
运行结果:
三、malloc/free和new/delete的区别
malloc/free和new/delete的共同点是:都是从堆上申请空间,并且需要用户手动释放。
不同的地方是:
- malloc和free是函数,new和delete是操作符
- malloc申请的空间不会初始化,new可以对内置类型自动初始化
- malloc申请空间时,需要手动计算空间大小并传递,new只需在其后跟上空间的类型即可,
如果是多个对象,[]中指定对象个数 - malloc的返回值为void*, 在使用时必须强转,new不需要,因为new后跟的是空间的类型
- malloc申请空间失败时,返回的是NULL,因此使用时必须判空,new不需要,但是new需
要捕获异常 - 申请自定义类型对象时,malloc/free只会开辟空间,不会调用构造函数与析构函数,而new
在申请空间后会调用构造函数完成对象的初始化,delete在释放空间前会调用析构函数完成
空间中资源的清理