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。