1

图片描述

前言

Map 是 elixir 中经常会用到的一种 key-value 数据结构。
它有着 使用简单,顺序无关,可以用任何值做 key,可模式匹配 等优点。

历史

Map 引入 erlang 的时间并不长,是在 OTP17 中新增的数据结构。
可参看这篇文章

常用操作

elixir 对 Map 的支持非常好,在 Kernel 模块中就提供许多操作 Map 的函数。

    iex> users = %{"john" => %{age: 27}, "meg" => %{age: 23}}

    iex> pop_in(users, ["john", :age])
    {27, %{"john" => %{}, "meg" => %{age: 23}}}

    iex> put_in(users, ["john", :age], 28)
    %{"john" => %{age: 28}, "meg" => %{age: 23}}

    iex> update_in(users, ["john", :age], &(&1 + 1))
    %{"john" => %{age: 28}, "meg" => %{age: 23}}

    iex> get_in(users, ["john", :age])
    27

    iex> get_and_update_in(users, ["john", :age], &{&1, &1 + 1})
    {27, %{"john" => %{age: 28}, "meg" => %{age: 23}}}

此外,还可以这样访问 Map 中的某个值(使用第二种方法时 key 必须为 atom):

    iex> users = %{"john" => %{age: 27}, "meg" => %{age: 23}}
    iex> users["john"][:age]
    27

    iex> map1 = %{a: %{b: 1}, c: 2}
    iex> map1.a.b
    1

还可以这样修改一个 map (key 必须为已经存在的,且必须为 atom):

    iex> map2 = %{a: 1, b: 2}
    iex> %{map2 | a: 3}
    %{a: 3, b: 2}

struct

为了给 Map 增添编译时的结构检查, 以及设置默认值的功能,elixir 提供了 struct。
struct 即是带有 :__struct__ key 的 map。要使用struct, 必须先定义:

    iex> defmodule User do
    ...> defstruct name: 123
    ...> end

    iex> user = %User{}
    %User{name: 123}
    iex> user.__struct__
    User
    iex> %{__struct__: User, name: 456}
    %User{name: 456}

注意,一个 struct 模块需要实现了 Access Behaviour 之后,才可以使用
put_in 等函数。

MapSet

有时,我们会需要这样一种数据结构:一个无序列表,里面的所有元素都是唯一的。
elixir 在 Map 的基础上实现了 MapSet。

它的原理很简单:

iex> MapSet.new([123, :a, "hello"])
#MapSet<[123, :a, "hello"]>

iex> %MapSet{map: %{123 => [], :a => [], "hello" => []}}
#MapSet<[123, :a, "hello"]>

Range

Range 也是一种 struct。

    iex> %Range{first: 1, last: 100}
    1..100

其他

  • 模式匹配时,%{} 可以匹配任意的 Map,包括 struct 和 MapSet。

  • 两个 Map 之间比较大小时,首先比较 key 的个数,然后是 key 的大小,
    最后是 value 的大小。比较 key 的大小时,浮点数永远大于整数:

    iex> a = %{1.1 => []}
    %{1.1 => []}
    iex> b = %{2 => []}
    %{2 => []}
    iex> a > b
    true

Ljzn
399 声望102 粉丝

网络安全;函数式编程;数字货币;人工智能