C++(6)内存管理

news/2025/3/3 10:57:44/

一.C/C++内存分布

首先我了解一下C/C++中程序内存区域的划分

以下就是大致的图形

那么各区域是用来干嘛的呢?

1. 代码区(Text Segment)

  • 作用:存放编译后的机器指令(即程序的执行代码)。

  • 特点

    • 只读(防止程序被意外修改)。

    • 程序启动时由操作系统加载到内存。

    • 多个运行实例共享同一份代码区(节省内存)。

2. 常量区(Constant Data Segment)

  • 作用:存放常量数据(如字符串常量、const全局变量)。

  • 示例

    const int MAX = 100;        // 全局常量(可能在常量区)
    char* str = "Hello";        // 字符串"Hello"存储在常量区
  • 特点

    • 只读,修改会导致段错误(如尝试修改str[0] = 'h'会崩溃)。

    • 生命周期与程序一致。

3. 全局/静态存储区(Global/Static Segment)

分为两部分:

  • 数据段(Data Segment):存放已初始化的全局变量和静态变量

    int global = 5;             // 已初始化的全局变量(数据段)
    static int s_var = 10;      // 已初始化的静态变量(数据段)
  • BSS段(Block Started by Symbol):存放未初始化的全局变量和静态变量

    int uninit_global;          // 未初始化的全局变量(BSS段,默认值为0)
    static int uninit_static;   // 未初始化的静态变量(BSS段,默认值为0)
  • 特点

    • 程序启动时分配,结束时释放。

    • BSS段变量默认初始化为0(或NULL)。

4. 堆区(Heap)

  • 作用:用于动态内存分配(如malloc/new)。

  • 示例

    int* arr = (int*)malloc(10 * sizeof(int));  // 堆内存分配(C)
    int* ptr = new int[10];                     // 堆内存分配(C++)
  • 特点

    • 手动申请和释放(free/delete),忘记释放会导致内存泄漏

    • 空间较大,但分配和释放效率较低。

    • 内存从低地址向高地址增长。

5. 栈区(Stack)

  • 作用:存放局部变量函数参数返回地址等。

  • 示例

    void func() {int a = 10;            // 局部变量(栈区)char str[] = "Stack";  // 字符数组(栈区)
    }
  • 特点

    • 由编译器自动分配和释放(函数结束时栈帧弹出)。

    • 空间有限(默认约几MB),过度使用会导致栈溢出(如递归过深)。

    • 内存从高地址向低地址增长。

例题导入:

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";
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);
}
1. 选择题:
选项: A.栈 B.堆 C.数据段(静态区) D.代码段(常量区)
globalVar在哪里?____
staticGlobalVar在哪里?____
staticVar在哪里?____
localVar在哪里?____
num1 在哪里?____
char2在哪里?____
*char2在哪里?___
pChar3在哪里?____
*pChar3在哪里?____
ptr1在哪里?____
*ptr1在哪里?____

由上述所学:

1. 又叫堆栈 -- 非静态局部变量 / 函数参数 / 返回值等等,栈是向下增长的。
2. 内存映射段 是高效的 I/O 映射方式,用于装载一个共享的动态内存库。用户可使用系统接口
创建共享共享内存,做进程间通信。( Linux 课程如果没学到这块,现在只需要了解一下)
3. 用于程序运行时动态内存分配,堆是可以上增长的。
4. 数据段 -- 存储全局数据和静态数据。
5. 代码段 -- 可执行的代码 / 只读常量

二. C语言中动态内存管理方式:malloc/calloc/realloc/free

1. malloc/calloc/realloc的区别?

1. malloc

  • 功能:分配指定字节数的未初始化内存。

  • 语法

    void* malloc(size_t size);
  • 特点

    • 分配的内存是未初始化的,内容为随机值。

    • 参数为所需内存的总字节数(如 10 * sizeof(int))。

2. calloc

  • 功能:分配指定数量和大小的内存块,并将其初始化为零。

  • 语法

    void* calloc(size_t num, size_t size);
  • 特点

    • 分配的内存会自动初始化为零

    • 参数分为元素数量(num)和单个元素大小(size)。

    • 适合为数组或结构体分配内存。

3. realloc

  • 功能:调整已分配内存块的大小(扩大或缩小)。

  • 语法

    void* realloc(void* ptr, size_t new_size);
  • 特点

    • 若 ptr 为 NULL,行为等同于 malloc(new_size)

    • 若 new_size 为 0,行为等同于 free(ptr)(但可能返回 NULL)。

    • 可能移动内存到新位置,原指针失效,需使用返回值作为新指针。

    • 旧数据会被保留到新内存的最小范围(若缩小则截断)。

对比总结

特性malloccallocrealloc
初始化未初始化(随机值)初始化为零保留旧数据(若扩展)
参数总字节数(size元素数量 × 元素大小原指针 + 新字节数
典型用途通用内存分配数组或结构体的零初始化动态调整已分配内存大小
内存安全需手动初始化自动清零需检查指针是否移动

使用注意事项

  1. 内存泄漏:分配后务必用 free() 释放。

  2. 空指针检查:分配失败时返回 NULL,需显式处理。

  3. realloc陷阱

    • 不要直接覆盖原指针:ptr = realloc(ptr, size) 可能导致内存泄漏(若失败)。

    • 正确做法:使用临时指针接收返回值,确认成功后再更新原指针。

示例代码:三者的组合使用

#include <stdio.h>
#include <stdlib.h>int main() {// 使用 calloc 分配并初始化int* arr = (int*)calloc(5, sizeof(int));if (arr == NULL) exit(1);// 修改数据for (int i = 0; i < 5; i++) arr[i] = i;// 使用 realloc 扩展内存int* new_arr = (int*)realloc(arr, 10 * sizeof(int));if (new_arr == NULL) {free(arr); // 释放原内存exit(1);}arr = new_arr;// 使用 malloc 分配额外内存int* temp = (int*)malloc(3 * sizeof(int));if (temp == NULL) {free(arr);exit(1);}// 释放所有内存free(arr);free(temp);return 0;
}

2. malloc的实现原理?

【CTF】GLibc堆利用入门-机制介绍_哔哩哔哩_bilibili

三. C++内存管理方式

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

3.1 new/delete操作内置类型

void Test()
{// 动态申请一个int类型的空间int* ptr4 = new int;// 动态申请一个int类型的空间并初始化为10int* ptr5 = new int(10);// 动态申请10个int类型的空间int* ptr6 = new int[3];delete ptr4;delete ptr5;delete[] ptr6;
}

注意:申请和释放单个元素的空间,使用new和delete操作符,申请和释放连续的空间,使用
new[ ]和delete[ ],注意:匹配起来使用。

3.2 newdelete操作自定义类型

class A
{
public:
A(int a = 0)
: _a(a)
{
cout << "A():" << this << endl;
}
~A()
{
cout << "~A():" << this << endl;
}
private:
int _a;
};int main()
{// new/delete 和 malloc/free最大区别是 new/delete对于【自定义类型】除了开空间
还会调用构造函数和析构函数A* p1 = (A*)malloc(sizeof(A));A* p2 = new A(1);free(p1);delete p2;// 内置类型是几乎是一样的int* p3 = (int*)malloc(sizeof(int)); // Cint* p4 = new int;free(p3);delete p4;A* p5 = (A*)malloc(sizeof(A)*10);A* p6 = new A[10];free(p5);delete[] p6;return 0;
}

注意:在申请自定义类型的空间时,new会调用构造函数,delete会调用析构函数,而malloc与

free不会
//当A有默认构造的时候
A* p1=new A(1);
A* p2=new A[3]{1,2,3}
//隐式类型转换+编译器优化=直接构造

3.3new可间接使用变长数组

   
int* p = new int[n];

四. operator newoperator delete函数

4.1 operator new operator delete 函数
new和delete是用户进行动态内存申请和释放的操作符operator new 和operator delete
系统提供的全局函数new在底层调用operator new全局函数来申请空间,delete在底层通过
operator delete全局函数来释放空间。
operator new 实际也是通过malloc来申请空间,如果
malloc申请空间成功就直接返回,否则执行用户提供的空间不足应对措施,如果用户提供该措施
就继续申请,否则就抛异常。operator delete 最终是通过free来释放空间的

五. newdelete的实现原理

5.1 内置类型

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

5.2 自定义类型

new的原理
        1. 调用operator new函数申请空间
        2. 在申请的空间上执行构造函数,完成对象的构造
delete的原理
        1. 在空间上执行析构函数,完成对象中资源的清理工作
        2. 调用operator delete函数释放对象的空间
new T[N]的原理
        1. 调用operator new[]函数,在operator new[]中实际调用operator new函数完成N个对
        象空间的申请
        2. 在申请的空间上执行N次构造函数
delete[]的原理
        1. 在释放的对象空间上执行N次析构函数,完成N个对象中资源的清理
        2. 调用operator delete[]释放空间,实际在operator delete[]中调用operator delete来释
        放空间
5.3new开空间的实际操作
若A的大小为8个字节
A* p=new A[10];
delete[] p;

new会开84个空间,前4个字节存“[ ]”内的值,以用于delete[ ]析构时的次数,但是返回的指针是第一个数的开始,不会受这4个字节影响。

A* p=new A[10];
delete p;

这个代码是错误的,原因就是

1.析构的次数不够-->内存泄漏

2.析构的位置也不对

(如果没有析构函数就不会报错,并且只会开80个字节)

而对内置类型就没问题,不用调用析构函数。

int* p=new int[10];
delete p;

六. malloc/free和new/delete的区别

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

http://www.ppmy.cn/news/1576272.html

相关文章

Pytorch实现之结合mobilenetV2和FPN的GAN去雾算法

简介 简介:该论文提出了一种基于特征金字塔网络(FPN)的生成对抗网络(GAN)单幅图像去雾算法。 该方法是一种端到端图像去雾方法,避免了对物理模型的依赖。 生成器以MobileNet-V2为骨干网络,采用FPN结构提高图像的特征利用率。鉴别器是常规架构,损失函数也是常规函数。 …

蓝桥杯 门牌制作

1.门牌制作 - 蓝桥云课 门牌制作 题目描述 本题为填空题&#xff0c;只需要算出结果后&#xff0c;在代码中使用输出句将所填结果输出即可。 小蓝要为一条街的住户制作门牌。 这条街一共有2020位住户&#xff0c;门牌号从1到2020编号。 小蓝制作门牌的方法是先制作0到9这…

一个使用ALIGNN神经网络对材料性能预测的深度学习案例解读

案例&#xff1a;使用更先进的图神经网络&#xff08;ALIGNN&#xff09;结合Materials Project API进行材料带隙预测 在这个案例中&#xff0c;我们将使用一种更先进且性能更优的图神经网络模型——ALIGNN&#xff08;Atomistic Line Graph Neural Network&#xff09;&#…

解锁高效开发新姿势:Trae AI编辑器深度体验

解锁高效开发新姿势&#xff1a;Trae AI 编辑器深度体验 在软件开发领域&#xff0c;效率就是生命。字节跳动新推出的 AI 编辑器 Trae&#xff0c;就像一把神奇的钥匙&#xff0c;为开发者打开了高效开发的大门。最近我深入体验了 Trae&#xff0c;今天就来和大家分享一下使用…

React生态、Vue生态与跨框架前端解决方案

React生态系统 1 基础框架 React.js 是一个用于构建UI的JavaScript库。 2 应用框架 Next.js 是基于React.js的完整应用框架。主要负责应用如何工作&#xff1a; 应用架构&#xff1a;路由系统、页面结构渲染策略&#xff1a;服务端渲染(SSR)、静态生成(SSG)、客户端渲染性…

机器分类的基石:逻辑回归Logistic Regression

机器分类的基石&#xff1a;逻辑回归Logistic Regression 逻辑回归核心思想总结 1. 核心原理与改进 问题驱动&#xff1a; 从线性回归的不足出发&#xff08;输出无界、对极端值敏感&#xff09;&#xff0c;逻辑回归通过 Sigmoid函数&#xff08;非线性映射&#xff09;将线…

文字滚动效果组件和按钮组件

今天和大家分享一个vue中好用的组件&#xff0c;是我自己写的&#xff0c;大家也可以自己改&#xff0c;就是文字的循环滚动效果&#xff0c;如下图&#xff0c;文字会向左移动&#xff0c;结束之后也会有一个循环&#xff0c;还有一个按钮组件&#xff0c;基本框架写的差不多了…

基于ArcGIS Pro、Python、USLE、INVEST模型等多技术融合的生态系统服务构建生态安全格局高阶应用

文字目录 前言第一章、生态安全评价理论及方法介绍一、生态安全评价简介二、生态服务能力简介三、生态安全格局构建研究方法简介 第二章、平台基础一、ArcGIS Pro介绍二、Python环境配置 第三章、数据获取与清洗一、数据获取&#xff1a;二、数据预处理&#xff08;ArcGIS Pro及…