初級

E0596: cannot borrow as mutable の原因と直し方

mutを付けずに宣言した変数を、&mutで可変参照として渡そうとするとE0596エラーになります。値を変更する関数に渡す変数は、宣言時からmutにしておく必要があります。

エラーメッセージの読み方

error[E0596]: cannot borrow `x` as mutable, as it is not declared as mutable

E0596

エラーコード — `rustc --explain E0596` で詳しい説明が見られます

cannot borrow `x` as mutable, as it is not declared as mutable

詳細メッセージ — 何が問題だったか

このエラーが出る典型パターン

 1  fn increment(n: &mut i32) {
 2      *n += 1;
 3  }
 4  
 5  fn main() {
 6      let       x = 5;
               ^
 7      increment(&mut x);
 8      println!("{}", x);
 9  }

 1  fn double_it(n: &mut i32) {
 2      *n *= 2;
 3  }
 4  
 5  fn main() {
 6      let       value = 10;
               ^
 7      double_it(&mut value);
 8      println!("{}", value);
 9  }

 1  fn add_bonus(n: &mut i32) {
 2      *n += 10;
 3  }
 4  
 5  fn main() {
 6      let       score = 80;
               ^
 7      add_bonus(&mut score);
 8      println!("{}", score);
 9  }

 1  fn reset(n: &mut i32) {
 2      *n = 0;
 3  }
 4  
 5  fn main() {
 6      let       counter = 5;
               ^
 7      reset(&mut counter);
 8      println!("{}", counter);
 9  }

 1  fn halve(n: &mut i32) {
 2      *n /= 2;
 3  }
 4  
 5  fn main() {
 6      let       amount = 40;
               ^
 7      halve(&mut amount);
 8      println!("{}", amount);
 9  }

よくある誤解

「&mutを付けて渡す側で可変にできるはず」という思い込みは誤りです。可変で借用できるかどうかは、渡す側の変数自体がmutで宣言されているかどうかで決まります。

実務での勘所

Rustにおける可変性は、値の型に付いている性質ではなく、変数の束縛(バインディング)に付いている性質です。まったく同じString型の値でも、let s = ...と束縛すれば不変、let mut s = ...と束縛すれば可変になり、この違いは型そのものではなく「その変数名でどう受け取ったか」だけで決まります。&mutで可変に借用できるかどうかは、値の型を見ても分からず、借用元の変数がmutで宣言されているかどうかだけで判定されます。

演習をはじめる

関連するエラー

• E0384: cannot assign twice to immutable variable の原因と直し方Rustの変数はデフォルトで不変（immutable）です。
• E0502: cannot borrow as mutable because it is also borrowed as immutable不変参照が生きている（後で使われる）間に、同じ変数を可変で借用しようとするとE0502エラーになります。