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++】08.string类模拟实现

这篇博客我们来按【C++】07.string详解-CSDN博客来模拟实现string类。 目录   一、成员变量  二、构造函数、赋值运算符重载与析构函数 2.1 构造函数 2.2 赋值运算符重载 2.3 析构函数  三、迭代器 3.1 begin() 3.2 end() 四、对容器的操作 4.1 计算字符串的长度与容量         4.2 修改容量

线程纵横:C++并发编程的深度解析与实践

hello !大家好呀! 欢迎大家来到我的Linux高性能服务器编程系列之《线程纵横:C++并发编程的深度解析与实践》,在这篇文章中,你将会学习到C++新特性,并发编程,以及其如何带来的高性能的魅力,以及手绘UML图来帮助大家来理解,希望能让大家更能了解网络编程技术!!! 希望这篇文章能对你有所帮助,大家要是觉得我写的不错的话,那就点点免费的小爱心吧!(注:这章对于高性能服务器的架构非常重要哟!

R语言:ROC分析

> install.packages("pROC") > library(pROC)                    > inputFile="结果.txt"       > rt=read.table(inputFile, header=T, sep="\t", check.names=F, row.names=1) > head(rt) con treatTCGA-

【Python】理解分类变量和连续变量

凡是血肉的东西都难与灵魂一样高扬。                       在数据分析和建模过程中,变量可以分为不同的类型,其中最常见的两种类型是分类变量和连续变量。理解这两种变量类型及其处理方法对于数据分析和建模的成功至关重要。本文将介绍分类变量和连续变量的概念,并通过实例说明如何处理和分析这些变量。 分类变量(Categorical Variables) 概念 分类变量是指

C++设计模式|创建型 5.原型模式

1.什么是原型模式? 原型模式⼀种创建型设计模式,该模式的核⼼思想是基于现有的对象创建新的对象,⽽不是从头开始创建。 在原型模式中,通常有⼀个原型对象,它被⽤作创建新对象的模板。新对象通过复制原型对象的属性和状态来创 建,⽽⽆需知道具体的创建细节。 2.为什么要使用原型模式? 如果一个对象的创建过程比较复杂时(比如需要经过一系列的计算和资源消耗),那每次创建该对象都需要消耗资

MM模块学习二 (供应商,物料后台相关配置)

公司代码配置 新建条目(只是建了一个名字出来,后面很多表都是没有得) 接下来定义公司代码: 公司代码复制完成(后续修改交给财务顾问去做) 复制工厂: 复制工厂完成: 修改复制过去的工厂参数(因为是复制过去的,所以要改成我们自己的参数) 建好的工厂分配到建好的公司代码上 点击保存 工厂下面还有库存地点 采购组

Shell编程相关知识整理

Shell编程 编译器,解释器 编程语言:机器语言、汇编语言、高级语言 静态语言:编译型语言(编译除错然后生成二进制文件) 强类型(变量在使用前,必须事先声明甚至初始化:数值默认初始化为0,字符初始化为空-Null) 事先转换成可执行格式(C、C++、JAVA、C#) 动态语言:解释型语言 弱类型(变量用时声明,甚至不区分类型-显示转换或隐示转换) 边解释边执行 PHP、S

IPTV与VoIP相关知识整理(临时存储)

IPTV: -IPTV全称是Interactive Personality TV即交互式网络电视;是一种利用宽带网,集互联网、多媒体、通讯等技术于一体,向家庭用户提供包括数字电视在内的多种交互式服务的崭新技术。 -享受IPTV服务的三种方式:计算机,网络机顶盒+普通电视机,移动终端(phone,Ipad) -IPTV不同于传统的模拟有线电视和经典的数字电视在于:

Modbus协议相关知识整理

Mobus协议应用图解 Modbus协议相关问答: 1.   Modbus协议包括哪三种? -Modbus协议包括ASCII、RTU、TCP。 2. 哪两种Modbus协议规定了消息、数据的结构、命令和就答的方式,数据通讯采用什么方式? -Modbus的ASCII、RTU协议规定了消息、数据的结构、命令和就答的方式,数据通讯采用Maser/Slave方式。 3. Modbus

系统引导流程相关知识

系统引导流程 固件Firmware(CMOS或BIOS)[用于POST加电自检]->自举程序BootLoader(GRUB)[用于载入内核]->载入内核Kernel[用于驱动硬件]->启动进程init->读取执行配置文件/etc/inittab 固件设置范围与举例 范围:包含引导介质列表.引导介质的搜索顺序.启动过程细节.电源管理.安全设置 举例:date和hwclock的应用[da