可以在一个 erlang ets 匹配规范中使用多个守卫吗?

Question

我想构造一个匹配规范，以便在第二个元素上找到匹配项时从元组中选择第一个元素，或者在第一个元素匹配时从元组中选择第二个元素。与其调用 ets：match 两次，不如在一个匹配规范中完成吗？

Answer 1

是的。

在文档中有is_integer(X), is_integer(Y), X + Y < 4711或[{is_integer, '$1'}, {is_integer, '$2'}, {'<', {'+', '$1', '$2'}, 4711}]的例子。

如果您正在使用fun2ms只需编写带有两个子句的功能。

fun({X, Y}) when in_integer(X)
                 andalso X > 5 ->
       Y;
   ({X, Y}) when is_integer(Y)
                 andalso Y > 5 ->
       X.

但您也可以创建两个MatchFunctions。 每个都包含{MatchHead, [Guard], Return} .

匹配

头基本上告诉你你的数据看起来如何（它是一个元组，有多少元素......），并分配给每个元素匹配变量$N N将是某个数字。 假设正在使用双元素元组，因此您的火柴头将{'$1', '$2'}。

现在让我们创建守卫：对于第一个函数，我们将假设一些简单的东西，比如第一个参数是大于 10 的整数。 所以第一后卫是{is_integer, '$2'}，第二后卫是{'>', '$2', 5}。在两者中，我们都使用火柴头'$2'的冷杉元素。 第二个匹配功能将具有相同的后卫，但使用'$1'。

终于回来了。由于我们只想返回一个元素，对于第一个函数，它将是 '$1' ，对于第二个函数'$2'（返回元组稍微复杂一些，因为您必须将其包装在额外的元素元组中）。

所以最后，当它放在一起时，它给了我们

[ _FirstMatchFunction = {_Head1 = {'$1', '$2'},
                         _Guard1 = [{is_integer, '$2},
                                    {'>', '$2', 5}],     % second element matches
                         _Return1 = [ '$1']},            % return first element             
  _SecondMatchFunction = {_Head2 = {'$1', '$2'},
                          _Guard2 = [{is_integer, '$1},
                                     {'>', '$1', 5}],      % second element matches
                          _Return2 = [ '$2']} ]            % return first element

没有太多时间来测试这一切，但它应该可以工作（也许需要小的调整）。

Answer 2

-export([main/0]).
-include_lib("stdlib/include/ms_transform.hrl").
main() ->
    ets:new(test, [named_table, set]),
    ets:insert(test, {1, a, 3}),
    ets:insert(test, {b, 2, false}),
    ets:insert(test, {3, 3, true}),
    ets:insert(test, {4, 4, "oops"}),
    io:format("~p~n", [ets:fun2ms(fun({1, Y, _Z}) -> Y;
                     ({X, 2, _Z}) -> X end)]),
    ets:select(test, ets:fun2ms(fun({1, Y, _Z}) -> {first_match, Y};
                   ({X, 2, _Z}) -> {second_match, X}
                end)).

输出为：

[{{1,'$1','$2'},[],['$1']},{{'$1',2,'$2'},[],['$1']}]
[{first_match,a},{second_match,b}]