模式匹配警告

Question

我在函数中使用模式匹配，如下所示：

let rec calculate   : Calculation<MyType> -> MyVO -> Calculation<MyType list>=
    fun c l ->
        fun arrayA arrayC ->
        myComputationExpression {
            if arrayA.Length<>arrayC.Length then 
                yield! l
            else
                match arrayA, arrayC with
                | [], [] -> yield! C
                | [a], [c] -> yield! calculate a c
                | headA :: tailA, headC :: tailC -> 
                    yield! calculateOpenAny headA headC
                    yield! calculate c l tailA tailC
        }

我有以下警告：

Fsc：C:\myfile.fs(17,27)：警告 FS0025：此表达式的模式匹配不完整。例如，值 '( _ , [_] )' 可能表示模式未涵盖的情况。

我完全不明白，因为它不应该因为第一个条件语句而发生：

if arrayA.Length<>arrayC.Length then 

我在这里遗漏了什么，或者我可以忽略警告吗？

Answer 1

问题在于编译器并非无所不知。它可以证明一些东西，但它不能像人类那样完全分析你的程序，关注语义。

特别是，编译器不知道属性.Length 的值与列表的形状（即是否为空）之间的关系。从编译器的角度来看，Length 只是一个随机属性，你不妨对比一下.ToString() 调用的结果。

解决此问题的更好方法是在模式匹配中加入不同长度的大小写：

let rec calculate   : Calculation<MyType> -> MyVO -> Calculation<MyType list>=
    fun c l ->
        fun arrayA arrayC ->
        myComputationExpression {
            match arrayA, arrayC with
            | [], [] -> yield! C
            | [a], [c] -> yield! calculate a c
            | headA :: tailA, headC :: tailC -> 
                yield! calculateOpenAny headA headC
                yield! calculate c l tailA tailC
            | _, _ -> yield! l
        }

这里的另一个好处是性能：计算列表的长度实际上是一个 O(n) 操作，所以最好避免它。

---

在不相关的注释中，请记住所有这些都是等效的：

fun a -> fun b -> fun c -> ...
fun a -> fun b c -> ...
fun a b -> fun c -> ...
fun a b c -> ...

这是因为参数在 F#（以及所有 ML 系列）中的工作方式：函数“一个接一个”地接受参数，而不是一次全部接受参数，在每一步返回另一个“预期”其余参数的函数。这称为“currying”。 F# 中的函数默认为 curried。

在您的情况下，这意味着您的函数可以像这样声明更短：

let rec calculate =
    fun c l arrayA arrayC ->
        ...

甚至更短，像这样：

let rec calculate c l arrayA arrayC =
   ...