Erlang如何实现erlang:display？

Question

我想实现一个Erlang解释器，最近我读到了Erlang的标准库源代码。我在erlang.erl中找到了erlang:display/1的源代码：

%% display/1
-spec erlang:display(Term) -> true when
      Term :: term().
display(_Term) ->
    erlang:bif_error(undefined).

我不知道它是如何实现显示行为的，而且我认为它只是抛出了一个未定义的错误。顺便说一句，我还破解了erlang.beam，以确保字节码具有与源代码(erlang.erl)相同的语义。谁能告诉我erlang:显示到底是怎么回事？

Answer 1

erlang:display/1是一个内置函数。有些BIF是在Erlang中实现的，但其中大多数都是在Erlang虚拟机中作为原语操作实现的，因为BIF为操作系统提供接口，或者执行在Erlang中编程不可能或效率非常低的操作。

你可能想简单地看看A GUIDE TO THE ERLANG SOURCE，它说；

bif.tab文件中汇总了BIF。例如：

Line 54: bif erlang:display/1

表示display/1 BIF映射到bif.c文件中的display_1方法。