Haskell中如何对构造函数子集模式匹配并访问共享元素？

首先看你的State类型定义：

data State = 
    A { value :: Int } 
  | B { value :: Int }
  | C { other :: String } 

你想避免重复匹配A和B的样板代码，同时统一访问它们共享的value字段，下面是几种可行的方案：

1. 视图模式（View Patterns） #

启用ViewPatterns扩展，先定义一个辅助函数提取value：

{-# LANGUAGE ViewPatterns #-}

getValue :: State -> Maybe Int
getValue (A v) = Just v
getValue (B v) = Just v
getValue _ = Nothing

然后在函数里用这个视图来匹配所有带value的构造函数：

f :: Monad m => State -> m ()
f st = case st of
  (getValue -> Just v) -> withValueAction v
  C{} -> return ()

后续如果新增带value的构造函数，只需要修改getValue函数，不用改动所有匹配逻辑。

2. 模式同义词（Pattern Synonyms） #

启用PatternSynonyms和ViewPatterns扩展，定义一个通用模式来匹配所有带value的状态：

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ViewPatterns #-}

pattern HasValue :: Int -> State
pattern HasValue v <- (getValue -> Just v)

现在函数里可以直接用这个模式，代码更直观：

f :: Monad m => State -> m ()
f st = case st of
  HasValue v -> withValueAction v
  C{} -> return ()

如果需要用这个模式构造State，可以补充where子句（比如HasValue v = A v），但这里你只需要消费State，所以匹配部分就够了。

3. 类型类抽象（Type Classes） #

如果需要更抽象的字段访问逻辑，可以定义类型类：

class HasValue a where
  getValue' :: a -> Int

instance HasValue State where
  getValue' (A v) = v
  getValue' (B v) = v
  getValue' C{} = error "C状态没有value字段"  -- 注意：调用前要确保是A/B类型

然后结合构造函数子集匹配来使用：

f :: Monad m => State -> m ()
f st = case st of
  s@(A{} | B{}) -> withValueAction (getValue' s)
  C{} -> return ()

这种方式适合需要在多个类型间共享字段访问逻辑的场景，但要注意避免对C状态调用getValue'引发错误。

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