一个 Erlang 保护序列,用于检查一个术语是否是一个长度 == n 的列表

Ser*_*rov 2 erlang guard

是否可以放置一个保护序列来检查术语类型及其长度?我读到第一个通过的守卫使整个序列通过,所以我想当我检查该术语是一个列表时,它不会检查其余的守卫。这是代码:

save_key(Key)
    when
      is_list(Key);
      length(Key) == 44 ->

    ok.
Run Code Online (Sandbox Code Playgroud)

Dog*_*ert 5

为了将保护表达式与 结合起来and,您可以用逗号而不是分号分隔它们,如下所述

-module(a).
-export([save_key/1]).

save_key(Key)
    when
      is_list(Key),
      length(Key) == 44 ->
    ok;
save_key(_) ->
    ko.
Run Code Online (Sandbox Code Playgroud)
1> c(a).
{ok,a}
2> a:save_key([]).
ko
3> a:save_key(nil).
ko
4> a:save_key(lists:seq(1, 44)).
ok
Run Code Online (Sandbox Code Playgroud)

另请注意,由于防护中引发的错误被忽略,因此您只需添加length(Key) == 44并获得与非列表相同的行为将引发错误并且与该子句不匹配:

save_key(Key) when length(Key) == 44 ->
    ok;
save_key(_) ->
    ko.
Run Code Online (Sandbox Code Playgroud)