Erlang 报错如何解决？-HCRM博客

在Erlang开发过程中，错误处理是确保程序健壮性和稳定性的重要环节，Erlang提供了丰富的错误类型和异常处理机制，帮助开发者有效应对各种运行时问题，以下将详细介绍Erlang中的常见错误类型、错误原因、解决方案以及相关示例：

Erlang常见错误类型及原因

错误类型	描述	示例代码
badarg	参数类型错误，传入函数的参数和函数声明要求的参数类型不匹配	`erlang:integer_to_list(a).`
badarith	算术表达式错误，例如将一个整数和一个atom相加	`10 + c.`
badmatch	模式匹配错误，最常见的例子是给一个变量赋不同的值	`Val = 10. 10`
function_clause	函数已定义，但找不到匹配函数	`test:add(10, 1.0).`
case_clause	case表达式找不到匹配的分支	`case Val of 1 > lt; 2 > gt end.`
if_clause	if表达式要求最少有一个分支测试条件的结果为true，否则会引发错误	`if Val< 0 > lt(); Val > 100 > gt().`
undef	调用未定义的函数或模块	`test:sum().`
noproc	进程不存在，如gen_server call一个不存在的进程	`Pid = pid(0, 100, 10). gen_server:call(Pid, test).`
system_limit	超出系统上限，如atom,ets,port,process等	`lists:foreach(fun(_)> N1= 10, list_to_atom(`

Erlang错误处理机制

try/catch机制

（图片来源网络，侵权删除）

在Erlang中，可以使用try/catch块来捕获和处理异常。try块中的表达式如果抛出异常，控制将转到相应的catch子句。catch子句可以匹配特定的异常类型，并执行相应的处理代码。

try:
    exprs
catch
    Class:Reason >
        %% 异常处理代码
        %% Class为异常类型，Reason为异常原因
        ok
end.

try:
    whatever
catch
    Class:Reason >
        io:format("Class:~p, Reason:~p~nstacktrace:~n~p", [Class, Reason, erlang:get_stacktrace()]),
        error
end.

throw/catch机制

throw用于抛出异常，可以在任何地方使用。catch用于捕获throw抛出的异常，如果catch子句没有匹配到异常，异常将继续传播。

throw(error).

捕获throw异常：

try:
    throw(error)
catch
    throw:X >
        io:format("Caught throw: ~p~n", [X])
end.

exit/catch机制

exit用于终止当前进程，并可以选择性地发送退出信号给其他进程。exit引发的异常可以通过catch子句捕获。

（图片来源网络，侵权删除）

exit(error).

捕获exit异常：

try:
    exit(error)
catch
    exit:X >
        io:format("Caught exit: ~p~n", [X])
end.

示例与解决方案

示例1：处理badarg错误

try:
    erlang:integer_to_list(a)
catch
    Class:Reason >
        io:format("Caught exception: ~p: ~p~n", [Class, Reason])
end.

输出：

Caught exception: error: bad argument

示例2：处理function_clause错误

module(test).
export([add/2]).
add(A, B) when is_integer(A), is_integer(B) > A + B.
try:
    test:add(10, 1.0)
catch
    Class:Reason >
        io:format("Caught exception: ~p: ~p~n", [Class, Reason])
end.

输出：

Caught exception: error: function clause matching...

FAQs

Q1: 如何在Erlang中捕获所有类型的异常？

（图片来源网络，侵权删除）

A1: 在Erlang中，可以使用通配符_来匹配所有类型的异常。

try:
    some_expression
catch
    _:Reason >
        io:format("Caught all exceptions: ~p~n", [Reason])
end.

这样可以捕获任何类型的异常，并在catch子句中进行处理。

Q2: Erlang中如何优雅地处理多个可能的异常？

A2: 可以在try块中使用多个catch子句分别捕获不同类型的异常，并根据需要进行处理。

try:
    some_expression
catch
    Class1:Reason1 > handle_class1(Reason1);
    Class2:Reason2 > handle_class2(Reason2);
    Class3:Reason3 > handle_class3(Reason3)
end.

这样可以针对不同的异常类型进行不同的处理，提高代码的可维护性和可读性。