types - 在另一个装饰函数 @spec 中指定对 Elixir 函数 @spec 的引用

Question

有没有办法在另一个函数规范中引用一个函数的返回类型规范？

defmodule Car do
  @spec beep(none()) :: String.t
  def beep do
    "beep"
  end

  @spec beep_log(none()) :: String.t
  def beep_log do
    IO.puts "beep log"
    beep
  end
end

beep_log 的规范可以这样指定吗:

 @spec beep_log(none()) :: beep()

Answer 1

如果不定义两个函数都会返回的新数据类型，就无法做到这一点。您可以在 docs for the GenServer module 中看到此模式的示例。 ，其中 on_start类型由 start/3 和 start_link/3 定义和共享。

就您而言，类似这样的事情会起作用:

defmodule Car do
  @type beep_return() :: String.t

  @spec beep(none()) :: beep_return()
  def beep do
    "beep"
  end

  @spec beep_log(none()) :: beep_return()
  def beep_log do
    IO.puts "beep log"
    beep
  end
end