模式不匹配：(_:_:_)

Question

所以我正在尝试构建一个函数，它接受一个元组列表并找到具有最大第二个元素的元组。但是我遇到了模式匹配错误。

这是我的代码。

    resultTuple :: [((Int,Int),Int)] -> (Int,Int)
    resultTuple [] = error "something wrong"
    resultTuple [x] = fst(x)
    resultTuple (x:y:xs)
        | snd(x) >= snd(y) = resultTuple(x:xs)
        | snd(x) < snd(y) = resultTuple(y:xs)

这是我的错误。

Pattern match(es) are non-exhaustive
In an equation for ‘resultTuple’: Patterns not matched: (_:_:_)

Answer 1

x:y:xs 的所有情况都有一个条件，编译器警告您没有涵盖所有条件都为假的情况。也就是说，编译器会警告 snd x >= snd y 和 snd x < snd y 都为 false 的情况。

当然这实际上不可能发生，但编译器并没有意识到这一点。要消除警告，您只需将第二个条件替换为 otherwise.

模式不匹配：(_:_:_)

Patterns not matched: (_:_:_)

haskell

pattern-matching

guard-clause