Eigen中RowMajor矩阵越界访问未触发异常的原因咨询

这个问题本质是Eigen的默认性能优先设计导致的，我来给你一步步拆解清楚：

• 先明确索引规则：不管你的矩阵是RowMajor还是ColMajor存储，Eigen中A(row, col)的访问语法始终是行索引在前，列索引在后。你的矩阵A有600行、129列，列索引的有效范围是0~128，140确实属于越界访问。

• Eigen默认关闭边界检查：为了最大化运行效率，Eigen在默认编译配置（尤其是Release模式）下会跳过所有边界检查。这意味着越界访问不会触发异常，而是直接读取矩阵内存区域之外的随机垃圾数据——也就是你看到的“输出一个值”，但这个值毫无意义，甚至可能导致程序崩溃、内存损坏等未定义行为。

• 如何开启边界检查捕获错误：如果你需要在调试阶段揪出这类问题，可以用两种方式：

  1. 编译时定义宏EIGEN_DEBUG_ASSERTIONS，Eigen会在运行时触发断言，检测到越界访问时直接终止程序并提示错误；
  2. 使用A.coeff(row, col)或A.coeffRef(row, col)代替括号访问，这两个函数无论编译模式如何，都会强制进行边界检查，越界时会抛出std::out_of_range异常。

• 额外澄清：RowMajor只是矩阵在内存中的存储顺序（按行连续存储），它完全不影响(row, col)的访问语法，所以你的存储布局和这次越界访问没有直接关联。

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