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

相关文章

Go标准库常见错误分析和解决办法

《Go标准库常见错误分析和解决办法》Go语言的标准库为开发者提供了丰富且高效的工具,涵盖了从网络编程到文件操作等各个方面,然而,标准库虽好,使用不当却可能适得其反,正所谓工欲善其事,必先利其器,本文将... 目录1. 使用了错误的time.Duration2. time.After导致的内存泄漏3. jsO

C# WinForms存储过程操作数据库的实例讲解

《C#WinForms存储过程操作数据库的实例讲解》:本文主要介绍C#WinForms存储过程操作数据库的实例,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、存储过程基础二、C# 调用流程1. 数据库连接配置2. 执行存储过程(增删改)3. 查询数据三、事务处

Spring事务中@Transactional注解不生效的原因分析与解决

《Spring事务中@Transactional注解不生效的原因分析与解决》在Spring框架中,@Transactional注解是管理数据库事务的核心方式,本文将深入分析事务自调用的底层原理,解释为... 目录1. 引言2. 事务自调用问题重现2.1 示例代码2.2 问题现象3. 为什么事务自调用会失效3

找不到Anaconda prompt终端的原因分析及解决方案

《找不到Anacondaprompt终端的原因分析及解决方案》因为anaconda还没有初始化,在安装anaconda的过程中,有一行是否要添加anaconda到菜单目录中,由于没有勾选,导致没有菜... 目录问题原因问http://www.chinasem.cn题解决安装了 Anaconda 却找不到 An

Spring定时任务只执行一次的原因分析与解决方案

《Spring定时任务只执行一次的原因分析与解决方案》在使用Spring的@Scheduled定时任务时,你是否遇到过任务只执行一次,后续不再触发的情况?这种情况可能由多种原因导致,如未启用调度、线程... 目录1. 问题背景2. Spring定时任务的基本用法3. 为什么定时任务只执行一次?3.1 未启用

C++ 中的 if-constexpr语法和作用

《C++中的if-constexpr语法和作用》if-constexpr语法是C++17引入的新语法特性,也被称为常量if表达式或静态if(staticif),:本文主要介绍C++中的if-c... 目录1 if-constexpr 语法1.1 基本语法1.2 扩展说明1.2.1 条件表达式1.2.2 fa

JavaScript Array.from及其相关用法详解(示例演示)

《JavaScriptArray.from及其相关用法详解(示例演示)》Array.from方法是ES6引入的一个静态方法,用于从类数组对象或可迭代对象创建一个新的数组实例,本文将详细介绍Array... 目录一、Array.from 方法概述1. 方法介绍2. 示例演示二、结合实际场景的使用1. 初始化二

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1:创建单层目录示例 2:创建多级目录3. 关键注

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque

C++常见容器获取头元素的方法大全

《C++常见容器获取头元素的方法大全》在C++编程中,容器是存储和管理数据集合的重要工具,不同的容器提供了不同的接口来访问和操作其中的元素,获取容器的头元素(即第一个元素)是常见的操作之一,本文将详细... 目录一、std::vector二、std::list三、std::deque四、std::forwa