助记符表记录定义：" ::binary() "

Question

我试图理解::binary()的含义和目的，存在于记录定义中，但并不真正理解它。如果有人能帮助我理解这一点，我将不胜感激。

示例:mod_offline.hrl

Answer 1

这是一个类型声明。这在"记录声明中的类型信息"一节中有描述。

意思是该记录字段的值应该是二进制的。由于Erlang是一种弱类型语言，编译器并不关心这个，但是有一个称为Dialyzer的静态类型检查器，它试图在代码中找到将二进制以外的东西放在该字段中的位置，或者期望该字段包含二进制以外的东西。

有关类型规格和透析器的简单介绍，请参阅Learn You Some Erlang中的类型规格和Erlang章节。