0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

基于Rust语言中的生命周期

科技绿洲 来源:TinyZ 作者:TinyZ 2023-09-19 17:03 次阅读

Rust是一门系统级编程语言具备高效、安和并发等特,而生命周期是这门语言中比较重要的概念之一。在这篇教程中,我们会了解什么是命周期、为什么需要生命周期、如何使用生命周期,同时我们依然会使用老朋友Animal的代码示例。

生命周期

生命周期是Rust语言中的一个概念,用于决内存安全问题。我们在Rust中定义一个变量时,需要确定这个变量在内存中存储时长。这存储时长需要在编译时确定,而生命周期就是来描述这个存储长的。

在Rust中,所有变量都有一个生命周期,生命周期描述了这个变量在存中存在的时长。决定这个变量在什时候被创建和销毁,以及在什么时候可以被访问和修改生命周期可以是显式也可以是隐式的,但是的生命周期都必须循一些规则,以确保代码的正确性和全性。

在C/C++等编语言中,内存管理是程序员需要自己负责的。在这些语言中,程序需要手动分配和放内存,这方式非常容易出现内存泄漏、内溢出等问题。而在Rust中,生命周期的引入使得内存安全问题得到了有效的解决。通过生命周期的束缚,Rust可以在编译时检查变量的存储时长是否合法,从而避免了许多内存安全问题。

生命周期的基本概念

在Rust中,生命周期的基本概念包括三个部分,分别是: 生命周期标注生命周期参数生命周期忽略

生命周期标注

生命周期标(lifetime annotation)是指在变量、函数结构体等 定义中入生命周期参数。命周期标注使用单引( ' )表示。

&i32        // 一个引用
&'a i32     // 具有显式生命周期的引用
&'a mut i32 // 具有显式生命周期的可变引用

以Animal为例定义一个结构体, 示例如下:

#[derive(Debug)]
struct Animal< 'a > {
    name: &'a str,
    age: i32
}

上述中,我们在Animal结构体中加入了生命周期标注表示Animal结构体中的字段的生命周期与结构体身的生命周期相同。

生命周期参数

生命周期参数(lifetime parameter)是指在函数或结构定义中声明的生命周期参数。例如:

fn find_oldest< 'a >(animals: &'a [Animal]) - >&'a Animal< 'a > {
    let mut oldest = &animals[0];
    for animal in animals {
        if animal.age > oldest.age {
            oldest = animal;
        }
    }
    oldest
}
fn main() {
    let list = &vec![Animal{name:"x", age:1},];
    let animal = find_oldest(list);
    println!("{:?}", animal);
}
//  输出结果:
//  Animal { name: "x", age: 1 }

上述代码,我们在find_oldest函数定义中声明了一个生命周期参数'a,表示函数返回的Animal对象的生命周期与的动物列表的命周期相同。

生命周期省略

Rust设计了一套生命周期省略规则,允许开发者在某些情况下可以不显式地指定生命周期。这是通过对变量引用和函数参数等上下文的分析得出的结果。生命周期省略的规则复杂而严谨,可以极大地减少代码的书写量,同时又保证了程序的正确性。

需要注意的是,虽然生命周期省略允许省略生命周期注释,但对于某些特殊情况,为了保证代码的清晰和正确性,仍需要显式地指定生命周期。

Rust中的生命周期省略规则主要有三种情况:

    1. 对于只有一个输入生命周期参数的函数:函数参数的生命周期将被赋予所有输出生命周期参数。

例如:

fn foo< 'a >(x: &'a i32) - > &'a i32 { x }

这里定义了一个名为foo的函数,它只有一个输入生命周期参数'a。因此,在返回值中可以省略'a,因为'a是唯一的输入生命周期参数。因此,上述代码可以简化为:

fn foo(x: &i32) - > &i32 { x }
    1. 对于方法:方法的所有输入生命周期参数都将被赋予方法的输出生命周期参数。

例如:

#[derive(Debug)]
struct Foo< 'a > {
    x: &'a i32,
}
fn bar< 'a >(foo: &'a Foo) - > &'a i32 {
    foo.x
}
fn main() {
    let v = 2;
    let f = Foo { 
        x: &v,
    };
    println!("{:?}, {:?}", f, bar(&f));
}
//    输出结果:
//  Foo { x: 2 }, 2

这里定义了一个名为Foo的结构体,并在其内部实现了一个方法bar。由于该结构体定义了生命周期参数'a,因此结构体的所有方法也需要使用相同的生命周期参数,生命周期省略规则允许我们在方法中不指定引用的生命周期。因此,上述代码可以简化为:

#[derive(Debug)]
struct Foo< 'a > {
    x: &'a i32,
}
impl< 'a > Foo< 'a > {
    // 省略了生命周期参数'a'
    fn bar(&self) - > &i32 { self.x }  
}
    1. 对于具有多个输入生命周期参数的函数或方法:输入生命周期参数中,一个引用类型参数的生命周期被赋予所有其他引用类型参数的生命周期。

例如:

fn foo< 'a, 'b >(x: &'a i32, y: &'b i32) - > &i32 {
    if *x < *y { x } else { y }
}

这里定义了一个名为foo的函数,它有两个输入生命周期参数'a'b。根据生命周期省略规则,当存在多个输入生命周期参数时,编译器会尝试寻找一条最短的路径来使所有引用的生命周期参数保持有效,而这一路径就是将引用的生命周期参数设为交集,即对于两个输入生命周期参数'a'b,取它们的交集'a & 'b作为函数返回值的生命周期参数,因此,上述代码可以简化为:

// 省略了生命周期参数'a'和'b'
fn foo(x: &i32, y: &i32) - > &i32 {  
    if *x < *y { x } else { y }
}

生命周期消除

静态生命周期

在 Rust 中,静态生命周期(static lifetime)由 'static 来表示。它是一种特殊的生命周期,只有在程序运行时才会被初始化,而不是在执行函数时。一个拥有 'static 生命周期的变量可以在整个程序运行期间存在,因此它们需要分配在静态内存区域,直到程序终止才会被释放。

示例代码

下面是一个完整的示例代码,演示了生命周期在Zoo中的使用:

#[derive(Debug)]
struct Animal< 'a > {
    name: &'a str,
    age: i32,
}

struct Zoo< 'a > {
    animals: &'a [Animal< 'a >],
}

impl< 'a > Zoo< 'a > {
    fn new(animals: &'a [Animal< 'a >]) - > Zoo< 'a > {
        Zoo { animals }
    }

    fn get_oldest(&self) - > &'a Animal< 'a > {
        let mut oldest = &self.animals[0];
        for animal in self.animals {
            if animal.age > oldest.age {
                oldest = animal;
            }
        }
        oldest
    }
}

fn main() {
    let animal1 = Animal { name: "cat", age: 5 };
    let animal2 = Animal { name: "dog", age: 7 };
    let animal3 = Animal { name: "bird", age: 2 };

    let list = vec![animal1, animal2, animal3];
    let animal_list = Zoo::new(&list);
    let oldest_animal = animal_list.get_oldest();
    println!("The oldest animal is {} its age is {}", oldest_animal.name, oldest_animal.age);
}
//  输出
//  The oldest animal is dog its age is 7

在上述中,我们定义了Animal和Zoo两个结构体,分别表示物和动物列表。List中包含一个animals字段,类型为&'a [Animal<'a>]表示动物列表的生命周期与Zoo实例的生命周期相同。Zoo中,我们定义了两个方法:new和get_oldest。new通过传入的动物列表构造了一个Zoo实例。get_ol方法用于查找动物列表最大的年龄,并返回对应的动物对象。在main函数中,我们创建了三个Animal对象,并通过三个对象构造了一个Zoo实例接着,我们调用Zoo的get_oldest方法,得到了最大年龄的动物。最后,我们输出了这个动的名称和年龄。

总结

生命周期是Rust语言中重要的概念之一,用于描述引用的生命周期。函数中,我们可以使用生标注来描述参数和返回值的生命周期关系。在结构中,我们可以使用生命周期标注来描述字段的生命周期关系在某些情况下,我们可以通过生命周期省略来简化代码,提高可性。生命周期的正确使用是写出高效、可读性强Rust程序的关键之一。

希望本篇文章能帮助读者更好地理解Rust中的生命周期概念,以及如何在代码中正确使用和省略生命周期。同时,本文也给出了一个完整的示例代码希望读者能够通过实践加深对生命周期的理解。

在实际开发中,生命周期的正确使用非常重要的它不仅关系到代码的性,也关系到程序的性能和可读性。因,程序员需要认真习和掌握Rust中的命周期概念,正确使用生命周期来编写高效、可读性强的代码。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 内存
    +关注

    关注

    8

    文章

    2767

    浏览量

    72765
  • 编程语言
    +关注

    关注

    9

    文章

    1878

    浏览量

    33108
  • 程序
    +关注

    关注

    114

    文章

    3631

    浏览量

    79541
  • 编译
    +关注

    关注

    0

    文章

    615

    浏览量

    32392
  • rust语言
    +关注

    关注

    0

    文章

    58

    浏览量

    2958
收藏 人收藏

    评论

    相关推荐

    C语言里变量的生命周期

    在C语言中,变量的生命周期指的是该变量存在的时间段,理解变量的内存释放时机,设计程序才能少出问题。
    的头像 发表于 07-11 09:12 960次阅读
    C<b class='flag-5'>语言</b>里变量的<b class='flag-5'>生命周期</b>

    AutoScaling 生命周期挂钩功能

    摘要: AutoScaling 伸缩组实例管理功能全面升级,新上线生命周期挂钩(LifecycleHook)功能,方便用户更加灵活地管理伸缩组内实例。使用生命周期挂钩可以在伸缩组发生伸缩活动时将伸缩
    发表于 06-27 17:13

    理解数据生命周期管理思路

    数据生命周期管理的思考
    发表于 03-17 10:49

    HarmonyOS应用开发-PageAbility生命周期

    pageAbility的生命周期如下图所示:在代码中通过调用下列方法实现生命周期操作:onShow() :Ability由后台不可见状态切换到前台可见状态调用onShow方法,此时用户在屏幕可以看到
    发表于 10-17 11:11

    什么是LSM6DSL生命周期

    ST(Semiconductor)芯片LSM6DSLTR,官网没有查到NRND(NOT RECOMMENDED FOR NEW DESIGNS)通知信息,这个芯片的剩余生命周期是多久?制造商通知 NRND 的预期日期是什么时候(不推荐用于新设计)?ST官网查了承诺10年供货,也就是说10年后供货不保?
    发表于 02-09 06:23

    在S32G2 RM中有“生命周期”,生命周期的完整含义是什么?

    在S32G2 RM中,有“生命周期”。生命周期的完整含义是什么,我们应该如何使用它?
    发表于 04-23 10:37

    贯穿于全生命周期的功能安全

    简要介绍了功能安全在SIS 全安全生命周期的主要活动,叙述了全生命周期的功能安全管理。简要阐述了贯穿于整体安全生命周期的功能安全进行的主要阶段,同时提出了在设计SIS
    发表于 12-19 15:50 15次下载

    贯穿于全生命周期的功能安全

    简要介绍了功能安全在SIS 全安全生命周期的主要活动,叙述了全生命周期的功能安全管理。简要阐述了贯穿于整体安全生命周期的功能安全进行的主要阶段,同时提出了在设计SIS 时
    发表于 01-06 17:11 6次下载

    一文读懂Android Activity生命周期

    正常情况下Activity的生命周期: Activity的生命周期大概可以归为三部分 整个的生命周期:onCreate()可以设置所有的“全局”状态, onDestory()可以释放所有的资源 可见
    发表于 05-30 01:03 1370次阅读

    Synopsys 启动硅生命周期管理计划

    Synopsis 的数据分析驱动的硅生命周期管理计划解决了 IC 生命周期中的质量、可靠性和安全挑战。
    发表于 08-18 15:37 628次阅读
    Synopsys 启动硅<b class='flag-5'>生命周期</b>管理计划

    Elasticsearch索引生命周期常见的阶段

    在 Elastic Stack 6.6 版本后推出了新功能 Index Lifecycle Management(索引生命周期管理),支持针对索引的全生命周期托管管理,并且在 Kibana 上也提供了一套UI界面来配置策略。
    的头像 发表于 10-13 10:38 889次阅读

    Vue入门Vue的生命周期

    .生命周期 4.1生命周期是什么 Vue的生命周期, 就是Vue实例从创建到销毁的过程.
    的头像 发表于 02-06 16:16 657次阅读
    Vue入门Vue的<b class='flag-5'>生命周期</b>

    编译器的标准生命周期

    编译器的标准生命周期
    发表于 03-14 19:06 0次下载
    编译器的标准<b class='flag-5'>生命周期</b>

    编译器的标准生命周期

    编译器的标准生命周期
    发表于 07-05 19:32 0次下载
    编译器的标准<b class='flag-5'>生命周期</b>

    数据包的生命周期

    电子发烧友网站提供《数据包的生命周期.pdf》资料免费下载
    发表于 10-13 14:44 0次下载