模式匹配 (Pattern Matching)

模式匹配是 Flurry 语言中一种强大且富有表现力的机制,用于检查一个值是否符合某种结构,并在此过程中可能将值的组成部分解构 (destructure) 并绑定到新的变量上。它不仅可以用于解构复杂的数据结构,还与控制流语句深度集成,提供了简洁、安全的条件判断和循环方式。

Flurry 的模式语法极其丰富,涵盖了从基本字面量到复杂数据结构、范围、组合模式等多种形式。

本章将涵盖:

  • 模式语法: 详细介绍 Flurry 支持的各种模式类型及其语法。
  • 匹配控制流: 展示模式匹配如何在 match 表达式、if is 语句和 while is 循环中驱动程序逻辑。

理解模式匹配是掌握 Flurry 表达力和编写惯用 (idiomatic) Flurry 代码的关键。