下面是我在Rust文档中看到的两个函数签名:
fn modify_foo(mut foo: Box<i32>) { *foo += 1; *foo }
fn modify_foo(foo: &mut i32) { *foo += 1; *foo }
为什么mut
会有不同的位置
看起来第一个函数也可以声明为
fn modify_foo(foo: mut Box<i32>) { /* ... */ }
发布于 2015-02-18 15:54:44
mut foo: T
表示您有一个名为foo
的变量,它是一个T
。允许您更改变量引用的内容
let mut val1 = 2;
val1 = 3; // OK
let val2 = 2;
val2 = 3; // error: re-assignment of immutable variable
这还允许您修改自己拥有的结构的字段:
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 T
表示您有一个引用(&
)值的变量,并且允许您更改(mut
) 引用的值(如果它是一个结构,则包括字段):
let val1 = &mut 2;
*val1 = 3; // OK
let val2 = &2;
*val2 = 3; // error: cannot assign to immutable borrowed content
请注意,&mut
只有在引用的情况下才有意义- foo: mut T
不是有效的语法。如果有意义,您还可以组合这两个限定符(let mut a: &mut T
)。
发布于 2015-04-16 17:58:23
如果您来自C/C++,那么这样想可能也会有所帮助:
// 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
你会注意到这些是彼此相反的。C/C++采用“黑名单”方法,如果你想让某些东西是不可变的,你必须明确地说出来,而Rust采取“白名单”方法,如果你想让某些东西是可变的,你必须明确地说出来。
发布于 2021-05-24 14:59:59
下面的自然语言翻译似乎让我明白了……
let x = value;
x {binds immutably} to {immutable value}
let mut x = value;
x {binds mutably} to {possibly mutable value}
let x = &value;
x {binds immutably} to {a reference to} {immutable value}
let x = &mut value;
x {binds immutably} to {a reference to} {mutable value}
let mut x = &value;
x {binds mutably} to {a reference to} {immutable value}
let mut x = &mut value;
x {binds mutably} to {a reference to} {mutable value}
哪里
{binds mutably}
表示绑定可以为reassigned{mutable value}
表示值的内容可以更改https://stackoverflow.com/questions/28587698
复制相似问题