JSON.mapping 宏如何处理联合类型的参数？

Question

在JSON.mapping 文档中明确指出属性的值type应该是单一类型。然而，实际上联合类型也有效：

json1 = %q({"ok": true, "result": [{"type": "update", "id": 1}, {"type": "update", "id": 2}]})
json2 = %q({"ok": true, "result": {"type": "message"}})

class Response
  JSON.mapping({
    ok: Bool,
    result: Message | Array(Update)
  })
end

class Update
  JSON.mapping({
    type: String,
    id: Int32
  })
end

class Message
  JSON.mapping({
    type: String
  })
end

调用Response.from_json这两个 JSON 字符串将输出预期结果。

Response.from_json json1

将输出：

#<Response:0x10d20ce20
  @ok=true,
  @result=
  [#<Update:0x10d20cc60 @id=1, @type="update">,
   #<Update:0x10d20cbe0 @id=2, @type="update">]>

和

Response.from_json json2

将输出：

#<Response:0x10d20c180
  @ok=true,
  @result=#<Message:0x10e241f80 @type="message">>

我的问题是它是如何运作的？是预期的行为还是随机的不可靠特征？

Answer 1

这是预期的，文档不正确。