C++内存管理new/delete和new[ ]/delete[ ]

news2024/10/5 22:24:54

1.c/c++内存分布

首先看一段代码

int globalVar = 1;
static int staticGlobalVar = 1;
void Test()
{
static int staticVar = 1;
int localVar = 1;
int num1[10] = { 1, 2, 3, 4 };
char char2[] = "abcd";

const char* pChar3 = "abcd";
//这里不加const会导致权限的放大,因为指向的内容是不能改的

int* ptr1 = (int*)malloc(sizeof(int) * 4);
int* ptr2 = (int*)calloc(4, sizeof(int));
int* ptr3 = (int*)realloc(ptr2, sizeof(int) * 4);
free(ptr1);
free(ptr3);
}
选项 : A . B . C . 数据段 ( 静态区 ) D . 代码段 ( 常量区 )
staticGlobalVar 在哪里? __C_
_localVar 在哪里? __A__      globalVar在哪里? __C_
_staticVar 在哪里? __C       __num1 在哪里?__A__
char2 在哪里? _A___      * char2 在哪里? _A__
pChar3 在哪里? __A__     * pChar3 在哪里? _D___
ptr1 在哪里? __A__        * ptr1 在哪里? ___B_

(全局变量和静态变量都放在全局区(静态区)
常量放在常量区,全局变量和全局静态变量在主函数之前就创建好了,生命周期在整个程序运行期间都在,局部的静态变量在第一次调用的时候才会创建,数组也在栈上

char2和num1一样是一个数组,char2就是首元素的地址,*char2就是a

const char* pchar3 = "abcd";//这里const修饰的是指向的内容不能修改,但是pchar3可以改变,所以pchar3在栈上,pchar3是一个指针变量,存的常量区字符串abcd\0的地址,指向的常量区,所以*pchar3在常量区,即常量区的a, 如下图所示。                                                                                 

c/c++中程序内存区域划分如下:

①  又叫堆栈 -- 非静态局部变量 / 函数参数 / 返回值等等,栈是向下增长的。
②  内存映射段 是高效的 I/O 映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享共 享内存,做进程间通信。
③  用于程序运行时动态内存分配,堆是可以上增长的。
④  数据段 -- 存储全局数据和静态数据。
⑤  代码段 -- 可执行的代码 / 只读常量。

2.c++内存管理方式

通过new/delete操作内置类型

注意:申请和释放单个元素的空间,使用 new delete 操作符,申请和释放连续的空间,使用 new[] delete[] ,注意:匹配起来使用。
int main()
{
	// 内置类型
	// 除了用法方便,c malloc没什么区别
	/*int* p1 = new int;
	int* p2 = new int[10];*/    //前后类型最好匹配
	// 默认不初始化,但是可以初始化
	int* p1 = new int(10);//单个对象初始化
	int* p2 = new int[10]{1,2,3,4};//多个对象初始化
  //()是初始化 []是个数 再要初始化加{}
	delete p1;//释放空间,delete是一个操作符
	delete[] p2;//释放多个对象
	return 0;
}
new/delete malloc/free 最大区别是 new/delete 对于【自定义类型】除了开空间还会调用构
造函数和析构函数
class A
{
public:
	A(int a = 0)
		:_a(a)
	{
		cout << "A(int a)" << endl;
	}

	A(int a1, int a2)
	{
		cout << "A(int a1, int a2)" << endl;
	}

	A(const A& aa)
		:_a(aa._a)
	{
		cout << "A(const A& aa)" << endl;
	}

	A& operator=(const A& aa)
	{
		cout << "A& operator=(const A& aa)" << endl;
		if (this != &aa)
		{
			_a = aa._a;
		}
		return *this;
	}

	~A()
	{
		cout << "~A()" << endl;
	}
private:
	int _a;
};
int main()
{
	 自定义类型, new才能调用构造初始化,delete才能调用析构 malloc不再适用
	//A* p1 = (A*)malloc(sizeof(A));//自定义类型malloc出来没有初始化
	p1->_a = 0;//malloc没有构造
	//free(p1);//free不会析构

	 开空间/释放空间,还会调用构造和析构
	//A* p2 = new A;
	//A* p3 = new A(2);//new可以对自定义类型初始化,这里A(2)不是匿名对象

	//delete p2;//delete会析构
	//delete p3;

	//cout << endl;

	//A* p4 = new A[10];//十个对象调用十次构造函数
	A aa1(1);
	A aa2(2);
	A aa3(3);
	A* p4 = new A[10]{aa1, aa2, aa3};//有名对象的方式初始化,三个拷贝,七个默认构造初始化
 //分别用aa1,aa2,aa3拷贝构造初始化,剩余只会调用默认构造,如果没有默认构造会报错

	
	//A* p4 = new A[10]{ 1,2,3,4,5,{6,7}};//new的目的是针对每个对象去调用构造,单参数和多参数均可
   //1,2,3,4,5,隐式类型转换成A,用1,2,3,4,5生成临时对象,
   //临时对象再去拷贝构造,被编译器合二为一,相当于直接调构造
	delete[] p4;//释放掉10个对象,并且每个对象调用析构函数

	return 0;
}
注意:在申请自定义类型的空间时, new 会调用构造函数, delete 会调用析构函数,而 malloc与 free 不会
3.operator new与operator delete函数
operator new 和operator delete不是new和delete的重载,这是库里面写好的两个全局函数,实际是malloc和free的封装, new 在底层调用 operator new 全局函数来申请空间, delete 在底层通过 operator delete 全局 函数来释放空间
#include<stack>
int main()
{
	// operator new->(malloc) + 构造函数
	A* p2 = new A;//new开空间还是用malloc去开的

	// 析构 + operator delete
	delete p2;//operator delete 它delete的是p2指向的空间,析构析构的是A对象上资源的清理

	stack<int>* p3 = new stack<int>;
	delete p3;

	return 0;
}

对于

stack<int>p3 =new stack<int>;
delete p3;

operator new实际也是通过malloc来申请空间,如果malloc申请空间成功就直接返回,否则执行用户提供的空间不足应对措施,如果用户提供该措施就继续申请,否则就抛异常。operator delete最终是通过free来释放空间的。
throw抛异常,捕获用try,catch
下面是两个抛异常的例子:
double Division(int a, int b)
{
	// 当b == 0时抛出异常
	if (b == 0)
		throw "Division by zero condition!";
	else
		return ((double)a / (double)b);
}

void Func()
{
	int len, time;
	cin >> len >> time;
	cout << Division(len, time) << endl;
}

int main()
{
	try 
	{
		Func();
	}
	catch(const char* errmsg)
	{
		cout << errmsg << endl;
	}
	catch (...)
	{
		cout << "unkown exception" << endl;
	}

	return 0;
}

当输入time为0时

struct ListNode
{
	ListNode* _next;
	int _val;

	ListNode(int val)
		:_next(nullptr)
		, _val(val)
	{}
};

void func()
{
	// new失败了,抛异常, 只需要在外层进行捕获就可以,不需要再检查返回值,
	// 异常后程序不会继续往下执行程序,会自动跳到catch处
	ListNode* n1 = new ListNode(1);//new进行malloc,会调用构造函数进行初始化,不需要写buynewnode函数
	ListNode* n2 = new ListNode(2);
	ListNode* n3 = new ListNode(3);

	int* p1 = new int[100 * 1024 * 1024];
	int* p2 = new int[100 * 1024 * 1024];
	int* p3 = new int[100 * 1024 * 1024];
	int* p4 = new int[100 * 1024 * 1024];
	int* p5 = new int[100 * 1024 * 1024];
	int* p6 = new int[100 * 1024 * 1024];

	n1->_next = n2;
	n2->_next = n3;

	delete n1;
	delete n2;
	delete n3;
}

int main()
{
	try
	{
		func();
	}
	catch (const exception& e)
	{
		cout << e.what() << endl;
	}
	return 0;
}

4.newdelete的实现原理

①内置类型
如果申请的是内置类型的空间, new malloc delete free 基本类似,不同的地方是: new/delete 申请和释放的是单个元素的空间,new[] delete[] 申请的是连续空间,而且 new 在申请空间失败时会抛异常, malloc会返回 NULL

②自定义类型

new 的原理
1. 调用 operator new 函数申请空间(malloc)
2. 在申请的空间上执行构造函数,完成对象的构造
delete 的原理
1. 在空间上执行析构函数,完成对象中资源的清理工作
2. 调用 operator delete 函数释放对象的空间
new T[N] 的原理
1. 调用 operator new[] 函数,在 operator new[] 中实际调用 operator new 函数完成 N 个对象空间的申请(只调用一次operator new)
2. 在申请的空间上执行 N 次构造函数
delete[] 的原理
1. 在释放的对象空间上执行 N 次析构函数,完成 N 个对象中资源的清理
2. 调用 operator delete[] 释放空间,实际在 operator delete[] 中调用 operator delete 来释放空间

注意:new/delete,malloc/free,new[]/delete[]一定要匹配使用

#include<iostream>
using namespace std;

class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}

	~A()
	{
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};

//结论:不要错配使用,一定匹配使用,否则结果是不确定
int main()
{
	A* p1 = new A;
	A* p2 = new A[10];
	//44 or 40 多开的四个字节用来存对象个数,方便析构的时候知道调用多少次析构函数
	// 显示写析构就要多开四个字节,没有显示写就不需要
	//free(p2);//释放的位置不对,free不会往前推移
	delete[] p2;//把p2前面的四个字节取出来得到析构的次数,然后取p2后面的对象依次去调用析构 
	//先调析构,再调用operator delete[],operator delete[]调operator delete,operator delete最终调free
	//free的位置为p2前面的四个字节处,这里free会往前推移是因为delete多开了四个字节
	//delete p2;//这是也是因为释放的位置不对(应该为p2前面的四个字节处),delete不会往前推移
	//free(p2);//这里也是释放的位置不对

	//int* p3 = new int[10];  //40
	//free(p3);//内置类型交错使用没什么问题

	return 0;
}

显示写A的析构时,new A[10]开的空间如下:

5.定位new表达式(placement-new)

定位 new 表达式是在 已分配的原始内存空间中调用构造函数初始化一个对象
使用格式:
new (place_address) type 或者 new (place_address) type(initializer-list)
place_address 必须是一个指针, initializer-list 是类型的初始化列表
使用场景:
定位 new 表达式在实际中一般是配合内存池使用。因为内存池分配出的内存没有初始化,所以如果是自定义类型的对象,需要使用new 的定义表达式进行显示调构造函数进行初始化。
int main()
{
	//A* p1 = new A;//这一行等价于  A* p1 = (A*)operator new(sizeof(A)); 和//new(p1)A;//这两行指令
	A* p1 = (A*)operator new(sizeof(A));//malloc和operator new开的不会调用构造,operator new 如果开辟失败会抛异常
	//p1->A(); // 不支持这样显示调用构造
	//new(p1)A;  // 对已有空间,显示调用构造
	new(p1)A(10);  // 对已有空间,显示调用构造,同时初始化

	//A* p1 = pool.alloc(sizeof(A));
	//new(p1)A(10);  // 对已有空间,显示调用构造
	
	// delete p1 等价于下面两行
	p1->~A();//可以显示调用析构
	operator delete(p1);
	
	// new []
	A* p2 = (A*)operator new[](sizeof(A)*10);
	//new(p2)A[10]{1,2,3,4};  // 对已有空间,显示调用构造
	for (int i = 0; i < 10; ++i)
		new(p2 + i)A(i);

	// delete[]
	for (int i = 0; i < 10; i++)
	{
		(p2 + i)->~A();
	}
	operator delete[](p2);
 
	return 0;
}

6.malloc/free new/delete 的区别
malloc/free new/delete 的共同点是:都是从堆上申请空间,并且需要用户手动释放。不同的地方是:
① malloc free 是函数, new delete 是操作符
② malloc 申请的空间不会初始化, new 可以初始化
③ malloc 申请空间时,需要手动计算空间大小并传递, new 只需在其后跟上空间的类型即可, 如果是多个 对象,[] 中指定对象个数即可
④ malloc 的返回值为 void*, 在使用时必须强转, new 不需要,因为 new 后跟的是空间的类型
⑤ malloc 申请空间失败时,返回的是 NULL ,因此使用时必须判空, new 不需要,但是 new 需要捕获异常
⑥  申请自定义类型对象时, malloc/free 只会开辟空间,不会调用构造函数与析构函数,而 new 在申请空间后会调用构造函数完成对象的初始化,delete 在释放空间前会调用析构函数完成空间中资源的清理。
前五点是用法上的不同,第六点是原理上的不同

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1669365.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

整理好的宁夏光伏发电数据集(2007-2020年)

1、包含指标&#xff1a;采样结束时刻、采样起始时刻、时间间隔、气温、方位角、云层不透明度、露点温度、DHI&#xff08;太阳散射辐射指数&#xff09;、DNI&#xff08;太阳直接辐射指数&#xff09;、GHI&#xff08;太阳总水平辐射&#xff09;、GTI&#xff08;固定倾角辐…

06-Fortran基础--Fortran模块化编程

06-Fortran基础--Fortran模块化编程 1 模块的定义和使用2 接口和模块间通信3 模块化编程的优势&#xff1a;4 模块使用示例5 结语 Fortran的模块化编程是一种组织和管理代码的方法&#xff0c;它包括模块的定义和使用、接口和模块间通信以及模块化编程的优势。 1 模块的定义和…

外网如何访问内网?快解析

由于公网IP资源短缺&#xff0c;我们的电脑大多处于内网环境&#xff0c;如何在外网访问内网电脑&#xff0c;成为一个令人头疼的问题&#xff0c;下面我给大家推荐一个非常实用的方法。 1&#xff1a;访问快解析下载安装快解析服务器 2&#xff1a;运行软件&#xff0c;点击“…

匿名管道及其应用

目录 一、什么是匿名管道&#xff1f; 三、创建与使用匿名管道 三、匿名管道的特点 匿名管道的四种情况 匿名管道的五种特性 四、匿名管道的实践应用---进程池 在编程的世界中&#xff0c;匿名管道是一种非常重要的通信机制。今天&#xff0c;让我们一起来深入探讨一下匿…

Spring WebFlux-响应式编程-019

&#x1f917; ApiHug {Postman|Swagger|Api...} 快↑ 准√ 省↓ GitHub - apihug/apihug.com: All abou the Apihug apihug.com: 有爱&#xff0c;有温度&#xff0c;有质量&#xff0c;有信任ApiHug - API design Copilot - IntelliJ IDEs Plugin | Marketplace The Nex…

Redis-发布与订阅

发布与订阅 什么是发布与订阅 Redis 发布订阅 (pub/sub) 是一种消息通信模式&#xff1a;发送者 (pub) 发送消息&#xff0c;订阅者 (sub) 接收消息。 Redis 客户端可以订阅任意数量的频道。 Redis的发布与订阅 客户端订阅频道 当给这个频道发送消息后&#xff0c;消息就会…

Java | Leetcode Java题解之第86题分隔链表

题目&#xff1a; 题解&#xff1a; class Solution {public ListNode partition(ListNode head, int x) {ListNode small new ListNode(0);ListNode smallHead small;ListNode large new ListNode(0);ListNode largeHead large;while (head ! null) {if (head.val < x…

LwIP 之九 详解 UDP RAW 编程、示例、API 源码、数据流

我们最为熟知的网络通信程序接口应该是 Socket。LwIP 自然也提供了 Socket 编程接口,不过,LwIP 的 Socket 编程接口都是使用最底层的接口来实现的。我们这里要学习的 UDP RAW 编程则是指的直接使用 LwIP 的最底层 UDP 接口来直接实现应用层功能。这里先来一张图,对 LwIP 内部…

Java泛型,这一篇就够了

1. 为什么我们需要泛型 现实世界中我们经常遇到这样一种情况&#xff0c;同一个算法/数据结构适用于多种数据类型&#xff0c;我们不想为每一种类型单独写一个实现。举个例子来说&#xff0c;我们有一个Pair类型&#xff0c;存储key、value两个字段&#xff0c;代码如下。如果…

机器视觉技术精准测量点胶高度与宽度:提升生产质量的新利器

在现代化生产线中&#xff0c;点胶工艺是许多产品制造过程中的重要环节。点胶的高度和宽度直接影响到产品的质量和性能。传统的测量方法往往效率低下、精度不高&#xff0c;而机器视觉技术的引入&#xff0c;为点胶高度和宽度的测量带来了革命性的变革。本文将探讨机器视觉如何…

如何解决pycharm在HTML文件中注释快捷键出错的问题(HTML注释规则出错)

文章目录 💢 问题 💢🏡 演示环境 🏡💯 解决方案 💯⚓️ 相关链接 ⚓️💢 问题 💢 你是否在编程时遇到过这样的烦恼?当你正专注地编写HTML代码,想要快速注释掉某部分内容时,却发现PyCharm的注释快捷键失灵了(没有使用正确的注释格式)。这不仅打断了你的工作…

目标检测——DAGM2007纹理背景缺陷数据集

引言 亲爱的读者们&#xff0c;您是否在寻找某个特定的数据集&#xff0c;用于研究或项目实践&#xff1f;欢迎您在评论区留言&#xff0c;或者通过公众号私信告诉我&#xff0c;您想要的数据集的类型主题。小编会竭尽全力为您寻找&#xff0c;并在找到后第一时间与您分享。 …

Puppeteer的基本使用及多目标同时访问

文章目录 一、安装 puppeteer 并更改默认缓存路径1、更改 Puppeteer 用于安装浏览器的默认缓存目录2、安装 puppeteer3、项目结构目录 二、基本使用1、启动浏览器并访问目标网站2、生成截图3、生成 PDF 文件4、获取目标网站 html 结构并解析5、拦截请求6、执行 JavaScript7、同…

(Java)心得:LeetCode——18.四数之和

一、原题 给你一个由 n 个整数组成的数组 nums &#xff0c;和一个目标值 target 。请你找出并返回满足下述全部条件且不重复的四元组 [nums[a], nums[b], nums[c], nums[d]] &#xff08;若两个四元组元素一一对应&#xff0c;则认为两个四元组重复&#xff09;&#xff1a; …

【CTF Web】QSNCTF 文章管理系统 Writeup(SQL注入+Linux命令+RCE)

文章管理系统 题目描述 这是我们的文章管理系统&#xff0c;快来看看有什么漏洞可以拿到FLAG吧&#xff1f;注意&#xff1a;可能有个假FLAG哦 解法 SQL 注入。 ?id1 or 11 --取得假 flag。 爆库名。 ?id1 union select 1,group_concat(schema_name) from information_sch…

反调试 - ptrace占坑

ptrace占坑 这是ptrace占坑的标志。 ptrace可以让一个进程监视和控制另一个进程的执行,并且修改被监视进程的内存、寄存器等,主要应用于调试器的断点调试、系统调用跟踪等。 在Android app保护中,ptrace被广泛用于反调试。一个进程只能被ptrace一次,如果先调用了ptrace方法,那…

AI办公自动化-用kimi把PDF文档按照章节自动拆分成多个docx文档

一个PDF文档很长&#xff0c;希望按照章节分拆成小文档。 可以在kimichat中输入提示词&#xff1a; 你是一个Python编程专家&#xff0c;要完成一个编写拆分PDF文档的Python脚本的任务&#xff0c;具体步骤如下&#xff1a; 打开文件夹&#xff1a;D:\chatgpt图书\图书1&…

爬虫工作量由小到大的思维转变---<第七十三章 > Scrapy爬虫详解一下HTTPERROE的问题

前言&#xff1a; 在我们的日常工作中&#xff0c;有时会忽略一些工具或组件的重要性&#xff0c;直到它们引起一连串的问题&#xff0c;我们才意识到它们的价值。正如在Scrapy框架中的HttpErrorMiddleware&#xff08;HTTP错误中间件&#xff09;一样&#xff0c;在开始时&…

JVM调优:JVM中的垃圾收集器详解

JVM&#xff08;Java Virtual Machine&#xff09;垃圾收集器是Java虚拟机中的一个重要组件&#xff0c;负责自动管理Java堆内存中的对象。垃圾收集器的主要任务是找出那些不再被程序使用的对象&#xff0c;并释放它们占用的内存&#xff0c;以便为新的对象分配空间。这个过程被…

ES6 笔记02

目录 01 对象的扩展 02 链判断运算符 03 属性名表达式 04 Symbol 类型 05 set集合的使用 06 Map集合的使用 07 Set集合和Map集合的遍历方式 08 iterator迭代器 01 对象的扩展 对象的属性和方法的简洁表示: es6允许在字面量对象里面直接写变量名 let 变量名变量值; let …