当两个模式共享“when”子句时，模式匹配不完整

A 共同的惊喜 https://stackoverflow.com/q/18691622/2314532对于 F# 初学者来说，以下事实是不完全匹配：

let x, y = 5, 10
match something with
| _ when x < y -> "Less than"
| _ when x = y -> "Equal"
| _ when x > y -> "Greater than"

但我刚刚遇到了一个令我惊讶的情况。下面是一小段示例代码来演示它：

type Tree =
| Leaf of int
| Branch of Tree list

let sapling = Branch [Leaf 1]  // Small tree with one leaf
let twoLeafTree = Branch [Leaf 1; Leaf 2]

let describe saplingsGetSpecialTreatment tree =
    match tree with
    | Leaf n
    | Branch [Leaf n] when saplingsGetSpecialTreatment ->
        sprintf "Either a leaf or a sapling containing %d" n
    | Branch subTree ->
        sprintf "Normal tree with sub-tree %A" subTree

describe true sapling // Result: "Either a leaf or a sapling containing 1"
describe false sapling // Result: "Normal tree with sub-tree [Leaf 1]"
describe true twoLeafTree // Result: "Normal tree with sub-tree [Leaf 1; Leaf 2]"
describe false twoLeafTree // Result: "Normal tree with sub-tree [Leaf 1; Leaf 2]"

这个版本的describe函数产生了“此表达式的模式匹配不完整”警告，即使模式匹配实际上是完整的。没有可能的树不会被该模式匹配所匹配，如以下所示removing比赛的特定分支when里面的表达：

let describe tree =
    match tree with
    | Leaf n -> sprintf "Leaf containing %d" n
    | Branch subTree ->
        sprintf "Normal tree with sub-tree %A" subTree

这个版本的describe返回“普通树”字符串sapling and twoLeafTree trees.

在这种情况下match表达式仅包含when表达式（如第一个示例，其中x and y正在比较），F# 编译器可能无法判断匹配是否完整是合理的。毕竟，x and y might是具有比较和相等的“奇怪”实现的类型，其中这三个分支都不成立。*

但在像我这样的情况下describe函数，为什么 F# 编译器不查看该模式，说“如果所有when表达式评估为false，仍然会有一个完整的匹配”并跳过“不完整的模式匹配”警告？这里出现此警告是否有某些特定原因，或者只是 F# 编译器在这里有点简单化并给出了一个情况因为代码不够复杂而出现误报警告？

* 其实可以设置x and y值使得x < y, x = y, and x > y are allfalse，而不会超出标准 .Net 类型系统的“正常”范围。作为一个特殊的奖励问题/谜题，这些值是什么x and y？不需要自定义类型来回答这个难题；您所需要的只是标准 .Net 中提供的类型。

In F# match语法，将when警卫适用于all列举了之前的案例，而不仅仅是最后一个案例。

在您的特定场景中，守卫when saplingsGetSpecialTreatment适用于两者Leaf n and Branch [Leaf n]案例。因此，对于以下情况，这场比赛将会失败tree = Leaf 42 && saplingsGetSpecialTreatment = false

以下内容将是完整的，因为Leafcase 现在有自己的分支：

let describe saplingsGetSpecialTreatment tree =
    match tree with
    | Leaf n ->
        sprintf "Either a leaf or a sapling containing %d" n
    | Branch [Leaf n] when saplingsGetSpecialTreatment ->
        sprintf "Either a leaf or a sapling containing %d" n
    | Branch subTree ->
        sprintf "Normal tree with sub-tree %A" subTree