这是我的代码:
use std::rc::{Rc, Weak};
use std::cell::RefCell;
trait Trait {}
fn push<E: Trait>(e: E) {
let mut v: Vec<Rc<RefCell<Box<dyn Trait>>>> = Vec::new();
// let x = Rc::new(RefCell::new(Box::new(e)));
// v.push(x); // error
v.push(Rc::new(RefCell::new(Box::new(e)))); // works fine
}
The v.push(x)
引发此错误:
error[E0308]: mismatched types
--> src/main.rs:12:12
|
7 | fn push<E: Trait>(e: E) {
| - this type parameter
...
12 | v.push(x);
| ^ expected trait object `dyn Trait`, found type parameter `E`
|
= note: expected struct `std::rc::Rc<std::cell::RefCell<std::boxed::Box<dyn Trait>>>`
found struct `std::rc::Rc<std::cell::RefCell<std::boxed::Box<E>>>`
但是,如果我将值(用完全相同的值和类型构造)直接推入向量中,它编译时不会出现错误。
那么为什么第一个版本不能编译呢?我应该改变什么才能使它可以使用x
在将其推入向量之前?
这一切都在类型推断中。当你写:
v.push(Rc::new(RefCell::new(Box::new(e))));
Rust 可以从上下文中看出,RefCell::new()
必须是一个Box<dyn Trait>
,所以尽管提供了Box<E>
,它将其强制为前一种类型。另一方面,当你这样写时:
let x = Rc::new(RefCell::new(Box::new(e)));
v.push(x); // compile error
Rust 首先推断x
类型的Rc<RefCell<Box<E>>>
你不能再push
它变成一个vec
of Rc<RefCell<Box<dyn Trait>>>
。您可以通过在您的代码中添加显式类型注释来更改此设置let
绑定预先告诉 Rust 你确实想要一个Rc<RefCell<Box<dyn Trait>>>
:
use std::rc::{Rc, Weak};
use std::cell::RefCell;
trait Trait {}
fn push<E: Trait>(e: E) {
let mut v: Vec<Rc<RefCell<Box<dyn Trait>>>> = Vec::new();
let x: Rc<RefCell<Box<dyn Trait>>> = Rc::new(RefCell::new(Box::new(e)));
v.push(x); // compiles
}
操场
这里要理解的重要一点是E
不一样 as dyn Trait
. E
是一些已知的具体实现Trait
while dyn Trait
是一个特征对象,其底层具体实现已被删除。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)