Elixir学习笔记——结构

我们在前面的章节中学习了映射：

结构体是在映射之上构建的扩展，提供编译时检查和默认值。

定义结构

要定义结构，请使用 defstruct/1 构造：

defstruct 使用的关键字列表定义了结构将具有哪些字段及其默认值。结构采用其定义模块的名称。在上面的示例中，我们定义了一个名为 User 的结构。

我们现在可以使用类似于创建映射的语法来创建 User 结构：

结构提供编译时保证，即只有通过 defstruct 定义的字段才允许存在于结构中：

访问和更新结构

结构与固定键的映射共享相同的访问和更新字段的语法：

使用更新语法 (|) 时，Elixir 知道不会向结构中添加任何新键，从而允许下面的映射在内存中共享其结构。在上面的示例中，john 和 jane 在内存中共享相同的键结构。

结构还可以用于模式匹配，既可以匹配特定键的值，也可以确保匹配值是与匹配值相同类型的结构。

结构体的底层解构

结构体只是带有一个名为 __struct__ 的“特殊”字段的映射，该字段保存结构体的名称：

但是，结构体不会继承映射所继承的任何协议。例如，您既不能枚举也不能访问结构体：

iex> john = %User{}
%User{age: 27, name: "John"}
iex> john[:name]
** (UndefinedFunctionError) function User.fetch/2 is undefined (User does not implement the Access behaviour)
             User.fetch(%User{age: 27, name: "John"}, :name)
iex> Enum.each(john, fn {field, value} -> IO.puts(value) end)
** (Protocol.UndefinedError) protocol Enumerable not implemented for %User{age: 27, name: "John"} of type User (a struct)

结构体与协议一起为 Elixir 开发人员提供了最重要的功能之一：数据多态性。这就是我们将在下一章中探讨的内容。

默认值和必需键

如果在定义结构时未指定默认键值，则将假定为 nil：

您可以定义一个结构，将两个字段与显式默认值和隐式 nil 值相结合。在这种情况下，您必须首先指定隐式默认为 nil 的字段：

按相反顺序执行此操作将引发语法错误：

iex> defmodule User do
...>    defstruct [name: "John", age: 27, :email]
...>   end
** (SyntaxError) iex:107: unexpected expression after keyword list. Keyword lists must always come last in lists and maps.

您还可以强制在通过 @enforce_keys 模块属性创建结构时必须指定某些键：

强制键提供了一个简单的编译时保证，以帮助开发人员构建结构。它不会在更新时强制执行，也不会提供任何类型的值验证。