json - 在 Kemal 中将 JSON 解析为数组（字符串）

Question

我想创建一个接收 JSON 数据的端点，并将其解析为字符串数组。

POST /
{
  "keys": ["foo", "bar"]
}

我遇到了类型系统的问题。这是我尝试过的（.as(Array(String))），但它没有编译：

require "kemal"

def print_keys(keys : Array(String))
  puts "Got keys: #{keys}"
end

post "/" do |env|
  keys = env.params.json["keys"].as(Array(String)) # <-- ERROR
  print_keys(keys)
end

Kemal.run

错误信息是：

 8 | keys = env.params.json["keys"].as(Array(String)) # <-- ERROR
        ^
Error: can't cast (Array(JSON::Any) | Bool | Float64 | Hash(String, JSON::Any) | Int64 | String | Nil) to Array(String)

如果我将代码更改为 parse not Array(String)but instead String，它可以毫无问题地编译。为什么.as类型Array(String)代替的方法会有所不同String？

如何更改代码以解析字符串数组？

Answer 1

我在文档中找到了一个示例，该示例使用JSON.mapping. 在我的具体例子中，它可以写成如下：

require "kemal"

def print_keys(keys : Array(String))
  puts "Got keys: #{keys}"
end

class KeyMappings
  JSON.mapping({
    keys: Array(String)
  })
end

post "/" do |env|
  json = KeyMappings.from_json env.request.body.not_nil!
  print_keys(json.keys)
end

Kemal.run