Question

我正在实施有很多方法的Serde Serializer trait。它们中的许多看起来非常相似（例如整数类型的那些只是将字节复制到某个缓冲区），因此以某种方式生成它们会很好。我可以用一种方法（宏）编写一些通用函数或宏来实现其中的许多函数吗？

我有这样的事情：

use serde::Serializer;
use byteorder::{WriteBytesExt, LittleEndian};

struct MySerializer {
     ...
}

impl Serializer for MySerializer {
    fn serialize_i32(&mut self, v:i32) -> Result<(), Error> {
        try!(self.buffer.write_i32::<LittleEndian>(v));
    }
    fn serialize_u8(&mut self, v:u8) -> Result<(), Error> {
        try!(self.buffer.write_u8::<LittleEndian>(v));
    }
    // many similar looking functions here
}

Answer 1

我在serde/bench项目中找到了例子：

macro_rules! impl_nums {
    ($ty:ty, $dser_method:ident, $visitor_method:ident, $reader_method:ident) => {
        #[inline]
        fn $dser_method<V>(&mut self, mut visitor: V) -> Result<V::Value>
            where V: Visitor
        {
            let value = try!(self.reader.$reader_method::<NativeEndian>());
            visitor.$visitor_method(value)
        }
    };
}

impl_nums!(u16, deserialize_u16, visit_u16, read_u16);
impl_nums!(u32, deserialize_u32, visit_u32, read_u32);
....

现在看来它是最好的方法 - concat_idents!宏不稳定，根据this github issue而言并不是很有用。

如何实现许多类似的特质方法？

1 个答案: