class实例声明的解释

Question

我正在关注教程并找到了这段代码：

data A = B | C deriving(Eq)

class K a where
 f :: a -> Bool

instance K A where
 f x = x == C
 f _ = False
 
call = f B

为什么我需要f _ = False ？ 没有它我得到相同的结果。

Answer 1

答案很简单：这里不需要f _ = False 。 事实上，如果您使用-Wall进行编译，那么编译器会警告您该子句是多余的，因为fx =...子句已经捕获了所有内容。

如果教程告诉您要有那个额外的子句，那就错了。

Answer 2

正如所指出的，这是没有必要的。

但是，如果您的定义略有不同，则您可能需要（或想要）该行，它不需要Eq实例：

data A = B | C

class K a where
 f :: a -> Bool

instance K A where
 f C = True
 f _ = False

您可以直接将参数与C进行比较，而不是将x与C进行比较，然后定义f以针对所有其他值返回False 。 如果有更多可以生成False的构造函数，这就更有意义了。

data A' = B | C | D

instance K A' where
    f C = True
    f _ = False  -- in place of f B = False and f D = False