从谓词为真的映射中返回第一个 {键、值}

Question

问题的更正式的定义是

编写一个函数map_search_pred（Map，Pred），返回第一个 元素 {键，值} 在映射中，Pred（键，值） 为真。

我的尝试，看起来像

map_search_pred(Map, Pred)  ->
  M = [{Key, Value} || {Key, Value} <- maps:to_list(Map), Pred(Key, Value) =:= true],
  case length(M) of
    0 -> {};
    _ -> lists:nth(1, M)
  end.

当我运行这个时，我得到正确的答案

1> lib_misc:map_search_pred(#{}, fun(X, Y) -> X =:= Y end).
{}
2> lib_misc:map_search_pred(#{1 => 1, 2 => 2}, fun(X, Y) -> X =:= Y end).
{1,1}
3> lib_misc:map_search_pred(#{1 => 1, 2 => 3}, fun(X, Y) -> X =:= Y end).
{1,1}
4> lib_misc:map_search_pred(#{1 => 2, 2 => 2}, fun(X, Y) -> X =:= Y end).
{2,2}
5>   

问题？
问题是效率。
它使用列表推导式并针对列表中的所有元素运行。更好的解决方案是在第一场比赛后返回。

作为语言初学者，我不知道更好的惯用方法来解决这个问题，所以寻找更好的想法和建议

Answer 1

您可以自己浏览列表，并在找到Pred(Key, Value)为真的元素后立即返回：

map_search_pred(Map, Pred) when is_map(Map) ->
    map_search_pred(maps:to_list(Map), Pred);
map_search_pred([], _) ->
    error;
map_search_pred([{Key,Value}=H|T], Pred)  ->
    case Pred(Key, Value) of
        true ->
            {ok, H};
        false ->
            map_search_pred(T, Pred)
    end.