当前位置： 首页 > news >正文

C++的内存管理是怎样的？

news 来源：原创 2024/9/20 4:48:55

文章目录

1. 概述

2. 栈内存（Stack Memory）

2.1 栈内存的分配与释放

 2.2 栈内存的特点与局限

2.3 递归与栈内存

3. 堆内存（Heap Memory）

3.1 堆内存的分配与释放

3.2 特点

4. 内存泄漏与悬空指针

4.1 内存泄漏（Memory Leak）

4.2 如何避免内存泄漏

4.3 悬空指针（Dangling Pointer）

4.4 如何避免悬空指针

5. 内存管理操作

1. new 和 new[] 操作符

2. delete 和 delete[] 操作符

3. malloc 和 free 函数

4. calloc 和 realloc 函数

1. 概述

C++的内存管理是一个非常重要的概念，它涉及到如何分配和释放程序运行时所需的内存。相比于现代一些拥有自动垃圾回收机制的编程语言，C++给予了开发者更多的控制权。掌握内存管理的技巧，不仅可以提升程序的性能，还能避免一些常见的错误，如内存泄漏和悬空指针。

C++内存管理可以分为两大类：栈内存和堆内存。栈内存由系统自动管理，它用于存储函数的局部变量和一些临时数据。当函数调用时，相关变量会被分配到栈中，而当函数执行完毕时，这些内存会自动释放。栈内存的管理会比较高效，因为其分配和释放都遵循严格的后进先出（LIFO）原则。然而，由于栈内存的大小是有限的，它只适合存储小规模且生命周期短的数据结构。

与栈内存不同，堆内存是手动管理的。程序员可以在程序运行时动态分配内存，这为程序提供了更大的灵活性。例如，需要存储一个在编译时无法确定大小的数据结构时，就可以使用堆内存。然而，这种灵活性也带来了潜在的问题。如果忘记释放已分配的堆内存，就会造成内存泄漏，长时间运行的程序可能因此消耗过多的内存资源，最终导致程序崩溃。此外，如果释放了堆内存，但指向该内存的指针没有及时更新，就会产生悬空指针，访问悬空指针可能会引发未定义行为，造成程序的不稳定性。

为了减轻手动管理堆内存的负担，C++11引入了智能指针，如std::unique_ptr和std::shared_ptr等。智能指针利用RAII（Resource Acquisition Is Initialization）机制，在对象生命周期结束时自动释放内存，有效避免了内存泄漏和悬空指针的问题。这一改进提升了C++程序的内存管理能力。

2. 栈内存（Stack Memory）

在C++中，栈内存（Stack Memory）是一种由系统自动管理的内存区域，主要用于存储函数的局部变量、函数参数以及一些临时数据。栈内存的管理基于栈数据结构的后进先出（LIFO，Last In First Out）原则，因此其分配和释放速度极快。但它也有一些局限性，如内存大小有限和不适合存储大规模或长生命周期的数据。

2.1 栈内存的分配与释放

栈内存的分配和释放是由编译器自动管理的，当一个函数被调用时，该函数的局部变量会自动分配到栈中。当函数执行完毕返回时，这些局部变量所占用的内存会自动释放，不需要程序员手动管理。下面通过一个简单的例子来说明栈内存的使用：

#include <iostream>void exampleFunction() {int a = 10; // 分配在栈上的局部变量int b = 20; // 另一个栈上的局部变量int sum = a + b; // 栈上临时变量std::cout << "Sum: " << sum << std::endl;
} // 这里a, b, sum都在函数结束时自动释放int main() {exampleFunction();return 0;
}

在这个例子中，函数exampleFunction中的变量a、b和sum都是分配在栈上的。当exampleFunction函数执行完毕，控制权返回到main函数时，这些变量会被自动释放，无需任何手动操作。

 2.2 栈内存的特点与局限

  • 自动管理：栈内存的分配和释放由系统自动处理，程序员不需要手动管理。这使得栈内存使用起来非常便捷，不会出现内存泄漏的问题。

  • 快速高效：由于栈内存遵循LIFO原则，分配和释放操作都非常高效，执行速度极快。

  • 局部性强：栈内存主要用于存储函数的局部变量，因此这些变量的生命周期仅限于函数的执行周期，一旦函数结束，相关内存就会被释放。

局限性：

  • 内存空间有限：栈内存的大小通常是有限的，在不同的系统和编译器环境中，这个限制可能不同。如果在栈上分配了过大的数据，可能会导致栈溢出（Stack Overflow），从而引发程序崩溃。

  • 不适合动态数据结构：由于栈内存的大小是固定的，它不适合存储需要动态调整大小的复杂数据结构（如链表、树等）。此类数据结构通常需要使用堆内存来管理。

2.3 递归与栈内存

栈内存还与递归调用密切相关。每次递归调用时，系统会为该调用分配新的栈帧以存储局部变量和函数参数。当递归调用次数过多时，栈内存可能不足，导致栈溢出。例如：

#include <iostream>void recursiveFunction(int n) {if (n == 0) return;int arr[1000]; // 分配在栈上的大数组std::cout << "Recursive call with n = " << n << std::endl;recursiveFunction(n - 1); // 递归调用
}int main() {recursiveFunction(10000); // 大量递归可能导致栈溢出return 0;
}

在这个例子中，recursiveFunction函数递归调用了10000次，每次调用都会在栈上分配一个较大的数组。如果栈内存不足，可能会出现栈溢出错误。

 

3. 堆内存（Heap Memory）

堆内存（Heap Memory）与栈内存不同，需要由程序员手动管理。堆内存主要用于动态分配和释放内存，适合在程序运行时需要灵活管理内存大小的场景。虽然堆内存提供了更大的灵活性，但它也增加了内存管理的复杂性，可能导致内存泄漏或悬空指针等问题。

3.1 堆内存的分配与释放

在C++中，堆内存的分配通常使用new和new[]操作符，而释放堆内存则需要使用delete和delete[]操作符。下面是一个简单的示例，展示如何在

#include <iostream>void heapMemoryExample() {int* p = new int(5); // 在堆上分配一个整数并初始化为5std::cout << "Value on heap: " << *p << std::endl;delete p; // 释放堆内存int* arr = new int[10]; // 在堆上分配一个包含10个整数的数组for(int i = 0; i < 10; ++i) {arr[i] = i * 2; // 初始化数组}for(int i = 0; i < 10; ++i) {std::cout << arr[i] << " ";}std::cout << std::endl;delete[] arr; // 释放数组内存
}int main() {heapMemoryExample();return 0;
}

在这个例子中，new操作符用于在堆上分配一个整数并将其初始化为5。当内存不再需要使用时，调用delete来释放这块内存。同样，使用new[]分配了一个包含10个整数的数组，并用delete[]将其释放。

3.2 特点

  • 动态分配：与栈内存的固定大小不同，堆内存可以在程序运行时动态分配。这意味着你可以根据实际需要分配内存，而无需提前确定其大小。

  • 手动管理：堆内存的分配和释放完全由程序员控制。虽然这提供了极大的灵活性，但也要求开发者必须小心管理内存，否则容易出现内存泄漏和悬空指针的问题。

  • 大内存支持：堆内存的大小通常只有系统可用内存限制，因此适合用于存储大数据结构或需要长时间保存的数据。

4. 内存泄漏与悬空指针

在C++的内存管理中，内存泄漏（Memory Leak）和悬空指针（Dangling Pointer）是两个非常常见且危险的问题。这些问题可能会导致程序崩溃、内存资源耗尽或不可预测的行为

4.1 内存泄漏（Memory Leak）

内存泄漏是指程序在堆上分配内存后，没有适时释放，导致这些内存无法再被使用或回收。随着时间的推移，内存泄漏会逐渐消耗系统的可用内存，最终可能导致程序崩溃或系统性能显著下降。

以下是一个内存泄漏示例：

#include <iostream>void memoryLeakExample() {int* p = new int(42); // 分配一个整数// 忘记释放内存，导致内存泄漏
}int main() {for (int i = 0; i < 1000000; ++i) {memoryLeakExample(); // 重复调用，导致大量内存泄漏}return 0;
}

在上面的代码中，每次调用memoryLeakExample函数时，都会在堆上分配一个整数的内存，但由于没有调用delete释放内存，这些内存将一直存在，无法被系统回收。随着函数反复调用，程序占用的内存会越来越多，最终可能导致系统内存耗尽，程序崩溃。

4.2 如何避免内存泄漏

避免内存泄漏的关键在于确保每个new操作都有相应的delete操作。在C++中，推荐使用智能指针（如std::unique_ptr和std::shared_ptr）来自动管理内存，减少手动管理内存带来的风险。例如：

#include <iostream>
#include <memory>void noMemoryLeakExample() {std::unique_ptr<int> p = std::make_unique<int>(42); // 使用智能指针管理内存// 无需显式调用delete，智能指针会自动释放内存
}int main() {for (int i = 0; i < 1000000; ++i) {noMemoryLeakExample(); // 安全调用，无内存泄漏}return 0;
}

在这个例子中，智能指针std::unique_ptr会在其生命周期结束时自动释放内存，从而避免了内存泄漏。

4.3 悬空指针（Dangling Pointer）

悬空指针是指指向已经被释放的内存的指针。如果在内存被释放后，指针仍然指向那块内存区域，任何对该指针的访问都会导致未定义行为，可能引发程序崩溃或产生错误的结果。

以下是一个悬空指针的示例：

#include <iostream>void danglingPointerExample() {int* p = new int(42);delete p; // 释放内存// p现在是悬空指针，访问它会导致未定义行为std::cout << *p << std::endl; // 可能导致程序崩溃
}int main() {danglingPointerExample();return 0;
}

在上面的代码中，指针p在内存被释放后仍然指向那块内存。如果尝试访问该指针，程序可能会崩溃，或产生不可预测的错误。

4.4 如何避免悬空指针

为了避免悬空指针，应该在内存释放后立即将指针置为nullptr，这样可以防止对已释放内存的误访问：

#include <iostream>void safePointerExample() {int* p = new int(42);delete p; // 释放内存p = nullptr; // 避免悬空指针
}int main() {safePointerExample();return 0;
}

在这个例子中，内存被释放后，指针p被设置为nullptr，因此即使后续尝试访问它，由于p为空，程序不会崩溃。此外，智能指针也是避免悬空指针的好方法，因为它们会自动管理内存的释放和指针的状态。

5. 内存管理操作

1. new 和 new[] 操作符

new操作符用于在堆上分配单个对象的内存，并可以同时对其进行初始化。new[]则用于分配数组的内存。

#include <iostream>void newOperatorExample() {int* singleInt = new int(42); // 分配一个整数并初始化为42std::cout << "Single integer: " << *singleInt << std::endl;int* intArray = new int[5]; // 分配一个包含5个整数的数组for (int i = 0; i < 5; ++i) {intArray[i] = i * 2;}std::cout << "Integer array: ";for (int i = 0; i < 5; ++i) {std::cout << intArray[i] << " ";}std::cout << std::endl;delete singleInt; // 释放单个对象的内存delete[] intArray; // 释放数组的内存
}int main() {newOperatorExample();return 0;
}

在这个例子中，new操作符分配了一个整数并将其初始化为42，而new[]分配了一个包含5个元素的数组。使用完毕后，必须分别调用delete和delete[]来释放这些内存。

2. delete 和 delete[] 操作符

delete和delete[]操作符用于释放之前使用new或new[]分配的堆内存。如果忘记调用delete或delete[]，将导致内存泄漏。此外，使用delete释放new[]分配的数组或使用delete[]释放new分配的单个对象都会导致未定义行为，因此要特别注意匹配使用。

#include <iostream>void deleteOperatorExample() {int* p = new int(10);delete p; // 正确使用delete释放单个对象的内存int* arr = new int[10];delete[] arr; // 正确使用delete[]释放数组内存
}int main() {deleteOperatorExample();return 0;
}

这个例子展示了如何正确地释放堆内存。每个new都需要对应一个delete，每个new[]都需要对应一个delete[]。

3. malloc 和 free 函数

除了new/delete，C++还支持来自C语言的内存管理函数malloc和free。malloc用于分配指定字节数的内存，并返回一个void*指针，free用于释放malloc分配的内存。

#include <iostream>
#include <cstdlib>void mallocExample() {int* p = (int*)malloc(sizeof(int)); // 使用malloc分配内存if (p == nullptr) {std::cerr << "Memory allocation failed" << std::endl;return;}*p = 25;std::cout << "Value from malloc: " << *p << std::endl;free(p); // 使用free释放内存
}int main() {mallocExample();return 0;
}

在这个示例中，malloc分配了一个整数大小的内存，free在使用后释放了这块内存。需要注意的是，malloc不会调用构造函数进行初始化，因此通常在C++中更推荐使用new。

4. calloc 和 realloc 函数

calloc函数类似于malloc，但它会初始化分配的内存为零。realloc用于调整之前分配的内存大小。

#include <iostream>
#include <cstdlib>void callocReallocExample() {int* arr = (int*)calloc(5, sizeof(int)); // 分配并初始化5个整数为0std::cout << "Array after calloc: ";for (int i = 0; i < 5; ++i) {std::cout << arr[i] << " "; // 输出0 0 0 0 0}std::cout << std::endl;arr = (int*)realloc(arr, 10 * sizeof(int)); // 调整数组大小为10std::cout << "Array after realloc: ";for (int i = 0; i < 10; ++i) {std::cout << arr[i] << " "; // 输出0 0 0 0 0 0 0 0 0 0}std::cout << std::endl;free(arr); // 释放内存
}int main() {callocReallocExample();return 0;
}

calloc分配了一个大小为5的整数数组，并将其初始化为0。realloc随后将数组的大小扩展为10，原有的数据保持不变，但新分配的内存没有初始化。最后，使用free释放分配的内存。

相关文章：

  • 北京网站建设多少钱？
  • 辽宁网页制作哪家好_网站建设
  • 高端品牌网站建设_汉中网站制作
  • 最小二乘法求拟合曲线（中线）的斜率和截距：数据背后的温柔对话
  • Python实例化指南之对象创建与初始化的实用技巧详解
  • 前端踩坑DOMException: Failed to execute ‘querySelector‘ on ‘Document‘: ‘#091.....‘
  • MySQL的InnoDB的页里面存了些什么 --InnoDB存储梳理(三)
  • .NET 8 跨平台高性能边缘采集网关
  • leetcode日记（72）最大矩形
  • 一文彻底搞懂Transformer - 总体架构
  • 后端开发学习路线
  • 蜂鸣器（51单片机）
  • 苹果微信不小心卸载了怎么恢复聊天记录？4招轻松解决
  • GPT-5：未来已来，你准备好了吗
  • Midjourney应用-用AI帮你做广告视频（动物走秀视频制作）
  • 第七节 流编辑器sed(stream editor)(7.2)
  • 三十六、【人工智能】【机器学习】【监督学习】- Bagging算法模型
  • 解决NLP任务的Transformer为什么可以应用于计算机视觉？
  • [译]Python中的类属性与实例属性的区别
  • [译]如何构建服务器端web组件，为何要构建？
  • hadoop集群管理系统搭建规划说明
  • Just for fun——迅速写完快速排序
  • Python - 闭包Closure
  • Python爬虫--- 1.3 BS4库的解析器
  • 大数据与云计算学习：数据分析（二）
  • 对JS继承的一点思考
  • 给初学者：JavaScript 中数组操作注意点
  • 基于MaxCompute打造轻盈的人人车移动端数据平台
  • 近期前端发展计划
  • 理清楚Vue的结构
  • 每天一个设计模式之命令模式
  • 前端js -- this指向总结。
  • 区块链共识机制优缺点对比都是什么
  • 手写一个CommonJS打包工具（一）
  • 提升用户体验的利器——使用Vue-Occupy实现占位效果
  • 温故知新之javascript面向对象
  • 一起来学SpringBoot | 第十篇：使用Spring Cache集成Redis
  • 摩拜创始人胡玮炜也彻底离开了，共享单车行业还有未来吗？ ...
  • #我与Java虚拟机的故事#连载03：面试过的百度，滴滴，快手都问了这些问题
  • #我与Java虚拟机的故事#连载15：完整阅读的第一本技术书籍
  • $nextTick的使用场景介绍
  • （16）Reactor的测试——响应式Spring的道法术器
  • (2024)docker-compose实战 (9)部署多项目环境(LAMP+react+vue+redis+mysql+nginx)
  • (C#)Windows Shell 外壳编程系列9 - QueryInfo 扩展提示
  • （Mac上）使用Python进行matplotlib 画图时，中文显示不出来
  • （三）SvelteKit教程：layout 文件
  • （详细版）Vary: Scaling up the Vision Vocabulary for Large Vision-Language Models
  • （一）utf8mb4_general_ci 和 utf8mb4_unicode_ci 适用排序和比较规则场景
  • （转）ObjectiveC 深浅拷贝学习
  • (转)ORM
  • （转）大型网站的系统架构
  • (自适应手机端)行业协会机构网站模板
  • ... fatal error LINK1120：1个无法解析的外部命令 的解决办法
  • .net core 6 redis操作类
  • .net core 6 集成和使用 mongodb
  • .NET Core 实现 Redis 批量查询指定格式的Key
  • .NET 使用 JustAssembly 比较两个不同版本程序集的 API 变化
  • .NET/C# 反射的的性能数据，以及高性能开发建议（反射获取 Attribute 和反射调用方法）