C++中修改一个数组元素引发另一数组值异常变化的原因及解决方法

核心原因：数组越界访问导致的未定义行为 #

这是典型的C/C++原生数组越界引发的内存破坏问题，具体拆解如下：

1. 测试用例中的直接越界：你定义的aq是int aq[qrow][attrow];，而qrow=10——C/C++数组索引从0开始，所以aq第一维的合法索引范围是0~9。aq[10][9] = 20;这行代码直接访问了数组边界外的内存。
2. 内存布局导致的相互覆盖：在栈内存中，相邻定义的数组（比如usage和aq）通常是连续分配的。越界写入aq的内存时，刚好覆盖到了usage数组对应元素的内存位置，这就解释了为什么修改aq的越界元素会改变usage[0][7]的值。
3. 循环中的持续越界破坏：看你提供的while循环代码，循环条件是b<attrow（即b<19），但aq的第一维大小只有qrow=10。当b>=10时，aq[b][...]属于持续的越界访问，这会不断破坏栈上的相邻内存（包括usage的内容），最终导致usage矩阵数据混乱。

解决方法 #

• 修复索引与数组维度的匹配问题：
  先明确你的逻辑中a和b分别对应哪个维度：
  • 如果b应该遍历aq的行（大小为qrow=10），则把b的循环条件改为b<qrow；
  • 如果你的逻辑里b需要遍历attrow=19的维度，那应该把aq定义为int aq[attrow][qrow];，确保索引范围和数组维度匹配。
    另外，建议把变量名改成row/col这类表意清晰的名称，避免搞反行和列。
• 使用安全容器替代原生数组：
  用C++的std::vector替代原生数组，它能提供边界检查：

  // 定义一个qrow行attrow列的二维vector，初始值为0
  std::vector<std::vector<int>> aq(qrow, std::vector<int>(attrow, 0));
  // 使用at()方法访问，越界时会抛出std::out_of_range异常
  aq.at(row).at(col) = value;
  

• 开启编译时内存检测：
  编译代码时添加地址 sanitizer 选项，比如GCC/Clang使用-fsanitize=address，MSVC使用/fsanitize=address。程序运行时会自动检测到数组越界访问并给出详细报错，帮你快速定位问题。

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