json - 错误 : the type of this value must be known in this context (Rust)/serde_json Value

Question

我正在使用 serde_json 反序列化 json 文档。我有一个函数，它给定一个字符串(这是 json 文档)，将返回一个 serde_json 值(这是一个代表 json 类型的枚举)，返回一个选项。该值会根据需要传递给其他函数。

但是，我意识到传递值并不是我想要的，因为这样做时， key 不可用。

为了说明我的观点，如果我有一个如下所示的 json 文档:

{
  "root" : {
    "regex" : null,
    "prefixes" : [ "a_", "b_" ]
  }
}

“root”是一个json对象，“regex”是json Null，“prefixes”是一个json数组。

现在，json 类型 Value 是一个枚举，带有代表 json 类型的鉴别符，例如上面给出的示例的 Object、Null、Array。

serde_json crate 使用 std::collections::BTreeMap 来表示 json 文档中的节点，其中 String 类型代表 json 键(在上面，这些键是“root”、“regex”和“prefixes”。因此，仅传递对 Values 的引用只是部分有用，我应该传递 BTreeMap，这样我也可以访问 key 。

所以这是我正在尝试重写的以下函数:

fn get_json_content(content_s : &str) -> Option<Value> {
    // instead of returning a value, we need to return a BTreeMap, so we can get the
    // key and the value.
    println!("===>>> json_content obtained: {}", content_s);

    match serde_json::from_str(content_s) { // -> Result<Value>
        Ok(some_value) => Some(some_value),
        Err(_) => None
    }    
}

所以我开始重写这个函数，但遇到了“这个值的类型必须在这个上下文中已知”错误:

fn get_json_content_as_btreemap<'a>(content_s : &str) -> Option<&'a BTreeMap<String, Value>> {
    match serde_json::from_str(content_s) { // -> Result<Value>
        Ok(some) => {
            // I expect the type of key_value_pair to be BTreeMap<String, Value>>
            // (but I may be wrong!)
            let key_value_pair = some.as_object().unwrap(); // Error here

        },
        Err(_) => None
    }
}

我在 stackoverflow 上发现了像这样的其他问题: the type of this value must be known in this context

并将其用作助手，我尝试按如下方式插入类型:

let key_value_pair = some.as_object::<BTreeMap<_, _>>().unwrap();

这并不能解决问题。此外，尝试了其他类似的变体无济于事。那么我该如何解决这个问题呢？

编辑:

我在这个应用程序中还有另一个功能如下:

fn get_root_value<'a>(json_documemt : &'a Value) -> Result<&'a Value, JsonErrorCode> {
    if json_documemt.is_object() {
        for (k, v) in json_documemt.as_object().unwrap().iter() {
            if k == "root" {
                println!("found root: {}",  k);

                return Ok(v)
            }
        }

        return Err(JsonErrorCode::Custom("Failed to find root node".to_string()))
    }

    Err(JsonErrorCode::Custom("Not an object".to_string()))
}

... 这很好用。在这里你可以看到我可以调用 as_object() 然后获取键和值作为元组对。我不明白为什么 as_object 在一种情况下有效而在另一种情况下无效。我想拉出 BTreeMap 并将其作为借来的项目传递。

Answer 1

您可以更改初始函数的返回类型，如果可以，serde_json 将反序列化为适当的对象:

fn get_json_content(content_s : &str) -> Option<BTreeMap<String, Value>> {
    // instead of returning a value, we need to return a BTreeMap, so we can get the
    // key and the value.
    println!("===>>> json_content obtained: {}", content_s);

    match serde_json::from_str(content_s) { // -> Result<Value>
        Ok(some_value) => Some(some_value),
        Err(_) => None
    }    
    // Note: this match statement can be rewritten as
    // serde_json::from_str(content_s).ok()
}

您的第二个示例将不起作用，因为您正在函数内部实例化 Value 对象，然后尝试返回对您刚刚实例化的对象的引用。这是行不通的，因为对象将在函数结束时超出范围，然后引用将无效。