在 elixir 中定义匿名函数后显示的数字是多少？

Question

当你在 elixir 中定义一个匿名函数时，你会得到这样的结果。

#Function<6.90072148/1 in :erl_eval.expr/5>

我注意到数字是基于函数的数量。所以 1 arg 函数总是

#Function<6.90072148/1 in :erl_eval.expr/5>

两个参数的函数总是

#Function<12.90072148/2 in :erl_eval.expr/5>

三参数函数总是

#Function<18.90072148/3 in :erl_eval.expr/5>

返回的数字是多少，它是如何得出的？

Answer 1

该数字由编译器生成的索引和函数的唯一名称组成。看看implementation of the inspect protocol for functions。它包含这段话：

"#Function<#{uniq(fun_info)}/#{fun_info[:arity]} in " <>
  "#{Inspect.Atom.inspect(mod)}#{extract_name(fun_info[:name])}>"

其中 fun_info 指的是先前调用 :erlang.fun_info 的结果。这松散地转换为以下伪代码，其中所有内插值都引用 fun_info 的元素：

"#Function<#{new_index}.#{uniq}/#{arity} in #{module}.#{name}>"

如您所见，/ 之后的部分表示元数。 module 和 name 显示函数的定义位置。 new_index 是指向模块函数 table 的指针，uniq 是编译器生成的模块的哈希值。当您为函数调用 :erlang.fun_info 时，您将能够识别检查字符串中的值：

iex> fun = fn x -> x end
#Function<6.90072148/1 in :erl_eval.expr/5>

iex> fun_info = :erlang.fun_info(fun)
[pid: #PID<0.58.0>,
 module: :erl_eval,
 new_index: 6,
 new_uniq: <<171, 204, ...>>,
 index: 6,
 uniq: 90072148,
 name: :"-expr/5-fun-4-",
 arity: 1,
 env: [...]]

uniq 值和索引一起提供了一种唯一标识匿名函数的方法。请注意，在 iex 中，这些假定的唯一值对于您创建的所有函数都非常相似，但是当代码被 "properly" 编译时，它们将是唯一的。考虑以下 iex 会话：

iex> fn -> end
#Function<20.90072148/0 in :erl_eval.expr/5>
iex> fn -> end
#Function<20.90072148/0 in :erl_eval.expr/5>
iex> fn -> end
#Function<20.90072148/0 in :erl_eval.expr/5>

现在将其与运行以下文件 elixir fun.exs 进行比较：

IO.inspect fn -> end
IO.inspect fn -> end
IO.inspect fn -> end

# this prints

#Function<0.120576197 in file:fun.exs>
#Function<1.120576197 in file:fun.exs>
#Function<2.120576197 in file:fun.exs>

在 elixir 中定义匿名函数后显示的数字是多少？

What is the number that shows up after you define an anonymous function in elixir?

elixir