因借款无法搬出

Question

我有以下 MWE：

use rusqlite::{Connection, Transaction };

fn main() {
    let mut cn: Connection = Connection::open_in_memory().unwrap();
    let tx: Transaction = cn.transaction().unwrap();

    let mut stmt = tx.prepare("
        INSERT INTO mytable (data) VALUES(1)
    ").unwrap();
    stmt.execute([]).unwrap();

    tx.commit().unwrap();
}

在我的 IDE（vscode）中，它显示：

tx.prepare 显示错误

在此处借用tx

tx.commit(); 显示错误

不能搬出tx，因为它是借来的

签名：

 pub fn prepare(&self, sql: &str) -> Result<Statement<'_>> {
        self.db.borrow_mut().prepare(self, sql)
 }
 ...
 #[inline]
 pub fn commit(mut self) -> Result<()> {
     self.commit_()
 }

我不明白为什么会显示这些错误。

• tx.prepare 借用后，Transaction 创建并分配给tx 的所有权是什么？
• tx 仍然是Transaction 的所有者吗？
• 当tx.commit()被调用时，Transaction应该归tx所有，并且在调用.commit()时可以安全移动，不是吗？

此外，确定tx.prepare 的范围可以修复这些错误

use rusqlite::{Connection, Transaction };

fn main() {
    let mut cn: Connection = Connection::open_in_memory().unwrap();
    let tx: Transaction = cn.transaction().unwrap();
    {
        let mut stmt = tx.prepare("
            INSERT INTO mytable (data) VALUES(1)
        ").unwrap();
        stmt.execute([]).unwrap();
    }
    tx.commit().unwrap();
}

谢谢！

Rust Playground

Answer 1

错误信息中给出了这个原因：

14 | }
   | - borrow might be used here, when `stmt` is dropped and runs the `Drop` code for type `Statement`

在Transaction 上调用prepare()（通过自动取消引用传递给Connection）会给你一个Statement<'conn>。换句话说，Statement 借用了基础Connection，其生命周期为'conn。 Connection 的借用取决于 Transaction，因为它是来自 Transaction 的自动取消引用，它给了我们在 Connection 上的借用。

每当删除 Statement 时，它都会使用其借用 Connection 到 clean up behind it。这就是问题出现的地方：您的stmt 在tx.commit().unwrap() 之后自动删除到作用域的末尾。同时.commit() 拥有self 的所有权，所以Transaction 被移走。但Statement 的Drop 实现要求Transaction 的借用是活动的，因此它可以在Connection 的借用上执行；所以出现错误。

您可以通过简单地引入内部范围来解决此问题，或者在使用后手动 drop(stmt)。

Answer 2

tx.prepare 借用后，Transaction 创建并分配给tx 的所有权是什么？

不确定我是否理解您的要求。借用不会改变所有权，它会向所有者借用。所以tx拥有交易对象，stmt借用它，所以所有权不能改变。

tx 仍然是交易的所有者吗？

是的。

当tx.commit()被调用时，交易应该归tx所有，并且在调用.commit()时可以安全移动，不是吗？

在大多数情况下是的，这里的问题是 Statement 不是“微不足道”的类型，它实现了 Drop 这意味着它（默认情况下）将一直存活到 drop scope 的末尾，除非它是明确的丢弃（例如通过调用drop(stmt)）。然后，这将与 Transaction::commit 一起编译，因为您无法退出“活动借用”。

您只需安装与 Rusqlite 匹配的类型方案即可观察此行为：https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=32532b41467706d0d80756525a0f43fe

代码会编译，但如果您取消注释第 24 行 (impl Drop for …)，它会停止编译，并出现与此处相同的错误。

您的解决方案是：

• 如果 MRE 与实际代码匹配，则无需费心准备语句，这仅在您有多个查询时才有用
• 完成后明确drop() 声明
• 或者让它存在于自己的块中，所以它的放置范围比函数短