在 erlang 中，我如何解释 `fun erlang:'+'/2` 中的 `+` 运算符

Question

我是Elixir的新手，但对Erlang有一些经验。 As I've been trying to learn Erlang while experimenting with the RabbitMQ implementation of RAFT, ra , I've come across a line in erlang Machine = {simple, fun erlang:'+'/2, 0},

Machine = {simple, fun erlang:'+'/2, 0},

所以，在{simple, fun erlang:'+'/2, 0}, ，这看起来像是在创建一个元组。 元组中的第一项是一个名为simple的atom ，接下来function和最后一个integer ：

{atom, function, integer}

我不明白 function fun erlang:'+'/2在这种情况下做了什么。 /2表示它应该需要 2 个参数。 '+'只是一个加法运算符吗？ 如果是这样，这是一个简单的sum function 我想多了？ erlang 文档说“如果原子不是以小写字母开头或包含除字母数字字符、下划线 (_) 或 @ 之外的其他字符，则原子将用单引号 (') 括起来。”

在我看到此代码的给定上下文中，它说明State machine that implements the logic ，这使我理解这台 state 机器以原子simple命名，执行加法，并将结果保存在最后一项元组。

是否相当于在 elixir 中执行&:erlang.+/2 ？ 文档参考

任何上下文都会有帮助。

Answer 1

你完全正确 - 这个 function 只是加法运算符，它用单引号括起来，因为它不是以小写字母开头。 fun erlang:'+'/2相当于 Elixir 的&:erlang.+/2 。

您可以使用 function 语法而不是运算符语法来调用它：

> erlang:'+'(1,2).
3

您可以将其用作高阶 function：

> lists:foldl(fun erlang:'+'/2, 0, [1, 2, 3]).
6

（当然，您通常会使用lists:sum/1而不是后一个示例。）

Answer 2

根据 Erlang 文档，此特定用法是 forms 之一，用于指定Fun expression ，而这个是fun Module:Name/Arity 。