borrow-checker 相关问题

这是我的结构，我需要一个 get_mut 函数，它返回对以下任一者拥有的值的可变引用递归地 ctx.scope 或 ctx.parent.scope 酒吧类型 RuntimeContext<'c> = Rc 这是我的结构，我需要一个 get_mut 函数，它返回对以下任一者拥有的值的可变引用 ctx.scope 或 ctx.parent.scope 递归 pub type RuntimeContext<'c> = Rc<RefCell<Context<'c>>>; pub struct Context<'c> { pub parent: Option<RuntimeContext<'c>>, pub scope: HashMap<String, Value>, pub eval: Value, } 这是我尝试过的，但正如预期的那样，借用检查器抱怨cannot return reference to temporary value returns a reference to data owned by the current function，还有什么其他方法可以实现此目的？（保证父ctx勾画出当前ctx） impl<'c> Context<'c> { pub fn get_mut(&mut self, key: &str) -> Option<&mut Value> { if let Some(v) = self.scope.get_mut(key) { Some(v) } else if let Some(parent) = &mut self.parent { parent.borrow_mut().get_mut(key) // here it breaks } else { None } } // ... some other methods } 你不能；根本没有办法返回对包装在 &mut 中的对象成员的 Rc<RefCel<>> 引用。 RefCell 需要一个守卫对象来跟踪该对象当前是否被借用。然而，&mut 引用不会做这样的事情，使得 RefCell 无法知道 &mut 引用在其保护解除后是否存在。这发生在函数末尾。通常，可以返回仍包含防护对象的内容，但这当然与您想要从 scope 成员返回引用的其他返回路径不兼容。我可以想到两种方法来实现这一目标：可以返回引用或保护对象的枚举返回值类似于基于闭包的方法的上下文管理器，您不返回任何内容，而是使用您的值调用给定的函数枚举的返回值很难正确获取，并且由于变量的多层深度嵌套，会变得非常复杂。所以我个人会选择第二种选择。这可能是这样的： use std::{cell::RefCell, collections::HashMap, rc::Rc}; #[derive(Debug)] pub struct Value; pub type RuntimeContext<'c> = Rc<RefCell<Context<'c>>>; pub struct Context<'c> { pub parent: Option<RuntimeContext<'c>>, pub scope: HashMap<String, Value>, pub eval: Value, } impl<'c> Context<'c> { pub fn get_mut<R>(&mut self, key: &str, f: impl FnOnce(Option<&Value>) -> R) -> R { if let Some(v) = self.scope.get_mut(key) { f(Some(v)) } else if let Some(parent) = &mut self.parent { parent.borrow_mut().get_mut(key, f) // here it breaks } else { f(None) } } // ... some other methods } // Example on how to use this pub fn do_something(context: &mut Context) { let y = context.get_mut("foobarkey", |value| { println!("Got value: {:?}", value); let computed_result = 42; computed_result }); println!("Result: {}", y); }

rust borrow-checker ownership mutable-reference

回答 1 投票 0

Rust 函数中奇怪的生命周期，发生第二次可变借用

我有两段关于寿命的 Rust 代码。第一个只有一个生命周期标记<'a>，无法通过编译。第二个有两个生命标记<'a, 'b>可以通过

rust lifetime borrow-checker

回答 1 投票 0

如何迭代存储在结构中的字符串向量而不移动它们？

我有一个大型结构，其中包含一个字符串向量作为成员。我试图迭代这些并将每个传递给另一个采用 &str 参数的方法。后一种方法需要 &mut

rust borrow-checker ownership

回答 1 投票 0

Rust 在 Vec 上的 Reduce 方法参考

我正在尝试将 Vec 的引用减少到其总和，以便我可以计算其平均值。不过，我遇到了编译器问题，并且我没有遵循如何不正确地借用/引用事物...