如何在功能列表中模式匹配头部？

Question

我有一个整数和原子混合的列表。我想将列表的头部与原子匹配，否则为整数。

lst = [1,2,3,4,5,6, :eoe, 7,8,9,10,11,12. :eoe]

我最初尝试过这种方式：

defmodule Test do
  def test(lst) do
    helper(lst, 0, 0, 1)
  end

  def helper([], _p, total, e) do
    IO.puts "#{e} #{t}"
  end

  def helper([:eoe , t], _p, total, e) do   # <--- This function never called even though head is at some point :eoe
    IO.puts "#{e} #{total}"

    helper(t, "", 0, elf + 1)
  end

  def helper([h | t], p, total, e) do
    h
    |> is_atom()
    |> IO.inspect()

    helper(t, h, total + h, e)

  end
end

然后添加守卫以明确缩小模式匹配范围

...

def helper([:eoe = head , t], _p, total, e) when is_atom(head) do
...

def helper([h | t], p, total, e) when is_integer(h) do
...

def helper([:eoe = h , t], _p, total, e) when is_atom(h) do这个函数没有被调用。它总是匹配def helper([h | t], p, total, e) when is_integer(h) do这个。我什至把前一个放在后一个之前。我希望它与:eoe匹配

Answer 1

要匹配头部，应使用 [h | t] 表示法。 [h, t] 将匹配列表二元素。

- def helper([:eoe = h, t]
+ def helper([:eoe = h | t]

此外，when is_atom(h) guard 是多余的，一旦你直接在原子上进行模式匹配。也就是说，以下任何一项都可以。

def helper([:eoe | t], _p, total, e) do
def helper([h | t], _p, total, e) when h == :eoe do
def helper([h | t], _p, total, e) when h in [:eoe] do
def helper([h | t], _p, total, e) when is_atom(h) do # match any atom