访问者特征如何只允许部分实现？

Question

在我对 Rust 的有限理解中，我认为 trait 就像接口——当你实现一个接口时，你需要实现所有的方法。

我现在正在编写自定义 serde::Deserializer。

看着https://docs.serde.rs/serde/de/trait.Visitor.html#example

/// A visitor that deserializes a long string - a string containing at least
/// some minimum number of bytes.
struct LongString {
    min: usize,
}

impl<'de> Visitor<'de> for LongString {
    type Value = String;

    fn expecting(&self, formatter: &mut fmt::Formatter) -> fmt::Result {
        write!(formatter, "a string containing at least {} bytes", self.min)
    }

    fn visit_str<E>(self, s: &str) -> Result<Self::Value, E>
    where
        E: de::Error,
    {
        if s.len() >= self.min {
            Ok(s.to_owned())
        } else {
            Err(de::Error::invalid_value(Unexpected::Str(s), &self))
        }
    }
}

和https://serde.rs/impl-deserialize.html

use std::fmt;

use serde::de::{self, Visitor};

struct I32Visitor;

impl<'de> Visitor<'de> for I32Visitor {
    type Value = i32;

    fn expecting(&self, formatter: &mut fmt::Formatter) -> fmt::Result {
        formatter.write_str("an integer between -2^31 and 2^31")
    }

    fn visit_i8<E>(self, value: i8) -> Result<Self::Value, E>
    where
        E: de::Error,
    {
        Ok(i32::from(value))
    }

    fn visit_i32<E>(self, value: i32) -> Result<Self::Value, E>
    where
        E: de::Error,
    {
        Ok(value)
    }

    fn visit_i64<E>(self, value: i64) -> Result<Self::Value, E>
    where
        E: de::Error,
    {
        use std::i32;
        if value >= i64::from(i32::MIN) && value <= i64::from(i32::MAX) {
            Ok(value as i32)
        } else {
            Err(E::custom(format!("i32 out of range: {}", value)))
        }
    }

    // Similar for other methods:
    //   - visit_i16
    //   - visit_u8
    //   - visit_u16
    //   - visit_u32
    //   - visit_u64
}

Visitor trait 似乎很神奇 - 您只需要实现您想要实现的方法，而其他方法默认为某种形式的错误。

这个魔法是如何工作的？

Answer 1

Trait 方法可以有默认实现。具有默认实现的方法在文档中称为“提供的方法”，它们可以选择被实现覆盖。

您可以看到default implementations for the Visitor trait in the source code。并非所有这些都返回错误，但有些也有合理的默认实现，例如较小的数字类型遵循visit_i64() 或visit_u64()，因此您只需定义这两种方法即可获得所有整数类型的合理实现。