haskell - 在函数调用之前附加值时出现“函数中的非详尽模式”错误

Question

我不确定我没有处理什么。假设我有一个函数，它将整数转换为字符串。调用它converter。

现在，要将位置整数转换为字符串，我只需调用converter. 要将负整数转换为字符串，我附加-到converter调用。

这是我的代码：

converter :: Integer -> String
converter x
    | x == 0 = "0"
    | x == 1 = "1"
    | x == 2 = "2"
    | x == 3 = "3"
    | x == 4 = "4"
    | x == 5 = "5"
    | x == 6 = "6"
    | x == 7 = "7"
    | x == 8 = "8"
    | x == 9 = "9"
    | x > 9 = z
    where
    (a, b) = divMod x 10
    z = (converter a) ++ (converter b)

negOrPosConverter :: NegOrPosInteger -> String
negOrPosConverter (ActualInt x)
    | x >= 0 = converter x
    | x < 0 = "-" ++ (converter x)

当我运行代码并尝试时negOrPosConverter (ActualInt (-200))，出现此错误：

"-*** Exception: theConverter.hs:(19,1)-(27,32): Non-exhaustive patterns in function converter

知道为什么吗？

Answer 1

问题是converter它只为非负数定义。当 a 为负数时，您在前面加上 a "-"，但您忘记反转您传递给它的实际数字。试试这个：

negOrPosConverter :: NegOrPosInteger -> String
negOrPosConverter (ActualInt x)
    | x >= 0 = converter x
    | x < 0 = '-' : converter (-x)

注意converter (-x)而不是converter x.

---

此外，如果这不仅仅是为了练习，请注意showPrelude 中已经存在将数字（以及许多其他东西）转换为字符串的函数。