动态模式匹配

Question

如何在 Erlang 中进行动态模式匹配？

假设我有函数 filter/2 ：

filter(Pattern, Array)

其中 Pattern 是一个带有我想要匹配的模式的字符串（例如 "{book, _ }" 或 "{ebook, _ }"）由用户输入，Array 是异构元素的数组（例如 {dvd, "The Godfather" } , {book, "The Hitchhiker's Guide to the Galaxy" }, {dvd, "The Lord of Rings" "} 等）然后我希望上面的 filter/2 返回 Array 中与 Pattern 匹配的元素数组。

我已经用 erl_eval 尝试了一些想法，但没有成功......

提前谢谢。

Answer 1

通过一点点文档研究：

Eval = fun(S) -> {ok, T, _} = erl_scan:string(S), {ok,[A]} = erl_parse:parse_exprs(T), {value, V, _} = erl_eval:expr(A,[]), V end,
FilterGen = fun(X) -> Eval(lists:flatten(["fun(",X,")->true;(_)->false end."])) end,
filter(FilterGen("{book, _}"), [{dvd, "The Godfather" } , {book, "The Hitchhiker's Guide to the Galaxy" }, {dvd, "The Lord of Rings"}]).
[{book,"The Hitchhiker's Guide to the Galaxy"}]

Answer 2

您想要字符串中的模式有什么特殊原因吗？

Erlang 中不存在这样的模式，它们实际上只能出现在代码中。另一种方法是使用与 ETS match 和 select 相同的约定并编写您自己的匹配函数。这确实很简单。 ETS 约定使用一个术语来表示一种模式，其中原子 '$1'、'$2' 等用作可以绑定和测试的变量，并且 '_' 是无关变量。因此，您的示例模式将变为：

{book,'_'}
{ebook,'_'}
{dvd,"The Godfather"}

这可能是最有效的方法。这里可以使用匹配规范，但这会使代码变得复杂。这取决于您需要的匹配复杂程度。

编辑：
我为匹配器的一部分添加了无注释代码：

%% match(Pattern, Value) -> {yes,Bindings} | no.

match(Pat, Val) ->
    match(Pat, Val, orddict:new()).

match([H|T], [V|Vs], Bs0) ->
    case match(H, V, Bs0) of
        {yes,Bs1} -> match(T, Vs, Bs1);
        no -> no
    end;
match('_', _, Bs) -> {yes,Bs};                  %Don't care variable
match(P, V, Bs) when is_atom(P) ->
    case is_variable(P) of
        true -> match_var(P, V, Bs);            %Variable atom like '$1'
        false ->
            %% P just an atom.
            if P =:= V -> {yes,Bs};
               true -> no
            end
    end.

match_var(P, V, Bs) ->
    case orddict:find(P, Bs) of
        {ok,B} when B =:= V -> {yes,Bs};
        {ok,_} -> no;
        error -> {yes,orddict:store(P, V, Bs)}
    end.

Answer 3

您可以使用lists:filter/2来执行过滤部分。将字符串转换为代码是另一回事。所有的模式都是{atom,_}的形式吗？如果是这样，您也许可以存储原子并将其传递到列表的闭包参数中：filter。

Answer 4

我想到了几种可能性，具体取决于模式的动态程度以及您在模式中需要什么功能：

1. 如果您恰好需要 erlang 模式的语法并且，则模式不会改变太多经常。您可以创建匹配的源代码并将其写入文件。使用 compile:file 创建二进制文件并使用 code:load_binary 加载它。

   • 优点：匹配速度非常快

   • 缺点：模式更改时的开销

2. 从 Array 填充数据 进入 ETS 并使用匹配规范获取数据

   • 您可以使用 fun2ms 来帮助创建匹配规范。但 fun2ms 通常在编译时用作解析转换。 shell 还使用了一种模式，可以在解析器的帮助下使用字符串进行工作。有关详细信息，请参阅 ms_transform

3. 可能还有一些方法可以使用 qlc 但我没有详细研究这一点。

无论如何，如果您的匹配数据来自不受信任的来源，请务必小心清理！