tkernel 2019-09-08
在实际编程中,可能会出现泛型引用这种情况,我们会编写如下的代码:
struct Inner<'a, T> { data: &'a T, }
会产生编译错误:
error[E0309]: the parameter type `T` may not live long enough --> src/main.rs:16:5 | 15 | struct Inner<'a, T> { | - help: consider adding an explicit lifetime bound `T: 'a`... 16 | data: &'a T, | ^^^^^^^^^^^ | note: ...so that the reference type `&'a T` does not outlive the data it points at --> src/main.rs:16:5 | 16 | data: &'a T, | ^^^^^^^^^^^
为什么会编译错误呢?因为T
可以是任意类型,T
自身也可能是一个引用,或者是一个存放了一个或多个引用的类型,而他们各自可能有着不同的生命周期。Rust编译器不能确认T
会与'a
存活的一样久。
所以编译器才提示我们:T
的生命周期可能不够长,建议我们对泛型T
进行生命周期bound,限定T
的生命周期与'a
一样长。
之后我们根据编译器的提示更改代码:
trait Print { fn output(&self); } struct Object<'a>{ data: &'a i32, } impl<'a> Print for Object<'a> { fn output(&self) { println!("Object data: {}", self.data); } } struct Inner<'b, T: 'b + Print> { pub a: &'b T, } fn main() { let data = 10; { let a = Object{data: &data}; let inner = Inner{a: &a}; inner.a.output(); } }
对于生命周期bound,可以结合trait bound
来理解。Rust的泛型有个特点就是trait bound
。trait bound
可以对泛型进行某些限制(只有实现了指定trait的类型才符合要求)。同样,我们也可以像泛型那样为生命周期参数增加限制,这被称为“生命周期bound”(lifetime bounds)。生命周期bound帮助Rust编译器验证泛型的引用不会存在的比其引用的数据更久。
上面的代码中,struct Inner<'b, T: 'b + Print>
这行代码就是表示对泛型T
同时进行trait bound和生命周期bound。
Rust通过生命周期参数注解引用来帮助编译器理解不同引用的生命周期如何相互联系。从而使编译器能够判断引用是否有效。关注微信公众号,定期推送新文章!