macros - Erlang 中的一等模式？

Question

是否有任何支持 first-class patterns 在 Erlang 中？

f(SomeMagicPattern) ->
  receive
    SomeMagicPattern -> ok
  end.

如果答案是否定的(支持)，您是否知道实现此目标的其他方法？例如，使用宏？

Answer 1

不，Erlang 没有开箱即用的一等模式。有两种实现方法:

1. 宏。广泛使用，例如在 EUnit 和 PropEr 等测试工具中。比如说，EUnit 有一个 ?assertMatch 宏，它实际上是一等模式的示例:

   ?assertMatch({ok, _}, 结果)

2. 解析转换。更难编写，但可能更强大，因为使用它们您可以访问 Erlang 抽象代码并以您想要的任何方式完全重写它。这里有一个关于解析转换的一系列教程的很好的链接:Is there a good, complete tutorial on Erlang parse transforms available?