C++动态二维string数组deallocation内存泄漏，delete[]不生效原因是什么

• 你观察到的现象本质是C++未定义行为（Undefined Behavior），和delete[]是否生效没有关系。delete[] contents[i]已经正确完成了它的工作：先逐个调用数组内3个std::string对象的析构函数，再把对应内存块归还到堆内存管理器。只是C++标准没有要求delete操作要清空内存内容，也不会自动把你持有的指针（比如sptr、contents[i]）自动置为空指针，只要这块内存还没有被其他程序/变量占用、没有被系统标记为不可访问，你就还能读到之前残留的值，这完全是巧合，不是正常现象。
• 你认为“int数组的同样写法能正常运行”也是误解。int属于普通旧数据类型（POD），没有自定义析构函数，delete[]释放int数组时只会归还内存，不会做额外操作。你之前测试int数组时大概率是刚好释放后的内存被其他操作覆写了，才会觉得值变了、释放生效了，本质上访问已释放的int数组同样是未定义行为，和string数组的情况没有本质区别。
• 你在delete[] contents[i]之后还修改contents[1][1]的操作属于非法访问已释放堆内存，这个操作可能导致程序崩溃、数据污染、运行结果异常等任意问题，你这次测试能成功修改、还能读到值纯粹是运气好，不代表代码逻辑正确。
• 你理解的“内存泄漏”是错误的：你的代码已经正确走完了delete[] 每个子数组→delete[] 顶层指针数组的完整释放流程，所有你new出来的内存都已经归还给系统，不存在泄漏。你后续通过sptr还能访问到内容，只是因为你保留了指向已释放内存的野指针，不是内存没有被释放。

• 每次执行delete/delete[]之后，立刻把对应的指针置为空指针，比如：

  delete[] contents[i];
  contents[i] = nullptr;
  

  这样后续再访问空指针会直接触发程序崩溃，能快速定位到非法访问的问题，避免出现“值还存在所以释放没生效”的误解。
• 实际开发中完全不需要手动管理动态二维数组，直接使用STL容器std::vector即可，上面的二维string数组可以直接替换为vector<vector<string>> contents(2, vector<string>(3))，不需要手动写任何new/delete，也不会出现野指针、内存泄漏的问题。
• 可以用内存检测工具（比如Linux下的valgrind、Windows下的Dr.Memory）运行你的测试代码，工具会直接报告heap-use-after-free（堆内存释放后使用）的错误，能帮你快速识别代码的非法操作。

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