介绍Erlang里的Record

原文: Erlang: An Introduction to Records

在Erlang内部只有两种混合的数据类型：List和Tuple，而这两种都不支持命名访问，所以如果没有额外的库的话想创建像PHP、Ruby或Python中的关联数组（Ruby中的Hash）是不可能的
在Ruby中我可以这样做：

server_opts = {:port => 8080, :ip => '127.0.0.1', :max_connections => 10}

在Erlang的语法级别不支持这种表达

为了避免这种限制，Erlang虚拟机提供了一个伪数据类型，称为Record
Record支持命名访问，后面我们会看到为什么我们称之为“伪”数据类型

定义Record
Record更类似于C中的struct，而不是关联数组，后者必须一开始就定义好内容并且只能保持数据
这里是一个服务器的连接选项的Record例子：

-module(my_server).

-record(server_opts,
  {port,
  ip="127.0.0.1",
  max_connections=10}).

% The rest of your code goes here.

Record使用-record指令来声明，第一个参数是Record的名字，第二个参数是一个Tuple，Tuple包含了Record里的field和默认值
在这里我们定义了server_opts这个Record，它有三个field：端口、IP和最大连接数
没有默认的port，ip默认值为"127.0.0.1"，max_connections默认值为10

创建Record
Record通过使用#符号来创建，下面是创建server_opts这个Record的实例的合法方式：

Opts1 = #server_opts{port=80}.

这段代码创建了一个server_opts Record，port设置为80，其他field使用默认值

Opts2 = #server_opts{port=80, ip="192.168.0.1"}.

这段代码创建了一个server_opts Record，但是ip设置为"192.168.0.1"

简而言之，当创建一个Record时，你可以包含任何field，省略的field将使用默认值

访问Record
Record的访问方式很笨拙，如果我想访问port这个field，我可以这样做：

Opts = #server_opts{port=80, ip="192.168.0.1"},
Opts#server_opts.port

每次你想访问一个Record时你都必须包含Record的名字，为什么要这样？
因为Record不是真正的内部数据类型，它只是编译器的小把戏。

在内部，Record是Tuple，如下：

{server_opts, 80, "127.0.0.1", 10}

编译器将Record的名字映射到Tuple里面
Erlang虚拟机记录了Record的定义，而编译器将所有的Record逻辑翻译为Tuple逻辑
因此，根本就没有Record类型，所以每次你访问一个Record时你必须告诉Erlang我们在用哪个Record（为了编译器爽，程序员变的很不爽）

更新Record
更新Record和创建Record很类似：

Opts = #server_opts{port=80, ip="192.168.0.1"},
NewOpts = Opts#server_opts{port=7000}.

这里首先创建一个server_opts Record
NewOpts = Opts#{port=7000}创建了一个Opts的副本，并指定port为7000并绑定到NewOpts

匹配Record和Guard语句
不谈模式匹配就不算Erlang
让我们来看看一个例子：

handle(Opts=#server_opts{port=8000}) ->
  % do special port 8080 stuff
handle(Opts=#server_opts{} ->
  % default stuff

Guard语句和上面的类似，例如绑定小于1024的端口通常需要root权限，所以我们可以这样做：

handle(Opts) when Opts#server_opts.port <= 1024 ->
  % requires root access
handle(Opts=#server_opts{}) ->
  % Doesn't require root access

使用Record
在我使用Erlang的有限的时间里，我发现Record主要用在两种场景
首先，Record用来保存状态，特别是在使用gen_server的behaviour时
由于Erlang不能全局保持状态，所以状态必须在方法之前传来传去
然后，Record可以用来保存配置选项，这可以认为是第一点的子集
尽管如此，Record也有一些限制，最明显的是不能在运行时添加和删除field，这和C的struct一样，Record的结构必须预先定义
如果你想在运行时添加和删除field，或者你在运行时才能确定有哪些field，这时你应该使用dict而不是Record