C++内存管理简解-CSDN博客

一、内存基础概念与布局

1. 内存区域划分

C++程序的内存分为以下区域（以Linux系统为例）：

栈（Stack）：存储局部变量、函数参数，由编译器自动管理，生命周期与函数调用一致（向下增长）。
```
void func() {
    int a = 10;  // 栈变量，函数结束后自动释放
}
```
堆（Heap）：动态分配的内存区域，需手动管理（向上增长）。
```
int* ptr = new int;  // 堆分配，需手动释放
delete ptr;
```

全局/静态区：存储全局变量、静态变量，生命周期与程序一致。

int globalVar = 1;       // 全局变量
static int staticVar = 1; // 静态变量

代码段/常量区：存储可执行代码和字符串常量（只读）。

2. 内存模型对比

区域	管理方式	生命周期	典型用途
栈	自动	函数调用周期	局部变量、函数参数
堆	手动	程序员控制	动态对象、大块内存
全局/静态区	自动	程序运行周期	全局数据、静态数据
代码段	自动	程序运行周期	代码、常量字符串

二、动态内存管理

1. new与delete操作符

动态内存的核心操作是 new（分配）和 delete（释放）：

int* p1 = new int;          // 分配单个int
int* p2 = new int[10];      // 分配int数组
delete p1;                  // 释放单个对象
delete[] p2;                // 释放数组

注意：

new 分配失败会抛出 std::bad_alloc 异常（可通过 nothrow 禁用异常）。
必须匹配使用：new 对应 delete，new[] 对应 delete[]。

2. 手动内存管理的风险

内存泄漏：未释放已分配的内存。

void leak() {
    int* p = new int(42);  // 未调用delete
}

野指针：释放后未置空指针。

int* p = new int(42);
delete p;
*p = 10;  // 野指针访问，导致未定义行为

三、智能指针与RAII原则

1. 智能指针类型

C++11引入的智能指针自动管理内存生命周期：

std::unique_ptr：独占所有权，不可复制。

std::unique_ptr<int> uptr = std::make_unique<int>(42);

std::shared_ptr：共享所有权，引用计数管理。

std::shared_ptr<int> sptr1 = std::make_shared<int>(42);
std::shared_ptr<int> sptr2 = sptr1;  // 引用计数+1

std::weak_ptr：配合 shared_ptr 使用，避免循环引用。

2. RAII（资源获取即初始化）

将资源生命周期绑定到对象生命周期，确保资源自动释放：

class FileHandler {
public:
    FileHandler(const std::string& path) : file(fopen(path.c_str(), "r")) {}
    ~FileHandler() { if (file) fclose(file); }
private:
    FILE* file;
};
// 使用示例：对象析构时自动关闭文件

四、高级内存管理技巧

1. 内存对齐优化

通过 alignas 指定对齐方式，提升CPU访问效率：

struct alignas(16) AlignedData {
    int a;
    double b;
};  // 结构体按16字节对齐

2. 内存池技术

自定义分配器减少碎片，提升性能（适用于高频内存操作场景）：

class MemoryPool {
public:
    void* allocate(size_t size) { /* 预分配大块内存并管理 */ }
    void deallocate(void* ptr) { /* 回收内存 */ }
};

3. 使用标准库容器

std::vector、std::string 等容器自动管理内存，减少手动操作风险：

std::vector<int> vec = {1, 2, 3};  // 动态扩容，无需手动管理

五、工具与调试

1. 内存泄漏检测工具

Valgrind：检测未释放内存和非法访问。
```
valgrind --leak-check=full ./your_program
```
AddressSanitizer（ASan）：实时检测内存错误（GCC/Clang支持）。

2. 性能分析

perf 工具：分析程序内存访问模式。
缓存友好设计：优化数据结构布局（如避免随机访问链表）。

六、实战案例

1. 实现自定义内存管理器

结合RAII和内存池技术：

class MemoryManager {
public:
    MemoryManager() { memory = new int(0); }
    ~MemoryManager() { delete memory; }
    int& get() { return *memory; }
private:
    int* memory;
};

2. 解决内存泄漏问题

通过智能指针重构代码：

// 原始代码（存在泄漏）
void riskyFunc() {
    int* p = new int(42);
    // 可能提前返回或抛出异常
    delete p;
}

// 重构后
void safeFunc() {
    auto p = std::make_unique<int>(42);
    // 异常安全，自动释放
}