我有一个值,我想以我自己的类型存储该值和对该值内的某些内容的引用:
struct Thing { count: u32, } struct Combined<'a>(Thing, &'a u32); fn make_combined<'a>() -> Combined<'a> { let thing = Thing { count: 42 }; Combined(thing, &thing.count) }
有时,我有一个值,我想将该值和对该值的引用存储在同一结构中:
struct Combined<'a>(Thing, &'a Thing); fn make_combined<'a>() -> Combined<'a> { let thing = Thing::new(); Combined(thing, &thing) }
有时,我什至没有参考价值,我得到同样的错误:
struct Combined<'a>(Parent, Child<'a>); fn make_combined<'a>() -> Combined<'a> { let parent = Parent::new(); let child = parent.child(); Combined(parent, child) }
在每种情况下,我都会收到一个错误,即其中一个值“寿命不够长”。这个错误是什么意思?
让我们看一下这个的简单实现:
struct Parent { count: u32, } struct Child<'a> { parent: &'a Parent, } struct Combined<'a> { parent: Parent, child: Child<'a>, } impl<'a> Combined<'a> { fn new() -> Self { let parent = Parent { count: 42 }; let child = Child { parent: &parent }; Combined { parent, child } } } fn main() {}
这将失败并出现错误:
error[E0515]: cannot return value referencing local variable `parent` --> src/main.rs:19:9 | 17 | let child = Child { parent: &parent }; | ------- `parent` is borrowed here 18 | 19 | Combined { parent, child } | ^^^^^^^^^^^^^^^^^^^^^^^^^^ returns a value referencing data owned by the current function error[E0505]: cannot move out of `parent` because it is borrowed --> src/main.rs:19:20 | 14 | impl<'a> Combined<'a> { | -- lifetime `'a` defined here ... 17 | let child = Child { parent: &parent }; | ------- borrow of `parent` occurs here 18 | 19 | Combined { parent, child } | -----------^^^^^^--------- | | | | | move out of `parent` occurs here | returning this value requires that `parent` is borrowed for `'a`
要完全理解此错误,您必须考虑这些值在内存中的表示方式以及 移动 这些值时会发生什么。Combined::new让我们用一些显示值所在位置的假设内存地址进行注释:
Combined::new
let parent = Parent { count: 42 }; // `parent` lives at address 0x1000 and takes up 4 bytes // The value of `parent` is 42 let child = Child { parent: &parent }; // `child` lives at address 0x1010 and takes up 4 bytes // The value of `child` is 0x1000 Combined { parent, child } // The return value lives at address 0x2000 and takes up 8 bytes // `parent` is moved to 0x2000 // `child` is ... ?
应该child怎么办?如果该值只是按原样移动parent ,那么它将引用不再保证其中具有有效值的内存。允许任何其他代码将值存储在内存地址 0x1000 处。假设它是一个整数来访问该内存可能会导致崩溃和/或安全错误,并且是 Rust 防止的主要错误类别之一。
child
parent
这正是 生命周期 阻止的问题。生命周期是一些元数据,它允许您和编译器知道一个值在其 当前内存位置 有效的时间。这是一个重要的区别,因为这是 Rust 新手常犯的错误。Rust 生命周期 不是 创建对象和销毁对象之间的时间段!
打个比方,这样想:在一个人的一生中,他们将居住在许多不同的地方,每个地方都有一个不同的地址。 Rust 生命周期与您当前居住 的地址有关,而不是您将来何时会死(尽管死亡也会改变您的地址)。每次您移动它都是相关的,因为您的地址不再有效。
同样重要的是要注意生命周期 不会 改变您的代码。你的代码控制生命周期,你的生命周期不控制代码。精辟的说法是“一生是描述性的,而不是规定性的”。
让我们用一些行号来注释Combined::new,我们将使用这些行号来突出生命周期:
{ // 0 let parent = Parent { count: 42 }; // 1 let child = Child { parent: &parent }; // 2 // 3 Combined { parent, child } // 4 } // 5
的 具体生命周期 是parent从 1 到 4(包括 1 到 4)(我将其表示为[1,4])。childis的具体[2,4]生命周期,返回值的具体生命周期是[4,5]。有可能有从零开始的具体生命周期 - 这将代表函数参数的生命周期或存在于块之外的东西。
[1,4]
[2,4]
[4,5]
请注意,child它自身的生命周期是[2,4],但它 指 的是一个生命周期为 的值[1,4]。只要引用值在引用值之前变得无效,这很好。当我们尝试child从块中返回时,就会出现问题。这将使寿命“过度延长”,超出其自然长度。
这个新知识应该解释前两个例子。第三个需要查看Parent::child. 很有可能,它看起来像这样:
Parent::child
impl Parent { fn child(&self) -> Child { /* ... */ } }
这使用 生命周期省略 来避免编写显式的 通用生命周期参数 。它相当于:
impl Parent { fn child<'a>(&'a self) -> Child<'a> { /* ... */ } }
在这两种情况下,该方法都表示Child将返回一个结构,该结构已使用 self. 换句话说,Child实例包含对Parent创建它的引用,因此不能比该 Parent实例活得更久。
Child
self
Parent
这也让我们认识到我们的创建函数确实有问题:
fn make_combined<'a>() -> Combined<'a> { /* ... */ }
尽管您更有可能看到它以不同的形式写成:
impl<'a> Combined<'a> { fn new() -> Combined<'a> { /* ... */ } }
在这两种情况下,都没有通过参数提供生命周期参数。这意味着Combined将被参数化的生命周期不受任何限制——它可以是调用者想要的任何东西。这是荒谬的,因为调用者可以指定'static生命周期并且没有办法满足该条件。
Combined
'static
最简单和最推荐的解决方案是不要尝试将这些项目放在同一个结构中。通过这样做,您的结构嵌套将模仿代码的生命周期。将拥有数据的类型放在一个结构中,然后提供允许您根据需要获取引用或包含引用的对象的方法。
有一种特殊情况是生命周期跟踪过于热心:当你有东西放在堆上时。例如,当您使用 a 时会发生这种情况 Box<T>。在这种情况下,被移动的结构包含指向堆的指针。指向的值将保持稳定,但指针本身的地址会移动。在实践中,这并不重要,因为您总是跟随指针。
Box<T>
进入parent结构后,为什么编译器无法获得新的引用parent并将其分配给child结构?
虽然理论上可以做到这一点,但这样做会带来大量的复杂性和开销。每次移动对象时,编译器都需要插入代码来“修复”引用。这意味着复制结构不再是一个非常便宜的操作,只是移动一些位。这甚至可能意味着这样的代码很昂贵,这取决于假设的优化器有多好:
let a = Object::new(); let b = a; let c = b;
程序员可以通过创建仅在您调用它们时才采用适当引用的方法来选择 何时发生这种情况,而不是强制 每次 移动都发生这种情况。 __
在一种特殊情况下,您 可以 创建一个引用自身的类型。你需要使用类似的东西Option来分两步完成它:
Option
#[derive(Debug)] struct WhatAboutThis<'a> { name: String, nickname: Option<&'a str>, } fn main() { let mut tricky = WhatAboutThis { name: "Annabelle".to_string(), nickname: None, }; tricky.nickname = Some(&tricky.name[..4]); println!("{:?}", tricky); }
从某种意义上说,这确实有效,但创造的价值受到高度限制——它 永远 无法移动。值得注意的是,这意味着它不能从函数返回或按值传递给任何东西。构造函数显示了与上述生命周期相同的问题:
fn creator<'a>() -> WhatAboutThis<'a> { /* ... */ }
如果您尝试使用方法执行相同的代码,您将需要诱人但最终无用的&'a self. 当涉及到这一点时,此代码会受到更多限制,并且在第一个方法调用后您将收到借用检查器错误:
&'a self
#[derive(Debug)] struct WhatAboutThis<'a> { name: String, nickname: Option<&'a str>, } impl<'a> WhatAboutThis<'a> { fn tie_the_knot(&'a mut self) { self.nickname = Some(&self.name[..4]); } } fn main() { let mut tricky = WhatAboutThis { name: "Annabelle".to_string(), nickname: None, }; tricky.tie_the_knot(); // cannot borrow `tricky` as immutable because it is also borrowed as mutable // println!("{:?}", tricky); }
也可以看看:
Pin
Pin,在 Rust 1.33 中稳定,在模块文档中有这个:
这种情况的一个主要示例是构建自引用结构,因为移动带有指向自身的指针的对象将使它们无效,这可能导致未定义的行为。
需要注意的是,“自我引用”并不一定意味着使用 引用 。确实,自引用结构的示例特别说明了(强调我的):
我们无法通过正常的引用通知编译器,因为这种模式不能用通常的借用规则来描述。相反 ,我们使用原始指针 ,尽管已知它不为空,因为我们知道它指向字符串。
自 Rust 1.0 以来,就已经存在使用原始指针来实现这种行为的能力。实际上,owning-ref 和 rent 使用了底层的原始指针。
唯一Pin添加到表中的是一种常见的方式来说明给定的值保证不会移动。