守卫条件是Erlang中用于增强模式匹配的布尔表达式，通过when关键字引入，确保函数子句仅在匹配模式且条件为真时执行。例如abs(X) when X >= 0 -> X; 支持类型检测如is_integer/1、数值比较及多条件组合，使用逗号（and）或分号（or）连接，常用于参数校验、状态控制和递归优化，提升代码安全与清晰度，但仅限守卫安全的无副作用表达式。
在 Erlang 中，match 函数（通常指函数子句中的模式匹配）结合 守卫条件（guards） 可以实现更灵活和安全的函数行为控制。守卫条件允许你在模式匹配的基础上增加逻辑判断，只有当模式匹配成功且守卫条件为真时，该函数子句才会被执行。
什么是守卫条件（Guard）
守卫条件是跟在函数参数模式后、函数体前的一个布尔表达式，使用 when 关键字引入。它用于进一步限制函数子句的适用范围。
基本语法如下：
function_name(Pattern) when GuardExpression ->
FunctionBody.
例如：
abs(X) when X >= 0 -> X; abs(X) when X < 0 -> -X.
这里两个子句都匹配 X，但通过守卫条件区分正负数。
常用守卫表达式与类型测试
Erlang 提供了一系列内置的守卫函数和操作符，常用于类型判断、数值比较等。
-
类型检测：
is_integer/1
,is_atom/1
,is_list/1
,is_tuple/1
等 -
数值比较：
<
,=<
,==
,/=
等 -
算术与逻辑：
+
,-
,and
,or
,not
（注意：守卫中不能使用普通函数）
示例：确保输入为正整数
factorial(N) when is_integer(N), N > 0, N =< 20 ->
factorial(N, 1).
factorial(1, Acc) -> Acc;
factorial(N, Acc) -> factorial(N - 1, N * Acc).
这里使用多个守卫条件联合判断，避免非法输入。
多条件组合与短路求值
多个守卫条件可以用逗号 ,（表示 and）或分号 ;（表示 or）连接。
- 逗号：所有条件必须为真
- 分号：至少一个组为真即可
示例：
check_value(X) when is_integer(X), X > 0; is_float(X), X > 0.0 ->
positive_number;
check_value(_) ->
not_positive_number.
这个函数接受正整数或正浮点数，其他情况返回默认结果。注意分号用于分隔“或”关系的条件组。
实际应用场景举例
守卫条件在实际开发中非常有用，比如：
- API 参数校验：防止无效数据进入处理流程
- 状态机分支控制：根据当前状态和输入决定行为
- 递归终止条件增强：避免无限递归
例子：简单状态处理
handle_state(login, User) when is_binary(User), byte_size(User) > 0 ->
{ok, logged_in};
handle_state(logout, _) ->
{ok, logged_out};
handle_state(_, _) ->
{error, invalid_operation}.
通过守卫确保用户名非空二进制数据，提升健壮性。
基本上就这些。合理使用 match 函数的守卫条件，能让代码更清晰、安全，减少显式 if 判断，充分发挥 Erlang 模式匹配的优势。注意守卫中只能使用“守卫安全”的表达式，避免副作用。
