Elixir：模式匹配前检查类型及多case匹配合并映射可行性

1. 是否应在模式匹配前检查数据类型？ #

其实在Elixir里，模式匹配本身就自带类型检查的能力，所以绝大多数情况下，完全不需要在模式匹配前单独做类型检查。

举个例子，如果你想处理列表类型的数据，直接写匹配列表的函数子句或者case分支就好：

# 函数子句的方式，自动匹配列表
def process([head | _tail]), do: "处理列表头部: #{head}"
def process(%{} = map), do: "处理映射: #{inspect(map)}"
def process(_other), do: "处理其他类型数据"

# 或者在函数内部用case匹配
def handle_data(data) do
  case data do
    [_ | _] -> "这是一个列表"
    %{} -> "这是一个映射"
    _ -> "未知类型"
  end
end

这种方式比先调用is_list/1、is_map/1这类检查函数再处理要更符合Elixir的设计哲学——利用语言核心特性来简化逻辑，代码也更简洁易读。

当然，如果是一些极端场景（比如需要先做某些前置校验再进入模式匹配），单独做类型检查也没问题，但这属于少数情况，优先用模式匹配来做类型分支才是更地道的写法。

2. 是否可以通过多case匹配的方式合并两个映射？ #

完全可以！而且这种方式能让你灵活处理不同类型值的合并逻辑，正好适配你提到的场景。

你可以把case匹配逻辑直接写到Map.merge/3的合并函数里，针对v1和v2的类型组合做不同处理。比如针对你说的列表合并场景，代码可以这么写：

map1 = %{"test" => [1, 2, 3]}
map2 = %{"test" => [4, 5, 6]}

merged_map = Map.merge(map1, map2, fn _key, v1, v2 ->
  case {v1, v2} do
    # 当两者都是列表时，合并列表
    {list1, list2} when is_list(list1) and is_list(list2) ->
      Enum.concat(list1, list2)
    # 其他情况可以自定义处理，比如保留第二个映射的值，或者抛出错误
    _ ->
      v2 # 示例：默认保留map2的值
  end
end)

# 输出结果：%{"test" => [1, 2, 3, 4, 5, 6]}

如果需要覆盖更多类型组合的场景，还可以添加更多case子句，比如其中一个是列表另一个不是的情况：

Map.merge(map1, map2, fn _key, v1, v2 ->
  case {v1, v2} do
    {list1, list2} when is_list(list1) and is_list(list2) ->
      Enum.concat(list1, list2)
    {list, non_list} when is_list(list) ->
      # 把非列表元素加入列表
      list ++ [non_list]
    {non_list, list} when is_list(list) ->
      [non_list] ++ list
    _ ->
      # 都不是列表时，返回两者的元组
      {v1, v2}
  end
end)

如果这个合并逻辑会被多次使用，建议把它抽成单独的函数，让代码更清晰：

defp merge_values(_key, v1, v2) do
  case {v1, v2} do
    {list1, list2} when is_list(list1) and is_list(list2) ->
      Enum.concat(list1, list2)
    _ ->
      v2
  end
end

# 调用时
merged_map = Map.merge(map1, map2, &merge_values/3)

这样既实现了需求，又保证了代码的可维护性。

内容的提问来源于stack exchange，提问作者lapinkoira