属性 .t 在长生不老药上意味着什么？

Question

例如，在这个模块字符串的类型规范中：

@spec validate(String.t) :: {:atom}

这是什么意思？以及如何通过iex进行测试？

** (UndefinedFunctionError) function String.t/0 is undefined or private
    (elixir) String.t()

更新

看起来有些人没有看到通过 iex 进行测试的必要性

对于我们其他正在学习长生不老药的人，我们可以这样做：

iex(8)> t String
@type t() :: binary()
@type codepoint() :: t()
@type grapheme() :: t()
@type pattern() :: t() | [t()] | :binary.cp()
iex(9)> t(String)
@type t() :: binary()
@type codepoint() :: t()
@type grapheme() :: t()
@type pattern() :: t() | [t()] | :binary.cp()

也适用于 .t

如果要引用“字符串”类型（由 String 模块中的函数），请改用 String.t/0 类型。

来源https://hexdocs.pm/elixir/typespecs.html#notes

Answer 1

这不是属性。基本上它是对 Elixir 的 String 模块中的函数使用的“字符串”类型的引用。要完全理解它，请阅读更多here。

使用String.t() 的一个原因是Elixir discourages the use of string()。 string() 是 Elixir 中的“字符列表”，而 String.t() 是 UTF-8 编码的二进制文件。