在C++程序里，普通数组如 int arr[10]; 的长度必须是编译期常量，这导致无法根据用户输入或文件内容灵活决定容量。要解决这个问题，必须借助动态内存分配，在程序运行阶段向系统堆区申请一块连续的内存，并用指针来操控它。这种机制的核心就是 new 运算符，它不仅能分配单个变量，也能分配数组形式的连续空间。
new运算符分配动态数组的底层原理
当我们在代码中写 int* p = new int[5]; 时，编译器会调用全局 operator new[] 函数，向堆管理器请求能容纳5个int的连续字节。堆内存位于进程空间的高地址区域，与函数栈完全分离，因此不会受到栈帧大小限制。系统内部会记录这块内存的长度与起始地址，返回的仅是首元素地址，赋值给指针变量 p 保存。
需要注意，new int[5] 与 new int 在语法和底层处理上不同。前者调用的是数组版分配函数，并且会在内存头部位额外存储数组元素个数，以便 delete[] 时知道要调用几次析构函数。对于内置类型如int，这份元数据不影响使用，但若是自定义类，遗漏 [] 将导致未定义行为。下面的代码展示了基本用法：
#include <iostream>
using namespace std;
int main() {
int n = 5;
int* arr = new int[n]; // 动态数组，长度n在运行时决定
for (int i = 0; i < n; i++) {
arr[i] = i * 10;
}
for (int i = 0; i < n; i++) {
cout << arr[i] << " ";
}
delete[] arr; // 必须配对使用，释放数组
arr = nullptr;
return 0;
}
上述示例中，delete[] arr 告诉编译器释放的是数组内存，它会依据之前记录的个数逐一清理。如果写成 delete arr; 只释放首元素，后续内存块就会泄漏。初学者常忽略将指针置为 nullptr，这虽不立即出错，但能防止悬空指针被二次释放。
自定义类型动态数组与构造析构细节
动态数组不仅能存基础类型，也能存放带构造函数的类对象。当使用 new MyClass[3] 时，系统会在堆上连续划分空间，并依次调用三次默认构造函数。释放时 delete[] 则逆序调用析构函数，再回收内存。这一机制让资源类（如包含文件句柄的对象）也能安全批量管理。
若类没有默认构造函数，则不能在分配时留空括号，必须配合循环或 new (位置)类型 的 placement new 逐個初始化，否则编译失败。以下示例定义了一个简单结构并演示数组分配：
#include <iostream>
#include <string>
using namespace std;
struct Student {
string name;
int age;
Student() : name("未知"), age(0) {
cout << "默认构造" << endl;
}
~Student() {
cout << "析构:" << name << endl;
}
};
int main() {
Student* st = new Student[2];
st[0].name = "小明";
st[0].age = 15;
st[1].name = "小红";
st[1].age = 14;
delete[] st; // 先析构小红，再析构小明
return 0;
}
从输出可以看到，构造顺序为正向，析构顺序为反向，这是C++标准规定的数组生命周期管理策略。若误用 delete st; 仅调用一次析构，其余对象资源无法释放，在复杂项目中会引发句柄泄露或崩溃。因此，配对规则 new[] 配 delete[] 是铁律。
另一个易错点是在分配失败时的处理。早期C++标准中 new 失败会抛出 std::bad_alloc 异常，而非返回空指针。如果希望不抛异常，可使用 new (nothrow) int[100] 形式，此时失败返回 nullptr，适合嵌入式等不容异常的环境。但无论哪种，都应在分配后判断是否有效再使用。
动态数组与vector的取舍及常见陷阱
手写 new[] 虽能理解内存本质，但现代C++更推荐 std::vector 作为动态数组首选。vector在内部封装了堆分配，并在离开作用域时自动析构，彻底免去手动 delete[] 的负担。下面的对照表列出两者差异：
| 对比维度 | new动态数组 | std::vector |
|---|---|---|
| 内存释放 | 必须手动delete[] | 自动析构释放 |
| 长度变更 | 固定，需重分配 | 可push_back动态增长 |
| 越界检查 | 无，直接崩溃 | at()抛异常，[]不检查 |
| 异常安全 | 易泄漏 | 强保证 |
尽管如此，理解 new 仍是面试与系统编程基础。新手常见陷阱包括：用局部指针接收 new 后函数返回前忘记释放；在循环里反复 new 却不 delete 造成累积泄漏；以及将 new[] 结果赋给 int** 之类错误类型。正确做法是用智能指针如 unique_ptr<int[]> 包裹，既保留手动控制感又获得自动回收。
当确实需要使用原生动态数组时，建议遵循RAII思路：在同一作用域的相邻行完成分配与释放规划，或封装成小类。例如定义一个 Buffer 类，在构造里 new、析构里 delete[]，这样即使中间代码抛异常，也能依靠栈展开保证内存回收。这种写法比散落各处的 new/delete 安全得多，也是向vector过渡的练习良法。