From 65aa3e83226b25c8f24f43d363eb006f5f02598a Mon Sep 17 00:00:00 2001 From: sunface Date: Tue, 29 Mar 2022 22:12:22 +0800 Subject: [PATCH] =?UTF-8?q?=E9=87=8D=E6=96=B0=E4=BF=AE=E8=AE=A2=E7=AB=A0?= =?UTF-8?q?=E8=8A=82=EF=BC=9A=20[&'static=20=E4=B8=8E=20T:=20'static]?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/advance/lifetime/static.md | 93 +++++++++++++++++++++------------- 内容变更记录.md | 3 +- 2 files changed, 61 insertions(+), 35 deletions(-) diff --git a/src/advance/lifetime/static.md b/src/advance/lifetime/static.md index 619aae5f..737694c9 100644 --- a/src/advance/lifetime/static.md +++ b/src/advance/lifetime/static.md @@ -80,7 +80,51 @@ fn main() { ## `T: 'static` -相比起来，我们的生命周期约束就弱得多了，它只能试图向编译器表达：如果可以的话，我想要一个可以一直存活的变量， see ? 跟 `&'static` 表达的强度完全不一样，下面用例子来说明: +相比起来，这种形式的约束就有些复杂了。 + +首先，在以下两种情况下，`T: 'static` 与 `&'static` 有相同的约束：`T` 必须活得和程序一样久。 + +```rust +use std::fmt::Debug; + +fn print_it( input: T) { + println!( "'static value passed in is: {:?}", input ); +} + +fn print_it1( input: impl Debug + 'static ) { + println!( "'static value passed in is: {:?}", input ); +} + + + +fn main() { + let i = 5; + + print_it(&i); + print_it1(&i); +} +``` + +以上代码会报错，原因很简单: `&i` 的生命周期无法满足 `'static` 的约束，如果大家将 `i` 修改为常量，那自然一切 OK。 + +见证奇迹的时候，请不要眨眼，现在我们来稍微修改下 `print_it` 函数: +```rust +use std::fmt::Debug; + +fn print_it( input: &T) { + println!( "'static value passed in is: {:?}", input ); +} + +fn main() { + let i = 5; + + print_it(&i); +} +``` + +这段代码竟然不报错了！原因在于我们约束的是 `T`，但是使用的却是它的引用 `&T`，换而言之，我们根本没有直接使用 `T`，因此编译器就没有去检查 `T` 的生命周期约束！它只要确保 `&T` 的生命周期符合规则即可，在上面代码中，它自然是符合的。 + +再来看一个例子: ```rust use std::fmt::Display; @@ -121,49 +165,29 @@ fn static_bound(t: &T) { } ``` -以上代码充分说明了两个问题： - -- `'static` 生命周期的数据可以一直存活，因此 `r1` 和 `r2` 才能在语句块内部被赋值 -- `T: 'static` 的约束真的很弱，`s1` 明明生命周期只在内部语句块内有效，但是该约束依然可以满足，`static_bound` 成功被调用 - -## 两者的区别 - -总之， `&'static` != `T: 'static` ，虽然它们看起来真的非常像。 - -为了进一步验证，我们修改下 `static_bound` 的签名 : +## static 到底针对谁？ +大家有没有想过，到底是 `&'static` 这个引用还是该引用指向的数据活得跟程序一样久呢？ +**答案是引用指向的数据**，而引用本身是要遵循其作用域范围的，我们来简单验证下： ```rust -use std::fmt::Display; - fn main() { - let s1 = "String".to_string(); + { + let static_string = "I'm in read-only memory"; + println!("static_string: {}", static_string); - static_bound(&s1); -} + // 当 `static_string` 超出作用域时，该引用不能再被使用，但是数据依然会存在于 binary 所占用的内存中 + } -fn static_bound(t: &'static T) { - println!("{}", t); + println!("static_string reference remains alive: {}", static_string); } ``` -在这里，不再使用生命周期约束来限制 `T`，而直接指定 `T` 的生命周期是 `&'static` ，不出所料，代码报错了： - -```console -error[E0597]: `s1` does not live long enough - --> src/main.rs:8:18 - | -8 | static_bound(&s1); - | -------------^^^- - | | | - | | borrowed value does not live long enough - | argument requires that `s1` is borrowed for `'static` -9 | } - | - `s1` dropped here while still borrowed -``` +以上代码不出所料会报错，原因在于虽然字符串字面量 "I'm in read-only memory" 的生命周期是 `'static`，但是持有它的引用并不是，它的作用域在内部花括号 `}` 处就结束了。 -原因很简单，`s1` 活得不够久，没有满足 `'static` 的生命周期要求。 -## 使用经验 +## 总结 + +总之， `&'static` 和 `T: 'static` 大体上相似，相比起来，后者的使用形式会更加复杂一些。 至此，相信大家对于 `'static` 和 `T: 'static` 也有了清晰的理解，那么我们应该如何使用它们呢？ @@ -173,3 +197,4 @@ error[E0597]: `s1` does not live long enough - 如果你希望满足和取悦编译器，那就使用 `T: 'static`，很多时候它都能解决问题 > 一个小知识，在 Rust 标准库中，有 48 处用到了 &'static ，112 处用到了 `T: 'static` ，看来取悦编译器不仅仅是菜鸟需要的，高手也经常用到 :) + diff --git a/内容变更记录.md b/内容变更记录.md index e8bc290a..4fa4aad9 100644 --- a/内容变更记录.md +++ b/内容变更记录.md @@ -4,7 +4,8 @@ ## 2022-03-29 - 新增章节: [栈上的链表](https://course.rs/too-many-lists/advanced-lists/stack-allocated.html) - +- 重新修订章节： [&'static 与 T: 'static](https://course.rs/advance/lifetime/static.html) + ## 2022-03-28 - 新增章节：[双单向链表](https://course.rs/too-many-lists/advanced-lists/double-singly.html)