1. C++中的动态内存分配机制
1.1 动态内存的概念与生命周期
在 C++ 中，动态内存通常在堆区申请，生命周期与变量作用域无关，直到显式释放才结束。使用 new 可以分配单个对象，使用 new[] 可以分配对象数组，分配成功后返回指向目标类型的指针。另一个关键点是：对象的构造函数会在分配时被调用，对应的析构函数会在 delete 时调用以清理资源。
需要特别注意的是，内存分配失败时，new 会抛出 std::bad_alloc，这影响异常路径的资源管理。因此，在需要避免异常的场景，可以使用 new (std::nothrow) T，此时返回空指针而不是抛出异常。
// 动态内存的基本用法示例
int* p = new int; // 分配单个 int
*p = 42; // 初始化int* arr = new int[5]; // 分配整型数组
for (int i = 0; i < 5; ++i) arr[i] = i;// 释放资源
delete p; // 释放单个对象
delete[] arr; // 释放数组
1.2 new 与 new[] 的差异与注意点
核心要点包括：单对象使用 new，数组使用 new[]，配套的释放要使用 delete 和 delete[]；两者不可混用，否则将产生未定义行为。在析构调用与资源回收方面，new[] 需要逐元素调用析构函数，而 delete 只针对单个对象。
此外，构造与析构的对称性很重要，如果构造失败或某步资源分配失败，应该确保先前已分配的资源能正确清理，避免局部资源泄漏。
// new 与 new[] 的正确与错误用法示例
int* p = new int(7); // 正确：分配并初始化单个 int
delete p; // 正确释放int* a = new int[4];
delete a; // 错误：应使用 delete[]
delete[] a; // 正确释放数组
2. new 的基本用法与注意点
2.1 基本语法与初始化行为
基本形式为 T* p = new T，其中 返回指向 T 的指针。对于内置类型，未初始化的对象将具有未定义值，而使用 new T() 或 new T{} 则会进行值初始化，通常将基本类型置为零。对于数组，同样存在初始化差异：new T[n] 可能只对元素进行默认构造，具体取决于 T 的构造规则。
重要的基本点还包括：每次 new/ delete 成对出现，并且要考虑异常路径的内存安全；必要时使用 not̄hrow 版本以避免抛出异常。
// 不同初始化方式的对比
int* a1 = new int; // 未初始化，值未定义
int* a2 = new int(5); // 初始化为 5
int* a3 = new int{}; // 值初始化，通常为 0int* arr2 = new int[3]{1, 2, 3}; // C++11/14 初始化数组
delete a1;
delete a2;
delete a3;
delete[] arr2;
2.2 针对数组的初始化与容量考虑
对数组使用 new[] 时，若提供初始化列表，编译器会将元素逐个初始化；若不提供，则元素将按默认构造或内置类型进行初始化。需要在后续使用中确保 delete[] 的配套，避免造成内存泄漏或未定义行为。
在真实工程中，常常会遇到需要按 size 动态创建数组的场景，此时应明确 数组长度和访问边界，并避免越界访问引发的不可预期行为。
3. delete 的基本用法及细节
3.1 delete 与 delete[] 的区分
要点在于：用 new 分配的内存必须使用 delete 释放；用 new[] 分配的数组必须使用 delete[] 释放。错误的释放方式会导致未定义行为、潜在的内存泄漏或析构未被执行。
常见错误包括：用 delete 释放 new[] 的内存、用 delete[] 释放 new 的内存、以及重复释放等。为避免这类问题，推荐采用 RAII 思路或智能指针来管理资源。
int* p = new int(123);
delete p; // 正确：释放单个对象int* q = new int[4];
// delete q; // 错误：应使用 delete[]
delete[] q; // 正确释放数组
3.2 避免的误用与示例
为了减少风险，避免在函数边界返回裸指针后忘记释放资源，或在异常路径中未清理资源。尽量将资源管理交给智能指针实现，以降低手动 delete 的复杂度。
// 错误示范：手动管理容易出错
int* bad = new int(9);
if (some_error) {// 漏掉 delete，造成泄漏return;
}
delete bad;
4. 异常安全与智能指针的引入
4.1 异常抛出与资源管理
在 C++11/14/17 及更高版本中，new 可能抛出异常（std::bad_alloc），这要求资源在异常路径中仍然安全管理。RAII（资源获取即初始化）是核心思想——资源的生存期和对象生命周期绑定在一起。
为提升安全性，优先考虑使用智能指针来管理动态分配的资源，从而在异常发生时自动清理资源，避免半途而废的释放逻辑。
#include
#include int main() {// C++14 及以上推荐写法auto p = std::make_unique(42);// 管理数组auto arr = std::make_unique(5);arr[0] = 7;// 离开作用域时，内存自动释放return 0;
}
4.2 使用智能指针进行内存管理
现代 C++ 强烈推荐使用智能指针来控制动态分配的内存，优先使用 std::make_unique()/std::make_shared，以获得更安全和高效的资源管理。对于需要共享所有权的场景，std::shared_ptr 提供了引用计数语义及自定义删除器的能力。
针对数组，std::unique_ptr
#include int main() {// 使用 make_unique 管理单对象auto p = std::make_unique(42);// 管理数组auto arr = std::make_unique(5);arr[0] = 1;// 退出作用域时，会自动 delete 资源return 0;
}
5. 常见坑与现代化最佳实践
5.1 避免裸指针，提倡 RAII
在现代 C++ 开发中，应尽量避免裸指针的手动 new/delete，应采用 智能指针和 STL 容器，以实现自动内存管理、降低内存泄漏风险与提高代码可维护性。
实践要点包括：优先使用 std::make_unique/ std::make_shared，使用 RAII，在异常路径中确保资源不被遗忘。
#include
#include int main() {// 使用智能指针替代裸指针auto up = std::make_unique(10);std::vector> vec;vec.emplace_back(std::make_unique(3));// 不再需要显式 delete，资源自动释放return 0;
}
5.2 实践案例：从裸指针到智能指针的迁移
在旧代码中，常见模式是通过 new/delete 管理简单对象或数组。通过改造，可以将其替换为 RAII 风格：将资源包装在 std::unique_ptr 或容器中，尽量避免暴露裸指针给外部使用者。
迁移的关键点包括：逐步引入智能指针，保持接口不变但内部实现改为 RAII；如需共享资源，使用 std::shared_ptr 或自定义 deleter，以避免重复释放和悬空指针。
// 逐步替换裸指针的简化示例
#include struct Resource {int data;~Resource() { /* 清理工作 */ }
};Resource* createResource() {return new Resource{123};
}void useResource() {// 旧版：裸指针Resource* r = createResource();// 处理...delete r; // 需要确保在所有代码分支都能执行
}void modernize() {// 迁移为智能指针std::unique_ptr r = std::make_unique();// 处理...
}
