悬空指针解引用数组元素直接触发未定义行为，可能读旧值、垃圾值，改写变量，段错误或延迟崩溃；根本原因是内存释放后操作系统未必立即回收，堆管理器也未标记非法访问。
悬空指针解引用数组元素直接触发未定义行为
不会报错、不会抛异常、也不会稳定崩溃——它可能读出旧值、读出垃圾值、改写其他变量、导致段错误（Segmentation fault），甚至看似“正常运行”数小时后才在生产环境随机崩掉。根本原因在于：悬空指针指向的内存虽已被 free 或 delete，但操作系统未必立即回收或清零，堆管理器也未标记该地址为非法访问点。
常见触发场景：释放后仍用指针遍历或索引
典型错误是把动态分配的数组指针释放后，还继续用 [i] 下标访问：
int* arr = new int[5]{1,2,3,4,5};
delete[] arr; // 内存已归还，arr 成为悬空指针
for (int i = 0; i < 5; ++i) {
std::cout << arr[i] << "\n"; // 悬空访问！未定义行为
}
- 即使
arr值没变，arr[0]可能输出1（旧数据残留），也可能输出0（被 calloc 覆盖），或触发SIGSEGV - 若后续有其他
new分配恰好复用了同一块内存，arr[2]可能读到完全无关对象的字段 - 在开启 ASan（AddressSanitizer）时，会立刻报错：
heap-use-after-free
为什么 arr + i 和 *(arr + i) 同样危险
数组下标本质就是指针算术：arr[i] 等价于 *(arr + i)。只要 arr 是悬空的，任何基于它的地址计算和解引用都无效：
-
arr + 3得到的地址本身不触发未定义行为（只是算术），但一旦解引用（如*(arr + 3)）就踩雷 - 编译器不会对悬空指针做边界检查，
arr[-1]或arr[100]同样属于未定义行为，且更难定位 - 优化级别越高（如
-O2），编译器越可能假设“指针有效”，从而删掉你写的空指针判断逻辑
真正安全的替代方案不是“小心访问”，而是杜绝悬空
靠人工记住“释放后别用”不可靠；必须从机制上切断误用路径：
立即学习“C++免费学习笔记（深入）”；
- 释放后立即置空：
delete[] arr; arr = nullptr;，后续解引用会稳定触发nullptr解引用（多数平台是SIGSEGV，比随机行为好排查） - 改用智能指针：
std::unique_ptr<int> arr(new int[5]);</int>，离开作用域自动释放，且无法手动delete - 容器优先：
std::vector<int></int>替代裸指针数组，生命周期清晰，无手动new/delete干扰 - 若必须用裸指针，加 AddressSanitizer 编译：
g++ -fsanitize=address，让悬空访问当场暴露
最易被忽略的一点：悬空不是“访问时才出问题”，而是“释放那一刻起，指针就失去语义”。哪怕你只打印 printf("%p", arr)，只要 arr 是悬空的，在严格标准下仍是未定义行为——别依赖地址值“看起来还合理”。
