Copyright © 2022-2024 aizws.net · 网站版本: v1.2.6·内部版本: v1.23.3·
页面加载耗时 0.00 毫秒·物理内存 59.0MB ·虚拟内存 1300.0MB
欢迎来到 AI 中文社区(简称 AI 中文社),这里是学习交流 AI 人工智能技术的中文社区。 为了更好的体验,本站推荐使用 Chrome 浏览器。
考虑下面的代码:
struct Foo; impl Foo { fn mutate_and_share(&mut self) -> &Self {&*self} fn share(&self) {} } fn main() { let mut foo = Foo; let loan = foo.mutate_and_share(); foo.share(); }
你可能觉得它能成功编译。我们调用mutate_and_share
,临时可变地借用foo
,但接下来返回一个共享引用。因为调用foo.share()
时没有可变的引用了,所以我们认为可以正常调用。
但是当我们尝试编译它:
<anon>:11:5: 11:8 error: cannot borrow `foo` as immutable because it is also borrowed as mutable
<anon>:11 foo.share();
^~~
<anon>:10:16: 10:19 note: previous borrow of `foo` occurs here; the mutable borrow prevents subsequent moves, borrows, or modification of `foo` until the borrow ends
<anon>:10 let loan = foo.mutate_and_share();
^~~
<anon>:12:2: 12:2 note: previous borrow ends here
<anon>:8 fn main() {
<anon>:9 let mut foo = Foo;
<anon>:10 let loan = foo.mutate_and_share();
<anon>:11 foo.share();
<anon>:12 }
^
发生了什么呢?嗯……我们遇到了和上一章的示例2相同的错误。我们去掉语法糖,会得到这样的代码:
struct Foo;
impl Foo {
fn mutate_and_share<'a>(&'a mut self) -> &'a Self { &'a *self }
fn share<'a>(&'a self) {}
}
fn main() {
'b: {
let mut foo: Foo = Foo;
'c: {
let loan: &'c Foo = Foo::mutate_and_share::<'c>(&'c mut foo);
'd: {
Foo::share::<'d>(&'d foo);
}
}
}
}
生命周期系统强行把&mut foo
的生命周期扩展到'c,以和loan
的生命周期以及mutate_and_share
的签名匹配。接下来我们调用share
,Rust认为我们在给&'c mut foo
创建别名,于是拒绝了我们。
这段程序显然完全符合引用的语义,但是我们的生命周期系统过于粗糙,无法对它进行正确的分析。
接下来,还有什么普遍的问题吗?关于SEME区域的,大概吧?
为了让语言的表达方式更人性化,Rust允许函数的签名中省略生命周期。“生命周期位置”指的是你在类型中可以写生命周期的地方。&'a T&'a mut TT<'a>生命周期的位置可以在“输入” ...