12

我正在使用 Data.Aeson 将一些 JSON 解析为 Record 类型。不时将数据添加到 JSON 中，这会破坏我的代码，因为 Aeson 会抱怨以下内容：

预期对象有 21 个名称/值对，但得到 23 个名称/值

我真的更喜欢以容错的方式解析 JSON——我不在乎以后是否有更多的字段被添加到 JSON，只要解析任何你能做的！有没有办法实现这种容错？这是我的代码：

myRecordFromJSONString :: BS.ByteString -> Maybe MyRecord
myRecordFromJSONString s = case Data.Attoparsec.parse json s of
  Done _rest res -> Data.Aeson.Types.parseMaybe parseJSON res
  _              -> Nothing

我应该补充一点，我正在使用来自 Data.Aeson.TH 的 derivedJSON 来生成解析代码。如果我手动编写 FromJSON 代码，它是容错的，但我不想这样做......

4

1 回答 1

7

如果您使用的是 GHC 7.2 或 7.4，则新的泛型支持aeson不会检查额外的字段。我不确定这是否是设计使然，但我们出于同样的原因使用它。

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE OverloadedStrings #-}

import Data.Aeson
import qualified Data.Aeson.Types
import Data.Attoparsec
import qualified Data.ByteString as BS
import Data.ByteString.Char8 ()
import GHC.Generics

data MyRecord = MyRecord
  { field1 :: Int
  } deriving (Generic, Show)

instance FromJSON MyRecord

myRecordFromJSONString :: BS.ByteString -> Maybe MyRecord
myRecordFromJSONString s = case Data.Attoparsec.parse json s of
  Done _rest res -> Data.Aeson.Types.parseMaybe parseJSON res
  _              -> Nothing

main :: IO ()
main = do
  let parsed = myRecordFromJSONString "{ \"field1\": 1, \"field2\": 2 }"
  print parsed

由于记录中不存在“field2”，因此运行此操作会因 TH 派生实例而失败。该Generic实例返回所需的结果：

Just (MyRecord {field1 = 1})
于 2012-05-15T20:59:15.780 回答