排水迭代器是一个有趣的野兽。它们允许您将集合的一部分分块,获得集合中一些但不一定是所有项目的所有权。它们还允许您以合理有效的方式执行此操作。例如,向量可以使用单个memcpy
.
但是,serde 本身并不支持序列化迭代器(有充分的理由,请继续阅读)。您可以查看Serialize
trait以了解它支持的事物类型。
你必须自己实现这个:
use serde::{Deserialize, Serialize}; // 1.0.101
use std::{cell::RefCell, vec};
struct DrainIteratorAdapter<'a, T>(RefCell<vec::Drain<'a, T>>);
impl<'a, T: 'a> serde::Serialize for DrainIteratorAdapter<'a, T>
where
T: serde::Serialize,
{
fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where
S: serde::Serializer,
{
serializer.collect_seq(self.0.borrow_mut().by_ref())
}
}
fn main() {
let mut points = vec![Point::new(1, 2), Point::new(-2, -1), Point::new(0, 0)];
let adapter = DrainIteratorAdapter(RefCell::new(points.drain(..)));
println!("{}", serde_json::to_string(&adapter).unwrap());
}
核心困难部分是序列化应该没有任何副作用。这是一个非常合理的决定。但是,无论何时调用next
迭代器,都必须对其进行变异以更新状态。为了结合这两个不匹配的概念,我们必须使用类似 a 的东西RefCell
。
除此之外,这只是实现serde::Serialize
trait的问题。由于我们不拥有serde::Serialize
or vec::Drain
,我们必须创建一个新类型来放置实现。
我们可以将此解决方案推广到适用于任何迭代器。在我看来,这恰好使它读起来更好看:
use serde::{Deserialize, Serialize}; // 1.0.101
use std::cell::RefCell;
struct IteratorAdapter<I>(RefCell<I>);
impl<I> IteratorAdapter<I> {
fn new(iterator: I) -> Self {
Self(RefCell::new(iterator))
}
}
impl<I> serde::Serialize for IteratorAdapter<I>
where
I: Iterator,
I::Item: serde::Serialize,
{
fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where
S: serde::Serializer,
{
serializer.collect_seq(self.0.borrow_mut().by_ref())
}
}
这个解决方案有什么缺点?将相同的值序列化两次会有不同的结果!如果我们简单地序列化并打印两次值,我们会得到:
[{"x":1,"y":2},{"x":-2,"y":-1},{"x":0,"y":0}]
[]
这是因为迭代器是短暂的野兽——一旦它们读取了一个值,它就消失了!这是一个很好的陷阱,等着你掉进去。
在您的示例中,这一切都没有真正意义。您可以访问整个Vec
. drain
此外,整个系列没有理由(现在) 。这相当于只调用into_iter
.