erlang - 为什么erlang :foo() compile?

Question

为什么 Erlang 编译器在编译时检测不到未定义的函数。

如果我写 test.erl:

-module(test). 
-export([start/0]).

start() ->
       erlang:foo().

它编译得很好。

Eshell V5.6.5  (abort with ^G)
1> c(test).
{ok,test}
2> 

但是运行时崩溃。

2> test:start().
** exception error: undefined function erlang:foo/0

为什么编译器在编译期间不发出错误或警告？它应该知道导出的函数，不是吗？

Answer 1

Erlang 是一种动态语言。但是，在编译后进行类型检查和静态分析是一种很好的做法。

工具 Dialyzer用于检查此类错误情况。

编译器在编译时不知道它的原因是因为可以在运行时从代码路径(也从远程节点)搜索和动态加载函数。 Dialyzer 将在运行时根据代码路径检查代码。

从远程节点加载代码的能力意味着可以在设备上安装基本的“系统”，然后设备可以从网络引导自身。

您还应该记住 Erlang 的另一个特性，即您可以生成函数调用 on the fly使用如下结构:

erlang:apply(ModuleName, FunctionName, ArgList)

所以在这种情况下，根本不可能知道函数在编译时是否存在。

尽管模块和函数现在可能在编译时存在，但您可以热交换模块并卸载代码，因此它可能在运行时不存在。