Haskell通过Key获取JSON值报错：Aeson类型不匹配问题求助

错误原因 #

你用HM.lookup（HashMap模块的查找函数）操作Aeson的Object类型，但Aeson的Object本质是Data.Aeson.KeyMap.KeyMap Value，和HashMap并非同一类型，因此触发类型不匹配错误。

两种修正方案 #

方案一：直接使用Aeson KeyMap的查找函数

导入Data.Aeson.KeyMap模块，用它自带的lookup方法。键需要是Key类型——可以用fromString转换普通字符串，或者开启OverloadedStrings扩展直接用字符串字面量。

修正代码（未开启扩展）：

import qualified Data.Aeson.KeyMap as KM
import Data.Aeson (Value(..), fromString)

let nm = case rep_json of
      Object v -> case KM.lookup (fromString "names") v of
        Just endps -> Just endps  -- 原代码返回Just v是返回整个对象，此处改为返回"names"对应值，可按需调整
        _ -> Nothing
      _ -> Nothing

开启OverloadedStrings扩展后可简化：

-- 文件顶部添加：{-# LANGUAGE OverloadedStrings #-}
import qualified Data.Aeson.KeyMap as KM
import Data.Aeson (Value(..))

let nm = case rep_json of
      Object v -> KM.lookup "names" v
      _ -> Nothing

方案二：将KeyMap转为HashMap

如果坚持要用HashMap的操作，可通过KeyMap.toHashMap把Aeson的Object转成HashMap Key Value，再用HM.lookup：

import qualified Data.HashMap.Strict as HM
import qualified Data.Aeson.KeyMap as KM
import Data.Aeson (Value(..), fromString)

let nm = case rep_json of
      Object v -> HM.lookup (fromString "names") (KM.toHashMap v)
      _ -> Nothing

开启OverloadedStrings后同样可以直接用"names"作为键。

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