Rust生命周期之验证引用有效性与防止悬垂引用方式
<div id="navCategory"><h5 class="catalogue">目录</h5><ul class="first_class_ul"><li>1. 生命周期的作用：防止悬垂引用</li><li>2. 借用检查器与生命周期注解</li><li>3. 在函数中使用泛型生命周期</li><li>4. 生命周期注解的更多应用</li><ul class="second_class_ul"><li>4.1 在结构体中使用生命周期</li><li>4.2 生命周期省略规则</li><li>4.3 静态生命周期</li></ul><li>5. 泛型、特质与生命周期的综合使用</li><ul class="second_class_ul"></ul><li>总结</li><ul class="second_class_ul"></ul></ul></div><p class="maodian"></p><h2>1. 生命周期的作用：防止悬垂引用</h2><p>悬垂引用是指引用指向的数据已经被释放，从而导致引用变得无效。Rust 通过生命周期和借用检查器在编译时就捕获此类问题，从而避免运行时错误。</p>
<p>考虑下面这个示例（Listing 10-16），该代码尝试将外部变量 <code>r</code> 设置为引用内层变量 <code>x</code> 的值，但内层变量在作用域结束后便被清理，从而使引用 <code>r</code> 指向已释放的数据：</p>
<div class="jb51code"><pre class="brush:bash;">fn main() {
let r; // r 的作用域延伸到整个 main 函数
{
let x = 5;
r = &x; // 将 r 设为 x 的引用，此时 x 的生命周期仅在此块内
}
// 此处 x 已经超出作用域，r 将成为悬垂引用
println!("r: {}", r);
}</pre></div>
<p>编译器会报错，提示 <code>x does not live long enough</code>，这是因为 <code>x</code> 的生命周期比 <code>r</code> 短，无法保证 <code>r</code> 引用的内存始终有效。</p>
<p class="maodian"></p><h2>2. 借用检查器与生命周期注解</h2>
<p>Rust 的<strong>借用检查器</strong>负责比较变量的作用域（生命周期），确保所有引用在使用时都是有效的。我们可以通过在代码中手动注解生命周期，来明确告诉编译器各引用的有效范围。</p>
<p>例如，在下面（Listing 10-17）我们用 <code>'a</code> 和 <code>'b</code> 分别标注了 <code>r</code> 和 <code>x</code> 的生命周期：</p>
<div class="jb51code"><pre class="brush:bash;">fn main() {
// 'a: r 的生命周期，延伸到整个 main
let r: &'a i32;
{
// 'b: x 的生命周期，只在此块内
let x = 5;
r = &x;
}
// 此时 r 引用的 x 的生命周期 'b 已结束，编译器将报错
println!("r: {}", r);
}</pre></div>
<p>在这段代码中，借用检查器比较了生命周期 <code>'a</code> 和 <code>'b</code>，发现 <code>r</code> 的生命周期（外层）比它所引用的 <code>x</code> 的生命周期（内层）长，因此拒绝编译，从而防止了悬垂引用问题。</p>
<p>为修复这种错误，我们需要确保引用的生命周期不超过数据本身的生命周期。</p>
<p>例如，可以将 <code>x</code> 的声明移动到 <code>r</code> 的作用域内，确保它在整个使用期间有效：</p>
<div class="jb51code"><pre class="brush:bash;">fn main() {
let x = 5; // x 的生命周期延伸到 main
let r = &x; // r 引用 x，生命周期与 x 保持一致
println!("r: {}", r);
}</pre></div>
<p>这样编译器就能确认 <code>r</code> 引用的内存始终有效。</p>
<p class="maodian"></p><h2>3. 在函数中使用泛型生命周期</h2>
<p>考虑一个返回较长字符串切片的函数 <code>longest</code>。由于函数参数是引用，为了确保返回值引用有效，必须为引用指定生命周期。最初可能写成如下代码，但编译时会报错：</p>
<div class="jb51code"><pre class="brush:bash;">fn longest(x: &str, y: &str) -> &str {
if x.len() > y.len() { x } else { y }
}</pre></div>
<p>编译器不知道返回的引用是属于 <code>x</code> 还是 <code>y</code> 的生命周期，因此报错。解决办法是在函数签名中为引用添加相同的生命周期参数，如下所示（Listing 10-21）：</p>
<div class="jb51code"><pre class="brush:bash;">fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
if x.len() > y.len() { x } else { y }
}</pre></div>
<p>这表示对于某个生命周期 <code>'a</code>，<code>x</code> 和 <code>y</code> 的引用至少活跃 <code>'a</code> 时间，而返回的引用也保证至少活跃 <code>'a</code>。当我们调用 <code>longest</code> 时，编译器会选择 <code>x</code> 和 <code>y</code> 中较短的那段生命周期作为返回引用的实际生命周期。</p>
<p>例如，在下面的代码中，<code>string1</code> 的生命周期长于 <code>string2</code> 的生命周期，所以返回的引用的生命周期为较短的 <code>string2</code> 的作用域范围（Listing 10-22）：</p>
<div class="jb51code"><pre class="brush:bash;">fn main() {
let string1 = String::from("long string is long");
let result;
{
let string2 = String::from("xyz");
result = longest(string1.as_str(), string2.as_str());
println!("The longest string is {}", result); // 在此处，result 引用 string2
}
// 如果在此处使用 result，就会出错，因为 string2 已经超出作用域
}</pre></div>
<p>这样确保了引用的安全性：编译器拒绝在数据无效时使用引用。</p>
<p class="maodian"></p><h2>4. 生命周期注解的更多应用</h2>
<p class="maodian"></p><h3>4.1 在结构体中使用生命周期</h3>
<p>如果结构体持有引用，则需要在结构体定义中为引用字段指定生命周期参数。</p>
<p>例如，定义一个保存字符串切片的结构体 <code>ImportantExcerpt</code>（Listing 10-24）：</p>
<div class="jb51code"><pre class="brush:bash;">struct ImportantExcerpt<'a> {
part: &'a str,
}
fn main() {
let novel = String::from("Call me Ishmael. Some years ago...");
let first_sentence = novel.split('.').next().expect("Could not find a '.'");
let excerpt = ImportantExcerpt { part: first_sentence };
println!("Excerpt: {}", excerpt.part);
}</pre></div>
<p>这里，我们在结构体名后面声明了生命周期参数 <code>'a</code>，并将其用在字段 <code>part</code> 的引用类型上。这意味着 <code>ImportantExcerpt</code> 的实例不能比它所持有的引用活得更久。</p>
<p class="maodian"></p><h3>4.2 生命周期省略规则</h3>
<p>Rust 设计了一套<strong>生命周期省略规则</strong>，让在大部分情况下无需显式标注生命周期。比如函数 <code>first_word</code>（Listing 10-25）在没有显式注解的情况下仍能编译：</p>
<div class="jb51code"><pre class="brush:bash;">fn first_word(s: &str) -> &str {
let bytes = s.as_bytes();
for (i, &item) in bytes.iter().enumerate() {
if item == b' ' {
return &s;
}
}
&s[..]
}</pre></div>
<p>编译器根据规则自动推断出所有引用应当共享相同的生命周期。但如果函数涉及多个引用且关系复杂，可能就需要手动添加生命周期注解了。</p>
<p class="maodian"></p><h3>4.3 静态生命周期</h3>
<p><code>'static</code> 是一个特殊的生命周期，表示引用可以在整个程序执行期间都有效。所有字符串字面值都具有 <code>'static</code> 生命周期：</p>
<div class="jb51code"><pre class="brush:bash;">let s: &'static str = "I have a static lifetime.";</pre></div>
<p>通常我们不需要显式使用 <code>'static</code>，除非遇到编译器建议或特殊需求。在大多数场景下，正确使用生命周期参数即可满足内存安全需求。</p>
<p class="maodian"></p><h2>5. 泛型、特质与生命周期的综合使用</h2>
<p>由于生命周期也是一种泛型，因此它们可以与类型泛型和特质约束一同使用。</p>
<p>例如，下面是一个扩展版的 <code>longest</code> 函数，它不仅返回较长的字符串切片，还接受一个额外的参数 <code>ann</code>，要求该参数实现 <code>Display</code> 特质（Listing 10-11 综合示例）：</p>
<div class="jb51code"><pre class="brush:bash;">use std::fmt::Display;
fn longest_with_an_announcement<'a, T>(
x: &'a str,
y: &'a str,
ann: T,
) -> &'a str
where
T: Display,
{
println!("Announcement: {}", ann);
if x.len() > y.len() { x } else { y }
}
fn main() {
let string1 = String::from("abcd");
let string2 = "xyz";
let result = longest_with_an_announcement(string1.as_str(), string2, "Comparing strings");
println!("The longest string is {}", result);
}</pre></div>
<p>在这个例子中，我们在函数名后面的尖括号中同时声明了生命周期参数 <code>'a</code> 和泛型类型参数 <code>T</code>。<code>T</code> 通过 <code>where</code> 子句被约束为必须实现 <code>Display</code>，保证我们可以使用 <code>{}</code> 格式化输出 <code>ann</code>。同时，返回的引用的生命周期为 <code>'a</code>，确保它与输入参数中的较短生命周期一致。</p>
<p class="maodian"></p><h2>总结</h2>
<p>本文介绍了 Rust 中如何通过生命周期注解来验证引用的有效性，并确保引用不会出现悬垂问题。我们讨论了：</p>
<ul><li><strong>防止悬垂引用</strong>：如何利用生命周期保证引用不会超过其指向数据的作用域，以及借用检查器如何在编译时分析生命周期。</li><li><strong>在函数中的泛型生命周期</strong>：通过给函数参数和返回值添加生命周期参数（如 <code>'a</code>），使得函数能够安全返回引用，例子中展示了 <code>longest</code> 函数的正确写法。</li><li><strong>生命周期省略规则</strong>：解释了在简单情况下 Rust 如何自动推断引用的生命周期，从而使代码更简洁。</li><li><strong>在结构体中使用生命周期</strong>：当结构体持有引用时，需要为引用字段指定生命周期，保证结构体实例不会超出其引用的数据有效范围。</li><li><strong>静态生命周期与综合应用</strong>：介绍了 <code>'static</code> 生命周期以及如何将生命周期与泛型和特质约束相结合来编写更灵活的代码。</li></ul>
<p>通过这些机制，Rust 将所有内存安全问题提前到了编译时检查，从而使得程序在运行时既高效又安全。希望这篇博客能帮助你理解并掌握 Rust 中生命周期的使用，在实际开发中编写出既灵活又安全的代码！也希望大家多多支持琼殿技术社区。</p>
<div class="art_xg">
<b>您可能感兴趣的文章:</b><ul><li>Rust之Rhai脚本编程的示例</li><li>Rust中的&和ref使用解读</li><li>Rust动态调用字符串定义的Rhai函数方式</li><li>在Rust应用中访问.ini格式的配置文件方式</li><li>如何使用Rust的向量存储值列表</li><li>Rust中的模块系统之控制作用域与私有性详解</li></ul>
</div>
</div>
<!--endmain-->
頁:
[1]