Вопрос по json, haskell – Отказоустойчивый анализ JSON

11

Я использую Data.Aeson для анализа JSON-типа в тип записи. Время от времени данные добавляются в JSON, и это нарушает мой код, поскольку Эсон жалуется на что-то вроде:

expected Object with 21 name/value pairs but got 23 name/value

Я действительно предпочитаю анализировать 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

Я должен добавить, что для генерации кода синтаксического анализа я использую DerveJSON из Data.Aeson.TH. Если я пишу код FromJSON вручную, он отказоустойчив, но я бы не хотел этого делать ...

Ваш Ответ

1   ответ
6

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

Запуск этого не удастся с производным от TH экземпляром из-за 'field2' не существует в записи.Generic Экземпляр возвращает желаемый результат:

Just (MyRecord {field1 = 1})

Похожие вопросы