所以我可以使用guard子句根据参数的类型运行不同版本的函数:
iex(2)> defmodule Test do
...(2)>
...(2)> def double(x) when is_integer(x) do
...(2)> x * 2
...(2)> end
...(2)>
...(2)> def double(x) when is_binary(x) do
...(2)> String.to_integer(x) * 2
...(2)> end
...(2)> end
iex(3)> Test.double(2)
4
iex(4)> Test.double("2")
4
但是如果我想根据Timex.Datetime类型设置一个保护条款,例如:
iex(5)> Timex.now
#DateTime<2018-03-16 12:36:24.061549Z>
我似乎无法找到Timex.is_datetime函数或等效函数。
答案 0 :(得分:5)
DateTime
是一个简单的结构。在Erlang(以及因此在Elixir中)可以模式匹配函数参数:
def double(%DateTime{} = x)
只要x
是DateTime
结构,上述内容就会匹配。对于内置类型,如整数,没有这样的符号,因此使用了警卫。但是,对于二进制文件,可以使用Kernel.SpecialForms.<<>>/1
:
def double(<< x::binary >>)
与:
大致相同def double(x) when is_binary(x)
列表和地图可能模式匹配为:
def double([]) do # empty list
def double([h|t]) do # non-empty list
def double(%{}) do # any map (NB! not necessarily empty)
此外,人们可能会在地图中匹配键:
def double(%{foo: foo} = baz) do
IO.inspect({foo, baz})
end
double(%{foo: 42, bar: 3.14})
#⇒ {42, %{foo: 42, bar: 3.14}}