複数の可変参照により、構造体のメンバーをそれ自体に割り当てることができないのはなぜですか?[複製]
Aug 17 2020
思ったところに借りられない。私はこの場合に問題を減らしました:
struct A<'a> {
borrow: &'a mut u8,
}
fn does_nothing<'b, 'c>(a: &'b mut A<'c>) {
a.borrow = a.borrow;
}
error[E0623]: lifetime mismatch
--> src/lib.rs:6:16
|
5 | fn does_nothing<'b, 'c>(a: &'b mut A<'c>) {
| -------------
| |
| these two types are declared with different lifetimes...
6 | a.borrow = a.borrow;
| ^^^^^^^^ ...but data from `a` flows into `a` here
a.borrow
の交差点があるようで'b
あり'c
、したがって、まだ寿命があることを保証することはできません'c
。
私はこれに実際の問題はなく、両方のライフタイムを同じにすることで回避できますが、なぜこれがチェックを借用しないのですか?
構造体はこの問題を示すのに重要ではないようで、二重借用はそれを簡単に示します。
私には非常によく似た3つの関数がありますが、どれがコンパイルされ、どのエラーがコンパイルされないのかを知るのに苦労します。
単純なジェネリック関数:
fn only_borrow<T>(a: &mut T) {
*a = *a;
}
エラーが発生します:
error[E0507]: cannot move out of `*a` which is behind a mutable reference
--> src/lib.rs:2:10
|
2 | *a = *a;
| ^^ move occurs because `*a` has type `T`, which does not implement the `Copy` trait
追加レベルの間接参照を含めると、エラーが変更されます
fn only_borrow_double<T>(a: &mut &mut T) {
*a = *a;
}
error[E0623]: lifetime mismatch
--> src/lib.rs:2:10
|
1 | fn only_borrow_double<T>(a: &mut &mut T) {
| -----------
| |
| these two types are declared with different lifetimes...
2 | *a = *a;
| ^^ ...but data from `a` flows into `a` here
暗黙の有効期間から変更すると、エラーを修正できます。
fn working_double<'b, T>(a: &'b mut &'b mut T) {
*a = *a;
}
回答
Emoun Aug 18 2020 at 09:59
あなたはあなたの生涯'b
を見てみる必要があります'c
:
&'b mut ...
ライブで「時間」有効な参照があることを意味します'b
。A<'c>
ライブで有効なオブジェクトがあることを意味します'c
。
あなたが持っていないのは、これらの2つの生涯の間の特定の関係です。コンパイラが推測できる唯一のことは、A<'c>
がの背後にあるため&'b
、'c
長生きする必要があるということです。'b
つまり、'b
有効なときはいつでも、です'c
。ただし、決定的には、その逆ではありません。
あなたが示すように、コンパイラは同じ寿命である必要が'b
あり'c
ます。どうしてこれなの?
私たちの可能性を見てみましょう:
'c
そして、'b
関係ありません:それはどんな関係なしにそれを簡単に確認することができ、コンパイラは入れているかについてではない保証は何もすることができA.borrow
、そのようにはそれを許可しません。'c
厳密に長生きします'b
。つまり、一部の場所'c
は有効で'b
はありません。生涯
a.borrow = a.borrow
をa
使用することの再借用になり'b
ます。この答えは、なぜそれが起こるのかを説明しています。しかし、この手段a
今に依存している'b
時間の一部が無効です寿命、a
(以降有効なa
寿命を持っています'c
)。これによりエラーが発生します。'b
厳密に長生きする'c
:この関係があれば、うまくいくかもしれません。'b
要求した('c
)よりも「長い」ライフタイム()が得られるため、再借用は有効になります。ただし、'c: 'b
コンパイラは舞台裏ですでに推測しています。したがって、このライフタイムを追加すると、2つのライフタイムが等しくなり、開始した場所に戻ります。
struct A<'a> {
borrow: &'a mut u8,
}
/// We add the relation 'b: 'c
fn does_nothing<'b: 'c, 'c>(a: &'b mut A<'c>) {
a.borrow = a.borrow;
}