- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
如果我有一个封装两个成员的结构,并根据另一个成员更新一个,只要我这样做就没问题:
struct A {
value: i64
}
impl A {
pub fn new() -> Self {
A { value: 0 }
}
pub fn do_something(&mut self, other: &B) {
self.value += other.value;
}
pub fn value(&self) -> i64 {
self.value
}
}
struct B {
pub value: i64
}
struct State {
a: A,
b: B
}
impl State {
pub fn new() -> Self {
State {
a: A::new(),
b: B { value: 1 }
}
}
pub fn do_stuff(&mut self) -> i64 {
self.a.do_something(&self.b);
self.a.value()
}
pub fn get_b(&self) -> &B {
&self.b
}
}
fn main() {
let mut state = State::new();
println!("{}", state.do_stuff());
}
也就是我直接引用self.b
的时候。但是当我将 do_stuff()
更改为:
pub fn do_stuff(&mut self) -> i64 {
self.a.do_something(self.get_b());
self.a.value()
}
编译器提示:不能将 `*self` 借用为不可变的,因为 `self.a` 也被借用为可变的
。
如果我需要做一些比返回成员更复杂的事情来获取 a.do_something()
的参数怎么办?我必须创建一个按值返回 b
的函数并将其存储在绑定(bind)中,然后将该绑定(bind)传递给 do_something()
吗?如果 b
很复杂怎么办?
对我来说更重要的是,编译器将我从这里拯救出来的是哪种内存不安全?
最佳答案
可变引用的一个关键方面是,当它们存在时,保证它们是访问特定值的唯一方式(除非它们被重新借用,这会暂时“禁用”它们)。
当你写作时
self.a.do_something(&self.b);
编译器能够看到对 self.a
的借用(隐式地执行方法调用)与对 self.b
的借用是不同的,因为它可以推理直接字段访问。
但是,当你写
self.a.do_something(self.get_b());
然后编译器看不到对self.b
的借用,而是对self
的借用。那是因为方法签名上的生命周期参数无法传播有关借用的此类详细信息。因此,编译器无法保证 self.get_b()
返回的值不会让您访问 self.a
,这将创建两个可以访问 self.a
,其中一个是可变的,这是非法的。
字段借用不跨函数传播的原因是为了简化类型检查和借用检查(对于机器和人类)。原则是签名应该足以执行这些任务:更改函数的实现不应导致其调用者出错。
What if I need to do something more complex than just returning a member in order to get the argument for
a.do_something()
?
我会将 get_b
从 State
移动到 B
并在 self.b< 上调用
。这样,编译器可以看到对 get_b
/self.a
和 self.b
的不同借用,并将接受代码。
self.a.do_something(self.b.get_b());
关于rust - 为什么允许在 &mut self 中借用结构成员,但不允许借用 self 到不可变方法?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/42879098/
为什么禁用类型像 type t = A of int | B of string * mutable int 虽然允许此类类型: type t = A of int | B of string * i
我正在寻找一种类似结构的数据结构,我可以从中创建多个实例并具有某种类型提示而不是不可变的。 所以我有这样的东西: class ConnectionConfig(NamedTuple): nam
我需要转到引用的结构: class SearchKnot { var isWord : Bool = false var text : String = "" var to
如sec 10.4.3中所述 当控制进入执行时,执行以下步骤 功能对象F(调用者)中包含的功能代码的上下文 提供thisArg,而调用方提供argumentsList: 如
i make a game that start display Activity indicator And activity indicator bottom display UiLable wi
编辑:我在这里不断获得支持。只是为了记录,我认为这不再重要。自从我发布它以来我就不再需要它了。 我想在 Scala 中执行以下操作... def save(srcPath: String, destP
使用可变对象作为 Hashmap 键是一种不好的做法吗?当您尝试使用已修改足以更改其哈希码的键从 HashMap 中检索值时,会发生什么? 例如,给定 class Key { int a; /
如果您在Kotlin中访问List类型的Java值,则将获得(Mutable)List!类型。 例如。: Java代码: public class Example { public stati
我编写了 str 类(内置)的以下扩展,以便执行以下操作:假设我有字符串 "Ciao" ,通过做"Ciao" - "a"我想要的结果是字符串 "Cio" 。这是执行此操作的代码,并且运行良好: cla
使用可变对象作为 Hashmap 键是一种不好的做法吗?当您尝试使用已修改足以更改其哈希码的键从 HashMap 中检索值时,会发生什么? 例如,给定 class Key { int a; /
我正在为我的公司设计一个数据库来管理商业贷款。每笔贷款都可以有担保人,可以是个人或公司,在借款业务失败时作为财务支持。 我有 3 个表:Loan、Person 和 Company,它们存储明显的信息。
我使用二进制序列化从 C# 类中保存 F# 记录。一切正常: F#: type GameState = { LevelStatus : LevelStatus
import javax.swing.JOptionPane; public class HW { public static void main(String[] args) { Strin
使用 flatbuffer mutable 有多少性能损失? 是否“正确”使用 FlatBuffers 来拥有一个应该可编辑的对象/结构(即游戏状态) 在我的示例中,我现在有以下类: class Ga
std::function create_function (args...) { int x = initial_value (args...); return [x] () mut
我需要在 for 循环中找到用户输入的字符。我通常会这样做 如果(句子[i] == 'e') 但是因为在这里,'e' 将是一个单字母字符变量,我不知道如何获取要比较的值。我不能只输入 if (sent
我有一个这样的算法: let seed: Foo = ... let mut stack: Vec = Vec::new(); stack.push(&seed); while let Some(ne
这个问题可能看起来非常基础,但我很难弄清楚如何做。我有一个整数,我需要使用 for 循环来循环整数次。 首先,我尝试了—— fn main() { let number = 10; // An
如果我有以下结构: struct MyStruct { tuple: (i32, i32) }; 以及以下函数: // This will not compile fn function(&mut s
我希望在每个 session 的基础上指定列的默认值。下面的脚本不起作用,但描述了我想如何使用它。我目前使用的是 MySQL 5.5.28,但如果需要可以升级。 CREATE TABLE my_tbl
我是一名优秀的程序员,十分优秀!