C++相关概念和易错语法(9)(变量的存储、new和delete混用分析)

2024-04-29 09:52

本文主要是介绍C++相关概念和易错语法(9)(变量的存储、new和delete混用分析),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

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修饰),这个最好判断

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个字节,它会自动识别的。

这篇关于C++相关概念和易错语法(9)(变量的存储、new和delete混用分析)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/945767

相关文章

使用C++实现链表元素的反转

《使用C++实现链表元素的反转》反转链表是链表操作中一个经典的问题,也是面试中常见的考题,本文将从思路到实现一步步地讲解如何实现链表的反转,帮助初学者理解这一操作,我们将使用C++代码演示具体实现,同... 目录问题定义思路分析代码实现带头节点的链表代码讲解其他实现方式时间和空间复杂度分析总结问题定义给定

C++初始化数组的几种常见方法(简单易懂)

《C++初始化数组的几种常见方法(简单易懂)》本文介绍了C++中数组的初始化方法,包括一维数组和二维数组的初始化,以及用new动态初始化数组,在C++11及以上版本中,还提供了使用std::array... 目录1、初始化一维数组1.1、使用列表初始化(推荐方式)1.2、初始化部分列表1.3、使用std::

C++ Primer 多维数组的使用

《C++Primer多维数组的使用》本文主要介绍了多维数组在C++语言中的定义、初始化、下标引用以及使用范围for语句处理多维数组的方法,具有一定的参考价值,感兴趣的可以了解一下... 目录多维数组多维数组的初始化多维数组的下标引用使用范围for语句处理多维数组指针和多维数组多维数组严格来说,C++语言没

Springboot中分析SQL性能的两种方式详解

《Springboot中分析SQL性能的两种方式详解》文章介绍了SQL性能分析的两种方式:MyBatis-Plus性能分析插件和p6spy框架,MyBatis-Plus插件配置简单,适用于开发和测试环... 目录SQL性能分析的两种方式:功能介绍实现方式:实现步骤:SQL性能分析的两种方式:功能介绍记录

最长公共子序列问题的深度分析与Java实现方式

《最长公共子序列问题的深度分析与Java实现方式》本文详细介绍了最长公共子序列(LCS)问题,包括其概念、暴力解法、动态规划解法,并提供了Java代码实现,暴力解法虽然简单,但在大数据处理中效率较低,... 目录最长公共子序列问题概述问题理解与示例分析暴力解法思路与示例代码动态规划解法DP 表的构建与意义动

c++中std::placeholders的使用方法

《c++中std::placeholders的使用方法》std::placeholders是C++标准库中的一个工具,用于在函数对象绑定时创建占位符,本文就来详细的介绍一下,具有一定的参考价值,感兴... 目录1. 基本概念2. 使用场景3. 示例示例 1:部分参数绑定示例 2:参数重排序4. 注意事项5.

使用C++将处理后的信号保存为PNG和TIFF格式

《使用C++将处理后的信号保存为PNG和TIFF格式》在信号处理领域,我们常常需要将处理结果以图像的形式保存下来,方便后续分析和展示,C++提供了多种库来处理图像数据,本文将介绍如何使用stb_ima... 目录1. PNG格式保存使用stb_imagephp_write库1.1 安装和包含库1.2 代码解

C++实现封装的顺序表的操作与实践

《C++实现封装的顺序表的操作与实践》在程序设计中,顺序表是一种常见的线性数据结构,通常用于存储具有固定顺序的元素,与链表不同,顺序表中的元素是连续存储的,因此访问速度较快,但插入和删除操作的效率可能... 目录一、顺序表的基本概念二、顺序表类的设计1. 顺序表类的成员变量2. 构造函数和析构函数三、顺序表

使用C++实现单链表的操作与实践

《使用C++实现单链表的操作与实践》在程序设计中,链表是一种常见的数据结构,特别是在动态数据管理、频繁插入和删除元素的场景中,链表相比于数组,具有更高的灵活性和高效性,尤其是在需要频繁修改数据结构的应... 目录一、单链表的基本概念二、单链表类的设计1. 节点的定义2. 链表的类定义三、单链表的操作实现四、

Redis存储的列表分页和检索的实现方法

《Redis存储的列表分页和检索的实现方法》在Redis中,列表(List)是一种有序的数据结构,通常用于存储一系列元素,由于列表是有序的,可以通过索引来访问元素,因此可以很方便地实现分页和检索功能,... 目录一、Redis 列表的基本操作二、分页实现三、检索实现3.1 方法 1:客户端过滤3.2 方法