【C++初阶】C/C++内存管理（没有对象那就new一个）

已于 2024-02-07 16:06:26 修改
阅读量478 收藏 9
点赞数 9
分类专栏： C++ 文章标签： c++ c语言 笔记 学习 面试
于 2023-06-04 15:33:22 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Weraphael/article/details/130964075
版权

在这里插入图片描述

👦个人主页：@Weraphael
✍🏻作者简介：目前学习C++和算法
✈️专栏：C++航路
🐋 希望大家多多支持，咱一起进步！😁
如果文章对你有帮助的话
欢迎 评论💬 点赞👍🏻 收藏 📂 加关注✨

目录

一、C/C++内存分布

首先回顾，常见的数据是如何在内存中存储的：

在这里插入图片描述

接着可以来看看以下的题目：

在这里插入图片描述

【选择题】

选项: 
A.栈(局部变量)  
B.堆  
C.静态区(全局变量和静态变量)  
D.代码段(常量区)

1. a在哪里？ 
2. static_b在哪里？ 
3. static_c在哪里？
4. d在哪里？
5. arr1在哪里？
6. arr2 在哪里？
7. *arr2在哪里？
8. arr3在哪里？
9. *arr3在哪里？
10. ptr1在哪里？
11. *ptr1在哪里？

【答案 + 解析】

在这里插入图片描述

【填空题】

1. sizeof(arr1) = ____;
2. sizeof(arr2) = ____; 
3. sizeof(arr3) = ____; 
4. sizeof(ptr1) = ____;
5. strlen(arr2) = ____;
6. strlen(arr3) = ____;

【答案+ 解析】

在这里插入图片描述

【问答题】

sizeof和strlen区别？

  • strlen函数用于计算字符串的长度，只统计字符串中字符的数量，不包括结尾的空字符。
  • 而sizeof操作符用于计算变量或类型的大小，一般单位为字节，通常用于计算内存大小。

二、C语言中动态内存管理

往期回顾：[C语言中动态内存管理]

#include <iostream>
#include <stdlib.h>
using namespace std;

int main()
{
	int* p1 = (int*)malloc(sizeof(int));
	free(p1);

	int* p2 = (int*)calloc(4, sizeof(int));
	int* p3 = (int*)realloc(p2, sizeof(int) * 10);
	free(p3);

	return 0;
}
  • 问：这里需要free(p2)吗？

答案当然是不需要的。realloc功能是在已有的内存空间扩容，然而扩容会存在原地扩容和异地扩容(当原有空间之后没有足够大的空间)。但是扩容后，返回的都是调整之后的内存的起始地址，因此只要释放了p3，p2自然而然就被释放掉了。

2.1 面试题

  1. malloc/calloc/realloc的区别？
  • malloc和calloc都是向内存申请空间，不同的是malloc分配的内存区域中的初始值是随机的，而calloc会将分配的内存区域中的初始值全部初始化为0
  • realloc可以扩大原有的内存空间，而扩容的方式有2种，一种是原地扩容(在已有的内存空间后扩容)；还有一种是异地扩容(当原有空间之后没有足够大的空间)，它的扩容方式是：它会在内存空间重新开辟一块空间，然后把原有的内存空间中的数据复制到新的空间，最后再释放原有的内存空间
  1. malloc的实现原理
  1. 维护一个空闲内存块链表，其中每个内存块都记录了其大小和是否已被分配。
  2. 当程序调用malloc函数请求分配一块内存时，遍历空闲内存块链表，找到第一个大小足够的内存块并将其从链表中移除。
  3. 如果找到的内存块比请求的内存大，则将其分裂成两个部分，一个用于满足请求，另一个用于将来的分配请求。
  4. 如果没有找到足够大小的内存块，则向操作系统请求更多的内存。
  5. 将已分配的内存块的大小和状态记录下来，并将其返回给程序。

需要注意的是，malloc的实现可能因操作系统和编译器而异，但其基本原理都是以上述步骤为基础的。同时，为了避免内存泄漏和内存碎片化等问题，malloc通常还会实现一些额外的功能，如内存池、缓存、对齐等。

三、C++内存管理方式

由于C++是兼容C语言的，因此C语言内存管理方式在C++中可以继续使用，但有些地方就无能为力，而且使用起来比较麻烦，因此C++又提出了自己的内存管理方式：通过new和delete操作符进行动态内存管理。

3.1 new/delete操作内置类型

在这里插入图片描述

#include <iostream>
using namespace std;

int main()
{
	// C语言版
	int* p1 = (int*)malloc(sizeof(int));
	free(p1);

	// C++版 new + delete
	// 用法： new + 类型
	int* p2 = new int;
	delete p2; // 释放


	// 开辟40个字节，也就是10个整型
	// C语言版
	int* p3 = (int*)malloc(sizeof(int) * 10);
	free(p3);

	// C++版
	int* p4 = new int[10];
	delete[] p4;

	return 0;
}

当然，C++中的new还能对空间进行初始化

#include <iostream>
using namespace	std;

int main()
{

	int* p4 = new int[10]{ 1, 2 ,3 };
	for (int i = 0; i < 10; i++)
	{
		cout << p4[i] << ' ';
	}
	cout << endl;
	delete[] p4;

	int* p5 = new int(10);

	cout << *p5 << endl;
	delete p5;

	return 0;
}

【程序结果】

在这里插入图片描述

  • p4是申请10个int的数组，对于数组要用{}初始化；p5是申请1个数组，初始化为10，用()初始化
  • 若不进行初始化，new和malloc一样，开辟的空间都是 随机值
    在这里插入图片描述
  • new和delete操作符需要 匹配 起来使用，不能与malloc和free混用

3.2 new和delete操作自定义类型

new/delete和malloc/free最大区别是：new/delete对于自定义类型除了开空间和释放空间，还会调用构造函数（new）和析构函数（delete）。(这点非常重要！！！)

#include <iostream>
#include <stdlib.h>
using namespace std;

struct ListNode
{
public:
    // 构造函数
    ListNode(int x)
        :_val(x)
        , _next(nullptr)
    {
        cout << "调用了构造函数" << endl;
    }
    // 析构函数
    ~ListNode()
    {
        cout << "调用析构函数" << endl;
    }

    int _val;
    struct ListNode* _next;
};

struct ListNode* BuyListNode(int x)
{
    // 单纯开空间
    // C语言版太太太长了
    struct ListNode* newnode = (struct ListNode*)malloc(sizeof(struct ListNode));
    if (newnode == nullptr)
        return nullptr;
    newnode->_next = nullptr;
    newnode->_val = x;

    return newnode;
}

int main()
{
    // C语言版
    struct ListNode* n1 = BuyListNode(1);
    struct ListNode* n2 = BuyListNode(2);
    struct ListNode* n3 = BuyListNode(3);

    // 开空间+调用构造函数初始化
    ListNode* nn1 = new ListNode(1);
    ListNode* nn2 = new ListNode(2);
    ListNode* nn3 = new ListNode(3);

    delete nn1;
    delete nn2;
    delete nn3;

    return 0;
}

【调试结果 + 程序运行结果】

在这里插入图片描述

在这里插入图片描述

四、operator new与operator delete函数（重点）

4.1 介绍operator new与operator delete函数

new和delete 是用户进行动态内存申请和释放的 操作符，operator new和operator delete 是系统提供的 全局函数，new在底层调用operator new全局函数来申请空间，delete在底层通过operator delete全局函数来释放空间。注意：不是对new和delete重载。

以下是operator new和operator new的源码

/*
operator new：该函数实际通过malloc来申请空间，当malloc申请空间成功时直接返回；申请空间失败，
尝试执行空 间不足应对措施，如果改应对措施用户设置了，则继续申请，否则抛异常。
*/
void* __CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{
	// try to allocate size bytes
	void* p;
	while ((p = malloc(size)) == 0)
		if (_callnewh(size) == 0)
		{
			// report no memory
			// 如果申请内存失败了，这里会抛出bad_alloc 类型异常
			static const std::bad_alloc nomem;
			_RAISE(nomem);
		}
	return (p);
}
/*
operator delete: 该函数最终是通过free来释放空间的
*/
void operator delete(void* pUserData)
{
	_CrtMemBlockHeader* pHead;
	RTCCALLBACK(_RTC_Free_hook, (pUserData, 0));
	if (pUserData == NULL)
		return;
	_mlock(_HEAP_LOCK); /* block other threads */
	__TRY
		/* get a pointer to memory block header */
		pHead = pHdr(pUserData);
	/* verify block type */
	_ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));
	_free_dbg(pUserData, pHead->nBlockUse);
	__FINALLY
		_munlock(_HEAP_LOCK); /* release other threads */
	__END_TRY_FINALLY
		return;
}
/*
free的实现
*/
#define free(p) _free_dbg(p, _NORMAL_BLOCK)
// 是个宏

通过以上两个全局函数，我们发现：operator new函数本质是封装了malloc。operator delete本质是封装了free。

以下是operator new和operator delete的使用方法：

// operator new和operator new是库函数提供的
// 因此可以直接使用
// 用法和malloc、free是一样的
#include <iostream>
using namespace std;

int main()
{
	int* p1 = (int*)operator new(sizeof(int));
	operator delete(p1);

	return 0;
}

通过以上代码我们发现：operator new和operator delete的用法和功能都分别与malloc、free一样。它们都不会去调用构造函数和析构函数，不过还是有区别的：

  1. operator new不需要检查开辟空间的合法性（不需要特别判断p1的返回值）。
  2. operator new开辟空间失败就抛异常（对于面向对象语言处理失败，不喜欢用返回值，建议用抛异常）。
    在这里插入图片描述

4.2 new和delete的底层原理

  • new的底层原理就是转换成调用operator new + 构造函数，我们可以通过查看反汇编来验证：
#include <iostream>
using namespace	std;

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

int main()
{
	A* a1 = new A;
	delete a1;

	return 0;
}

【反汇编】

在这里插入图片描述

  • 同样的，delete的底层原理：转换成调用operator delete + 析构函数

【反汇编】

在这里插入图片描述

因此，我们就可以得到new、operator new、malloc和delete、operator delete、free之间的关系：

在这里插入图片描述

从这也说明new和delete以及malloc和free一定要配对使用

五、new和delete的实现原理

5.1 内置类型

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

5.2 自定义类型

  • new的原理

调用operator new函数申请空间 + 调用构造函数。

  • delete的原理

执行析构函数，完成对象中资源的清理工作 + 调用operator delete函数释放对象。

  • new 类型[数组元素个数]的原理
  1. 调用operator new[]函数，在operator new[]中实际调用operator new函数完成N个对象空间的申请
  2. 在申请的空间上执行N次构造函数
  • delete[]的原理
  1. 在释放的对象空间上执行N次析构函数，完成N个对象中资源的清理
  2. 调用operator delete[]释放空间，实际在operator delete[]中调用operator delete来释放空间

六、定位new表达式(placement-new) （了解）

  • 用途

定位new表达式是 在已分配的原始内存空间中调用构造函数初始化一个对象。就比如malloc，对于自定义类型，它不会去调用构造函数，但是使用定位new可以显示调用

  • 使用格式
  1. new(指针) + 类型
  2. new(指针) type(类型的初始化列表)
class A
{
public:
    // 构造函数
    A(int a = 0)
        : _a(a)
    {
        std::cout << "construct" << std::endl;
    }
    // 析构函数
    ~A()
    {
        std::cout << "clear" << std::endl;
    }

private:
    int _a;
};

int main()
{
    // p1指向一块内存空间，但空间未被初始化
    A *p1 = (A *)malloc(sizeof(A));

    // 定位new表达式：new(指针) + 类型
    // 注意：如果A类的不是默认构造函数有参数时，此处需要传参
    new (p1) A;

    // malloc不会自动调用析构函数
    // 调用析构函数
    p1->~A();
    // p1是malloc出来的
    // 因此要用free来释放
    free(p1);

    return 0;
}
  • 常见使用场景

定位new表达式在实际中一般是 配合内存池使用（内存池知识点）。因为内存池分配出的内存没有初始化，所以如果是自定义类型的对象，需要使用new的定义表达式进行显示调构造函数进行初始化。

七、常见面试题

7.1 malloc/free和new/delete的区别

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

7.2 内存泄漏

7.2.1 什么是内存泄漏

内存泄漏指：因为疏忽或错误造成程序未能释放已经不再使用的内存的情况。内存泄漏并不是指内存在物理上的消失，而是应用程序分配某段内存后，因为设计错误，失去了对该段内存的控制，因而造成了内存的浪费。

7.2.2 内存泄漏的危害

长期运行的程序出现内存泄漏，影响很大，如操作系统、后台服务等等，出现内存泄漏会导致响应越来越慢，最终卡死。

7.2.3 内存泄漏分类（了解）

C/C++程序中一般我们关心两种方面的内存泄漏：

  • 堆内存泄漏(Heap leak)

堆内存指的是程序执行中依据须要分配通过malloc/calloc/realloc/new等从堆中分配的一块内存，用完后必须通过调用相应的free或者delete删掉。假设程序的设计错误导致这部分内存没有被释放，那么以后这部分空间将无法再被使用，就会产生堆内存泄漏

  • 系统资源泄漏

指程序使用系统分配的资源，比方套接字、文件描述符、管道等没有使用对应的函数释放掉，导致系统资源的浪费，严重可导致系统效能减少，系统执行不稳定。

7.2.4 如何避免内存泄漏

  1. 事前预防型。如 智能指针 等。
  2. 事后查错型。如泄漏检测工具。

1. linux下内存泄漏检测工具
3. 在windows下使用第三方工具：VLD工具说明
3. 其他工具：内存泄漏工具比较

没有难学的知识~
关注
专栏目录
深入C/C++内存管理：手动控制内存的艺术
08-13
在C/C++中手动管理内存是一项基础而重要的技能。通过理解内存分配和释放的机制，使用智能指针减少错误，程序员可以编写出更稳定、更高效的代码。本文通过介绍C/C++中的内存管理方法和最佳实践，希望能够帮助读者掌握...
深入理解C++中的new/delete和malloc/free动态内存管理及区别介绍
09-07
在C++编程中，动态内存管理是至关重要的一个部分，涉及到程序运行时的内存分配与释放。本篇文章将深入探讨C++中的`new/delete`和C语言中的`malloc/free`这两种动态内存管理方式，以及它们之间的区别。 首先，`...
C++用new创建对象和不用new创建对象的区别解析
01-21
我们都知道C++中有三种创建对象的方法，如下： 代码如下:#include <iostream>using namespace std;...}第一种和第二种没什么区别，一个隐式调用，一个显式调用，两者都是在进程虚拟地址空间中的栈中分配内存，而第三
C语言/C++实现图书管理系统
05-27
本项目“C语言/C++实现图书管理系统”是一个基础的软件开发实践，旨在帮助学习者掌握这两种语言的基本语法以及面向对象编程的概念。下面我们将详细探讨这个系统中的各个功能以及相关的技术要点。 首先，我们要理解...
老生常谈C/C++内存管理
08-30
C/C++内存管理详解 C/C++内存管理是每个程序员都必须了解和掌握的知识点。了解C/C++的内存管理机制，可以帮助程序员编写高效、安全、可靠的程序。本文将对C/C++内存管理进行详细的介绍，包括内存分配方式、内存错误...
编译器、IDE对C/C++新标准的支持
编程语言技巧经验分享
11-08 1161
很遗憾的是，微软VC++对C99的支持直到VS2015才基本完全支持，在VS2012之前，仅仅支持C89. 也正是2015年之前，这么多人骂微软并纷纷转移到其它C语言编译器的原因。VS2019开始才正式宣布支持C11/C17.对于C++标准，VS2013开始支持C++11，VS2017支持C++17, VS2019支持C++20, 显然，微软更偏爱C++.
STL set
hls0611的博客
11-09 246
练习题：P1059 [NOIP2006 普及组] 明明的随机数。
C 学习（4）
search7的博客
11-05 886
C语言学习，每个模块来自工作中的？？？
C++_用 using 语句继承基类的构造函数
学海无涯
11-09 256
**默认情况下**，派生类会继承基类的所有成员，包括数据成员和函数成员，但不会继承基类的**构造函数和析构函数**，因为构造函数和析构函数的作用是创建和销毁对象，派生类通常需要有自己的构造和析构的逻辑。C++11 引入了using语句，使得派生类可以通过 using 关键字使用基类的构造函数，更方便地复用基类的构造逻辑。
GitLab 提交 C++ 技巧
nbspzs的专栏
11-08 381
在 GitLab 中提交 C++ 代码时，通常应只提交 源代码文件（例如 .cpp、.h）和 CMake 配置文件（例如 CMakeLists.txt），而不要提交通过 CMake 编译后的中间文件或构建产物。这样，当其他开发者克隆你的项目后，他们可以在自己的机器上使用 cmake 构建项目，而不需要下载编译产物。2. 跨平台兼容性：不同的开发者和平台可能会生成不同的编译产物，提交这些文件会造成不必要的冲突和问题。1. 在 .gitignore 文件中忽略编译生成的文件和目录。
C++——智能指针
Wangx_wang的博客
11-12 597
介绍了几种智能指针的不同和实现思路以及循环引用的问题
C++builder中的人工智能（15）：C++高斯误差线性单元（GELU）
caridle的专栏
11-08 715
激活函数（phi()），也称为转移函数或阈值函数，它根据净输入函数的给定值（sum）确定激活值（a = phi(sum)）。在这里，sum是它们权重中的信号之和，激活函数是这个和的新值，具有给定的函数或条件。换句话说，激活函数是将所有加权信号的和转换为该信号的新激活值的方法。有不同类型的激活函数，通常使用的是线性（恒等）、双极性和逻辑（sigmoid）函数。在C++（以及大多数编程语言）中，你可以创建自己的激活函数。注意，sum是净输入函数的结果，它计算所有加权信号的和。我们将使用这些作为输入函数的结果。
2024年华为OD机试真题-查找充电设备-C++-OD统一考试（E卷）
面试高手的博客
11-08 331
某个充电站，可提供n个充电设备只，每个充电设备均有对应的输出功率任意个充电设备组合的输出功率总和，均构成功率集合P的1个元素功率集合P的最优元素，表示最接近充电站最大输出功率pmax 的元素。每一题都含有详细的解题思路和代码注释，精编c++、JAVA、Python三种语言解法。当充电设备输出功率50、20、20组合时，其输出功率总和为90，最接近充电站最大充电输出功率，因此最优元素为90。所有充电设备的输出功率组合，均大于充电站最大充电输出功率30，此时最优元素值为0。第 2 行为每个充电设备的输出功率。
【Effective C++】阅读笔记5
gma999的博客
11-07 919
Effective C++ 面向对象和模板相关章节
C++初阶——list
最新发布
qq_55890817的博客
11-12 619
list是一个可以在序列的任意位置进行插入和删除的容器，并且可以进行双向迭代。list的底层是一个双向链表，双向链表可以将它们包含的每个元素存储在不同且不相关的存储位置。通过将每个元素与前一个元素的链接和后一个元素的链接关联起来，内部保持了顺序。
【C】无类型指针及函数指针
weixin_74154742的博客
11-07 973
（3）void* 通常用在函数的参数中，给函数参数带来很大的灵活性，当函数参数是void*，可以接受任意数据地址，但无法判断是什么类型，可以加个类型判断。（2）可以其他类型赋给无类型指针，但是无类型指针赋给有类型指针会警号；4.函数指针，定义一个数组，定义一个数组，里面每个元素存放一个函数指针。
C转C++学习笔记--基础知识摘录总结
汘荨的博客
11-07 931
C++ 中的 vector 是一种序列容器，它允许你在运行时动态地插入和删除元素。vector 是基于数组的数据结构，但它可以自动管理内存，这意味着你不需要手动分配和释放内存。与 C++ 数组相比，vector 具有更多的灵活性和功能，使其成为 C++ 中常用的数据结构之一。vector 是 C++ 标准模板库（STL）的一部分，提供了灵活的接口和高效的操作。基本特性:动态大小vector的大小可以根据需要自动增长和缩小。连续存储vector中的元素在内存中是连续存储的，这使得访问元素非常快速。
2024年华为OD机试真题-光伏场地建设规划 -C++-OD统一考试（E卷）
面试高手的博客
11-11 190
第一行输入为调研的地区长，宽，以及准备建设的电站【长宽相等，为正方形】的边长，最低要求的发电量，之后每行为调研区域每平方公里的发电量。表示调研的区域大小为长2宽5的矩形，我们要建设的电站的边长为 2，建设电站最低发电量为 6。输入长为2，宽为5的场地，建设的场地为正方形场地，边长为1，要求场地的发电量大于等于6。输入长为2，宽为5的场地，建设的场地为正方形场地，边长为1，要求场地的发电量大于等于0。输入长为2，宽为5的场地，建设的场地为正方形场地边长为2，要求场地的发电量大于等于6。
扫雷游戏代码分享(c基础)
lb3636363636的博客
11-11 1491
创建两个.c 一个.h。
C/C++笔试面试精华：动态内存管理与new/delete详解
相比之下，`malloc`和`free`是C/C++标准库函数，主要用于底层内存管理，但不支持构造/析构函数的自动执行。 2. **`delete`与`delete[]`的区别**: - `delete`仅作用于单个对象，调用一次析构函数。例如，`delete ...
评论 7
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值