在2.8.1节中,作者给读者提出了“需要事先提出警告,我们将介绍一些更为复杂的符合”!接者作者给出了一个函数
fn add_with_lifetimes<'a, 'b> (i: &'a i32, j: &'b i32) -> i32 {
*i + *j
}
结合所我前面学习的知识,可以看到*i 是解引用,那&'a又是什么鬼。。。在前面的循环中也有'goto 这样来使用跳转到指定的位置,所以如果单独来看这样的代码,就难以理解。
通过作者的讲解<'a,'b>这是作这个add_with_lifetime函数的作用域中,声明了两个生命周期变量 'a和'b,通常称为生命周期a和生命周期b。
i: &'a i32把生命周期变量'a绑定到i的生命周期上,读作“参数i是一个i32的引用,具有生命周期a"
接着作者,提供了“将生命周期变量绑定到一个值的意义可能并没有那么显而易见。”
Rust的安全性检查是基于生命周期系统的,因为生命周期系统能够验证所有对数据的访问是否有效。生命周期注解让程序员可以声明他们的意图。所有绑定到一个给定的生命周期的值,必须与最后一次访问张定到该生命周期的任何值“活”得一样长。
作者指出:编译器可以自己推断出大部分参数的生命周期,但是在一些推断生命周期有困难的情况下,编译器就需要协助,比如函数接收多个引用的参数,还有当函数返回一个引用值,编译器在需要协助时,常常会通过一个错误信息来表示。
作者指出:在调用函数时是不需要生命周期注解的。
测试代码如下:
fn add_with_lifetimes<'a, 'b> (i: &'a i32, j: &'b i32) -> i32 {
*i + *j
}
fn main() {
let a = 10;
let b = 20;
let res = add_with_lifetimes(&a, &b);
println!("a+b = {}",res);
}
在示例代码中,使用&a,&b来实现对a,b的引用传值。
运行结果如下:
liujianhuadeiMac:samp2_3 liujianhua$ cargo run
Compiling samp2_3 v0.1.0 (/Users/liujianhua/Rust/samp2_3)
Finished dev [unoptimized + debuginfo] target(s) in 0.30s
Running `target/debug/samp2_3`
a+b = 30
在这个代码中,作者提出,在函数add_with_litetimes,由于是引用,所以可能编译器不能推断出i,j的生命周期,所以需要指定他的生命周期。如果我们把生命周期的参数删除,在编译时就会报错:
fn add_with_lifetimes(i: i32, j: i32) -> i32 {
*i + *j
}
fn main() {
let a = 10;
let b = 20;
let res = add_with_lifetimes(&a, &b);
println!("a+b = {}",res);
}
//编译时产生的错误代码:
error[E0308]: arguments to this function are incorrect
--> src/main.rs:7:15
|
7 | let res = add_with_lifetimes(&a, &b);
| ^^^^^^^^^^^^^^^^^^ -- -- expected `i32`, found `&{integer}`
| |
| expected `i32`, found `&{integer}`
|
note: function defined here
--> src/main.rs:1:4
|
1 | fn add_with_lifetimes(i: i32, j: i32) -> i32 {
| ^^^^^^^^^^^^^^^^^^ ------ ------
help: consider removing the borrow
|
7 - let res = add_with_lifetimes(&a, &b);
7 + let res = add_with_lifetimes(a, &b);
|
help: consider removing the borrow
|
7 - let res = add_with_lifetimes(&a, &b);
7 + let res = add_with_lifetimes(&a, b);
|
Some errors have detailed explanations: E0308, E0614.
For more information about an error, try `rustc --explain E0308`.
error: could not compile `samp2_3` (bin "samp2_3") due to 3 previous erro
【总结】在我们使用引用来传参时,需要在函数中添加生命周期注解。