55. 模式匹配

MATCH 模块在 Daslang 中实现了模式匹配。 (参见 模式匹配 部分)。

所有函数和符号都在 “match ”模块中,使用 require 访问该模块。:

require daslib/match

55.1. 调用宏

match

实现 match 宏.

static_match

实现 static_match 宏.

multi_match

实现 multi_match 宏.

static_multi_match

实现 static_multi_match 宏.

55.2. 结构宏

match_as_is

执行 match_as_is 注解。 该注解用于标记结构可通过 is 和 as machinery 与不同类型匹配。

match_copy

实现 match_copy 注解。 该注解用于标记可通过 match_copy 机制匹配不同类型的结构。