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

Question

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

def foo(bar \\ 10) do
  bar
end

会是这样的:

@spec foo(integer) :: integer

或者会是什么？

谢谢.

Answer 1

是.

我想补充一点,如果你的问题是如果一个函数的typespec与一个默认值的参数和一个没有参数的参数之间存在差异,那么没有区别.