在函数调用之前附加值时出现"Non-exhaustive patterns in function"错误

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函数，用于将数字(以及许多其他东西)转换为字符串。