Как пройти R c > Чт, что хочет & Dyn T?

Question

У меня проблемы с передачей аргумента в fn.

trait T {}

struct S {
    others: Vec<Rc<RefCell<dyn T>>>
}

impl S {
    fn bar(&self) {
        for o in self.others {
            foo(&o.borrow());
        }
    }
}

fn foo(t: &dyn T) {}

Компилятор говорит мне:

error[E0277]: the trait bound `std::cell::Ref<'_, (dyn T + 'static)>: T` is not satisfied
  --> src/lib.rs:14:17
   |
14 |             foo(&o.borrow());
   |                 ^^^^^^^^^^^ the trait `T` is not implemented for `std::cell::Ref<'_, (dyn T + 'static)>`
   |
   = note: required for the cast to the object type `dyn T`

Я думал, что это похоже на пример в книге ржавчины, где Rc автоматически разыменовывается, и чтобы получить значение из RefCell, я мог бы позвонить borrow().

Я тоже пытался явно разыменовать, но, похоже, ничего не работает.

Как я могу вызвать foo() для каждого dyn T объекта в self?

Answer 1

Как говорится в ошибке, Ref<X> не реализует автоматически каждую черту, которую реализует X. Чтобы тип был приведен к объекту черты, он должен реализовать эту черту.

Вы можете явно разыменовать Ref и затем заимствовать его снова:

impl S {
    fn bar(&self) {
        for o in &self.others {
            foo(&*o.borrow());
        }
    }
}