- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
在 Rust 中,我收到以下错误:
<anon>:14:9: 14:17 error: `mystruct` does not live long enough
<anon>:14 mystruct.update();
^~~~~~~~
<anon>:10:5: 17:6 note: reference must be valid for the lifetime 'a as defined on the block at 10:4...
<anon>:10 {
<anon>:11 let initial = vec![Box::new(1), Box::new(2)];
<anon>:12 let mystruct = MyStruct { v : initial, p : &arg };
<anon>:13
<anon>:14 mystruct.update();
<anon>:15
...
<anon>:12:59: 17:6 note: ...but borrowed value is only valid for the block suffix following statement 1 at 12:58
<anon>:12 let mystruct = MyStruct { v : initial, p : &arg };
<anon>:13
<anon>:14 mystruct.update();
<anon>:15
<anon>:16 mystruct
<anon>:17 }
error: aborting due to previous error
对于以下代码:
struct MyStruct<'a>
{
v : Vec<Box<i32>>,
p : &'a i32
}
impl<'a> MyStruct<'a>
{
fn new(arg : &'a i32) -> MyStruct<'a>
{
let initial = vec![Box::new(1), Box::new(2)];
let mystruct = MyStruct { v : initial, p : &arg };
mystruct.update();
mystruct
}
fn update(&'a mut self)
{
self.p = &self.v.last().unwrap();
}
}
fn main() {
let x = 5;
let mut obj = MyStruct::new(&x);
}
我不明白为什么 mystruct
不够活。如果我注释掉 mystruct.update()
行,它仍然可以正常工作。更重要的是,如果我注释掉 update
的主体,代码仍然会失败。为什么调用借用可变 self
的空函数会改变一切?
我不明白错误所指的引用文献是哪一个。有人可以解释一下吗?
最佳答案
此错误所涉及的引用是在您调用 update()
时隐式创建的引用.因为update()
需要 &'a mut self
, 这意味着它接受类型为 &'a mut MyStruct<'a>
的值.这意味着理论上你应该调用 update()
像这样:
(&mut mystruct).update();
到处都写这个会很不方便,所以 Rust 能够自动插入必要的 &
小号,&mut
s 和 *
s 以便调用方法。这称为“自动引用”,它唯一发生的地方是方法调用/字段访问。
问题是update()
的定义方法:
impl<'a> MyStruct<'a> {
...
fn update(&'a mut self) { ... }
...
}
您在这里请求 update()
通过生命周期为 'a
的引用接收调用它的值, 其中'a
是存储在结构中的引用的生命周期。
但是,当您有一个结构值并调用此方法时,应该已经有一个对 i32
的引用你存储在这个结构中。因此结构值的生命周期严格小于lifetime参数指定的生命周期,所以不可能构造&'a mut MyStruct<'a>
。使用局部变量(如您的情况)。
解决方案是使用&mut self
而不是 &'a mut self
:
fn update(&mut self) { ... }
// essentially equivalent to
fn update<'b>(&'b mut self) where 'a: 'b { ... }
// `'b` is a fresh local lifetime parameter
这样,此方法调用中的结构的生命周期与此结构包含的引用无关,并且可以更短。
更深入的解释如下。
您的定义本身并不是无稽之谈。例如:
struct IntRefWrapper<'a> {
value: &'a i32
}
static X: i32 = 12345;
static Y: IntRefWrapper<'static> = IntRefWrapper { value: &X };
impl<'a> IntRefWrapper<'a> {
fn update(&'a self) { ... }
}
Y.update();
在这里update()
调用不会导致编译错误,因为两个生命周期(Y
和 X
的,引用包含在 Y
中)都是 'static
.
让我们考虑您的示例,以进行比较:
impl<'a> MyStruct<'a> {
fn new(arg : &'a i32) -> MyStruct<'a> {
let initial = vec![Box::new(1), Box::new(2)];
let mystruct = MyStruct { v : initial, p : &arg };
mystruct.update();
mystruct
}
}
这里我们有一个生命周期参数,'a
,它由函数的调用者 提供。例如,调用者可以使用静态引用调用此函数:
static X: i32 = 12345;
MyStruct::new(&X); // here &X has static lifetime
然而,当update()
调用方法,mystruct
生命周期受调用它的 block 的限制:
{
let initial = vec![Box::new(1), Box::new(2)];
let mystruct = MyStruct { v : initial, p : &arg }; // +
// |
mystruct.update(); // |
// |
mystruct // |
}
自然地,借用检查器无法证明此生命周期与调用者提供的生命周期相同(对于任何可能的“外部”生命周期,它们确实不可能匹配),因此它会抛出错误。
当像这样定义更新时:
fn update(&mut self) { ... }
// or, equivalently
fn update<'b>(&'b mut self) where 'a: 'b { ... }
然后当您调用它时,不再要求您调用此方法的值必须与 'a
一样长。 - 它足以活过小于或等于 'a
的任何生命周期- 函数内的生命周期完全符合这些要求。因此,您可以根据您的值调用此类方法,编译器不会报错。
此外(正如评论中所指出的)以下行确实无效,并且没有办法绕过它:
self.p = &self.v.last().unwrap();
此处借用检查失败,因为您试图将具有结构生命周期的引用存储到结构本身中。一般来说,这是无法完成的,因为它存在严重的稳健性问题。例如,假设您确实能够将此引用存储到结构中。但现在你不能改变 Vec<Box<i32>>
在结构中,因为它可能会破坏先前存储的引用指向的元素,从而使代码内存不安全。
静态检查此类内容是不可能的,因此在借用检查级别上是不允许的。事实上,这只是一般借用检查规则的一个很好的结果。
关于rust - 为什么我的结构生命周期不够长?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/30435152/
我有一个如下所示的数据框: import pandas as pd d = {'decil': ['1. decil','1. decil','2. decil','2. decil','3. dec
我有一些数据想要添加到我的应用中...大约 650 个类别(包括名称 + ID 号),每个类别平均有 85 个项目(每个都有一个名称/ID 号)。 iPhone会支持这么大的plist吗?我想首先在
我目前正在使用 Python 从头开始实现决策树算法。我在实现树的分支时遇到了麻烦。在当前的实现中,我没有使用深度参数。 发生的情况是,要么分支结束得太快(如果我使用标志来防止无限递归),要么如果
我在 Stack 上发现了这个问题 - Measuring the distance between two coordinates in PHP 这个答案在很多方面似乎对我来说都是完美的,但我遇到了
我目前正在清理一个具有 2 个索引和 2.5 亿个事件行以及大约同样多(或更多)的死行的表。我从我的客户端计算机(笔记本电脑)向我的服务器发出命令 VACCUM FULL ANALYZE。在过去的 3
这一切都有点模糊,因为该计划是相当深入的,但坚持我,因为我会尽量解释它。我编写了一个程序,它接受一个.csv文件,并将其转换为MySQL数据库的INSERT INTO语句。例如: ID Numbe
我有一个地址示例:0x003533,它是一个字符串,但要使用它,我需要它是一个 LONG,但我不知道该怎么做:有人有解决方案吗? s 字符串:“0x003533”到长 0x003533 ?? 最佳答案
请保持友善 - 这是我的第一个问题。 =P 基本上作为一个暑期项目,我一直在研究 wikipedia page 上的数据结构列表。并尝试实现它们。上学期我参加了 C++ 类(class),发现它非常有
简单的问题。想知道长 IN 子句是否是一种代码味道?我真的不知道如何证明它。除了我认为的那样,我不知道为什么它会闻起来。 select name, code, capital, pop
我正在尝试基于 C# 中的种子生成一个数字。唯一的问题是种子太大而不能成为 int32。有什么方法可以像种子一样使用 long 吗? 是的,种子必须很长。 最佳答案 这是我移植的 Java.Util.
我一直想知道这个问题有一段时间了。在 CouchDB 中,我们有一些相当的日志 ID……例如: “000ab56cb24aef9b817ac98d55695c6a” 现在,如果我们正在搜索此项目并浏览
列的虚拟列 c和一个给定的值 x等于 1如果 c==x和 0 其他。通常,通过为列创建虚拟对象 c , 一排除一个值 x选择,因为最后一个虚拟列不添加任何信息 w.r.t.已经存在的虚拟列。 这是我如
使用 tarantool,为什么我要记录这些奇怪的消息: 2016-03-24 16:19:58.987 [5803] main/493623/http/XXX.XXX.XXX.XXX:57295 t
我显然是 GitHub 的新手,想确保在开始之前我做的事情是正确的。 我想创建一个新的存储库,它使用来自 2 个现有项目的复刻/克隆。现有项目不是我的。 假设我想使用的 repo 被称为来自开发人员“
我的应用程序名称长度为 17 个字符。当安装在设备上时,它看起来像应用程序...名称。有没有办法在多行上显示应用程序名称?请帮忙。 最佳答案 不,你不能。我认为 iPad 支持 15 个字符来完整显示
我必须编写一个程序来读取文件中的所有单词,并确定每个单词使用了多少次。我的任务是使用多线程来加快运行时间,但是单线程程序的运行速度比多线程程序快。我曾尝试研究此问题的解决方案,但很多解释只会让我更加困
假设我在给定的范围内有一个位置pos,这样: 0 = newRange*newRange : "Case not supported yet"; // Never happens in my code
我试图在 Java 中将 unix 时间四舍五入到该月的第一天,但没有成功。示例: 1314057600 (Tue, 23 Aug 2011 00:00:00 GMT) 至 1312156800
我们的项目有在 CVS 中从现有分支创建新分支的历史。几年后,这导致了每次发布时更改的文件上的这种情况: 新版本:1.145.4.11.2.20.2.6.2.20.2.1.2.11.2.3.2.4.4
我有以下数据框: DAYS7 <- c('Monday','Tuesday','Wednesday','Thursday','Friday', 'Saturday', 'Sunday') DAYS
我是一名优秀的程序员,十分优秀!