本文详解 java 中矩阵乘法因输出循环边界错误导致的 arrayindexoutofboundsexception，重点修正结果矩阵打印时行列索引混淆问题，并提供健壮、可复用的实现方案。
本文详解 java 中矩阵乘法因输出循环边界错误导致的 arrayindexoutofboundsexception，重点修正结果矩阵打印时行列索引混淆问题，并提供健壮、可复用的实现方案。
在 Java 中实现矩阵乘法时，一个常见却极易被忽视的错误是：结果矩阵（c）的输出循环使用了错误的维度边界。正如示例代码所示，当尝试计算 2×3 与 3×4 矩阵相乘时，逻辑上完全合法（满足 col1 == row2），程序也能正确完成乘法运算并生成 2×4 的结果矩阵 c；但后续打印该结果时，却错误地使用了 for(int i=0; i<col1; i++) 和 for(int j=0; j<row2; j++) —— 即用 col1（第一矩阵列数）作为外层行索引上限，用 row2（第二矩阵行数）作为内层列索引上限。这导致访问 c[i][j] 时严重越界：例如 c[0][2] 在 2×4 矩阵中本应合法（行索引 0，列索引 2），但若外层循环上限为 col1=3、内层为 row2=3，则可能尝试访问 c[2][2] —— 而 c 实际只有 2 行（row1=2），从而触发 ArrayIndexOutOfBoundsException。
根本原因在于：结果矩阵 c 的维度恒为 row1 × col2，其打印循环必须严格匹配该结构：
// ✅ 正确：按结果矩阵真实维度遍历
for (int i = 0; i < row1; i++) { // 行数 = 第一矩阵行数
for (int j = 0; j < col2; j++) { // 列数 = 第二矩阵列数
System.out.print(c[i][j] + "\t");
}
System.out.println();
}此外，原始代码中乘法核心逻辑存在一处潜在隐患：内层求和循环的索引变量 k 的上限写为 k < row2，虽在 col1 == row2 条件下成立，但更规范、语义更清晰的写法应为 k < col1（即第一矩阵列数，也等于第二矩阵行数），既强化可读性，也避免未来逻辑变更时引入歧义：
for (int i = 0; i < row1; i++) {
for (int j = 0; j < col2; j++) {
c[i][j] = 0;
for (int k = 0; k < col1; k++) { // ✅ 推荐：k < col1（语义明确：公共维度）
c[i][j] += a[i][k] * b[k][j];
}
}
}完整修复后的关键段落如下：
// ... 输入、初始化、验证等步骤保持不变 ...
if (col1 != row2) {
System.out.println("Matrix multiplication impossible! (Column count of matrix 1 must equal row count of matrix 2)");
return; // 优于 System.exit(0)，更利于模块化
}
int c[][] = new int[row1][col2];
// 执行乘法
for (int i = 0; i < row1; i++) {
for (int j = 0; j < col2; j++) {
c[i][j] = 0;
for (int k = 0; k < col1; k++) {
c[i][j] += a[i][k] * b[k][j];
}
}
}
// ✅ 正确打印结果矩阵
System.out.println("Below is the result matrix (size: " + row1 + "x" + col2 + "):");
for (int i = 0; i < row1; i++) {
for (int j = 0; j < col2; j++) {
System.out.print(c[i][j] + "\t");
}
System.out.println();
}总结与建议：
- 始终牢记矩阵乘法结果维度公式：A[m×n] × B[n×p] = C[m×p]，所有对 C 的操作（分配、计算、访问）必须基于 m 和 p；
- 输出前务必校验循环变量上下限与目标数组实际维度一致，可借助 IDE 调试器设置断点观察 i, j, row1, col2 等变量实时值；
- 使用 return 替代 System.exit(0) 可提升代码可测试性与可重用性；
- 添加格式化输出（如 \t 制表符）能显著提升结果可读性。
遵循以上原则，即可稳健支持任意合法尺寸矩阵（如 2×3 × 3×4、5×1 × 1×7 等）的乘法运算，彻底规避索引越界异常。
