erlang catch的内部实现(初稿)

最近项目组有同事做了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，内容如下：