Question

我使用Serde反序列化以YAML编写的自定义配置文件。该文件可以包含我定义为内部标记的枚举的各种定义：

OfKindFoo:
  kind: Foo
  bar: bar;
  baz: baz;

OfKindQux:
  kind: Qux
  quux: qux;

我在Rust中这样表示它：

#[derive(Deserialize)]
#[serde(tag = "kind")]
enum Definition {
    Foo(Foo),
    Qux(Qux),
}

#[derive(Deserialize)]
struct Foo {
    bar: String,
    baz: String,
}

#[derive(Deserialize)]
struct Qux {
    quux: String,
}

我希望用户能够完全省略kind字段，而忽略该字段时，Serde应该默认将其反序列化为Foo。

我开始在Deserialize上实现Definition。我正在尝试将其反序列化为地图，并寻找kind键，并根据此键及其是否存在返回各自的enum变体。

我需要以某种方式分别将其他映射字段的反序列化“转发”到Foo::deserialize或Bar::deserialize。 fn deserialize仅接受一个参数Deserializer。有没有办法将地图“转换”为解串器，或者获得在该特定地图上“启动”的解串器？

我无法使用#[serde(other)]，因为它会为丢失的标签返回Err。即使没有，文档也指出other只能应用于“单元变量”，即不包含任何数据的变量。

Answer 1

您可以将主要枚举标记为untagged，并将标签添加到具有标签的子结构中（此功能is not documented，但是是故意添加的，因此似乎会保留）。但是，没有标签的变体应该在其他变量之后声明，因为serde会尝试使用#[serde(untagged)]按照声明的顺序反序列化这些变体。还要注意，如果在您的实际代码中，变量和结构具有不同的名称，或者您使用的是#[serde(rename)]，则结构的名称对于（反）序列化至关重要，而不是变量名称。所有适用于您的示例的

#[derive(Deserialize)]
#[serde(untagged)]
enum Definition {
    Qux(Qux),
    Foo(Foo), // variant that doesn't have a tag is the last one
}

#[derive(Deserialize)]
struct Foo {
    bar: String,
    baz: String,
}

#[derive(Deserialize)]
#[serde(tag = "kind")]
// if you want the tag to be "qux" instead of "Qux", do
// #[serde(rename = "qux")]
// here (or add `, rename = "qux"` to the previous serde attribute)
struct Qux {
    quux: String,
}

如何使用可选的内部标签反序列化枚举？

1 个答案: