所以,在:
fn v1<'a> (a:~[&'a str]) -> ~[&'a str] {
return a;
}
#[test]
fn test_can_create_struct() {
let x = v1("Hello World".split(' ').collect());
}
我知道,我已经阅读了http://static.rust-lang.org/doc/master/guide-lifetimes.html#named-lifetimes,但我不明白这段代码实际上做了什么.
该函数基本上是参数化的,如通用fn,但有一生,是我在IRC频道上看到的,但让我们想象就是这样,我们有一个L,这是一些特定的生命周期结构.
显然我隐含地称:
v1::("Hello World".split(' ').collect());
..但我不是.传递给这个函数的生命周期是一个生命周期的实例,它不是生命周期的类型,因此注释对我没有任何意义.
我的意思是,我基本上理解发生了什么(我认为):返回~[&str]
的生命周期与调用者的范围相同,可能是test_can_create_struct()
函数.那是因为(据我所知),函数v1
是使用来自调用函数的生命周期实例调用的.
很混乱.
然后我们有一些其他的例子:https: //gist.github.com/bvssvni/8970459
这是一个片段:
impl<'a> Data<'a> {
pub fn new() -> Data<'a> {
Data { a: None, b: None }
}
pub fn a(&'a mut self, a: int) -> State<'a, Step1> {
self.a = Some(a);
State { data: self }
}
}
现在我在这里天真地假设这Data<'a>
意味着函数的生命周期实例a()
是相同的.
即如果创建Data
(let blah = Data::new()
)和调用blah.a()
,则生命周期从create调用继承; 即State
,只要父Data
对象返回,返回的对象就会存在.
......但显然这也是错的.所以我现在根本不知道生命变量的含义.
救命!
因此,回答这个问题的最简单方法就是退后一步,带您了解一生的实际情况.
让我们来看一个简单的功能:
fn simple_function() { let a = MyFoo::new(); println("{}", a); }
在这个函数中,我们有一个变量a
.与所有变量一样,这个变量会存在一段时间.在这种情况下,它一直存在于函数的末尾.当功能结束时,a
死亡.然后,生命周期a
可以描述为从函数的开头开始,结束在函数的结尾.
下一个函数将无法编译:
fn broken_function() -> &MyFoo { let a = MyFoo::new(); return &a; }
当你这样做&a
,你是借用一个参考来a
.然而,关于借贷的事情是,你应该把你借来的东西给回来.Rust对此非常严格,并且不会让您拥有无法返回的引用.如果您借用的参考资料不再存在,那么您无法返回参考资料,而这只是没有参考.
它对我们意味着什么broken_function
,因为a
在函数结束时死亡,引用无法逃避函数,因为这将使它更耐用a
.
下一步是这样的:
fn call_fn() { let a = MyFoo:new(); { let a_ref = &a; let b = lifetimed(a_ref); println!("{}", *b); } } fn lifetimed<'a>(foo: &'a MyFoo) -> &'a MyBar { return foo.as_bar(); }
这里有两个功能,call_fn
而且lifetimed
这里有一些微妙的东西,所以我会分解它.
在call_fn
我首先创建一个新实例MyFoo
并将其分配给a
,然后,我借用一个引用a
并将其分配给a_ref
.借用的东西是,当你进行借用时,生命周期信息会从你借来的变量转移到引用本身.所以现在a_ref
,作为一个变量,它有自己的生命周期,它在内部范围的开始和结束处开始和结束,但是类型a_ref
也有一个生命周期,一个转移过来的生命周期a
.
具体的生命周期不能命名,但我们假设我们可以通过使用数字来完成它.如果的寿命a
是#1
,则该类型的a_ref
是&'#1 MyFoo
.当我们传递a_ref
给lifetimed
,编译器填充生命周期参数,'a
就像它对其他类型参数一样.lifetimed
返回类型是具有相同生命周期的引用,因此编译器填充那里的空间.有效地拨打电话lifetimed(foo: &'#1 MyFoo) -> &'#1 MyBar
.
这就是为什么生命周期出现在类型参数列表中,它们是类型系统的一部分,如果类型不匹配,那就是错误.编译器计算出函数编译所需的生命周期,因此您不必担心它,但不会在当前函数之外查看以获取更多信息.您需要使用参数告诉编译器您正在调用的函数,以便它知道一切正常.
注意:您可以明确指定一个生命周期.'static
这是整个程序持续时间的生命周期.