Question

所以我可以使用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函数或等效函数。

Answer 1

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}}

在Elixir中使用带有Timex DateTime的guard子句

1 个答案: