erlang 中间码

erlang 中间码

1. core中间码的形成

对于文件test.erl, 可以在编译的时候，加to_core 参数
c(test, [to_core]).

2. 其他中间码的形成

参考: erlang虚拟机代码执行原理

3. 应用

今天在看代码的时候发现一个写法

-module(test).-export([test/0]).test() ->    Hello = lists:concat(["he", "llo"]),    World = lists:concat(["wo", "rld"]),    case Hello =/= "hello" orelse World of        "world" ->            true;        _ ->            false    end.

执行

1> c(test).{ok,test}2> test:test().true

也就是说如果”短路或”的前面一个表达式的值是false，那么结果将会是后面一个表达式的值。还是蛮奇怪的，之前一直以为这是一个错误的表达式。。
为了看下虚拟机怎么处理这个问题， 学了下erlang core code 的生成。
就是c(test, [to_core]).，可以将test.erl -> test.core
test.core 截取如下

module 'test' ['module_info'/0,           'module_info'/1,           'test'/0]    attributes []'test'/0 =    %% Line 4    fun () ->    let <Hello> =        call %% Line 5         'lists':%% Line 5             'concat'        (%% Line 5         [[104|[101]]|[[108|[108|[111]]]]])    in  let <World> =        call %% Line 6             'lists':%% Line 6                 'concat'            (%% Line 6             [[119|[111]]|[[114|[108|[100]]]]])        in  let <_cor4> =            case <> of              %% Line 7              ( <>                when call 'erlang':'=/='                  (Hello,                   [104|[101|[108|[108|[111]]]]]) ->                'true'            -| ['compiler_generated'] )              %% Line 7              ( <> when 'true' ->                World            -| ['compiler_generated'] )            end        in  %% Line 7            case _cor4 of              %% Line 8              <[119|[111|[114|[108|[100]]]]]> when 'true' ->              %% Line 9              'true'              %% Line 10              <_cor6> when 'true' ->              %% Line 11              'false'            end'module_info'/0 =    fun () ->    call 'erlang':'get_module_info'        ('test')'module_info'/1 =    fun (_cor0) ->    call 'erlang':'get_module_info'        ('test', _cor0)end

可以看出<_cor4> 的赋值， 如果前一个表达式不成立的时候，就直接返回World的值。

参考：

1. 坚强2002 Know a little Core Erlang
2. erlang虚拟机代码执行原理