从子结构中获取值，然后修改子结构：借用检查器难题？

Question

考虑这个玩具代码：

struct X {
    x: usize,
    times_accessed: usize,
}

impl X {
    fn get(&mut self) -> usize {
        self.times_accessed = self.times_accessed + 1;
        self.x
    }
}

struct Y {
    y: usize,
    max_access: usize,
    option_x: Option<X>,
}

impl Y {
    fn get_x(&mut self) -> Option<usize> {
        match self.option_x {
            Some(ref mut some_x) => {
                let result = some_x.get();

                if some_x.times_accessed == self.max_access {
                    self.option_x = None;
                }

                Some(result)
            }
            None => {
                println!("option_x is not initialized! try calling Y::init_x");
                None
            }
        }
    }

    fn init_x(&mut self, x_val: usize, max_allowed_access: usize) {
        self.max_access = max_allowed_access;
        self.option_x = Some(X {
            x: x_val,
            times_accessed: 0,
        });
    }
}

fn main() {
    println!("hello world!");
}

我没有在 main 函数中使用 Y，因为编译器不需要我这样做来指出借用检查器对 [=14 的实现不满意=]:

error[E0506]: cannot assign to `self.option_x` because it is borrowed
  --> src/main.rs:26:21
   |
22 |             Some(ref mut some_x) => {
   |                  -------------- borrow of `self.option_x` occurs here
...
26 |                     self.option_x = None;
   |                     ^^^^^^^^^^^^^^^^^^^^ assignment to borrowed `self.option_x` occurs here

我从借用检查员的角度理解这个问题，我可以想出一个非常简单的解决方法：将值从 some_x 复制到 result（我不是已经这样做了吗，之后all, result isn't a reference, and usize has the Copy trait), and then "drop the reference" to some_x (would it be using drop(some_x);, 所以我可以修改 option_x? 此处提供了一个版本，但仍然不起作用：

fn get_x(&mut self) -> Option<usize> {
    match self.option_x {
        Some(ref mut some_x) => {
            let result = some_x.get();

            if some_x.times_accessed == self.max_access {
                drop(some_x);
                self.option_x = None;
            }

            Some(result)
        }
        None => {
            println!("option_x is not initialized! try calling Y::init_x");
            None
        }
    }
}

应该怎么办？

Answer 1

如错误消息所述，您在尝试替换 self.option_x 时引用其中的内容：

Some(ref mut some_x) => {
    let result = some_x.get();

    if some_x.times_accessed == self.max_access {
        self.option_x = None; // <---------
    }

    Some(result)
}

访问 some_x 的突出显示点之后的任何代码都将获得无效值。这就是程序崩溃、暴露安全漏洞等的原因。

在潜在的 Rust 未来，理解 非词法生命周期 的编译器可能会意识到您不使用该值，因此代码在当前状态下是可以的。在那之前，您可以从 Option 中取出整个值，如果不满足您的条件，则将其放回去：

match self.option_x.take() {
    Some(mut some_x) => {
        let result = some_x.get();

        if some_x.times_accessed != self.max_access {
            self.option_x = Some(some_x);
        }

        Some(result)
    }

另请参阅：

Moved variable still borrowing after calling `drop`?

从子结构中获取值，然后修改子结构：借用检查器难题？

Getting a value from a child struct, and then modifying the child struct: a borrow checker puzzle?

rust

borrow-checker