左手边功能，非法图案

Question

我有一个返回函数的函数。我用EUnit测试检查它：

string_to_options_test() ->
    Parser = get_parser("-", ?OPTS_FOO_BAR),
    {ok, [opt_foo, opt_bar]} = Parser("foo-bar").

没关系。当我修改最后一行时，出现错误：

string_to_options_test() ->                        % 41
    Parser = get_parser("-", ?OPTS_FOO_BAR),
    Parser("foo-bar") = {ok, [opt_foo, opt_bar]}.  % 43, swapped LHS and RHS,

运行测试：

urlparser.erl:43: illegal pattern
urlparser.erl:41: Warning: variable 'Parser' is unused

为什么我不能在作业的左侧使用Parser功能？

Answer 1

这很有趣。每个模式匹配的LHS表达式必须为pattern，而权限可以是任意term。主要区别在于模式可能具有未绑定的变量，但必须完全减少。您的LHS是一个无法在编译时计算的表达式 - 因为某些算术表达式可能是 - 而且结果不是有效模式。