C++面试最高频、最容易追问、最容易踩坑 的核心模块。面试不考冗余概念，只考底层原理、区别对比、坑点排查、工程禁忌 。
本章必考考点：内存四区、new/delete与malloc/free区别、数组动态内存、定位new、内存泄漏、内存越界、三大智能指针、循环引用、内存池
1. 内存四区（栈/堆/全局区/代码区）
1.1 核心八股标准答案
C++程序运行内存分为四大区域，四区的核心区别为分配方式、生命周期、存储内容，是所有内存题的基础。
- 栈区（Stack）：系统自动分配、函数结束自动释放。存储局部变量、函数参数、返回地址。空间小且固定（Linux 8M/Windows 1M），超出触发栈溢出，内存生命周期跟随函数调用。
- 堆区（Heap）：程序员手动申请（new/malloc）、手动释放（delete/free）。空间无固定上限，受系统剩余内存限制。不主动释放会造成内存泄漏，生命周期由开发者自主控制。
- 全局/静态区：存储全局变量、static静态变量。程序启动分配、程序结束销毁。分为Data段（初始化全局变量）和BSS段（未初始化全局变量，默认置0），跨函数调用数据不丢失。
- 代码区（Text段）：只读区域，存储程序二进制指令、常量字符串。禁止修改，防止指令篡改，生命周期贯穿程序全程。
1.2 面试高频追问&标准答案
-
问：局部变量可以返回指针/引用吗？
答：不可以。局部变量存储在栈区，函数执行结束后栈内存被系统回收，返回的地址会变成野指针，引发程序崩溃。
-
问：static变量为何函数调用后值不丢失？
答：static变量不存储在栈区，而是存储在全局静态区，程序运行期间内存不会释放，因此数据持久保留。
2. new/delete 与 malloc/free 区别
2.1 五大核心区别
该题为C++面试开篇必考八股，核心差异集中在属性、内存、生命周期、安全性、异常处理五点：
- 属性不同 ：new/delete 是C++运算符 ，支持重载；malloc/free 是C库函数，无法重载。
- 内存区域不同 ：new 操作自由存储区 （可通过重载自定义内存分配规则）；malloc 固定操作堆内存。
- 对象生命周期处理不同 ：new = 分配内存 + 调用构造函数初始化对象；delete = 调用析构函数 + 释放内存。malloc/free 只操作原始内存，不调用构造、析构函数，无法管理对象生命周期。
- 类型安全性不同 ：new 直接返回对应类型指针，无需强制转换，类型安全；malloc 返回
void*，必须手动强转，存在类型风险。 - 失败处理不同 ：new 内存分配失败抛出
std::bad_alloc异常；malloc 分配失败仅返回 NULL 空指针。
2.2 代码对照
cpp
// C++ new/delete 写法
int* p1 = new int(10);
delete p1;
// C malloc/free 写法
int* p2 = (int*)malloc(sizeof(int));
*p2 = 10;
free(p2);2.3 致命禁忌（面试扣分点）
严禁混用：new 必须匹配 delete，malloc 必须匹配 free。
- new 创建的对象用 free 释放：不调用析构函数，造成资源内存泄漏；
- malloc 开辟的内存用 delete 释放：触发未定义行为，程序大概率崩溃。
3. new\[\] / delete\[\] 数组内存原理【坑点】
3.1 核心原理（底层本质）
使用 new[] 开辟对象数组时，编译器会自动多开辟4/8字节隐藏内存 ，用于存储数组元素个数。后续调用 delete[] 时，会读取该数值，依次调用每一个数组元素的析构函数，最后统一释放内存。
3.2 面试核心结论
- 语法强制匹配：new\[\] 必须搭配 delete\[\]，单个 new 必须搭配单个 delete，不可混用。
- 基本类型容错：int、char 等基础类型无析构函数，混用大概率不报错，但属于不规范写法。
- 自定义类型必崩 ：类对象数组混用，会导致析构函数调用不全，引发内存泄漏+程序崩溃。
4. 定位new（placement new）【原理+场景必考】
4.1 核心定义
定位new是不分配新内存 的重载new，作用是在已分配好的原始内存空间中，手动构造对象。
4.2 唯一适用场景
- 内存池、对象池底层实现
- 预分配大块内存，规避频繁系统调用的开销
4.3 标准代码示例
cpp
// 预先开辟栈内存/堆内存
char buf[1024] = {0};
// 在已有内存上构造对象，不分配新内存
int* p = new(buf) int(100);4.4 关键禁忌
定位new仅执行构造逻辑 ，不分配内存，因此不能调用free/delete释放，原始内存的生命周期由开发者自行管理。
5. 内存泄漏【工程面试高频】
5.1 八股定义
堆内存被成功开辟，但程序丢失内存首地址，无法主动释放，内存持续占用直至程序结束，造成资源浪费、程序卡顿、OOM崩溃。
5.2 四大高频泄漏场景（面试常问）
- new/malloc 开辟内存后，忘记执行 delete/free
- 函数内动态开辟内存，未返回地址，外部无指针接管，无法释放
- 异常跳转、提前return，跳过内存释放代码
- shared_ptr 互相引用，形成循环引用，计数无法归零
5.3 标准解决方案
- 工程开发遵循RAII资源管理思想
- 优先使用智能指针替代手动new/delete
- 借助 ASAN、Valgrind 工具检测定位泄漏点
6. 内存越界【疑难问题必考】
6.1 常见越界场景
- 数组下标访问超出合法范围
- 野指针、指针偏移访问非法内存地址
- 字符数组无结束符，读写数据越界
6.2 核心特征（面试答题点）
内存越界属于未定义行为，特征极具随机性：Debug模式正常运行、Release模式随机崩溃，莫名篡改全局变量、程序无规律闪退，是最难排查的内存问题。
6.3 解决思路
严格校验数组下标合法性、杜绝野指针使用、开启内存检测工具，提前拦截越界行为。
7. 智能指针：unique_ptr【独占式】
7.1 核心八股特性
- 独占所有权：同一时刻仅能有一个 unique_ptr 管理一块内存
- 禁止拷贝赋值：删除了拷贝构造、赋值运算符，无法复制
- 支持移动语义：可通过 std::move 转移内存所有权
- 生命周期结束，自动释放堆内存，无内存泄漏风险
7.2 适用场景
适用于资源独占、无需共享的场景，开销最低、性能最好，是工程首选智能指针。
8. 智能指针：shared_ptr【共享式】
8.1 核心原理
基于引用计数机制实现内存共享，多指针可同时管理同一块堆内存。
- 新指针拷贝指向内存：引用计数 +1
- 指针析构、重置：引用计数 -1
- 计数归零：自动释放堆内存
8.2 优缺点总结
- 优点：自动管理内存，无需手动释放，适配多指针共享资源场景；
- 缺点：引用计数原子操作带来轻微性能开销，存在循环引用泄漏风险。
9. weak_ptr 与 循环引用问题【面试高频压轴】
9.1 weak_ptr 核心作用
weak_ptr 弱引用指针 ，最大特点：指向内存但不增加引用计数，专门用于解决 shared_ptr 循环引用导致的内存泄漏。
9.2 循环引用本质
两个对象互相持有对方的 shared_ptr，双方引用计数永远无法降为0，对象无法析构，造成永久内存泄漏。
9.3 标准答案解决方案
将双向 shared_ptr 中的任意一方改为 weak_ptr，打破引用计数闭环，对象可正常析构释放内存。
10. 内存池【工程优化】
10.1 传统动态内存痛点
频繁 new/malloc、delete/free 小块内存，会产生大量内存碎片，且系统调用开销大、分配效率低。
10.2 内存池核心原理
程序初始化时，一次性向系统申请大块连续内存，后续所有对象创建、内存申请，均从该大块内存中划分，不再频繁调用系统内存接口。
10.3 三大优势（背诵版）
- 大幅减少内存碎片，提升内存利用率
- 规避频繁系统调用，提升内存分配效率
- 统一内存管理规则，降低内存泄漏风险
🔥 本章面试终极追问
-
问：new 底层是 malloc 实现的吗？
答 ：是。new 底层调用 malloc 分配内存，额外封装了构造函数调用、异常捕获逻辑。
-
问：shared_ptr 线程安全吗？
答 ：引用计数的增减是线程安全的，但对象内部数据的读写操作非线程安全，需要手动加锁。
-
问：内存泄漏和内存越界，哪个更难排查？
答：内存越界。越界问题具有随机性、滞后性，无固定报错位置，调试难度远高于内存泄漏。
-
问：定位new的存在意义是什么？
答：适配内存池、预分配内存场景，实现内存复用，规避频繁系统分配的性能损耗。
📝 模块总结
内存管理是C++面试的核心重难点，所有考题均围绕内存区别、底层原理、坑点禁忌、工程优化四大维度展开。本章10个考点全覆盖面试高频八股，无需额外拓展，全部吃透可应对99%的C++内存面试提问，答题精准、逻辑标准、无扣分点。
