Skip to content

Commit 55efb3f

Browse files
authored
Merge pull request #796 from dtolnay/visitobject
Detect unknown struct variant fields deserializing from Value
2 parents 7b4585f + c7b7186 commit 55efb3f

File tree

2 files changed

+59
-2
lines changed

2 files changed

+59
-2
lines changed

src/value/de.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -538,7 +538,7 @@ impl<'de> VariantAccess<'de> for VariantDeserializer {
538538
V: Visitor<'de>,
539539
{
540540
match self.value {
541-
Some(Value::Object(v)) => visitor.visit_map(MapDeserializer::new(v)),
541+
Some(Value::Object(v)) => visit_object(v, visitor),
542542
Some(other) => Err(serde::de::Error::invalid_type(
543543
other.unexpected(),
544544
&"struct variant",
@@ -1021,7 +1021,7 @@ impl<'de> VariantAccess<'de> for VariantRefDeserializer<'de> {
10211021
V: Visitor<'de>,
10221022
{
10231023
match self.value {
1024-
Some(&Value::Object(ref v)) => visitor.visit_map(MapRefDeserializer::new(v)),
1024+
Some(&Value::Object(ref v)) => visit_object_ref(v, visitor),
10251025
Some(other) => Err(serde::de::Error::invalid_type(
10261026
other.unexpected(),
10271027
&"struct variant",

tests/regression/issue795.rs

Lines changed: 57 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,57 @@
1+
use serde::de::{
2+
Deserialize, Deserializer, EnumAccess, IgnoredAny, MapAccess, VariantAccess, Visitor,
3+
};
4+
use serde_json::json;
5+
use std::fmt;
6+
7+
#[derive(Debug)]
8+
enum Enum {
9+
Variant { x: u8 },
10+
}
11+
12+
impl<'de> Deserialize<'de> for Enum {
13+
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
14+
where
15+
D: Deserializer<'de>,
16+
{
17+
struct EnumVisitor;
18+
19+
impl<'de> Visitor<'de> for EnumVisitor {
20+
type Value = Enum;
21+
22+
fn expecting(&self, formatter: &mut fmt::Formatter) -> fmt::Result {
23+
formatter.write_str("enum Enum")
24+
}
25+
26+
fn visit_enum<A>(self, data: A) -> Result<Self::Value, A::Error>
27+
where
28+
A: EnumAccess<'de>,
29+
{
30+
let (IgnoredAny, variant) = data.variant()?;
31+
variant.struct_variant(&["x"], self)
32+
}
33+
34+
fn visit_map<A>(self, mut data: A) -> Result<Self::Value, A::Error>
35+
where
36+
A: MapAccess<'de>,
37+
{
38+
let mut x = 0;
39+
if let Some((IgnoredAny, value)) = data.next_entry()? {
40+
x = value;
41+
}
42+
Ok(Enum::Variant { x })
43+
}
44+
}
45+
46+
deserializer.deserialize_enum("Enum", &["Variant"], EnumVisitor)
47+
}
48+
}
49+
50+
#[test]
51+
fn test() {
52+
let s = r#" {"Variant":{"x":0,"y":0}} "#;
53+
assert!(serde_json::from_str::<Enum>(s).is_err());
54+
55+
let j = json!({"Variant":{"x":0,"y":0}});
56+
assert!(serde_json::from_value::<Enum>(j).is_err());
57+
}

0 commit comments

Comments
 (0)