gpt4 book ai didi

rust - 不能借用 `*self` 作为可变的,因为它也被借用为不可变的

转载 作者:行者123 更新时间:2023-11-29 07:54:43 26 4
gpt4 key购买 nike

我希望我的结构函数在特殊条件下调用自身。当我将 HashMap 作为字段之一时,它起作用了,但是当我将 HashMap 更改为 Vec 时,它就崩溃了。它甚至不必使用,这看起来很奇怪,我找不到任何合理的解释。

use std::vec::Vec;
use std::collections::HashMap;

struct Foo<'a> {
bar: Vec<&'a str>
//bar: HashMap<&'a str, &'a str>
}

impl<'a> Foo<'a> {
pub fn new() -> Foo<'a> {
Foo { bar: Vec::new() }
//Foo { bar: HashMap::new() }
}

pub fn baz(&'a self) -> Option<int> {
None
}

pub fn qux(&'a mut self, retry: bool) {
let opt = self.baz();
if retry { self.qux(false); }
}
}

pub fn main() {
let mut foo = Foo::new();
foo.qux(true);
}

围栏:http://is.gd/GgMy79

错误:

<anon>:22:24: 22:28 error: cannot borrow `*self` as mutable because it is also borrowed as immutable
<anon>:22 if retry { self.qux(false); }
^~~~
<anon>:21:23: 21:27 note: previous borrow of `*self` occurs here; the immutable borrow prevents subsequent moves or mutable borrows of `*self` until the borrow ends
<anon>:21 let opt = self.baz();
^~~~
<anon>:23:10: 23:10 note: previous borrow ends here
<anon>:20 pub fn qux(&'a mut self, retry: bool) {
<anon>:21 let opt = self.baz();
<anon>:22 if retry { self.qux(false); }
<anon>:23 }

我该如何解决这个问题?这可能是由 #6268 引起的吗? ?

最佳答案

我想我找到了原因。这是 HashMap 定义:

pub struct HashMap<K, V, H = RandomSipHasher> {
// All hashes are keyed on these values, to prevent hash collision attacks.
hasher: H,

table: RawTable<K, V>,

// We keep this at the end since it might as well have tail padding.
resize_policy: DefaultResizePolicy,
}

这是Vec定义:

pub struct Vec<T> {
ptr: *mut T,
len: uint,
cap: uint,
}

唯一的区别是类型参数的使用方式。现在让我们检查这段代码:

struct S1<T> { s: Option<T> }
//struct S1<T> { s: *mut T }

struct Foo<'a> {
bar: S1<&'a str>
}

impl<'a> Foo<'a> {
pub fn new() -> Foo<'a> { // '
Foo { bar: S1 { s: None } }
//Foo { bar: S1 { s: std::ptr::null_mut() } }
}

pub fn baz(&'a self) -> Option<int> {
None
}

pub fn qux(&'a mut self, retry: bool) {
let opt = self.baz();
if retry { self.qux(false); }
}
}

pub fn main() {
let mut foo = Foo::new();
foo.qux(true);
}

这个编译。如果您为 S1 选择另一个定义,带有 *mut T 指针,则程序将失败并出现此错误。

我认为这看起来像一个错误,大约在生命周期方差的某个地方。

更新提交了here

关于rust - 不能借用 `*self` 作为可变的,因为它也被借用为不可变的,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/26938162/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com