ejabberd - mnesia表记录定义：“:: binary（）”

Question

我想了解:: binary（）的含义和目的，它们存在于记录定义中，但并不真正了解它。感谢有人能帮助我理解这一点。

实施例：mod_offline.hrl

Answer 1

这是一种类型声明。这在"Type Information in Record Declarations" section中描述。

其含义是该记录字段的值应该是二进制。由于Erlang是一种弱类型语言，编译器并不关心这个问题，但是有一个名为Dialyzer的静态类型检查器，它试图在代码中找到放置该字段中除了二进制文件之外的地方的位置，或者期望该字段除二进制以外的东西。

欲了解型号规格和透析器的详细介绍，请参阅the Type Specifications and Erlang chapter of Learn You Some Erlang。