内存管理
众所周知,内存分为4段,栈区,堆区,常量区(代码段),静态区(数据段)
先了解一下各个地方的存储什么:
静态区通常是指用来存放程序中已初始化的全局变量(以及static声明的变量)的一块内存区域。数据段属于静态内存分配。
代码段通常是指用来存放程序执行代码的一块内存区域,在代码段中,也有可能包含一些只读的常数变量,例如字符串常量等。
堆区是堆是用于存放进程运行中被动态分配的内存段,它的大小并不固定
栈区是用户存放程序临时创建的局部变量,也就是说我们函数中定义的变量(但不包括static声明的变量,static意味着在数据段中存放变量)
以上是一个简单的应用,可以进一步理解四个部分的意义。
malloc/free与new/delete
首先在C语言其实不止有malloc,还有calloc和realloc,三者的区别是:
malloc只是开你要的空间,但是calloc会将你开的空间再进行初始化为0
realloc可以对给定的指针所指的空间进行扩大或者缩小,如果在你给的位置那里并不能完成扩大,那就会将其移植到另外一个地方在扩大,但是内容不会丢失。
这哥仨虽然可以满足我们大部分的需求,但是它的实际使用体验并不是很好,new就可以弥补这些使用的缺点:
int* p1 = new int;//new出一个int对象
int* p2 = new int[10];//new出一个int对象
int* p3 = new int(10);//new出一个int对象,并初始化为10
//p2与p3的区别很大,方括号指的是new出多个对象,圆括号表示其初始化
//下面这样是不可以的!!
//int* p4=new int[10](10);
new出来之后要释放空间怎么做呢,用delete
//一定要匹配new出来的东西,不然会出现意想不到的崩溃
delete p1;
delete[] p2;
delete p3;
当然便捷之处在这种内置类型的地方好像体现的不是很大,我们把目光移向链表:
//在C语言链表中,你想申请一个新节点你得这么玩
struct ListNode
{
struct ListNode* _next;
int _val;
};
struct ListNode* BuyListNode(int x)//要写一个拿结点的函数
{
struct ListNode* node = (struct ListNode*)malloc(sizeof(struct ListNode));//动态申请一个
assert(node);//还要检查一下
node->_next = NULL;
node->_val = x;
return node;
}
int main()
{
struct ListNode* n1 = BuyListNode(1);
return 0;
}
//c++中利用new你可以这么玩
struct ListNode
{
ListNode* _next;
int _val;
ListNode(int val = 0)
:_next(nullptr)
, _val(val)
{}
};
int main()
{
ListNode* newnode = new ListNode(1);
return 0;
}
一目了然,可以看出malloc针对自定义类型只会开空间,如果malloc开辟失败会返回空指针,当然,这个空指针需要你自己去检查出来。
但是new可以开空间加调用该自定义类型的构造函数,如果new失败了也不用我们自己来判断,它会自己抛异常。
因此我们将要完成的动作放到构造函数里相当方便。
当然除了开辟空间你还要最后把他释放掉,与new类似的,delete会调用自定义类型的析构函数清理资料再释放空间
operator new与operator delete函数
乍一看,operator new好像很牛,和重载似乎还有点关系??其实简单来说,如果是自定义类型的话:
new malloc operator new这哥仨就是这么简单的关系。
delete同理,底层调用全局函数过operator delete来释放空间,而operator delete 最终是通过free来释放空间的。
此外,operator new厉害的一点还在于它的类专属重载。
简单来说,就像链表里一直new了n个新节点,一般来说new会一直调用operator new函数,operator new会进一步调用malloc在堆上完成申请。但是在堆上申请完很多东西再放回去再申请很多这样是比较费事的。我们可以自己搞一个内存池来在这个上面申请空间。
此时operator new就可以进行类的专属重载,去实现内存池申请内存与释放,这比从堆上申请省事很多。提高效率。
new与delete的实现原理
大概原理都基本明白了,简单总结一下:
如果是内置类型的话,new和malloc,delete和free基本类似。
不同的地方是:new/delete申请和释放的是单个元素的空间,new[]和delete[]申请的是连续空间,而且new在申请空间失败时会抛异常, malloc会返回NULL。
如果是自定义类型的话:
new:调用operator new函数申请空间,然后在申请的空间上执行构造函数,完成对象的构造
delete:在空间上执行析构函数,完成对象中资源的清理工作,然后调用operator delete函数释放对象的空间
N个对象也是一样的流程,调用operator new[]函数和operator delete[]函数来完成构造与释放。