json - Elm - 使用动态 key 解码 Json

Question

我想解码一个如下所示的 Json 文件:

{ 'result': [
    {'id': 1, 'model': 'online', 'app_label': 'some_app_users'}, 
    {'id': 2, 'model': 'rank', 'app_label': 'some_app_users'}, 
]}

或者像这样:

{ 'result': [
    {'id': 1, 'name': 'Tom', 'skills': {'key': 'value', ...}, {'key': 'value', ...}},
    {'id': 1, 'name': 'Bob', 'skills': {'key': 'value', ...}, {'key': 'value', ...}},
]}

基本上，result 下的内容是具有相同键的字典列表 - 但我事先不知道这些键，我也不知道它们的键值类型(int、string、dict 等)。

目标是显示数据库表内容； Json 包含 SQL 查询的结果。

我的解码器看起来像这样(未编译):

tableContentDecoder : Decode.Decoder (List dict)
tableContentDecoder =
    Decode.at [ "result" ] (Decode.list Decode.dict)

我是这样使用的:

Http.send GotTableContent (Http.get url tableContentDecoder)

我遇到了这个错误:

Function list is expecting the argument to be: Decode.Decoder (Dict.Dict String a)

But it is: Decode.Decoder a -> Decode.Decoder (Dict.Dict String a)

使用字典解码器的正确语法是什么？那行得通吗？我找不到任何通用的 Elm 解码器...

Answer 1

Decode.list是一个接受 Decoder a 类型值的函数并返回 Decoder (List a) 类型的值. Decode.dict也是一个接受 Decoder a 类型值的函数返回 Decoder (Dict String a) 的解码器.这告诉我们两件事:

• 我们需要将解码器值传递给 Decode.dict在我们将它传递给 Decoder.list 之前
• Dict 可能不适合您的用例，因为 Dict 只能在两个固定类型之间进行映射，并且不支持像 'skills': {'key': 'value', ...} 这样的嵌套值

Elm 不提供通用解码器。这样做的动机与 Elm 对“无运行时错误”的保证有关。在与外部世界打交道时，Elm 需要保护其运行时免受外部故障、错误等可能性的影响。 Elm 这样做的主要机制是类型。 Elm 只允许正确描述的数据，这样做可以消除通用解码器引入错误的可能性。

由于您的主要目标是显示内容，因此类似于 Dict String String可能有效，但这取决于数据嵌套的深度。您可以通过对代码进行少量修改来实现:Decode.at [ "result" ] <| Decode.list (Decode.dict Decode.string) .

另一种可能性是使用 Decode.value和 Decode.andThen测试指示我们正在读取哪个表的值。

重要的是我们的解码器具有单一一致的类型，这意味着我们需要将可能的结果表示为总和类型。

-- represents the different possible tables
type TableEntry
    = ModelTableEntry ModelTableFields
    | UserTableEntry  UserTableFields
    | ... 

-- we will use this alias as a constructor with `Decode.map3`
type alias ModelTableFields =
    { id       : Int
    , model    : String
    , appLabel : String
    }

type alias UserTableFields =
    { id : Int
    , ...
    }

tableContentDecoder : Decoder (List TableEntry)
tableContentDecoder =
    Decode.value 
        |> Decode.andThen 
            \value ->
                let
                    tryAt field = 
                        Decode.decodeValue
                            (Decode.at ["result"] <| 
                                Decode.list <|
                                Decode.at [field] Decode.string)
                            value
                in  
                    -- check the results of various attempts and use
                    -- the appropriate decoder based on results
                    case ( tryAt "model", tryAt "name", ... ) of
                        ( Ok _, _, ... ) ->
                            decodeModelTable

                        ( _, Ok _, ... ) ->
                            decodeUserTable

                        ...

                        (_, _, ..., _ ) ->
                            Decode.fail "I don't know what that was!"

-- example decoder for ModelTableEntry
-- Others can be constructed in a similar manner but, you might
-- want to use NoRedInk/Json.Decode.Pipline for more complex data
decodeModel : Decoder (List TableEntry)
decodeModel  =
    Decode.list <|
       Decode.map3 
           (ModelTableEntry << ModelTableFields)
           (Decode.field "id" Decode.int)
           (Decode.field "model" Decode.string)
           (Decode.field "app_label" Decode.string) 

decodeUser : Decoder (List TableEntry)
decodeUser = 
    ...

可以公平地说，这比大多数其他语言让您解析 JSON 所做的工作要多得多。但是，这样做的好处是能够使用外部数据而不必担心异常。

一种思考方式是，Elm 让您预先完成所有工作。其他语言可能会让您更快地启动和运行，但在帮助您实现稳定实现方面做得更少。