鲁棒错误处理
Wolfram 语言提供多种机制来检测和管理错误,并帮助确保程序鲁棒并按预期执行. Confirm 系列函数允许在程序执行期间检查各种形式的错误条件,并在检测到错误时立即中止程序执行. Enclose 定义程序中将捕获错误的范围.
函数参数检查
CheckArguments — 检查函数参数的结构
ArgumentsOptions ▪ OptionsPattern
运行时错误处理
Confirm — 计算表达式,确认没有生成错误
Enclose — 计算表达式,如果失败则停止并返回失败对象
WithCleanup — 即使计算被中断,也运行清理代码
确认类型
ConfirmBy — 计算表达式,确认结果满足条件
ConfirmMatch — 计算表达式,确认结果匹配模式
ConfirmQuiet — 计算表达式,确认不生成消息
ConfirmAssert — 确认满足断言
失败表示
Failure ▪ Missing ▪ $Failed ▪ TerminatedEvaluation
代码监控
Assert — 如果条件不满足则中止
Echo — 打印中间结果
EchoEvaluation ▪ EchoTiming ▪ EchoFunction ▪ EchoLabel
底层错误处理
Check ▪ CheckAbort ▪ AbortProtect ▪ PropagateAborts