C++堆函数调用入门指南：从基础原理到安全实践

1次阅读

共计 1984 个字符，预计需要花费 5 分钟才能阅读完成。

先看一个直观对比表：

特性	栈内存	堆内存
分配方式	自动分配 / 释放	手动申请 / 释放
生命周期	函数作用域	直到显式释放
访问速度	高速(CPU 缓存)	相对较慢(系统调用)
大小限制	较小(默认 MB 级)	较大(受虚拟内存限制)
碎片问题	无	需要主动管理

通过 ulimit -s 可以查看系统栈大小限制，而堆内存理论上可以分配到进程虚拟地址空间上限。

以 glibc 的 ptmalloc 为例：

小内存 (<64KB) 使用 fast bins 快速分配
中等内存通过 unsorted bins 循环利用
大内存直接调用 mmap 系统调用
free 时通过 chunk 头部的 size 字段合并相邻空闲块

关键数据结构：

struct malloc_chunk {
  size_t      prev_size;  // 前块大小
  size_t      size;       // 本块大小 + 标志位
  struct malloc_chunk* fd; // 空闲块链表指针
  struct malloc_chunk* bk;
};

对比 malloc/free，new/delete 会：

new 操作符：
调用 operator new 分配内存
执行构造函数
delete 操作符：
调用析构函数
调用 operator delete 释放内存

特殊形式 placement new 示例：

char buf[sizeof(MyClass)];
MyClass* obj = new(buf) MyClass(); // 在已有内存上构造
obj->~MyClass(); // 必须显式析构

// 带错误检查的 malloc 使用
void* ptr = malloc(1024);
if (!ptr) {perror("malloc failed");
    exit(EXIT_FAILURE);
}

// 记得初始化!
memset(ptr, 0, 1024); 

free(ptr);
ptr = nullptr; // 重要：避免野指针

class Student {
public:
    Student(string n) : name(n) {cout << "构造" << name << endl;}
    ~Student() {cout << "析构" << name << endl;}
private:
    string name;
};

// 正确用法
Student* s = new Student("张三");
delete s; 

// 错误示范：忘记 delete 导致内存泄漏
// new Student("李四");

// C 风格数组
int* arr1 = (int*)malloc(10*sizeof(int));
free(arr1);

// C++ 数组
int* arr2 = new int[10];
delete[] arr2; // 注意使用 delete[]

Valgrind 基本用法：

valgrind --leak-check=full ./your_program

常见泄漏场景：
– 异常路径未释放：

try {
    int* p = new int;
    throw runtime_error("test");
    delete p; // 不会执行!
} catch(...) {}

解决方案：
– 使用 RAII 包装器
– 智能指针自动管理

危险代码：

int* p = new int(42);
delete p;
*p = 100; // 未定义行为!

安全实践：
1. delete 后立即置空
2. 使用智能指针：

unique_ptr<int> p1(new int(10));
shared_ptr<int> p2 = make_shared<int>(20);

ASAN 编译选项：

clang++ -fsanitize=address -g test.cpp

典型越界案例：

int* arr = new int[10];
arr[10] = 0; // 越界写入

简易内存池设计：

class MemoryPool {
public:
    MemoryPool(size_t blockSize, size_t blockCount) {// 预分配连续内存块}

    void* allocate() {// 从空闲链表分配}

    void deallocate(void* ptr) {// 回收到空闲链表}
};