Question

我正在阅读项目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].
[]

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

Answer 1

[ ... || ... ]是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]

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

关于在erlang中使用`||`

1 个答案: