模式匹配 (Pattern Matching)
模式匹配是 Flurry 语言中一种强大且富有表现力的机制,用于检查一个值是否符合某种结构,并在此过程中可能将值的组成部分解构 (destructure) 并绑定到新的变量上。它不仅可以用于解构复杂的数据结构,还与控制流语句深度集成,提供了简洁、安全的条件判断和循环方式。
Flurry 的模式语法极其丰富,涵盖了从基本字面量到复杂数据结构、范围、组合模式等多种形式。
本章将涵盖:
- 模式语法: 详细介绍 Flurry 支持的各种模式类型及其语法。
- 匹配控制流: 展示模式匹配如何在
match
表达式、if is
语句和while is
循环中驱动程序逻辑。
理解模式匹配是掌握 Flurry 表达力和编写惯用 (idiomatic) Flurry 代码的关键。