F#奇妙游（19）：F#中的模式匹配（match with)

最新推荐文章于 2026-01-01 19:19:57 发布

原创

最新推荐文章于 2026-01-01 19:19:57 发布 · 263 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#F# #函数式 #开发语言

本文详细介绍了F#中的match语句，它允许开发者根据不同的模式执行不同的代码块。通过匹配常量模式、标识符模式（如处理option类型）、变量模式、as模式、OR模式、AND模式以及列表、数组等模式，实现灵活的逻辑分支。此外，文章还提到了类型匹配模式和记录模式在处理不同类型和记录值时的作用，强调了模式匹配在确保代码正确性和简洁性方面的价值。

分支选择

F#中的match语句是一个强大的工具，它可以用来匹配各种各样的模式。match语句的一般形式如下：

match expression with
| pattern1 [when condition1]-> result1
| pattern2 [when condition1] -> result2
| pattern3 [when condition1] -> result3
//...
| patternN -> resultN
| _ -> defaultResult

match语句的执行过程是这样的：首先，计算expression的值，然后将这个值与pattern1进行匹配，如果匹配成功，则返回result1，否则，将这个值与pattern2进行匹配，如果匹配成功，则返回result2，…，如果所有的选项都没有匹配上则抛出一个异常Microsoft.FSharp.Core.MatchFailureException，并说明匹配不完整。实际上，IDE都会提醒匹配不完整的情况。这也是使用这个语言工具来编程时很重要的一个特性，可以保证程序的正确性。为了避免这个异常，可以在match语句的最后加上一个通配符模式_，这样就可以保证所有的情况都被处理了。这个通配符的匹配方式不是一个很好的实践，还是应该尽量保证所有的情况都被处理。

在函数式的语言中，通常都有类似的语句，比如Haskell中的case语句，Scala中的match语句，Erlang中的case语句等等。Kotlin中也有类似的语句，叫做when语句。使用Match这类的语言机制，可以很方便的表达各种各样的模式，语法和语义都非常清晰。