我正在阅读项目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].
[]
但我从未见过这样的用法,谁可以告诉我细节?
答案 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]
有人可能会说后者更容易理解,但显然它也更冗长,因此可能会使代码混乱太多。