Yuvalanmış bir dizi dizininde “değişmez olarak ödünç verilemez çünkü aynı zamanda değişken olarak ödünç alınamaz” ne demektir?

Bu durumda hata ne anlama gelir:

fn main() {
    let mut v: Vec<usize> = vec![1, 2, 3, 4, 5];
    v[v[1]] = 999;
}

error[E0502]: cannot borrow `v` as immutable because it is also borrowed as mutable
 --> src/main.rs:3:7
  |
3 |     v[v[1]] = 999;
  |     --^----
  |     | |
  |     | immutable borrow occurs here
  |     mutable borrow occurs here
  |     mutable borrow later used here

İndekslemenin Indexve IndexMutözellikleri yoluyla uygulandığını ve bunun v[1]sözdizimsel şeker olduğunu buldum *v.index(1). Bu bilgi ile donatılmış, ben aşağıdaki kodu çalıştırmak için çalıştı:

use std::ops::{Index, IndexMut};

fn main() {
    let mut v: Vec<usize> = vec![1, 2, 3, 4, 5];
    *v.index_mut(*v.index(1)) = 999;
}

Şaşırtıcı bir şekilde, bu kusursuz çalışıyor! İlk snippet neden çalışmıyor, ikincisi çalışıyor? Belgeleri anlama şeklim eşdeğer olmalı, ancak bu kesinlikle doğru değil.

Desugared sürümü sahip olduğunuzdan biraz farklı. Çizgi

v[v[1]] = 999;

aslında desugarlar

*IndexMut::index_mut(&mut v, *Index::index(&v, 1)) = 999;

Bu aynı hata iletisiyle sonuçlanır, ancak ek açıklamalar neler olduğuna dair bir ipucu verir:

error[E0502]: cannot borrow `v` as immutable because it is also borrowed as mutable
 --> src/main.rs:7:48
  |
7 |     *IndexMut::index_mut(&mut v, *Index::index(&v, 1)) = 999;
  |      ------------------- ------                ^^ immutable borrow occurs here
  |      |                   |
  |      |                   mutable borrow occurs here
  |      mutable borrow later used by call

Desugared versiyonunuzdaki önemli fark değerlendirme sırasıdır. Bir işlev çağrısının bağımsız değişkenleri, aslında işlev çağrısı yapılmadan önce, soldan sağa listelenen sırada değerlendirilir. Bu durumda bu &mut v, öncelikle borçlanmanın mutabil olarak değerlendirildiği anlamına gelir v. Sonra, Index::index(&v, 1)değerlendirilmelidir, ancak bu mümkün değildir - vzaten mutably ödünç alınmıştır. Son olarak, derleyici işlev çağrısı için değiştirilebilir başvurunun hala gerekli olduğunu gösterir index_mut(), bu nedenle paylaşılan başvuru denendiğinde değiştirilebilir başvuru hala canlıdır.

Aslında derleyen sürümün biraz farklı bir değerlendirme sırası vardır.

*v.index_mut(*v.index(1)) = 999;

İlk olarak, yöntem çağrılarına yönelik işlev argümanları soldan sağa, yani *v.index(1)önce değerlendirilir. Bu a ile sonuçlanır usizeve geçici ortak borcu vtekrar serbest bırakılabilir. Daha sonra, alıcısı index_mut()değerlendirilir, yani vmutabakatla ödünç alınır. Paylaşılan borç zaten sonlandırıldığından ve tüm ifade borç kontrolünden geçtiği için bu işe yarar.

Sadece "sürümsel olmayan yaşam" lansmanından bu yana derleme sürümü bunu unutmayın. Rust'un önceki sürümlerinde, paylaşılan borç ifadenin sonuna kadar yaşayacak ve benzer bir hatayla sonuçlanacaktır.

Bence en temiz çözüm geçici bir değişken kullanmaktır:

let i = v[1];
v[i] = 999;