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

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 都为假的情况。

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