我们在前面的章节中学习了映射:
结构体是在映射之上构建的扩展,提供编译时检查和默认值。
定义结构
要定义结构,请使用 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 模块属性创建结构时必须指定某些键:
强制键提供了一个简单的编译时保证,以帮助开发人员构建结构。它不会在更新时强制执行,也不会提供任何类型的值验证。