如何在Haskell中为自定义类型A定制Eq实例（仅修改D构造器行为）

当然可以做到！完全不用手动写出所有构造器的比较逻辑，只需要复用Haskell编译器生成的默认Eq实现，同时覆盖D构造器的特殊情况就行。这里有两种简洁的方案：

方案一：利用Generic派生（推荐，base 4.17+） #

如果你的项目使用的是base 4.17或更高版本，可以直接借助Generic类型类和genericEq函数，复用默认的派生逻辑：

{-# LANGUAGE DeriveGeneric #-}

import GHC.Generics (Generic)
import Data.Eq.Generic (genericEq)

data A = B Int | C Float | D A deriving Generic

instance Eq A where
  -- 特殊处理两个D构造器的比较：始终返回True
  (D _) == (D _) = True
  -- 其他所有情况直接使用编译器生成的默认Eq逻辑
  x == y = genericEq x y

这个方法的核心是genericEq——它是编译器基于Generic自动生成的默认比较函数，和你直接用deriving Eq得到的逻辑完全一致。我们只需要在实例中优先处理两个D构造器的情况，剩下的全部交给默认逻辑即可。

如果你的base版本低于4.17，可以安装generic-default包，用defaultEq替代genericEq，用法完全一样。

方案二：用辅助newtype包装（无额外依赖） #

如果你不想引入额外扩展或包，也可以用一个简单的包装类型来复用默认逻辑：

{-# LANGUAGE StandaloneDeriving #-}

data A = B Int | C Float | D A

-- 定义一个包装类型，用来承载A的默认Eq行为
newtype DefaultA = DefaultA A

-- 为包装类型派生Eq，这会生成A的默认比较逻辑
deriving instance Eq DefaultA

instance Eq A where
  (D _) == (D _) = True
  -- 其他情况转成包装类型，复用默认的比较逻辑
  a1 == a2 = DefaultA a1 == DefaultA a2

这里的DefaultA只是一个无开销的包装，它的Eq实例完全是编译器自动生成的默认逻辑。我们在A的Eq实例里，除了D的特殊情况，其他都转成DefaultA来比较，完美复用了默认逻辑，不用手动写B和C的比较代码。

两种方案都能达到你的需求，不用手动实现所有构造器的比较逻辑，只需要聚焦处理D的特殊行为就行。

内容的提问来源于stack exchange，提问作者Allan W