C++数组内存管理：静态、动态与vector对比

1. 数组基础与内存管理机制

在C++编程中，数组是最基础也是最重要的数据结构之一。理解不同数组类型的内存管理机制，对于编写高效、安全的代码至关重要。数组本质上是一块连续的内存空间，用来存储相同类型的元素集合。根据内存分配和管理方式的不同，我们可以将数组分为静态数组和动态数组两大类。

静态数组（如int a[5]）在编译时就已经确定了大小，其内存分配在栈（stack）上。栈内存由系统自动管理，当数组超出作用域时，系统会自动回收这部分内存。这种管理方式简单高效，但存在两个主要限制：数组大小必须在编译时确定，且栈空间有限（通常只有几MB），不适合存储大量数据。

动态数组则通过堆（heap）内存实现，包括malloc/free、new/delete和vector三种方式。堆内存空间远大于栈（通常可达GB级别），且内存分配在运行时决定，更加灵活。但堆内存需要程序员手动管理（vector除外），如果处理不当容易导致内存泄漏或野指针等问题。

关键区别：栈数组生命周期与作用域绑定，自动管理；堆数组生命周期由程序员控制，需要手动管理（除vector外）

2. 四种数组定义方式详解

2.1 栈数组（静态数组）

栈数组是最简单的数组形式，声明方式为数据类型 数组名[大小]。例如：

cpp复制int arr[10];  // 声明一个包含10个整数的栈数组

栈数组的特点包括：

• 内存分配在栈上，由编译器自动管理
• 数组大小必须是编译时常量（C++11后部分编译器支持栈上动态数组，但非标准）
• 访问速度快，但空间有限（典型栈大小1-8MB）
• 超出作用域后自动释放

典型应用场景：

• 小型临时数据存储
• 函数内部使用的缓冲区
• 已知且固定大小的数据集合

注意事项：在嵌入式系统等栈空间有限的场景中，应避免定义过大的栈数组，否则可能导致栈溢出。

2.2 malloc/free分配的堆数组

malloc是C语言风格的内存分配方式，在C++中仍然可用但一般不推荐。基本用法：

cpp复制int* arr = (int*)malloc(5 * sizeof(int));  // 分配5个int的空间
if(arr == nullptr) {
    // 处理分配失败
}
// 使用数组...
free(arr