Erlang中如何编程式使用模式匹配处理动态未知模式

你给出的示例代码无法得到预期的匹配结果：Erlang原生case/receive的模式匹配是编译期确定的，绑定到变量里的内容只会被当作普通值做精确相等比较，不会被解析为匹配规则——你代码里Pattern绑定的{error, '_'}是普通二元元组，第二个元素是原子'_'，和待匹配的{error, "foo"}第二个元素是字符串"foo"不相等，最终IsError会返回false，其中的'_'也不会被识别为通配符。

宏能实现模式匹配的本质是宏在编译阶段就会被展开成字面的匹配子句，本质还是编译期确定的静态规则，自然无法适配运行时动态生成、无法提前预知的模式列表。针对动态模式匹配的需求，常用实现方案有三类：

• 动态编译生成匹配函数：性能最优，适合匹配频率高、模式规则复杂的场景。可以借助Erlang的语法树操作API，动态构造匹配函数的抽象语法树，再求值得到可直接调用的fun。如果是一组动态模式，只需要给每个模式生成对应的匹配子句，最后增加兜底的不匹配分支即可，示例代码如下：

% 传入模式语法树列表，每个模式对应匹配成功后的返回值，生成通用匹配函数
compile_patterns(PatternAndReturnList) ->
    % 为每个模式生成匹配子句：匹配成功返回预设值
    MatchClauses = lists:map(fun({PatternAST, ReturnVal}) ->
        erl_syntax:clause([PatternAST], [], [erl_syntax:abstract(ReturnVal)])
    end, PatternAndReturnList),
    % 增加兜底子句：所有模式都不匹配时返回nomatch
    CatchAllClause = erl_syntax:clause([erl_syntax:variable("_")], [], [erl_syntax:atom(nomatch)]),
    FunAST = erl_syntax:fun_expr(MatchClauses ++ [CatchAllClause]),
    {ok, MatcherFun, _} = erl_eval:expr(FunAST, []),
    MatcherFun.

% 调用示例：动态生成包含{error, _}、{ok, Value}两个模式的匹配器
Matcher = compile_patterns([
    {erl_syntax:tuple([erl_syntax:atom(error), erl_syntax:variable("_")]), is_error},
    {erl_syntax:tuple([erl_syntax:atom(ok), erl_syntax:variable("Val")]), {is_ok, Val}}
]),
Matcher({error, "foo"}), % 返回is_error
Matcher({ok, "bar"}), % 返回{is_ok, "bar"}
Matcher({other, "baz"}). % 返回nomatch

• 手写模式匹配解释器：如果运行环境不允许动态编译语法树，可以自己实现递归的匹配逻辑：约定通配符、变量绑定的特殊标记，按照模式的结构逐层比对——原子、数字等字面量直接判断值相等，通配符直接匹配成功，元组、列表等复合结构先判断长度/类型一致，再递归比对每个位置的子模式和对应值。这种方案实现简单、无编译开销，但匹配性能比编译后的函数差，适合模式数量少、匹配调用频率低的场景。
• 固定结构场景定制匹配逻辑：如果你的动态模式结构是固定的（比如都是{标签, 内容}格式的元组），不需要支持Erlang全特性的模式语法，可以直接针对固定结构写通用的标签分发、内容比对逻辑，不需要做通用的动态模式解析，实现成本最低、性能最好。

内容的提问来源于stack exchange，提问作者micah