我的意思是:
fn minimum<'a, 'b>(x: &'a mut i32, y: &'b mut i32) -> &'min(a, b) mut i32 {
(x < y) ? x : y
}
Run Code Online (Sandbox Code Playgroud)
我们不知道在生命周期中将选择哪个引用,但编译器知道两个引用在哪个范围内仍然有效,并且可以安全地使用返回的引用.
可以提及的解决方法:
fn minimum<'a, 'b> where 'b: 'a (x: &'a i32, y: 'b i32) -> &'a i32 {
(x < y) ? x : y
}
Run Code Online (Sandbox Code Playgroud)
实际上并不是解决方案,因为在调用函数时我们必须处理两种情况:when 'a: 'b和'b: 'a
当您有一个统一的生命周期时,这就是编译器自动执行的操作:
fn minimum<'a>(x: &'a mut i32, y: &'a mut i32) -> &'a mut i32 {
if x < y { x } else { y }
}
Run Code Online (Sandbox Code Playgroud)
这是唯一的内存安全选项,因为函数的实现可能会选择任一引用.
没有"最大"等价物,因为使用它不能保证记忆安全.
也可以看看:
| 归档时间: |
|
| 查看次数: |
93 次 |
| 最近记录: |