不完整的模式匹配此表达式

Question

我收到以下代码的警告:

    | _ -> let card1::card2::remainingDeck = newDeck
           Some(card1, card2), remainingDeck

不完整的模式匹配此表达式.例如,值"[_]"可以指示模式未涵盖的情况.

这是代码的其余部分:

let newDeck = [for suit in suits do
                for face in faces do
                    yield {Face=face; Suit=suit}]

let deal = function
    | card1::card2::remaining -> Some(card1, card2), remaining
    | _ -> let card1::card2::remainingDeck = newDeck
           Some(card1, card2), remainingDeck

我注意到,在我的编辑器闲置几分钟后,当我再次构建我的解决方案时,警告消失了.

难道我做错了什么？

Answer 1

您收到警告,因为编译器唯一的信息newDeck是它的类型.它没有关于列表长度的信息 - 如果newDeck没有至少2个元素,let card1::card2::remainingDeck = newDeck则会抛出MatchFailureException.

其实

let card1::card2::remainingDeck = newDeck
Some(card1, card2), remainingDeck

相当于

match newDeck with
| card1::card2::remainingDeck -> Some(card1, card2), remainingDeck

编译后的MSIL完全相同.