析构函数调用顺序疑问：BoardField析构触发访问违规，如何释放多维数组？

首先，0xFDFDFDFD这个值是微软VC++编译器用来标记已释放堆内存的填充值，说白了就是：你的BoardField对象已经被销毁过一次了，现在析构函数又被调用了——这几乎肯定是重复释放内存或者对象生命周期管理出了问题。

最常见的触发场景是浅拷贝导致的双重释放：如果你的BoardField类没有自定义拷贝构造函数和赋值运算符，编译器会生成默认的浅拷贝版本。当你拷贝BoardField对象时，两个对象会共享同一块多维数组内存。第一个对象析构时释放了这块内存，第二个对象析构时，指针已经指向被标记为0xFDFDFDFD的无效内存，自然会抛出访问违规。

另外还要排查两种情况：

• Game类和BoardField的关联逻辑：比如Game里持有BoardField的指针，是不是Game析构时释放了它，同时其他地方也持有这个指针并尝试重复释放？
• 析构函数内的代码：有没有在释放内存前，数组指针被其他成员函数篡改，导致指向无效内存？

我分两种场景给出方案，优先推荐第一种：

1. 用标准容器彻底避免手动管理（强烈推荐） #

别自己折腾指针数组了，C++标准库的std::vector完全能搞定多维数组，而且自动管理内存，根本不需要你手写析构函数：

• 嵌套vector：std::vector<std::vector<int>> board(rows, std::vector<int>(cols));，直接使用即可，析构时容器会自动释放所有内存，完全不会出错。
• 连续内存的一维vector（效率更高）：如果需要连续内存，用std::vector<int> board(rows * cols);，然后通过board[i * cols + j]访问第i行j列的元素，同样不需要手动释放。

2. 必须手动管理时的正确姿势 #

如果你一定要用动态分配的多维数组（指针的指针），释放时必须从内层到外层逐层释放，还要加空指针检查避免重复释放：

~BoardField() {
    if (arr != nullptr) { // 先检查指针是否有效
        // 第一步：释放每一行的一维数组
        for (int i = 0; i < rows; ++i) {
            delete[] arr[i];
        }
        // 第二步：释放存储行指针的数组
        delete[] arr;
        arr = nullptr; // 置空，避免后续误操作触发重复释放
    }
}

这里要注意：rows必须是正确的行数，不能在析构时rows已经被篡改或者未初始化。

1. 处理拷贝构造和赋值运算符：
   • 如果你的BoardField允许拷贝，必须实现深拷贝，确保每个对象拥有独立的内存：

     BoardField(const BoardField& other) : rows(other.rows), cols(other.cols) {
         arr = new int*[rows];
         for (int i = 0; i < rows; ++i) {
             arr[i] = new int[cols];
             // 拷贝每行的元素
             std::copy(other.arr[i], other.arr[i] + cols, arr[i]);
         }
     }
     
     BoardField& operator=(const BoardField& other) {
         if (this != &other) { // 防止自赋值导致的内存泄漏
             // 先释放当前对象的内存
             for (int i = 0; i < rows; ++i) {
                 delete[] arr[i];
             }
             delete[] arr;
     
             // 拷贝新对象的内存
             rows = other.rows;
             cols = other.cols;
             arr = new int*[rows];
             for (int i = 0; i < rows; ++i) {
                 arr[i] = new int[cols];
                 std::copy(other.arr[i], other.arr[i] + cols, arr[i]);
             }
         }
         return *this;
     }
     

   • 如果你的BoardField不需要拷贝，直接禁用拷贝构造和赋值运算符，从根源避免浅拷贝：

     BoardField(const BoardField& other) = delete;
     BoardField& operator=(const BoardField& other) = delete;
     

2. 检查对象生命周期：确认BoardField对象是不是被多次释放，比如Game析构时delete了BoardField，而其他地方也持有这个指针并执行delete操作。

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