MATLAB - 错误处理

MATLAB 中的健壮错误处理

有效的错误处理对于编写健壮、可靠和用户友好的程序至关重要。错误处理不是让程序意外崩溃，而是让您能够预测潜在问题，优雅地捕获它们，并提供有意义的反馈。本教程涵盖了 MATLAB 中错误处理的现代最佳实践。

错误类型

语法错误：MATLAB 的代码分析器在执行前捕获的语言语法错误（例如，括号不匹配 a = [1, 2) 或函数名拼写错误 disb(x)）。MATLAB 编辑器在突出显示这些错误方面表现出色。
运行时错误：在代码执行期间发生的错误。这些是错误处理技术的主要目标。示例包括尝试访问不存在的数组元素（当 A 只有 5 个元素时，访问 A(10)）或除以零。
逻辑错误：代码运行没有崩溃，但产生了不正确的结果。这是由于算法逻辑中的缺陷（例如，使用 + 而不是 -）。这些错误不能被 try/catch 块捕获，必须通过调试和测试来发现。

`try/catch` 语句：错误处理的基石

try/catch 语句是管理运行时错误的基本机制。MATLAB 执行 try 块中的代码。如果发生错误，执行会立即跳转到 catch 块，跳过 try 块的其余部分。如果没有发生错误，catch 块将被忽略。

示例：处理文件读取错误

filename = 'non_existent_file.csv';

try
    disp('Attempting to read the file...');
    % 此行将抛出错误
    dataTable = readtable(filename);
    disp('File read successfully!'); % 此行将不会被执行

catch ME
    % 'ME' 变量是一个 MException 对象，包含错误详情
    fprintf('An error occurred!\n');
    fprintf('Error Identifier: %s\n', ME.identifier);
    fprintf('Error Message: %s\n', ME.message);

    % 您还可以访问调用堆栈，查看错误发生的位置
    % disp(ME.stack);
end

disp('Program continues after the try/catch block.');

MException 对象（ME）非常有用。它包含：

ME.identifier：错误的唯一标识符（例如，'MATLAB:readtable:FileNotFound'）。这允许您捕获特定错误。
ME.message：人类可读的错误消息。
ME.stack：一个详细说明函数调用堆栈的结构体，对于调试复杂代码至关重要。

抛出自定义错误

您可以使用 error 或 throw 函数创建并抛出自己的自定义错误。这对于您自己函数中的输入验证至关重要。

示例：函数中的输入验证

function result = calculatePositiveRatio(a, b)
    % 此函数计算 a/b，确保输入为正数。

    if ~isnumeric(a) || ~isnumeric(b)
        % 最佳实践：使用唯一标识符
        error('MyToolbox:InvalidInput:NotNumeric', 'Inputs must be numeric.');
    end

    if a <= 0 || b <= 0
        error('MyToolbox:InvalidInput:NotPositive', 'Inputs must be positive values.');
    end

    if b == 0
        % 这种特殊情况已由 MATLAB 的 Inf 处理，
        % 但自定义错误可以更具描述性。
        error('MyToolbox:InvalidInput:DivideByZero', 'Divisor `b` cannot be zero.');
    end

    result = a / b;
end

调用 calculatePositiveRatio(10, -2) 将会停止执行并显示您的自定义错误消息。

现代错误处理的最佳实践

对高风险操作使用 try/catch：将与外部资源（文件、Web API、硬件）交互或执行数学上高风险操作（矩阵求逆）的代码封装在 try/catch 块中。
在 catch 中具体化：您可以通过检查 catch 块内的 ME.identifier 来捕获特定错误。这允许您以不同方式处理不同错误。
使用 assert 进行前置条件检查：assert(condition, 'message') 函数非常适合检查在正确代码中绝不应发生的状态。如果条件为假，它会抛出错误。它比 if 语句更简洁，用于验证内部程序状态。
对非致命问题使用 warning：如果某个情况有问题但不需要停止程序，请使用 warning('Your message here')。例如，如果因为输入无效而使用了默认值。
使用 finally 进行清理：try-catch 块可以有第三部分，即 finally。finally 块中的代码总是被执行，无论是否发生错误。这是放置清理代码（例如关闭文件句柄）的理想位置。

示例：使用 `try-catch-finally` 进行安全文件处理

fid = -1; % 初始化文件标识符
try
    fid = fopen('my_data.txt', 'w');
    if fid == -1, error('Could not open file for writing.'); end

    fprintf(fid, 'This is some data.\n');
    % 假设这里发生了一个错误
    error('Something went wrong during processing!');

catch ME
    fprintf(2, 'Caught an error: %s\n', ME.message);

finally
    if fid ~= -1
        fclose(fid);
        disp('Cleanup complete: File handle closed.');
    end
end