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

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 只为非负数定义。当 "-" 为负数时，您会在前面加上一个 "-"，但您忘记反转您传递给它的实际数字。试试这个：

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

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

---

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