typespec内のバイナリ、String.t、char_list、[char]の違い

Question

typespecを定義するときにバイナリ、String.t、char_list、[char]などの間で異なるものはありますか？

@spec method(binary) :: binary 

と

@spec method(String.t) :: String.t 

彼らは同等か？ Doc：

• バイナリエリクシール文字列に使用されます。
• char_list Erlang文字列に使用されます。 [char]と定義されています。

Answer 1

String.tは、binaryと同じです。その定義はhereです。

char_listは、文字の単純なリスト以上のものです。あることをErlangでunicodeモジュールで定義されています：

maybe_improper_list(char() | unicode_binary() | charlist(), 
        unicode_binary() | []) 

だから、適切と不適切な両方のリストが含まれており、リストは文字、バイナリ、またはcharlistsまたは空のリストを含めることができます。