说说erlang tuple和record结构
erlang有两种复合结构。tuple和list,两者的区别是tuple子元素的个数是固定不变的。声明后就不能改变了。而list是可变的,能够通过[H|T]来取出或插入新元素。
record有点像C/C++里面的结构体。实际上是语法糖,方便我们的开发。代码汇编时转成tuple表达形式。
Tuple
tuple的表示方法如:
{Term1,...,TermN}
以下以样例说明erlang tuple及一些基本操作:
1> A = {1,2}.
{1,2}
2> tuple_size(A).
2
3> is_tuple(A).
true
4> tuple_to_list(A).
[1,2]
5> element(1, A).
1
6> setelement(2, A, 3).
{1,3}
Record
record有点像C/C++里面的结构体。表示方法如:
-record(Name, {Field1 [= Value1],
...
FieldN [= ValueN]}).
以下以样例说明erlang record及一些基本操作:
%% shell下定义 record结构 person
%% 等效程序里定义 -record(person, {name, age}).
7> rd(person, {name, age}).
person
8> A1 = #person{name = "john", age = 10}.
#person{name = "john",age = 10}
9> A2 = A1#person{name = "Lucy"}.
#person{name = "Lucy",age = 10} %% record 一次赋值
10> X = #person{_ = 1}.
#person{name = 1,age = 1}
11> element(2, X).
1
12> setelement(2, X, "Tom").
#person{name = "Tom",age = 1}
14> P=#person{}.
#person{name = undefined,age = undefined}
15> is_record(P,person).
true
16> #person.age.
3
17> #person.name.
2
tuple 和 record 有什么关系?
record仅仅是语言程序上的结构,方便我们的开发,在erlang编译的时候会转成tuple处理
%% shell下定义 record结构 person2
%% 等效程序里定义 -record(person2, {name = "", age = 1}).
23> rd(person2, {name = "", age = 1}).
person2
24> A3 = #person2{name = "Jimmy"}.
#person2{name = "Jimmy",age = 1} %% 模式匹配
25> {_, Name, _} = A3.
#person2{name = "Jimmy",age = 0}
26> Name.
"Jimmy"
27> #person2{name = Name2} = A3.
#person2{name = "Jimmy",age = 0}
28> Name2.
"Jimmy"
以下,以一个简单的样例,測试tuple和record的汇编代码
-module(test). -export([test/0]). -record(person, {name, age}). test() ->
A = {person, "Tom", 1},
B = #person{name = "Tom", age = 1},
{A,B}.
通过命令erlc -S test.erl 能够生成 test.S的汇编代码
{function, test, 0, 2}.
{label,1}.
{line,[{location,"c:/test.erl",7}]}.
{func_info,{atom,test},{atom,test},0}.
{label,2}.
{move, {literal, { {person,"Tom",1} ,{person,"Tom",1}} }, {x,0} }.
return.
record_info/2
说到record,不得不提record_info/2,这个函数用以获取record的信息,原型:
record_info(Type, Record) -> integer() | list
Type有两种:size、fields
34> rd(person,{id, name}).
person
35> record_info(fields, person).
[id,name]
36> record_info(size, person).
3
record_info/2实际上一个语法糖。写个样例tt.erl说明一下:
-module(tt).
-compile(export_all). -record(person,{id, name, age}).
fields() ->
record_info(fields, person). size() ->
record_info(size, person).
erlc -S tt.erl
编译这个模块得到 tt.S,这是当中的汇编码:
{function, fields, 0, 2}.
{label,1}.
{line,[{location,"tt.erl",5}]}.
{func_info,{atom,tt},{atom,fields},0}.
{label,2}.
{move,{literal, [id,name,age] },{x,0}}.
return.
{function, size, 0, 4}.
{label,3}.
{line,[{location,"tt.erl",8}]}.
{func_info,{atom,tt},{atom,size},0}.
{label,4}.
{move, {integer,4} ,{x,0}}.
return.
在编译期就直接被erlang优化了
改动tuple结构
R16以后。erlang提供了2个接口用于改动tuple结构。
1、添加tuple元素
erlang:append_element(Tuple1, Term)
> erlang:append_element({one, two}, three).
{one,two,three}
等效于 list_to_tuple(tuple_to_list(Tuple1) ++ [Term]),但性能比后者高
2、移除tuple元素
erlang:delete_element(Index, Tuple1)
> erlang:delete_element(2, {one, two, three}).
{one,three}
record 的模式匹配
record有两种模式匹配的方法:
1> rd(person, {a,b}).
person
2> case #person{a=10} of #person{a=A} -> A; _ -> false end.
10
3> A.
10
4> #person{a=B} = #person{a=15}.
#person{a = 15,b = undefined}
5> B.
15
如今,顺道讨论下 record 模式匹配的本质。
1> rd(person, {a,b}).
person
2> #person{} =:= #person{a=1}.
false
3> case #person{a=1} of #person{} -> true; _ -> false end.
true
4> #person{} = #person{a=1}.
#person{a = 1,b = undefined}
前面说到 record在执行期会编译成tuple,所以第2点是推断两个tuple是否同样。
而第3点和第4点本质区别不大,仅仅是执行了模式匹配,检查tuple是否 3 个元素。且第一个元素是原子person,不会推断除其它元素值是否相等。可是假设像以下这样写就会匹配到其它元素了。
5> case #person{a=1} of #person{a=3} -> true; _ -> false end.
false
6> #person{a=3} = #person{a=1}.
** exception error: no match of right hand side value #person{a = 1,b = undefined}
有兴趣的同学參照上面打印erlang模块汇编码就能够找到答案了。
更新说明:
2014/10/30 补充了record函数 record_info/2的说明
2014/11/06 补充了record函数is_record/2等基本操作
2015/2/11 补充了两个tuple结构改动函数
2015/3/4 补充了record的模式匹配
參考:http://blog.csdn.net/mycwq/article/details/31421341
说说erlang tuple和record结构的更多相关文章
- Erlang中的record与宏
http://www.cnblogs.com/me-sa/archive/2011/07/20/erlang0006.html 在Erlang中使用Tuple ,数据项的顺序\数量都是确定的,一旦数据 ...
- Erlang--etc结构解析
Erlang中可以用List表达集合数据,但是如果数据量特别大的话在List中访问元素就会变慢了;这种主要是由于List的绝大部分操作都是基于遍历完成的. Erlang的设计目标是软实时(参考:htt ...
- Erlang ETS Table
不需要显示用锁,插入和查询时间不仅快而且控制为常量,这就是Erlang的ETS Table. 为什么而设计? Erlang中可以用List表达集合数据,但是如果数据量特别大的话在List中访问元素就会 ...
- [Erlang 0117] 当我们谈论Erlang Maps时,我们谈论什么 Part 2
声明:本文讨论的Erlang Maps是基于17.0-rc2,时间2014-3-4.后续Maps可能会出现语法或函数API上的有所调整,特此说明. 前情提要: [Erlang 0116] 当我们谈论E ...
- [Erlang 0116] 当我们谈论Erlang Maps时,我们谈论什么 Part 1
Erlang 增加 Maps数据类型并不是很突然,因为这个提议已经进行了2~3年之久,只不过Joe Armstrong老爷子最近一篇文章Big changes to Erlang掀起不小了风 ...
- 当我们谈论Erlang Maps时,我们谈论什么 Part 2
声明:本文讨论的Erlang Maps是基于17.0-rc2,时间2014-3-4.兴许Maps可能会出现语法或函数API上的有所调整,特此说明. 前情提要: [Erlang 0116] 当我们谈论E ...
- 当我们谈论Erlang Maps时,我们谈论什么 Part 1
Erlang 添加 Maps数据类型并非非常突然,由于这个提议已经进行了2~3年之久,仅仅只是Joe Armstrong老爷子近期一篇文章Big changes to Erlang掀起不小了 ...
- Erlang 初学者技巧及避免的陷阱
1. 传参或在匿名函数内慎用self() 通常在做消息传递或新建进程的时候我们需要将当前进程的Pid发给目标进程以便接收返回信息,但初学者不留意容易犯以下错误 spawn(fun() -> lo ...
- Erlang 进程被抢占的条件——一个进程长时霸占调度器的极端示例
最近研究 binary 的实现和各种操作对应的 beam 虚拟机汇编指令,发现有一些指令序列是不可重入的,比如说有的指令构造一个上下文(也就是某种全局状态),然后下一条指令会对这个上下文做操作(具体的 ...
随机推荐
- 附006.harbor.cfg配置文件详解
一 必须参数 需要在配置文件中设置这些参数.如果用户更新它们harbor.cfg并运行install.sh脚本以重新安装Harbor,它们将生效. hostname:目标主机的主机名,用于访问UI和注 ...
- Java内存管理-掌握虚拟机类加载机制(四)
勿在流沙筑高台,出来混迟早要还的. 做一个积极的人 编码.改bug.提升自己 我有一个乐园,面向编程,春暖花开! 上一篇介绍了整个JVM运行时的区域,以及简单对比了JDK7和JDK8中JVM运行时区域 ...
- RESTful restful api Representational State Transfer
通俗直白讲:REST是一种编写风格,一种API接口规范.它的风格就是将对象(如学生)的状态(如增删改查,API接口版本号等等)通过其他方式传递,API的接口地址突显出描述的对象. -- == REST ...
- [IOI2014]Wall
[IOI2014]Wall 题目大意: 给你一个长度为\(n(n\le2\times10^6)\)的数列,初始全为\(0\).\(m(m\le5\times10^5)\)次操作,每次让区间\([l_i ...
- 解决 插件LArea 在IOS上浮出软键盘问题
移动端使用 省市县城市选择三级联动的时候, 插件LArea 会有一个问题 ios浏览器和ie9已下(包括ie9)浏览器都有input设置readonly之后input还有聚焦的问题. ios inpu ...
- [ZJOI2013]K大数查询
Description: 给定一个序列,支持两种操作 1.在[L,R]的每个位置上加上一个数 (注意一个位置上有多个数) 2.查询[L,R]上所有数中的第K大 Hint: \(n,m<=5e4\ ...
- Vue.Js初学踩坑
1 Vue2之后取消了v-bind的.sync修饰符,意味着父子组件的数据不能以此来实现双向绑定. 2 Vue2之后取消了filterBy过滤器,所以以下这种用法是错误的了. <tbody> ...
- ironic-inspector硬件信息收集
主机上报 ironic-inspector流程会在小系统里收集裸机的硬件信息,然后上报到ironic-conductor. 其中收集硬件信息主要使用hwinfo和lshw命令.Centos可以使用如下 ...
- Django——信号
django——signal 其实可以理解为django内部的钩子,当某一个事件发生时,其它程序会触发并对其作出相关反应,通过signal回调处理函数(receivers),从而更大程度的解耦我们的项 ...
- mysql trigger
转自:https://www.cnblogs.com/zyshi/p/6618839.html 阅读目录 什么是触发器 特点及作用 例子:创建触发器,记录表的增.删.改操作记录 弊端 什么是触发器 简 ...