最近项目组有同事做了erlang内部数据(Eterm)的分享。
Eterm 是Erlang Term的简写,用来表示erlang中任意类型的数据,也就是说,erlang可以用到的任意数据,都能 Eterm表示。比如常见的atom、数字、列表、元组,甚至pid,port,fun,ets表等等都用Eterm可以表示。
Eterm
Eterm 在VM中主要分为三大类:列表,boxed对象,立即数。(这么分法主要是复杂的数据
无法单靠
1个机器字表示,在32位机器上,一个字长4字节,在64位机器上是8字节。)
其中,boxed对象表示了复杂数据类型,如元组,大整数,二进制等。而立即数表示的就是一些简单的小数据,如小整数,原子,pid 等。
对这块内容有兴趣的同学,可以先看看siyao的
Erlang 数据类型的内部表示和实现。写得很好,我就不画蛇添足了。
但这里为什么会有catch?相信不少人都会有这样的疑问。所以,本文就围绕着 catch 做说明。
catch表达式
形式:catch Expr
如果 Expr执行过程没有异常发生,就返回Expr的执行结果。但如果异常发生了,就会被捕获。
1> catch 1+2.
3
2> catch 1+a.
{'EXIT',{badarith,[...]}}
3> catch throw(hello).
hello
catch立即数怎么产生的?
这个数据类型只在 Erlang VM内部使用,Erlang 程序不会直接操作这个数据类型。当代码中含有 catch 或者 try-catch语句时就会产生catch
,
而且,这个数据将会被放置到Erlang进程的栈上。
源码分析
下面以一个简单做说明。
-module(test).
-compile(export_all).
t() ->
catch erlang:now().
|
保存为test.erl,通过erlc -S test.erl 得到汇编代码 test.S,内容如下: