具有默认参数的函数的 Elixir 类型规范

Question

如何为接受一个具有默认值的参数的函数编写类型规范？类似于以下内容:

def foo(bar \\ 10) do
  bar
end

会不会是这样:

@spec foo(integer) :: integer

或者它会是什么？

谢谢。

Answer 1

是的。

我想补充一点，如果您的问题是具有默认值参数的函数的类型规范与没有默认值的参数之间是否存在差异，那么没有区别。