Haskell 模式匹配 - 它是什么？

Question

Haskell 中的模式匹配是什么以及它与保护方程有何关系？

我尝试寻找简单的解释，但没有找到。

编辑:有人标记为家庭作业。我不再上学了，我只是在学习 Haskell，我正在尝试理解这个概念。纯粹出于兴趣。

Answer 1

简而言之，模式就像在数学中定义分段函数。您可以使用模式为不同的参数指定不同的函数体。当您调用函数时，通过将实际参数与各种参数模式进行比较来选择适当的函数体。阅读 A Gentle Introduction to Haskell了解更多信息。

比较:

使用等效的 Haskell:

fib 0 = 1
fib 1 = 1
fib n | n >= 2 
      = fib (n-1) + fib (n-2)

请注意，分段函数中的“n ≥ 2”在 Haskell 版本中成为保护，但其他两个条件只是模式。模式是测试值和结构的条件，例如 x:xs、(x, y, z) 或 Just x。在分段定义中，基于 = 或 ε 关系的条件(基本上，表示某物"is"其他东西的条件)成为模式。守卫允许更一般的条件。我们可以重写 fib 以使用防护:

fib n | n == 0 = 1
      | n == 1 = 1
      | n >= 2 = fib (n-1) + fib (n-2)