- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我用生命周期测试了一个小例子,但有时我无法理解这个问题,就像这里:
struct Space<'r> {
v: &'r mut usize,
z: usize,
}
impl<'r> Space<'r> {
fn new(v: &'r mut usize) -> Self {
Self { v, z: 0 }
}
fn add(&'r mut self) {
self.z += 1;
*self.v = self.z
}
fn make_val(&'r mut self, v: u32) -> Val<'r> {
Val::new(self, v)
}
}
struct Val<'r> {
space: &'r mut Space<'r>,
v: u32,
}
impl<'r> Val<'r> {
fn new(space: &'r mut Space<'r>, v: u32) -> Self {
Self { space, v }
}
}
impl<'r> Clone for Val<'r> {
fn clone(&self) -> Self {
self.space.add();
Self { space: self.space, v: self.v }
}
}
fn main() {
let mut v = 0usize;
let mut space = Space::new(&mut v);
let mut val1 = space.make_val(1234);
let mut val2 = val1.clone();
println!("Res: {} - {}/{}", v, val1.v, val2.v);
}
( Playground )
有 2 个编译错误,第 36 行的错误对我来说很难修复,但第 34 行的第一个错误真的很奇怪,它说生命周期不能长于方法调用是内部的,没有任何外部调用。
你能解释一下这些问题以及如何解决它们吗?
最佳答案
回顾一下对我来说最突出的部分,以下是我可能会做出的改变。
仔细检查您拥有的两个结构,第一个看起来很合理。
struct Space<'r> {
v: &'r mut usize,
z: usize,
}
然而,Val
struct 对我来说意义不大。如果引用Space
具有相同的生命周期 'r
作为 Space
本身,那么它本质上等同于移动Val<'r>
进入Space<'r>
.虽然不违法,但我建议更改它。
// Just claim Space<'r> completely
struct Val<'r> {
space: Space<'r>,
v: u32,
}
另一种选择是为 Val<'r>
添加额外的生命周期这样make_val
可以多次调用而不会导致生命周期冲突。
// life of reference to space 'a <= 'r
struct Val<'a, 'r: 'a> {
space: &'a mut Space<'r>,
v: u32,
}
// Modify to allow for second lifetime to be used.
fn make_val<'a>(&'a mut self, v: u32) -> Val<'a, 'r> {
Val { space: self, v }
}
Space::add
&'r mut self
上的显式生命周期不是函数运行所必需的。在尝试运行代码时遇到的两个错误中,整个第一个错误只是编译器告诉您为什么这行不通。它过度限制了函数并且不必要地混淆了编译器,所以让我们删除它。
fn add(&mut self) {
self.z += 1;
*self.v = self.z
}
无法解决的原因是&mut self
实际上是您要求相等的两个生命周期。如果我们可视化所有涉及的生命周期可能更有意义:
// add(&mut self) tells the compiler to infer a lifetime for 'a that doesn't exceed 'b
fn add<'a, 'b: 'a>(self: &'a mut Space<'b>) {}
// add(&'r mut self) tells the compiler that the reference must live as long as the data
fn add<'b>(self: &'b mut Space<'b>) {}
克隆包含可变引用的东西没有意义。 Rust 非常明确地禁止在内存中的任何给定点对某物进行多个可变引用。克隆引用在技术上是可行的,但需要不安全的代码。你不应该这样做,但我还是在下面写了它。
impl<'r> Clone for Val<'r> {
fn clone(&self) -> Val<'r> {
unsafe {
// Make self mutable so we can access self.space
let my_self: &mut Self = &mut *(self as *const _ as *mut _);
// Requires a mutable reference to self to run space::add
my_self.space.add();
Self {
// Duplicate reference via unsafe code
space: &mut *my_self.space,
v: self.v
}
}
}
}
最后,main中的打印行使用v
尽管对它的可变引用仍在使用中。这是不言自明的,所以我不会详细介绍。
解决这个问题的安全方法是使用Rc<Refcell<T>>
. Rc
允许跨单个线程和 RefCell
获取多个拥有的引用允许内部可变性。 RefCell
能够通过在运行时而不是编译时检查是否存在任何其他引用来做到这一点。这是 playground 的一个版本适用于单个 RefCell
, 但也可以使用第二个来更好地匹配您的原始代码。
关于Rust:生命周期的错误使用,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/64198727/
我正在开发一个使用多个 turtle 的滚动游戏。玩家 turtle 根据按键命令在 Y 轴上移动。当危害和好处在 X 轴上移动时,然后循环并改变 Y 轴位置。我尝试定义一个名为 colliding(
我不明白为什么他们不接受这个作为解决方案,他们说这是一个错误的答案:- #include int main(void) { int val=0; printf("Input:- \n
我正在使用基于表单的身份验证。 我有一个注销链接,如下所示: 以及对应的注销方法: public String logout() { FacesContext.getCurren
在 IIS7 应用程序池中有一个设置 Idle-time out 默认是 20 分钟,其中说: Amount of time(in minutes) a worker process will rem
我是一名优秀的程序员,十分优秀!