关于在erlang中使用`||`

时间:2015-11-10 12:40:55

标签: erlang

我正在阅读项目recon的源代码, 我找到了一个有趣的代码:

proc_attrs(binary_memory, Pid) ->
    case process_info(Pid, [binary, registered_name,
                            current_function, initial_call]) of
        [{_, Bins}, {registered_name,Name}, Init, Cur] ->
            {ok, {Pid, binary_memory(Bins), [Name || is_atom(Name)]++[Init, Cur]}};
        undefined ->
            {error, undefined}
    end;

在此代码中,有一个[Name || is_atom(Name)]

我在shell中尝试:

27> [a || is_atom(a)].
[a]
28> [a || is_atom("a")].
[]
29> [a || true].
[a]
30> [a || false].
[]

但我从未见过这样的用法,谁可以告诉我细节?

1 个答案:

答案 0 :(得分:6)

[ ... || ... ]list comprehension,通常用于在列表上操作以生成另一个列表。在这种情况下,仅使用理解的发生器侧(右侧)的滤波器部分作为条件,并且一如左侧仅在滤波器通过时产生值。考虑一下你的例子:

27> [a || is_atom(a)].
[a]
28> [a || is_atom("a")].
[]

在命令27中,a确实是一个原子,因此过滤器is_atom/1通过,因此左侧产生值[a]。但是在命令28中,is_atom/1过滤器消除了值"a",因为它不是原子,左侧不产生任何内容,因此结果是空列表。

这种方法是编写较长条件的简便方法。例如,您引用以下代码来侦察:

[Name || is_atom(Name)]++[Init, Cur]

也可以写成:

case is_atom(Name) of true -> [Name]; false -> [] end ++ [Init, Cur]

有人可能会说后者更容易理解,但显然它也更冗长,因此可能会使代码混乱太多。