3. 运行时错误诊断

MATLAB 脚本在语法检查通过后，仍可能在执行阶段抛出运行时错误。与语法错误不同，运行时错误往往依赖具体输入数据、变量状态和调用路径，因此定位难度更高。本节围绕三类最常见错误——索引越界、未定义变量、类型不匹配——讲清错误消息的读法、堆栈跟踪的用法、try-catch 的合理边界，以及从报错到修复的完整判断过程。

三类高频运行时错误的表现与成因

索引越界是最常见的错误之一。MATLAB 的数组索引从 1 开始，访问 0、负数或超过数组当前长度的位置都会触发 Index exceeds the number of array elements 或 Index in position 1 is invalid。典型场景包括：循环上界写成 length(x) 但循环体内又删除了元素；用 find 得到空结果后直接索引；矩阵行列维度与预期不符时按线性索引访问。例如下面这段示例代码，当 data 只有 5 个元素时，第 6 次循环必然报错：

data = [3 7 1 9 4];
for k = 1:6
    y(k) = data(k) * 2;   % k=6 时越界
end

未定义变量的报错信息是 Unrecognized function or variable 'xxx'。它通常不是拼写问题那么简单，而是作用域问题：变量在 if 分支中赋值、但当前分支未执行；函数内部变量未返回却被外部引用；脚本切换工作目录后依赖的变量未重新生成；或者 clear 之后继续使用旧变量。判断要点是看报错行引用的变量名，回溯它在哪条路径上被赋值，而不是急于在报错行附近找答案。

类型不匹配覆盖面较广，常见消息有 Undefined function 'plus' for input arguments of type 'cell'、Unable to perform assignment because the size of the left side is 1-by-1 and the size of the right side is 1-by-3、Conversion to double from struct is not possible。前者说明对 cell 数组直接做了算术运算，应改用 cell2mat 或 {} 取值；中间者说明赋值左右尺寸不一致，需检查是否漏了循环下标；后者说明结构体与数值混用，需明确字段访问。类型问题往往在数据来源变化后才暴露，因此要结合输入数据的 class 和 size 一起看。

读懂错误堆栈：从最内层开始回溯

MATLAB 报错时给出的堆栈按“由内向外”排列：第一行是真正抛出错误的函数与行号，随后是调用它的函数，直到脚本入口。读堆栈的正确顺序是先看最内层出错点，再逐层向外确认数据是在哪一层被污染的。例如 calcMean 第 8 行越界，但真正的问题可能是 runReport 第 21 行传入了一个空数组。若只看最内层，容易在 calcMean 里加一堆防御代码，却治标不治本。

配合 dbstop if error 可以让 MATLAB 在错误发生时自动进入调试模式，此时工作区保留出错瞬间的所有变量，可直接用 size、class、whos、isempty 检查现场。这比事后在代码里到处插 disp 高效得多。对于循环中的偶发错误，还可以用 dbstop if naninf 或条件断点缩小范围。

try-catch 的用法与误用

try-catch 的价值在于“可控失败”，而不是“吞掉错误”。合理用法是：读取外部文件时捕获文件不存在；批量处理多条记录时让单条失败不中断整体；对用户输入做校验后给出友好提示。写法上应捕获异常对象并保留诊断信息：

try
    raw = readmatrix('sensor_data.csv');
catch ME
    fprintf('读取失败：%s\n', ME.message);
    for k = 1:numel(ME.stack)
        fprintf('  位于 %s 第 %d 行\n', ME.stack(k).name, ME.stack(k).line);
    end
    raw = [];
end

需要警惕的是用 try-catch 包裹整段计算逻辑。索引越界和类型错误属于程序缺陷，应当被修复而不是被静默跳过；若确实需要在 catch 中处理，至少要用 rethrow(ME) 保留原始堆栈，或把 ME.identifier 记录到日志，避免错误被层层掩盖后难以追查。

一个可复用的排障判断顺序

面对一条运行时错误，建议按以下顺序推进：第一步，读错误消息确定类别（越界、未定义、类型）；第二步，看堆栈最内层的文件名与行号，打开对应代码；第三步，在该行前检查相关变量的 size、class、isempty，确认实际值与预期值的差异；第四步，向外层回溯，找到数据首次偏离预期的位置；第五步，修复根因后，用边界输入（空数组、单元素、维度不匹配）回归验证。这个顺序的核心是“先看现场、再改代码”，避免凭猜测反复试错。