C++编程知识快速复习(内存使用篇)(精华高效全面版)
接上篇,这篇主要归纳一下C++中的内存使用问题。
1、内存的分配方式
-
从静态存储区分配。这种方式在程序编译的时候已经分配好,在程序的整个运行期间均存在,如全局变量、静态变量;
-
从栈上创建。在执行函数时,函数内部局部变量的存储单元都可以在栈上创建,函数结束时这些单元被自动释放,栈内存分配运算内置于处理器指令集中,效率较高,但容量有限;
-
从堆上分配。程序运用malloc或new申请任意多少的内存,用户手动用free或delete释放。动态内存的生存周期由我们决定,使用灵活,但也容易出问题。
2、常见的内存错误及处理方法
-
内存未分配成功去使用它。故在malloc或new申请内存后,立即检查指使是否为NULL,防止使用指针为NULL的内存;
-
内存分配成功但未初始化。故不要忘记为数组或动态内存赋初值,防止未被初始化的内存作为右值使用;
-
分配成功也初始化但越界。故要注意不要让数组或指针下标越界;
-
忘记释放内存,造成泄漏。故动态内存申请与释放必须要配对;
-
释放了内存却继续使用它。这有三个方面:
首先,程序中对象调用关系复杂,此时应重新设计数据结构,从根本上解决对象管理方面的问题;
其次,return语句写错了,不能返回指向栈内存的指针或引用,因为该内存在函数体结束时被自动销毁;
最后,使用delete或free后,没有将指针设置为NULL,导致产生“野指针”。
3、指针和数组的对比
数组要么在静态区被创建(全局数组),要么在栈上被创建。数组名对应着一块内存,其地址和容量在生命周期内保持不变,只有内容可以改变;
指针可以随时指向任意的内存块,特征是可变,故常用指针来操作动态内存;
不能对数组名进行直接复制与比较,C++中也无法知道指针所指的内存容量,除非申请时就记住它,因此sizeof(p)=4字节;
当数组作为函数参数进行传递时,此数组自动退化为同类型的指针,故sizeof(arr)=4字节;
4、free和delete指针操作
两者只是将指针所指的内存释放掉,并没有消灭指针,故释放内存后,一定要将指针置空。注意:指针消亡了,并不表示所指的内存会被自动释放;内存释放了,并不表示指针会消亡或成为 NULL指针。
野指针不是NULL指针,而是指向垃圾内存的指针,产生野指针主要有三个方面:
-
指针变量没有被初始化。任何指针变量刚被创建时不会自动成为NULL指针,而是随意指的,故在创建指针变量时,要么初始化为NULL,要么让其指向合法的内存;
-
指针在free或delete后没有置为NULL;
-
指针操作超越了变量的作用范围;
5、malloc和new操作
malloc和free是C/C++标准库函数,new和delete是C++运算符。
对于内部数据类型而言,没有构造函数和析构函数,用malloc/free和new/delete是等价的;对于非内部数据类型而言,malloc/free无法满足动态内存分配的要求,要用new/delete,这是因为malloc/free是库函数,不在编译器控制权限之内。
new比malloc简单很多,是因为new内置了sizeof()、类型转换和类型安全检查功能,对于非内部对象而言,在创建动态对象的同时完成了初始化工作,若对象有多个构造函数,则new语句也会有多种形式的初始化。
6、内存耗尽如何处理
若在申请动态内存时,找不到足够大的内存块,malloc和 new将返回NULL指针,宣告内存申请失败。处理内存失败有3种方式:
-
判断指针是否为NULL,若是,马上用return语句终止本函数;
-
判断指针是否为NULL,若是,马上用exit(1)终止整个程序运行;
-
可以为new和malloc设置异常处理函数;
=========================================
本文到此结束!
如果对你有帮助,请随手 点赞 或 赞赏
欢迎关注、私信、交流,一起学习,一起进步!
==========================================