Erlang 代码评论

Question

我正在尝试了解一些基本的 erlang 功能，并且我可以对以下内容进行一些评论。

我有以下 erlang 代码，它接受一个元组列表，如果找到一个键，则返回一个减去元素的列表：

delete(Key, Database) ->
    remove(Database, Key, []).

remove([], Key, Acc) ->
    Acc;
remove([H|T], Key, Acc) ->
    if
        element(1, H) /= Key ->             
            [H| remove(T, Key, Acc)];
        true  -> 
            remove(T, Key, Acc)
    end.

这是这样做的好方法吗？

if 语句似乎不正确。

我对累加器 Acc 的使用是否使这个尾部递归？

Answer 1

不，您对 Acc 的使用不会使其成为尾递归。你的 if 分支返回 [H| remove(T, Key, Acc)] 这不是尾调用，并且大多数时间都会使用此分支。更准确地说，您对 Acc 的使用是无用的，因为它始终是 [] ，您根本不会更改它的值。正确的代码应该是这样的。

delete(Key, Database) ->
    remove(Database, Key, []).

remove([], Key, Acc) ->
    lists:reverse(Acc);
remove([H|T], Key, Acc) ->
    if
        element(1, H) /= Key ->             
            remove(T, Key, [H|Acc]);
        true  -> 
            remove(T, Key, Acc)
    end.

但如果你的列表成员总是成对的，我更喜欢直接模式匹配：

delete(Key, Database) ->
    remove(Database, Key, []).

remove([], Key, Acc) ->
    lists:reverse(Acc);
remove([{Key, _}|T], Key, Acc) ->
    remove(T, Key, Acc);
% if it should delete only first occurrence then lists:reverse(Acc, T);
remove([H|T], Key, Acc) ->
    remove(T, Key, [H|Acc]).

但我认为这是可以应用 神话：尾递归函数比递归函数快得多，所以我会使用更简单的递归版本：

delete(Key, []) -> [];
delete(Key, [{Key, _}|T]) -> delete(Key, T);
% if it should delete only first occurrence then just T;
delete(Key, [H|T]) -> [H | delete(Key, T)].

Answer 2

如前所述，有一个标准模块函数已经可以执行此操作（proplists：delete）。不需要多说，但是......

我倾向于保留原始方法名称（删除），但有一个本地版本，包括累加器作为参数。上下文让我认为“数据库”中元组的顺序并不重要，因此列表：反向是不必要的。

-module(foo).
-export([delete/2]).

delete(Key, Database) ->
    delete(Key, Database, []).

delete(_Key, [], Acc) ->
    Acc;
delete(Key, [{Key, _} | T], Acc) ->
    delete(Key, T, Acc);
delete(Key, [Entry={_, _} | T], Acc) ->
    delete(Key, T, [Entry | Acc]).

这里有一些事情：

• 尾递归；一般来说，我认为坚持使用尾递归更安全——虽然对主体递归调用进行了优化，但您确实需要使用实际的（对于您的应用程序）数据进行一些性能测量，以便进行
• 比较我们不接受此处的任何旧列表； delete/3 中的 Entry 模式匹配有助于确保这一点（取决于它的用途，您可能需要也可能不需要）