需要帮助来理解 Erlang 代码以及它到底在做什么

Question

我发现很难破译这段代码。我可以理解有一个数据结构的实例；是记录还是地图？

查询是关于代码的最后两行，是用Response 更新记录还是检查message_code？

Response =
  #{header =>
      #{message_code => 'CONN_ESTABLISH_REQUEST',
        protocol_instance => ?MGMT_PROTOCOL_IDENTIFIER,
        transaction_identifier => 1},
    content => #{revision_list => [0]}
  },

#{header := #{message_code := 'CONN_ESTABLISH_CONFIRM'},
      content := Confirmation} = Response

Answer 1

这是地图，不是记录。 （如果是记录，记录名称将介于# 和{ 之间。）

最后两行对变量Response 执行模式匹配。代码断言Response 是一个至少包含两个键header 和content 的映射。 header 的值必须是至少包含一个键 message_code 的映射，其值为 'CONN_ESTABLISH_CONFIRM'。 content 的值将存储在变量 Confirmation 中。 如果Response 的值不符合所有这些要求，则此代码将发出badmatch 错误信号。

请注意，根据:= 的右侧是否包含以下内容，行为会有所不同：

• 一个常数
• 一个未绑定的变量
• 绑定变量（已经有值的变量）

如果它是未绑定的变量，则该键的值仅存储在该变量中。如果它是一个绑定变量，则该键的值必须与该变量的值匹配，否则你会得到一个badmatch 错误，就像一个不匹配的常量一样。

---

如您所见，使用了两种不同的分隔符，=> 和 :=。构造新映射时（比如你例子中的第一个表达式），只能使用=>，而模式匹配时，只能使用:=。这个想法是他们做不同的事情：=> 在映射中存储一个键值对，而:= 提取一个现有的键值对。

还有另一种情况：更新现有地图。在这种情况下，您可以同时使用两者。 => 可用于向映射添加新键，而 := 只能用于更新现有键，否则会发出 badarg 错误信号。例如，如果您想在Response 中添加“页脚”，则必须使用=>：

NewResponse = Response#{footer => [some,data]},
%% this signals a badarg error:
NewResponse = Response#{footer := [some,data]},

如果你想改变content，你可以使用：

NewResponse = Response#{content := 42},
NewResponse = Response#{content => 42},