Erlang函数守卫中使用string:str触发非法守卫表达式的原因排查

嘿，我来帮你搞定这个问题！

为什么会触发「非法守卫表达式」错误？ #

Erlang的守卫表达式（也就是when关键字后面的代码块）有严格的规则：只能使用Erlang预定义的、专门允许在守卫里运行的内置函数，比如is_integer/1、rem/2这类。而string:str/2属于普通的模块函数，不在守卫允许的函数清单里，直接把它放到when后面自然会报错。

两种可行的解决方案 #

方案1：把字符串检查移到函数体中

这是最直接的处理方式，先通过守卫判断数字的奇偶性，再在函数体内用case语句处理子串检查逻辑：

myFunc(Number, String) when Number rem 2 == 0 ->
    case string:str(String, "pattern") of
        0 -> do_your_target_thing(); % 字符串不包含"pattern"时执行的逻辑
        _ -> handle_contains_pattern_case() % 字符串包含"pattern"时的处理逻辑
    end;
% 处理Number为奇数的分支
myFunc(Number, String) ->
    handle_odd_number_scenario().

方案2：用模式匹配替代函数调用（适合二进制字符串）

如果你的字符串是二进制类型（比如<<"hello world">>），可以直接通过模式匹配判断是否包含目标子串，把逻辑整合到函数头部：

% 匹配包含"pattern"的二进制字符串，且Number为偶数
myFunc(Number, <<_/binary, "pattern", _/binary>>) when Number rem 2 == 0 ->
    handle_contains_pattern();
% 匹配不包含"pattern"的二进制字符串，且Number为偶数
myFunc(Number, String) when Number rem 2 == 0 ->
    do_your_target_thing();
% 处理其他所有情况
myFunc(Number, String) ->
    handle_other_cases().

要是你的字符串是传统的列表类型（比如"hello world"），这种模式匹配会因为列表的递归结构变得繁琐，所以更推荐用方案1。

内容的提问来源于stack exchange，提问作者rdiaz82