类中全局数组基于传入参数初始化的越界问题排查

兄弟，你猜的完全没错！全局变量的初始化顺序大概率就是导致数组越界的罪魁祸首——如果你的matrixDec对象是全局/静态的，或者row、col的初始化晚于对象构造，那构造函数拿到的就是默认初始化的0值，自然会创建出维度异常的数组，后续访问肯定越界。给你几个靠谱的解决办法：

1. 彻底抛弃全局变量传递构造参数（最推荐） #

别依赖全局的row和col，直接在构造函数里接收局部参数，这样完全不受全局变量初始化顺序的影响，代码也更清晰。

示例代码：

#include <stdexcept> // 用于抛出异常
#include <iostream>

class matrixDec {
private:
    int** matrix;
    int row;
    int col;

public:
    // 构造函数直接接收行和列的参数
    matrixDec(int r, int c) : row(r), col(c) {
        // 先校验参数合法性，提前拦截非法值
        if (r <= 0 || c <= 0) {
            throw std::invalid_argument("行和列必须是正整数！");
        }
        // 初始化二维数组
        matrix = new int*[row];
        for (int i = 0; i < row; ++i) {
            matrix[i] = new int[col];
        }
    }

    // 别忘了写析构函数释放内存，避免内存泄漏
    ~matrixDec() {
        for (int i = 0; i < row; ++i) {
            delete[] matrix[i];
        }
        delete[] matrix;
    }
};

// 调用的时候直接传合法数值就行
int main() {
    try {
        matrixDec myMatrix(3, 4); // 创建3行4列的数组
        // 后续操作...
    } catch (const std::invalid_argument& e) {
        // 处理非法参数的情况
        std::cout << e.what() << std::endl;
    }
    return 0;
}

2. 若必须用全局变量，严格控制初始化顺序 #

如果因为某些原因一定要用全局的row和col，那必须确保在构造matrixDec对象之前，row和col已经被正确赋值：

• 不要把matrixDec对象声明为全局/静态变量，而是放在main函数里，先给row、col赋值，再创建对象；
• 如果是多个编译单元的全局变量，用静态初始化函数来保证顺序，比如：

#include <stdexcept>
#include <iostream>

int row, col;
class matrixDec { /* 同上 */ };

// 用函数封装初始化逻辑，确保先赋值再构造
matrixDec* createValidMatrix() {
    row = 5;
    col = 6;
    return new matrixDec(row, col);
}

// 在需要的时候调用这个函数
int main() {
    matrixDec* myMatrix = createValidMatrix();
    // ...
    delete myMatrix;
    return 0;
}

3. 强制添加参数校验，提前发现问题 #

不管用哪种方案，都要在构造函数里检查row和col是否为正整数。一旦发现非法值，直接抛出异常或者打印错误信息，这样能在数组创建前就发现问题，而不是等到访问数组时才出现莫名其妙的越界错误。

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