Haskell递归RGB颜色类型实现问题：反转与混合报错排查

核心问题 #

你遇到的Non-exhaustive patterns in function rgb错误，本质是你的rgb函数的模式匹配没有覆盖所有可能的Color输入情况，尤其是没有处理递归嵌套的Mix或Invert构造器。

比如你可能错误地只针对「基本颜色组合的Mix/Invert」写了模式分支（比如Mix Red Green），而没有写通用的模式来处理任意Color作为参数的情况，导致当输入是嵌套结构（比如Mix Red (Mix Red Green)）时，没有对应的匹配分支，触发运行时异常。

错误代码示例（你可能的写法） #

data Color = Red | Green | Blue | Mix Color Color | Invert Color deriving (Show)

rgb :: Color -> (Int, Int, Int)
rgb Red = (255, 0, 0)
rgb Green = (0, 255, 0)
rgb Blue = (0, 0, 255)
rgb (Mix Red Green) = (127, 127, 0)  -- 仅匹配Red和Green的混合，不通用
rgb (Invert Red) = (0, 255, 255)     -- 仅匹配Red的反转，不通用

这种写法只能处理固定组合的输入，一旦遇到嵌套的Mix/Invert，就会因为没有匹配分支报错。

正确写法（递归处理所有情况） #

要解决这个问题，需要为Mix和Invert编写通用模式匹配分支，递归调用rgb解析内层的Color值，再处理混合或反转逻辑：

data Color = Red | Green | Blue | Mix Color Color | Invert Color deriving (Show)

rgb :: Color -> (Int, Int, Int)
-- 处理基本颜色
rgb Red = (255, 0, 0)
rgb Green = (0, 255, 0)
rgb Blue = (0, 0, 255)

-- 通用混合逻辑：递归解析两个子颜色，再取RGB平均值
rgb (Mix c1 c2) = 
    let (r1, g1, b1) = rgb c1
        (r2, g2, b2) = rgb c2
    in ((r1 + r2) `div` 2, (g1 + g2) `div` 2, (b1 + b2) `div` 2)

-- 通用反转逻辑：递归解析子颜色，再反转每个RGB通道
rgb (Invert c) = 
    let (r, g, b) = rgb c
    in (255 - r, 255 - g, 255 - b)

这样不管Mix/Invert嵌套多少层，都会递归解析内层颜色，不会出现模式匹配缺失的问题。

为什么前两个测试正常？ #

前两个测试（比如rgb Red、rgb (Mix Red Green)）能正常运行，是因为它们刚好匹配了你写的具体模式分支，但嵌套结构的输入不在这些分支的覆盖范围内，所以触发了非穷尽模式错误。

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