我有一些不可复制的类型和一个消耗和(可能)生成它的函数:
type Foo = Vec<u8>;
fn quux(_: Foo) -> Option<Foo> {
Some(Vec::new())
}
Run Code Online (Sandbox Code Playgroud)
现在考虑一种在概念上非常类似的类型Box:
struct NotBox<T> {
contents: T
}
Run Code Online (Sandbox Code Playgroud)
我们可以编写一个临时移出内容的函数,NotBox并在返回之前放回一些东西:
fn bar(mut notbox: NotBox<Foo>) -> Option<NotBox<Foo>> {
let foo = notbox.contents; // now `notbox` is "empty"
match quux(foo) {
Some(new_foo) => {
notbox.contents = new_foo; // we put something back in
Some(notbox)
}
None => None
}
}
Run Code Online (Sandbox Code Playgroud)
我想编写一个与Boxes 一起使用的类似函数,但编译器不喜欢它:
fn baz(mut abox: Box<Foo>) -> Option<Box<Foo>> {
let foo = *abox; // now …Run Code Online (Sandbox Code Playgroud)