如何正确使用PatternSynonyms？解决冗余、不完整或异常问题

问题根源分析 #

你的问题核心在于视图型模式同义词（通过<-结合视图函数定义的模式）与COMPLETE编译指示的兼容性问题：

1. 若错误地仅给DInt添加COMPLETE（如{-# COMPLETE DInt #-}），编译器会被误导认为DInt覆盖所有情况，导致漏写D3分支时无警告，但运行时遇到D3会因视图函数返回Nothing触发匹配失败异常；
2. 视图型模式的匹配依赖运行时函数结果，编译器无法静态分析出DInt不能匹配D3，因此会误判后续的D3分支冗余。

解决方案 #

方案1：修正COMPLETE并改用构造器型模式同义词（推荐）

放弃视图函数，直接让DInt匹配所有目标原始构造器，让编译器能准确识别覆盖范围：

{-# LANGUAGE PatternSynonyms #-}

-- 假设你的原始数据类型定义
data D = D1 Int | D2 (Maybe Int) | D3 String

-- 直接匹配D1和D2 (Just n)，无需视图函数
pattern DInt :: Int -> D
pattern DInt n <- D1 n
pattern DInt n <- D2 (Just n)

-- COMPLETE需包含所有未被DInt覆盖的模式
{-# COMPLETE DInt, D2, D3 #-}

process :: D -> String
process d = case d of
  DInt n -> "处理整数：" ++ show n
  D2 Nothing -> "无效值（无意义的分支）"
  D3 s -> "处理字符串：" ++ s

• 漏写D3或D2分支时，编译器会正常发出非穷尽模式警告；
• 按任意顺序编写分支都不会出现冗余警告，因为编译器能明确DInt仅匹配D1和D2 (Just n)。

方案2：使用辅助视图类型彻底规避问题

若必须保留视图转换逻辑，可定义一个辅助类型封装视图结果，让COMPLETE能准确判断覆盖性：

data D = D1 Int | D2 (Maybe Int) | D3 String

-- 辅助视图类型，明确划分所有可能的情况
data DView = DIntView Int | DInvalid | D3View String

-- 手动实现视图转换逻辑
toDView :: D -> DView
toDView (D1 n) = DIntView n
toDView (D2 (Just n)) = DIntView n
toDView (D2 Nothing) = DInvalid
toDView (D3 s) = D3View s

-- 给辅助类型添加COMPLETE，确保覆盖所有情况
{-# COMPLETE DIntView, DInvalid, D3View #-}

process :: D -> String
process d = case toDView d of
  DIntView n -> "处理整数：" ++ show n
  DInvalid -> "无效值（无意义的分支）"
  D3View s -> "处理字符串：" ++ s

这种方式完全绕开了视图型模式同义词的覆盖性判断缺陷，编译器能100%准确检查分支是否穷尽。

方案3：修正COMPLETE的最小改动

若坚持使用视图型模式同义词，必须确保COMPLETE包含所有无法被DInt匹配的模式：

{-# LANGUAGE PatternSynonyms, ViewPatterns #-}

data D = D1 Int | D2 (Maybe Int) | D3 String

getInt :: D -> Maybe Int
getInt (D1 n) = Just n
getInt (D2 (Just n)) = Just n
getInt _ = Nothing

pattern DInt n <- (getInt -> Just n)

-- COMPLETE必须包含DInt、D2（对应D2 Nothing）、D3
{-# COMPLETE DInt, D2, D3 #-}

process :: D -> String
process d = case d of
  DInt n -> "处理整数：" ++ show n
  D2 Nothing -> "无效值"
  D3 s -> "处理字符串：" ++ s

此方案仅修正COMPLETE的内容，能解决漏写分支无警告的问题，但仍可能因编译器无法静态分析视图函数行为，偶尔出现冗余警告（可通过调整分支顺序规避，如将D3放在DInt之前）。

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