如何使用Data.Functor.Invariant？求Invariant的应用示例及适用场景

DevOps 小满

2026-5-19

指南：Haskell中Data.Functor.Invariant的使用与实践

嘿，我来带你搞懂Haskell里的Data.Functor.Invariant模块——这东西乍一看有点抽象，但吃透了能解决不少常规Functor或者Contravariant搞不定的场景。先从基础概念说起，再给你实打实的示例，最后聊聊它到底什么时候用最顺手。

1. 先搞明白：什么是Invariant Functor？

你肯定熟悉常规的协变Functor（fmap :: (a -> b) -> f a -> f b），它帮我们把容器里的a映射成b；还有逆变的Contravariant（contramap :: (b -> a) -> f a -> f b），比如谓词或者比较器这类需要反向映射的类型。

而Invariant Functor是两者的结合体，它的核心是invmap函数，签名是：

invmap :: (a -> b) -> (b -> a) -> f a -> f b

看到没？它需要双向转换函数——因为这个类型既不单纯"顺着"也不"逆着"映射，而是要求你能在a和b之间来回转换，才能把f a变成f b。

2. Data.Functor.Invariant模块的基础用法

首先得导入模块：

import Data.Functor.Invariant

模块的核心是Invariant类型类，定义很简单：

class Invariant f where
  invmap :: (a -> b) -> (b -> a) -> f a -> f b

要使用它，你需要给自定义类型实现这个类型类。举个最典型的例子：编码解码器（Codec）——这类类型既要能把外部格式（比如字符串）解析成内部数据，也要能把内部数据序列化回外部格式，天生需要双向转换。

先定义一个Codec类型：

newtype Codec a = Codec
  { decode :: String -> Either String a  -- 从字符串解析成a
  , encode :: a -> String                -- 把a序列化成字符串
  }

然后给它实现Invariant实例：

instance Invariant Codec where
  invmap ab ba (Codec dec enc) = Codec
    (\s -> ab <$> dec s)  -- 先解析成a，再转成b
    (ba . enc)            -- 先把b转成a，再序列化

这里ab是a -> b的转换，ba是b -> a的转换——正好对应了解码和编码的双向需求。

3. 实用示例：基于Invariant的代码复用

有了上面的基础，我们可以快速复用Codec的结构，构建各种类型的编解码器。

示例1：基础类型的Codec

先搞一个最基础的字符串Codec：

stringCodec :: Codec String
stringCodec = Codec Right id  -- 解析直接返回字符串，序列化直接用id

然后用invmap快速构建Int的Codec：

intCodec :: Codec Int
intCodec = invmap read show stringCodec

这里read :: String -> Int（简化处理，实际项目里要处理解析失败），show :: Int -> String——一行代码就搞定了Int的编解码。

再搞一个Bool的Codec：

boolCodec :: Codec Bool
boolCodec = invmap strToBool boolToStr stringCodec
  where
    strToBool s = case s of
      "True" -> True
      "False" -> False
      _ -> error "Invalid Bool string"  -- 实际用Either处理错误
    boolToStr b = if b then "True" else "False"

示例2：自定义数据类型的Codec

假设我们有一个User类型：

data User = User { userName :: String, userAge :: Int } deriving (Show, Eq)

用invmap基于stringCodec构建User的Codec：

import Data.List (break)  -- 简单分割字符串，实际用splitOn更方便

userCodec :: Codec User
userCodec = invmap strToUser userToStr stringCodec
  where
    strToUser s = let (name, ageStr) = break (== ',') s
                  in User name (read $ drop 1 ageStr)
    userToStr (User name age) = name ++ "," ++ show age

这里只需要定义字符串和User之间的双向转换，Codec的核心逻辑（解析/序列化）完全复用了stringCodec的结构。

4. 适用场景与价值

什么时候该用Invariant，而不是常规的Functor或Contravariant？

双向转换场景：比如编解码器、序列化/反序列化工具、解析器+生成器的组合类型——这些类型天生需要既能转进来也能转出去，invmap的双向函数正好匹配这个需求。
减少重复代码：当你有多个类似的类型，核心逻辑一致，只是转换规则不同，用Invariant可以复用基础结构，只提供双向转换函数，避免重复编写解析/序列化的样板代码。
抽象可逆操作：对于一些需要可逆映射的容器或状态类型，Invariant可以帮你抽象出这种可逆能力，让代码更通用、更具扩展性。

对比一下其他类型类：

Functor只能处理单向的a->b，适合只读或只输出的场景；
Contravariant处理b->a，适合只输入的场景（比如谓词、比较器）；
Invariant填补了两者之间的空白，专门解决需要双向转换的问题——这是前两者无法直接覆盖的场景。

举个直观的例子：如果用Functor做Codec，你只能处理解码的方向，编码逻辑得单独写；而用Invariant，一次invmap就能同时处理解码和编码的转换逻辑，代码更简洁统一。

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

如何使用Data.Functor.Invariant？求Invariant的应用示例及适用场景

1. 先搞明白：什么是Invariant Functor？ #

2. Data.Functor.Invariant模块的基础用法 #

3. 实用示例：基于Invariant的代码复用 #

示例1：基础类型的Codec #

示例2：自定义数据类型的Codec #