8

我最初在这里问过这个问题，但它被标记为重复，尽管在我看来它只重复了一部分，所以我创建了一个更具体的问题：

考虑以下代码：

use std::rc::Rc;

trait MyTrait {
    fn trait_func(&self);
}

struct MyStruct1;

impl MyStruct1 {
    fn my_fn(&self) {
        // do something
    }
}

impl MyTrait for MyStruct1 {
    fn trait_func(&self) {
        // do something
    }
}

fn my_trait_fn(t: Rc<dyn MyTrait>) {
    t.trait_func();
}

fn main() {
    let my_str: Rc<MyStruct1> = Rc::new(MyStruct1);
    my_trait_fn(my_str.clone());
    my_str.my_fn();
}

这段代码工作正常。现在我想将定义更改trait_func为接受 a &mut self，但它Rc仅适用于不可变数据。我使用的解决方案是包装MyTrait成RefCell：

use std::cell::RefCell;

fn my_trait_fn(t: Rc<RefCell<Box<dyn MyTrait>>>) {
    t.borrow_mut().trait_func();
}

fn main() {
    let my_str: Rc<RefCell<Box<MyStruct1>>> = Rc::new(RefCell::new(Box::new(MyStruct1)));
    my_trait_fn(my_str.clone());
    my_str.my_fn();
}

当我编译它时，我得到一个错误：

error[E0308]: mismatched types
  --> src/main.rs:27:17
   |
27 |     my_trait_fn(my_str.clone());
   |                 ^^^^^^^^^^^^^^ expected trait MyTrait, found struct `MyStruct1`
   |
   = note: expected type `std::rc::Rc<std::cell::RefCell<std::boxed::Box<dyn MyTrait + 'static>>>`
              found type `std::rc::Rc<std::cell::RefCell<std::boxed::Box<MyStruct1>>>`
   = help: here are some functions which might fulfill your needs:
           - .into_inner()

解决此问题的最佳方法是什么？

4

1 回答 1

4

（这个答案的旧版本基本上建议克隆底层结构并将其放入一个新Rc<RefCell<Box<MyTrait>>对象中；这在当时稳定的 Rust 上是必要的，但因为在那之后不久，Rc<RefCell<MyStruct>>将强制执行Rc<RefCell<MyTrait>>而不会遇到麻烦。）

放下Box<>包装，您可以自由轻松地强制Rc<RefCell<MyStruct>>执行。Rc<RefCell<MyTrait>>回想一下克隆一个Rc<T>只是产生另一个Rc<T>，将引用计数增加一个，您可以执行以下操作：

use std::rc::Rc;
use std::cell::RefCell;

trait MyTrait {
    fn trait_func(&self);
}

#[derive(Clone)]
struct MyStruct1;
impl MyStruct1 {
    fn my_fn(&self) {
        // do something
    }
}

impl MyTrait for MyStruct1 {
    fn trait_func(&self) {
        // do something
    }
}

fn my_trait_fn(t: Rc<RefCell<MyTrait>>) {
    t.borrow_mut().trait_func();
}

fn main() {
    // (The type annotation is not necessary here, but helps explain it.
    // If the `my_str.borrow().my_fn()` line was missing, it would actually
    // be of type Rc<RefCell<MyTrait>> instead of Rc<RefCell<MyStruct1>>,
    // essentially doing the coercion one step earlier.)
    let my_str: Rc<RefCell<MyStruct1>> = Rc::new(RefCell::new(MyStruct1));
    my_trait_fn(my_str.clone());
    my_str.borrow().my_fn();
}

作为一般规则，看看您是否可以通过引用使事物获取包含的值，理想情况下甚至是通用的 - <code>fn my_trait_fn<T: MyTrait>(t: &T) 和类似的，通常可以称为my_str.borrow()自动引用和取消引用来处理其余的事情——而不是整个Rc<RefCell<MyTrait>>事情。

于 2015-06-16T07:55:55.597 回答