0

我正在尝试将一些个人语言编译为 erlang。我想创建一个对子句进行模式匹配的函数。

这是我的数据：

Data =
    [ {a, <a_body> }
    , {b, <b_body> }
    , {c, <c_body> }
    ].

这就是我要的 ：

foo(a) -> <a_body>;
foo(b) -> <b_body>;
foo(c) -> <c_body>;
foo(_) -> undefined. %% <- this

我现在这样做：

MkCaseClause =
    fun({Pattern,Body}) ->
        cerl:c_clause([cerl:c_atom(Pattern)], deep_literal(Body))
    end,
WildCardClause = cerl:c_clause([ ??? ], cerl:c_atom(undefined)),
CaseClauses = [MkCaseClause(S) || S <- Data] ++ [WildCardClause],

所以请帮我定义WildCardClause。我看到如果我用既不 a 也不 b 也不 c 调用我的编译函数，它会导致** exception error: no true branch found when evaluating an if expression in function ....

当我打印我的 Core Erlang 代码时，我得到了这个：

'myfuncname'/1 =
    fun (Key) ->
        case Key of
          <'a'> when 'true' -> ...
          <'b'> when 'true' -> ...
          <'c'> when 'true' -> ...
        end

所以好吧，case翻译成if核心编译的时候。所以我需要true在表达式中指定一个子句if以获得纯通配符。我不知道该怎么做，因为true在一个if表达式和一个表达式中匹配case是不同的语义。在某种情况下，true不是通配符。

如果我想在 like 中匹配带有通配符的表达式怎么办{sometag,_,_,Thing} -> {ok, Thing}。

谢谢

4

1 回答 1

0

我找到了一种方法来做到这一点

...
WildCardVar = cerl:c_var('_Any'),
WildCardClause = cerl:c_clause([WildCardVar], cerl:c_atom(undefined)),
...

它也应该适用于内部通配符，但是必须小心为每个_通配符赋予不同的变量名称，因为只有多个_不匹配，变量匹配。

f(X,_, _ ) %% matches f(a,b,c)
f(X,_X,_X) %% doesn't
于 2013-07-18T14:48:27.923 回答