C++三维数组构造函数的Valgrind错误排查求助

嘿，看了你的代码和Valgrind报错，一眼就发现问题了——三维数组转一维存储的索引计算完全错了，这直接导致了内存越界写入，也是跨平台结果不一致的根源（Mac的内存检查没Ubuntu+Valgrind严格，所以没触发明显崩溃，但代码本身是有严重问题的）。

先看Valgrind的报错：Invalid write of size 4，地址刚好是分配内存块的末尾之后，说明你的索引计算出来的位置超出了数组的实际大小。

看你构造函数里的索引公式：

_3D_matrix[j * height * depth + k * depth + z] = value;

这个逻辑完全不对啊！假设你的三维数组逻辑上是[depth][height][width]的结构（也就是先深度，再高度，最后宽度），那正确的一维索引应该是：

z * height * width + j * width + k

给你拆解下这个公式的逻辑：

• 每一个深度层（z方向），要占据height * width个元素的空间，所以先乘这个数得到当前深度层的起始位置
• 每一行（j方向），占据width个元素，乘上width得到当前行在深度层里的起始位置
• 最后加上列偏移k，就是当前元素的一维索引

你原来的公式用j * height * depth，这会导致索引值远远超出数组总大小（数组总元素数是height*width*depth），比如当j接近height时，j*height*depth就等于height²*depth，这比总元素数大了height倍，直接越界写内存，不报错才怪。

修正后的构造函数代码 #

Matrice3D(unsigned int height, unsigned int width, unsigned int depth, const T &value) 
    : _3D_matrix(nullptr), _height(0), _width(0), _depth(0) {
    try {
        _3D_matrix = new T[height * width * depth];
        // 循环变量用unsigned int，和参数类型匹配，避免符号转换问题
        for (unsigned int z = 0; z < depth; z++) {
            for (unsigned int j = 0; j < height; j++) {
                for (unsigned int k = 0; k < width; k++) {
                    // 修正后的索引计算
                    _3D_matrix[z * height * width + j * width + k] = value;
                }
            }
        }
        // 把成员变量赋值放在try块成功之后，避免构造失败时对象处于无效状态
        _height = height;
        _width = width;
        _depth = depth;
    } catch(...) {
        delete[] _3D_matrix;
        throw;
    }
}

另外还有两个小细节要注意：

• 循环变量改成unsigned int，因为你的维度参数都是unsigned类型，避免循环时出现符号比较的潜在问题
• 把_height/_width/_depth的赋值移到try块的成功分支里，要是内存分配失败抛出异常，对象的成员变量就不会被错误地设置成非零值，保持构造失败后的对象状态一致

至于为什么Mac上没报错？只能说运气好，Mac的内存保护机制没那么严格，越界写入的区域刚好没影响到程序的关键内存，但这不代表代码正确，只是问题没暴露出来而已。

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