Sự khác biệt giữa việc đặt “mut” trước tên biến và sau “:” là gì?

Đây là hai chữ ký chức năng tôi đã thấy trong tài liệu Rust:

fn modify_foo(mut foo: Box<i32>) { *foo += 1; *foo }
fn modify_foo(foo: &mut i32) { *foo += 1; *foo }

Tại sao vị trí khác nhau của mut?

Có vẻ như hàm đầu tiên cũng có thể được khai báo là

fn modify_foo(foo: mut Box<i32>) { /* ... */ }

mut foo: Tnghĩa là bạn có một biến được gọi foolà a T. Bạn được phép thay đổi những gì biến đề cập đến :

let mut val1 = 2;
val1 = 3; // OK

let val2 = 2;
val2 = 3; // error: re-assignment of immutable variable

Điều này cũng cho phép bạn sửa đổi các trường của cấu trúc mà bạn sở hữu:

struct Monster { health: u8 }

let mut orc = Monster { health: 93 };
orc.health -= 54;

let goblin = Monster { health: 28 };
goblin.health += 10; // error: cannot assign to immutable field

foo: &mut Tnghĩa là bạn có một biến tham chiếu đến ( &) một giá trị và bạn được phép thay đổi ( mut) giá trị được tham chiếu (bao gồm các trường, nếu đó là một cấu trúc):

let val1 = &mut 2;
*val1 = 3; // OK

let val2 = &2;
*val2 = 3; // error: cannot assign to immutable borrowed content

Lưu ý rằng &mutchỉ có ý nghĩa với một tham chiếu - foo: mut Tkhông phải là cú pháp hợp lệ. Bạn cũng có thể kết hợp hai định nghĩa ( let mut a: &mut T), khi nó hợp lý.

Nếu bạn đến từ C / C ++, cũng có thể hữu ích khi nghĩ về nó cơ bản như thế này:

// Rust          C/C++
    a: &T     == const T* const a; // can't mutate either
mut a: &T     == const T* a;       // can't mutate what is pointed to
    a: &mut T == T* const a;       // can't mutate pointer
mut a: &mut T == T* a;             // can mutate both

Bạn sẽ nhận thấy rằng đây là những nghịch đảo của nhau. C / C ++ sử dụng cách tiếp cận "danh sách đen", trong đó nếu bạn muốn điều gì đó là bất biến, bạn phải nói rõ ràng như vậy, trong khi Rust thực hiện cách tiếp cận "danh sách trắng", trong đó nếu bạn muốn điều gì đó có thể thay đổi, bạn phải nói rõ ràng như vậy.