Haskell中模式匹配与守卫的技术实现对比及场景选择

问题1：模式匹配与case of的实现差异，以及cardValueGuardsOld失败原因 #

模式匹配与case of的编译器实现 #

Haskell里的模式匹配（包括函数定义中的模式、where子句内的模式）和case of本质是同一套逻辑：编译器会将它们转换为对数据构造器的顺序检查，匹配到对应构造器时，自动绑定构造器内的变量并执行分支代码。

• 函数定义里的模式（比如selectNum Ace = 11）是case of的语法糖，编译后会被展开为等价的case表达式。
• 两者底层执行逻辑完全一致，核心都是通过构造器匹配来分支，而非值的相等比较。

cardValueGuardsOld失败的核心原因 #

你写的| rank card == (Num a) = a是错误的用法：

• 这里的(Num a)不是模式匹配，而是值相等比较，其中a是未绑定的自由变量，Haskell会将其视为一个全新的、未赋值的变量，而非从rank card中提取数值。
• 这个条件相当于拿确定的rank card和一个不确定的Num a做相等判断，永远不会成立，因此该分支永远不会触发，直接走到otherwise返回10。
• 而cardValueGuards里的| (Num a) <- rank card = a是模式守卫，这是Haskell允许在守卫中使用模式匹配的语法，作用是尝试将rank card匹配到Num a模式，成功则绑定a并进入分支，这才是正确的数值提取方式。

问题2：模式匹配/case of与守卫的选择，以及数值范围检查的处理 #

场景下的方案优劣 #

• 模式匹配（函数定义/where子句）：最简洁直观，完全适配这种按数据构造器分支的场景，代码可读性最高，比如你的cardValue函数，把Rank的匹配逻辑封装在where子句中，逻辑清晰。
• case of：和模式匹配本质等价，适合在单个表达式中间需要临时分支的场景，在当前扑克牌分值计算的场景下，和模式匹配没有优劣之分，仅写法不同。
• 守卫：单纯的构造器分支场景下，守卫不如模式匹配简洁；但当需要额外条件判断时，守卫的灵活性会体现出来。

数字牌数值范围检查的处理 #

如果要限制数字牌的数值在2-9之间，守卫是更合适的选择，可以结合模式守卫实现：

cardValueWithRange :: Card -> Int
cardValueWithRange card
    | rank card == Ace = 11
    | (Num a) <- rank card, a >=2, a <=9 = a
    | otherwise = 10

也可以用模式匹配加守卫的写法：

cardValueWithRange' :: Card -> Int
cardValueWithRange' card = selectNum (rank card)
    where
        selectNum Ace = 11
        selectNum (Num a) | a >=2 && a <=9 = a
        selectNum _ = 10

这两种方式都能优雅处理数值范围检查，比逐个列举Num 2到Num 9简洁得多。

内容的提问来源于stack exchange，提问作者MrBubbles