Serde自定义序列化器类型约束及自定义Point类型序列化方案问询

问题1解答 #

完全可以实现类型约束，无需逐个手写不支持类型的序列化方法，最简洁的方案是用Rust宏批量生成所有不支持类型的错误返回逻辑：

1. 先正常实现你需要支持的serialize_u8、serialize_u16、serialize_u32三个方法
2. 定义一个批量生成不支持方法的宏：

macro_rules! impl_unsupported_serialize {
    ($($func:ident : $arg_ty:ty),* $(,)?) => {
        $(
            fn $func(self, _: $arg_ty) -> Result<Self::Ok, Self::Error> {
                Err(Error::Message("仅支持u8/u16/u32三种类型的序列化".to_string()))
            }
        )*
    }
}

3. 调用宏传入所有不需要支持的序列化方法即可，一次调用就能生成所有错误实现，无需逐个手写：

impl_unsupported_serialize! {
    serialize_bool: bool,
    serialize_i8: i8,
    serialize_i16: i16,
    serialize_i32: i32,
    serialize_i64: i64,
    serialize_f32: f32,
    serialize_f64: f64,
    serialize_char: char,
    serialize_str: &str,
    serialize_bytes: &[u8],
    // serialize_unit、serialize_seq等其余不需要支持的方法也可以直接放入列表
}

问题2解答 #

可以完全自定义自定义类型的序列化协议，有两种常用方案可选：

方案1：直接为Point实现Serialize trait #

手动实现Serialize逻辑，完全自主控制序列化输出，示例代码如下：

use serde::ser::{Serialize, Serializer};

struct Point {
    x: u32,
    y: u32,
}

impl Serialize for Point {
    fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
    where
        S: Serializer,
    {
        // 先序列化x坐标
        serializer.serialize_u32(self.x)?;
        // 再序列化1字节前缀标识y的奇偶性：0代表偶数，1代表奇数
        let y_parity = if self.y % 2 == 0 { 0u8 } else { 1u8 };
        serializer.serialize_u8(y_parity)?;
        // 也可以根据需求把奇偶性合并到x的高位，不需要单独占1字节
        Ok(())
    }
}

这样序列化Point的时候就会按照你要求的压缩逻辑输出，反序列化阶段也可以对应实现从x加奇偶前缀还原y坐标的逻辑。

方案2：兼容默认序列化实现 #

如果你需要保留Point默认的序列化逻辑（比如兼容JSON等其他序列化场景），可以用serde的with属性单独为你的自定义序列化器指定压缩逻辑，或者定义一个新的Newtype包装Point，单独为Newtype实现压缩序列化逻辑，使用时按需切换即可。

内容的提问来源于stack exchange，提问作者Kevin