Erlang非法守卫表达式问题：二进制倍数计数程序报错规避咨询

首先，问题的核心原因是：Erlang的守卫表达式（if或case的条件部分）只能调用特定的内置守护函数（Guard BIFs），你代码里用的lists:max/1、io_lib:format/2都不在允许的列表里——哪怕hd/1属于Guard BIF，结合io_lib:format/2的调用整体还是不被允许，因为io_lib:format/2不是守卫安全的函数。

修复方案 #

把需要计算的逻辑移到守卫表达式外面，用变量存储计算结果，再在守卫中使用这个变量判断即可。这里推荐用case语句替代if（Erlang里case更常用，可读性也更好）：

% X: 待检查的倍数
% N: 累加器
countup(X, N) ->
    % 把字符串转换和最大值计算移到守卫外面
    BinaryStr = hd(io_lib:format("~b", [N])),
    MaxCharAscii = lists:max(BinaryStr),
    case MaxCharAscii < 50 of
        true -> N;
        false -> countup(X, N + X)
    end.

补充：关于你的逻辑意图 #

从代码里的~b格式符（转二进制字符串）和判断<50来看，你应该是想找X的倍数中，二进制表示仅由0和1组成的数（因为'0'的ASCII码是48，'1'是49，都小于50）。如果你的实际需求是找十进制表示仅由0和1组成的倍数（比如10、11、100这类），可以把格式符改成十进制转换，再优化判断逻辑：

countup(X, N) ->
    DecimalStr = integer_to_list(N),
    % 检查字符串中所有字符都是0或1
    IsValid = lists:all(fun(C) -> C =:= $0 orelse C =:= $1 end, DecimalStr),
    case IsValid of
        true -> N;
        false -> countup(X, N + X)
    end.

这样既解决了守卫表达式的问题，也让逻辑更清晰直观。

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