什么是可能引发的函数的typespec声明？

Question

使用Elixir的typespecs,我如何记录@spec函数可能引发异常而不是返回值？

Answer 1

使用 no_return

no_return(在Typespecs文档中列出)应该用于记录函数何时引发.

例如:

@spec get_env!(var_name :: String.t()) :: String.t() | no_return
def get_env!(var_name) do
  System.get_env(var_name) || raise "#{var_name} is not set!"
end

例如,这就是File.copy!/2使用.