主页 / coding / 问题 / 78541557
Accepted
Some Name
Asked: 2024-05-28 09:08:03 +0800 CST

将 RefCell 方法参数分配给局部变量会产生编译错误

  • 772

考虑以下简单示例：

use std::cell::RefCell;

// Compiles fine
fn good(t: RefCell<String>) -> bool {
    t.borrow().len() == 12
}

// error[E0597]: `t` does not live long enough
fn bad(t: RefCell<String>) -> bool {
    let t = t;
    t.borrow().len() == 12
}

操场

该bad函数无法编译并出现以下错误：

error[E0597]: `t` does not live long enough
  --> src/lib.rs:9:5
   |
8  |     let t = t;
   |         - binding `t` declared here
9  |     t.borrow().len() == 12
   |     ^---------
   |     |
   |     borrowed value does not live long enough
   |     a temporary with access to the borrow is created here ...
10 | }
   | -
   | |
   | `t` dropped here while still borrowed
   | ... and the borrow might be used here, when that temporary is dropped and runs the destructor for type `Ref<'_, String>`
   |
   = note: the temporary is part of an expression at the end of a block;
           consider forcing this temporary to be dropped sooner, before the block's local variables are dropped
help: for example, you could save the expression's value in a new local variable `x` and then make `x` be the expression at the end of the block
   |
9  |     let x = t.borrow().len() == 12; x
   |     +++++++                       +++

这对我来说看起来非常奇怪。仅将函数参数重新分配给局部变量会导致编译失败。你能解释一下为什么吗？

rust

1 个回答

  1. Best Answer

    参考文献中提到了这一点：

    在函数体的最终表达式中创建的临时变量将被删除在函数体中绑定的任何命名变量之后。它们的放置范围是整个函数，因为没有更小的封闭临时范围。

    我不确定这对于语言的运行是否是必要的，是否使语言更方便，或者仅仅是编译器最初的实现方式，但现在更改将是向后不兼容的。如果有人知道更多，请评论或编辑此答案。

    我已经意识到这一点，并且在理解下降顺序时有时会出现这种情况。对我来说新奇的是，函数参数显然甚至在更晚的时候就被删除了。这里几乎提到了这一点，但不完全是。因此，下降顺序必须是：

    • 函数内部创建的变量
    • 最终表达式中创建的临时变量
    • 函数参数

    这是一个演示这一点的程序。

    struct A(u32);

impl A {
    fn nothing(&self) {}
}

impl Drop for A {
    fn drop(&mut self) {
        println!("drop {}", self.0);
    }
}

fn f(_a1: A) {
    let _a3 = A(3);
    A(2).nothing()
}

fn main() {
    let a = A(1);
    f(a);
}

    它打印以下内容：

    drop 3
drop 2
drop 1

    在您的代码中，最终表达式创建一个临时std::cell::Ref<'_, String>. 由于Ref具有Drop行为（具体来说，生命周期包含在实现的类型中）Drop，因此它要求生命周期在发生 drop 时有效，这与普通的共享引用不同&。由于它借用了RefCell<String>，因此Ref必须在RefCell删除 之前删除 。并且根据上面的规则，当RefCellis 绑定在函数内部时，this 是不满足的。

    错误消息中的解决方法应该足够了。

    • 5

相关问题