ミュータビリティ
ミュータブルなデータは&mut T
でミュータブルに(変更可能な形で)借用することができます。これは ミュータブルな参照 と呼ばれ、読み込み・書き込みの権限を借用者に与えます。対照的に&T
はデータをイミュータブルな参照を介して借用し、借用した側はデータを読み込みはできますが書き込みはできません。
#[allow(dead_code)] #[derive(Clone, Copy)] struct Book { // `&'static str`はread-onlyメモリ上の文字列への参照。 author: &'static str, title: &'static str, year: u32, } // この関数はBook型への参照を取ります。 fn borrow_book(book: &Book) { println!("I immutably borrowed {} - {} edition", book.title, book.year); } // この関数はミュータブルなBook型へのミュータブルな参照を取り、 // `year`を2014へ変更します。 fn new_edition(book: &mut Book) { book.year = 2014; println!("I mutably borrowed {} - {} edition", book.title, book.year); } fn main() { // `immutabook`という名のイミュータブルなBookを作成。 let immutabook = Book { // 文字列リテラルは`&'static str`型になります。 author: "Douglas Hofstadter", title: "Gödel, Escher, Bach", year: 1979, }; // `immutabook`のミュータブルなコピーを作成し、`mutabook`と名付けます。 let mut mutabook = immutabook; // イミュータブルなオブジェクトをイミュータブルに借用します。 borrow_book(&immutabook); // ミュータブルなオブジェクトをイミュータブルに借用します。 borrow_book(&mutabook); // ミュータブルなオブジェクトをミュータブルに借用します。 new_edition(&mut mutabook); // エラー!イミュータブルなオブジェクトをミュータブルに借用できません。 new_edition(&mut immutabook); // FIXME ^ この行をコメントアウトしましょう }