重写函数以使用特征时借用内容时出错

Question

我是 Rust 的新手，对这门语言有点兴趣。我写了两个简单的函数来递增和递减 Rc<RefCell<..>> 中的值。由于此功能对任何数字类型都有意义，因此我尝试将它们变成通用函数：

use num::Integer;

// This works fine
pub fn increment_counter(c: &Rc<RefCell<u32>>) {
    let new_c = *c.borrow() + 1;
    c.replace(new_c);
}

// This does not compile
pub fn decrement_counter<T>(c: &Rc<RefCell<T>>)
where
    T: Integer,
{
    let new_c = *c.borrow() - T::one();
    c.replace(new_c);
}

我突然收到这个错误：

55 |     let new_c = *c.borrow() - T::one();
   |                 ^^^^^^^^^^^ cannot move out of borrowed content

我不明白为什么此更改会导致此类错误。

Answer 1

据我所知，u32 案例之所以有效，是因为 u32 实现了 Copy，允许 "move out of borrowed context" 没有问题。 IE。 Copy 表示可以通过简单地复制位来移动类型。这样，对于这个类型，搬出一个借来的值是没有问题的。

因此，如果您需要 Copy 用于一般情况，它也应该有效。

pub fn decrement_counter<T>(c: &Rc<RefCell<T>>)
where
    T: Integer + Copy, // <- "Copy"
{
    let new_c = *c.borrow();
    c.replace(new_c);
}

重写函数以使用特征时借用内容时出错

Error borrowing content while rewriting a function to use traits

traits

rust

refcell