1.变量的存储
当我们运行代码时,相关的变量、函数都暂存在内存的不同区域,接下来我就分析一下易错的几种情况:
(1)局部变量:
a.仅static修饰
单独有static修饰(无const)的变量,存放在静态区。但是我们要清楚这指的是static修饰的变量,而不是static修饰的函数!static修饰的函数只会改变它的链接属性,而不会改变它的存储位置。static函数和普通函数一样都存到栈区。
b.const修饰
首先我们先来分析字符串常量是存储在哪的,以及当我们使用指针来访问时指针又存在哪。
如果我们使用数组的形式来存储呢?
我们会发现,现在p、q数组又是在栈上了,这是为什么呢?
这是数组,那么对于其他变量,当有const修饰的时候如何存储呢?
c.static和const同时修饰
这个可以说是一种比较特殊的情况,变量具有static和const两种属性,那么这种变量既可以存在常量区,也可以存在静态区,这一点取决于编译器,我们可以去验证我们编译器的选择。
当然也可以存到静态区,两种处理都合理。
d.无修饰
不考虑堆区的情况下,无修饰变量都是存储在栈区的。
其中着重理解常量字符串的存储。首先如果用指针来管理常量字符串肯定是行不通的,因为这涉及到了权限的放大,我们只有用数组来管理。如char arr[10] = "Hello",但这样存储逻辑又是怎样的呢?
注意数组是开辟了空间的,会发生复制操作,就算是常量字符串储存在代码段,也要拷贝过来。拷贝就不会涉及权限放大的问题了。
(2)全局变量:
a.无修饰和仅static修饰
都是存放在静态区
b.const修饰
c.const和static同时修饰
分析和上面相似,这种情况要取决于编译器的选择,都合理,没必要纠结。
(3)堆区
只要涉及主动内存开辟,new或malloc等,则都是在堆区存数据的(不管全局或局部,有没有const、static修饰),这个最好判断
堆应当注意和栈的区别:
①堆无法静态分配,只能动态分配
栈可以通过函数_alloca动态分配,但所分配空间不能通过free或delete进行释放,free和delete只能释放堆区
②堆大小受限于操作系统,而栈一般由系统直接分配,同时,堆的频繁开辟会导致内存碎片的问题,而栈是自动管理,不存在此问题
(4)易错点
注意这张图,以栈为例,先定义的函数地址高,后定义的地址低,但这张图并不适用变量的定义
我们可以看到,在VS里,栈区变量是从低地址向高地址存的,这个处理方式不唯一,根据不同的编译器有不同的处理方式
但堆区和栈区开辟数组后下标都是从低地址往高地址存
2.new和delete的配套问题
当我们使用C++的操作符new、new[]、delete、delete[]时我们一定要配套使用,最好不要和malloc、free混用,下面分析原因:
(1)当使用内置类型及内置类型的数组时,混用不会有任何影响。
(2)当使用类的时候就要注意规避混用了,因为在数据存储上有了不同之处。
当我们创建类的数组时,使用new[],因为使用它可以在开辟空间的时候调用构造函数,而其它开辟空间的方式就没有这个功能。
在这里我们要注意new[]本质是去调用operator new[],operator new[]去调用operator new,operator new去调用malloc,从上面看出不能用operator new[]去替换new[](更不用说operator new和malloc),两者有着功能上显著的区别。
delete[]本质是去调用operator delete[],operator delete[]去调用operator delete,operator delete去调用free,那么delete[]是否能被替换呢?
很显然,delete[]也有着独特的功能,没有办法被替换,这个功能就是自动调用析构函数,这和new[]相呼应。但是和上面的new[]不同,这里直接报错了,一定还有什么特性导致了这一结果。
我们先来看new[]后的数组的大小
我们发现开辟空间的大小是44,具体内存情况如下
我们发现如果这个时候直接去调用operator delete[]、operator delete、delete、free就会导致释放的内存起始位置发生了位移,这就会导致报错,而delete[]就会先从前4个字节开始,先读取个数,然后释放空间时按照元素个数去调用它们的析构函数,这点非常关键,这也是为什么会多出来这4个字节的原因。
如果类没有显式实现析构函数,那么就意味着不会多开辟那4个字节,也就不会报错,这个时候混用不会导致程序崩溃。
但是这样使用会导致无法正常调用析构函数,在有主动开辟内存时会导致内存泄漏,不要使用。
(3)总结:
a.new、delete会主动调用自定义类型的构造和析构函数,也可以初始化,这是malloc无法替代的
new、delete本质是调用构造(析构)+operator new(delete)全局函数,operator new(delete)本质是去调用malloc(free),对于operator new(delete)函数传的参数和malloc(free)一样
b、new[]、delete[]会主动调用自定义类型每个元素的构造和析构函数,也可以初始化,这是malloc无法替代的
new[]、delete[]本质是调用每个元素的构造(析构)+operator new[](delete[])全局函数,operator new[](delete[])会算好要开辟(回收)空间的大小,再去调用operator new(delete),operator new(delete)本质是去调用malloc(free),对于operator new(delete)函数传的参数和malloc(free)一样
c、有且仅有在使用new[]并且对象是自定义类型时才会多开辟4个字节存储个数,只有delete[]才会尝试读取前4个字节找到个数。delete[]不会一定去读前4个字节,它会自动识别的。