4. 逻辑错误调试

语法错误会让脚本直接停下，MATLAB 会在命令行给出红色报错和行号；逻辑错误则完全不同——脚本能顺利跑完，不报任何警告，但结果就是不对。这类错误往往藏在循环边界、条件判断、索引方向、变量覆盖或单位换算之中，是调试工作中最耗时的一类。本章围绕逻辑错误的识别特征、断点与单步执行、变量观察、条件断点、中间结果输出，以及一个完整的案例分析展开。

逻辑错误的典型特征

逻辑错误最直接的表现是“结果与预期不符”。判断时不要只盯着最终输出，而应先构造一个已知正确答案的小规模输入作为参照。例如要验证一段求向量中正数之和的代码，可以先用 x = [3 -1 4 -2 5]，预期和为 12；若脚本返回 7，说明负值被错误累加或循环提前终止。有了这个“金标准”，后续所有调试动作才有明确的判断依据。

常见的逻辑错误来源包括：循环起止下标差一（off-by-one），例如本应 1:n 却写成 1:n-1；条件判断用了 & 而非短路 &&，在标量场景下虽不报错但语义不同；在循环体内反复给同一变量赋值导致累加器被覆盖；矩阵索引行列颠倒；以及 while 循环的更新语句位置不当造成死循环或提前退出。识别这些模式，比盲目加 disp 更高效。

断点调试与单步执行

MATLAB 编辑器的行号左侧灰色区域可点击设置断点，出现红点即生效。运行脚本后，程序会在断点处暂停，命令行提示符变为 K>>，此时工作区处于暂停状态，可以查看和修改变量。常用的单步控制包括：步进（Step）执行下一行；步过（Step In）进入被调用函数内部；步出（Step Out）执行完当前函数剩余部分并返回调用处；继续（Continue）运行到下一个断点。

实操建议：把断点设在“可疑计算”的前一行，而不是脚本开头。暂停后，在命令行直接输入变量名即可查看当前值，例如输入 i、sum_pos、x(i)，也可以输入表达式如 sum_pos + x(i) 预判下一步结果。若发现某变量值异常，再向前回溯一个断点，逐步缩小问题范围。这种“二分定位”比从头单步快得多。

条件断点：让程序在异常时刻停下

当循环次数很多、错误只发生在特定数据上时，普通断点会让人反复按继续。此时应使用条件断点：右键点击断点红点，选择“设置/修改条件”，输入一个布尔表达式，例如 i == 37 或 x(i) < 0 或 abs(sum_pos - expected) > 1e-6。程序只在条件为真时暂停，其余迭代自动跳过。对于排查“第 N 次迭代才出错”的问题，条件断点几乎是最高效的手段。

用 disp 与 fprintf 输出中间结果

断点适合交互式排查，而 disp 和 fprintf 适合留下可回看的轨迹。二者区别在于：disp 简单打印变量值，适合快速查看；fprintf 支持格式化，能把变量名、迭代序号和数值拼在一行，便于对照。例如在循环内插入：

for i = 1:n
    sum_pos = sum_pos + max(x(i), 0);
    fprintf('i=%2d  x(i)=%6.2f  sum_pos=%8.3f\n', i, x(i), sum_pos);
end

运行后逐行检查 sum_pos 的增量是否与 max(x(i),0) 一致，一旦某行增量不符，问题就锁定在该次迭代。注意调试输出应在修复后删除或注释，避免污染正式结果；也可用 if debug_flag 包裹，通过开关控制。

案例分析：正数求和结果偏小

假设有脚本对向量 x = [3 -1 4 -2 5] 求正数之和，预期 12，实际输出 7。按前述方法，先在循环内加 fprintf 观察每次迭代。若发现 i=5 时 x(5)=5 未被累加，且循环变量显示到 4 就结束，则问题指向循环上界写成 1:n-1。将上界改为 n 后重跑，输出 12，与金标准一致，修复完成。这个案例说明：逻辑错误的价值不在于“改对一行”，而在于建立“构造参照—定位迭代—验证修复”的闭环。

把上述流程固化为习惯：先写预期，再设断点，用条件断点过滤无关迭代，用 fprintf 留下轨迹，最后用金标准验证修复。逻辑错误并不可怕，可怕的是没有参照、没有观察点地反复试错。