C++动态分配数组内存并赋值时读取dizi[2]值程序崩溃问题咨询

你编写的程序出现崩溃，核心原因是违反了C++堆内存的释放匹配规则，具体错误点如下：

• 指针覆盖造成内存泄漏：ptr最初通过new int申请了一块独立的堆内存，后续代码直接把ptr的指针值覆盖为dizi + 2，原本new int申请的内存彻底失去释放入口，造成永久内存泄漏
• 非法触发未定义行为：对dizi + 2的地址执行delete操作，本质是对动态数组的内部元素地址做单块内存释放。动态数组是由new[]一次性申请的连续内存块，堆管理器会在数组首地址前存储块长度等管理元数据，从数组内部的非首地址位置执行delete，会直接破坏堆的管理结构，立刻触发程序崩溃
• 无效重复释放操作：就算第一次delete ptr没有立刻触发崩溃，后续执行delete[] dizi释放整块数组时，堆管理器已经被之前的非法操作破坏，依然会触发崩溃

修正逻辑 #

要获取dizi[2]的值，不需要对数组内部元素做任何单独的内存操作，只要严格遵守内存申请、释放的配对规则，通过指针偏移直接取值即可：

• 保留动态数组的首地址，全程不对数组内部的地址做单独的delete操作
• 数组内存统一在程序收尾阶段，通过首地址执行一次delete[]完成释放
• 直接通过*(dizi + 2)的指针偏移方式，即可读取dizi[2]的数值

可正常运行的参考代码 #

#include <iostream>
using namespace std;

int main()
{
    // 申请长度为3的int动态数组
    int *dizi = new int[3];

    // 逐元素赋值
    *dizi = 1;
    *(dizi + 1) = 2;
    *(dizi + 2) = 3;

    // 直接读取并打印dizi[2]的值
    cout << "dizi[2] 的值为：" << *(dizi + 2) << endl;

    // 遍历打印前两个元素
    for (int i = 0; i < 2; i++)
    {
        cout << *(dizi + i) << endl;
    }

    // 统一释放整块数组内存
    delete[] dizi;
    return 0;
}

规则提示：C++标准明确要求堆内存的释放操作必须和申请方式严格匹配：

• 通过new Type申请的单个对象内存，必须使用delete释放
• 通过new Type[]申请的数组内存，必须使用delete[]从数组首地址释放
  跨规则的释放操作属于标准定义的未定义行为，没有运行时兼容性保证，几乎必然引发程序异常。

内容的提问来源于stack exchange，提问作者Oytun Tur