空地图模式甚至匹配非空地图

根据地图文件:

将表达式与空映射文字匹配将匹配其类型,但不会绑定任何变量:

#{} = Expr

如果表达式Expr是map类型,则此表达式将匹配,否则将失败并显示异常badmatch.

但是,可以使用erlang:map_size:

map_search_pred(Map, _) when map_size(Map) == 0 ->
  {};
map_search_pred(Map, Pred) ->
  [H|_] = [{Key, Value} || {Key, Value} <- maps:to_list(Map), Pred(Key, Value) =:= true],
  H.