模式匹配中的冲突定义

Question

我刚刚开始学习 Haskell，在 2-adic 类型的课程中遇到了一个问题。这是重要的代码：

data Rectangle = NoRect | Rect (Float,Float) (Float,Float) | Pane
      deriving (Show)
class Collision s1 s2 where
      collides ::  s1 -> s2 -> Bool

instance (Collision Rectangle Rectangle) where
    collides (Rect (aOrX, aOrY) (aCorX, aCorY)) 
             (Rect (bOrX,bOrY) (bCorX,bCorY)) = ...
    collides Pane _ = True
    ...

编译器（GHC 6.12.1）现在抱怨 “碰撞”的定义冲突

我不明白，这些定义会如何冲突，是吗？

谢谢！

Answer 1

最有可能的罪魁祸首是“...”中某处的布局错误，导致两条碰撞线被分成两个单独的块。 “碰撞”的定义冲突意味着同一范围内有两个不同的地方定义了碰撞。不知何故，要么这两行被中断，因此编译器将它们视为单独的，要么“...”部分中存在错误，以某种方式在一个范围内定义了两次碰撞。

有两种主要方法可以解决定义冲突错误。首先，同一函数定义中的两个绑定可以尝试绑定同一变量，如 foo xx = ... 中所示。这是不允许的，因为它定义了 x 两次。

另一种情况（我怀疑在您的代码中适用的情况）是同一定义的两个部分被另一个定义“中断”时。编译器将其视为两个单独的定义。例如：

foo True = ...
bar = ...
foo False = ...

这也是不允许的，因为它（再次）定义了相同的名称（foo）两次。

中断可能并不明显，特别是在您不小心混合制表符和空格的情况下（并且您的编辑器使用的不是 Haskell 假设的每个空格 8 个制表符）。它可能在编辑器中显示为 where 子句中的缩进行，但由于制表符宽度的差异，编译器会发现它与 foo 对齐，从而使第二个 foo 变成另一个定义与第一个定义相冲突。

在布局敏感的语言中，通常认为最好只在代码中使用空格，或者至少确保编辑器为其选项卡使用正确数量的空格。对于 Haskell 来说，是 8。