为什么我不能在将 &mut 引用传递给接受泛型类型的函数后重用它?
Why can't I reuse a &mut reference after passing it to a function that accepts a generic type?
为什么这段代码不能编译:
fn use_cursor(cursor: &mut io::Cursor<&mut Vec<u8>>) {
// do some work
}
fn take_reference(data: &mut Vec<u8>) {
{
let mut buf = io::Cursor::new(data);
use_cursor(&mut buf);
}
data.len();
}
fn produce_data() {
let mut data = Vec::new();
take_reference(&mut data);
data.len();
}
本例中的错误是:
error[E0382]: use of moved value: `*data`
--> src/main.rs:14:5
|
9 | let mut buf = io::Cursor::new(data);
| ---- value moved here
...
14 | data.len();
| ^^^^ value used here after move
|
= note: move occurs because `data` has type `&mut std::vec::Vec<u8>`, which does not implement the `Copy` trait
io::Cursor::new
的签名使得它拥有其参数的所有权。在这种情况下,参数是对 Vec
.
的可变引用
pub fn new(inner: T) -> Cursor<T>
这对我来说有点道理;因为 Cursor::new
取得了它的参数的所有权(而不是引用),所以我们以后不能使用该值。同时它没有意义:我们基本上只传递了一个可变引用,而游标无论如何都会超出范围。
在 produce_data
函数中,我们还传递了一个对 take_reference
的可变引用,当再次尝试使用 data
时,它不会产生错误,这与 take_reference
.[= 内部不同。 22=]
我发现可以使用 Cursor.into_inner()
来 'reclaim' 引用,但是手动操作感觉有点奇怪,因为在正常用例中,借用检查器完全能够自己做。
这个问题有没有比 .into_inner()
更好的解决方案?也许关于借用检查器还有其他我不了解的地方?
通常,当您将可变引用传递给函数时,编译器会隐式执行 重新借用。这会产生一个生命周期较短的新借用。
当参数是通用的(并且不是 &mut T
的形式)时,编译器不会自动重新借用 1。但是,您可以通过取消引用现有的可变引用然后再次引用它来手动执行此操作:
fn take_reference(data: &mut Vec<u8>) {
{
let mut buf = io::Cursor::new(&mut *data);
use_cursor(&mut buf);
}
data.len();
}
1 — 这是因为当前的编译器架构只允许在强制站点上已知源和目标类型的情况下进行强制。
为什么这段代码不能编译:
fn use_cursor(cursor: &mut io::Cursor<&mut Vec<u8>>) {
// do some work
}
fn take_reference(data: &mut Vec<u8>) {
{
let mut buf = io::Cursor::new(data);
use_cursor(&mut buf);
}
data.len();
}
fn produce_data() {
let mut data = Vec::new();
take_reference(&mut data);
data.len();
}
本例中的错误是:
error[E0382]: use of moved value: `*data`
--> src/main.rs:14:5
|
9 | let mut buf = io::Cursor::new(data);
| ---- value moved here
...
14 | data.len();
| ^^^^ value used here after move
|
= note: move occurs because `data` has type `&mut std::vec::Vec<u8>`, which does not implement the `Copy` trait
io::Cursor::new
的签名使得它拥有其参数的所有权。在这种情况下,参数是对 Vec
.
pub fn new(inner: T) -> Cursor<T>
这对我来说有点道理;因为 Cursor::new
取得了它的参数的所有权(而不是引用),所以我们以后不能使用该值。同时它没有意义:我们基本上只传递了一个可变引用,而游标无论如何都会超出范围。
在 produce_data
函数中,我们还传递了一个对 take_reference
的可变引用,当再次尝试使用 data
时,它不会产生错误,这与 take_reference
.[= 内部不同。 22=]
我发现可以使用 Cursor.into_inner()
来 'reclaim' 引用,但是手动操作感觉有点奇怪,因为在正常用例中,借用检查器完全能够自己做。
这个问题有没有比 .into_inner()
更好的解决方案?也许关于借用检查器还有其他我不了解的地方?
通常,当您将可变引用传递给函数时,编译器会隐式执行 重新借用。这会产生一个生命周期较短的新借用。
当参数是通用的(并且不是 &mut T
的形式)时,编译器不会自动重新借用 1。但是,您可以通过取消引用现有的可变引用然后再次引用它来手动执行此操作:
fn take_reference(data: &mut Vec<u8>) {
{
let mut buf = io::Cursor::new(&mut *data);
use_cursor(&mut buf);
}
data.len();
}
1 — 这是因为当前的编译器架构只允许在强制站点上已知源和目标类型的情况下进行强制。