如何使用包含返回对 Self 的引用的方法的 trait 对象?

使用包含返回对Self引用的方法的 trait 对象的正确方法是什么？以下代码

trait Foo {
fn gen(&mut self) -> &Self;
fn eval(&self) -> f64;
}
struct A {
a : f64,
}
impl Foo for A {
fn gen(&mut self) -> &Self {
self.a = 1.2;
self
}
fn eval(&self) -> f64 {
self.a + 2.3
}
}
struct B;
impl Foo for B {
fn gen(&mut self) -> &Self {
self
}
fn eval(&self) -> f64 {
3.4
}
}
fn bar(f : &dyn Foo) {
println!("Result is : {}",f.eval());
}
fn main() {
let mut aa = A { a : 0. };
bar(aa.gen());
let mut bb = B;
bar(bb.gen());
}

给出编译器错误

error[E0038]: the trait `Foo` cannot be made into an object
--> src/main.rs:30:1
|
3  |     fn gen(&mut self) -> &Self;
|        --- method `gen` references the `Self` type in its parameters or return type
...
30 | fn bar(f : &dyn Foo) {
| ^^^^^^^^^^^^^^^^^^^^ the trait `Foo` cannot be made into an object

现在，我们可以通过以下两种方式中的至少一种来解决此问题。或者，我们可以将gen的定义修改为：

trait Foo {
fn gen(&mut self) -> &Self where Self : Sized;
fn eval(&self) -> f64;
}

或者，我们可以将 bar 的定义修改为：

fn bar<F>(f : &F) where F : Foo + ?Sized {
println!("Result is : {}",f.eval());
}

也就是说，我不明白两者之间的区别，以及应该使用什么情况或是否应该使用另一种方法。

这里的关键是了解错误本身的原因。使用您的函数

fn bar(f : &dyn Foo) {

预计您可以调用f.gen()(鉴于Foo的当前定义(，但是这不能得到支持，因为我们不知道它会返回什么类型！在您的特定代码上下文中，它可以是A的，也可以是B的，在一般情况下，任何东西都可以实现该特征。这就是为什么这给了

不能将Foo特征变成对象

如果它可以变成一个 trait 对象，那么尝试使用该对象的引用的代码就不会像f.gen()一样得到很好的定义。

现在，我们可以通过以下两种方式中的至少一种来解决此问题。我不明白两者之间的区别以及应该使用什么情况或是否应该使用另一种方法。

fn gen(&mut self) -> &Self where Self : Sized;
这个函数，因为它现在对Self有限制，其实不能被你的bar函数使用，因为dyn Foo不是Sized。如果您设置了该限制并尝试在bar内部调用f.gen()，则会出现错误
不能在特征对象上调用gen方法
fn bar<F>(f : &F) where F : Foo + ?Sized {
这种方法解决了这个问题，因为我们实际上知道f.gen()会返回什么类型(F(。另请注意，这可以简化为fn bar<F: Foo>(f : &F) {甚至fn bar(f : &impl Foo) {.

除非您真的对性能进行了超级优化，否则至少在某种程度上这是您的偏好。您是希望传递 trait 对象，还是需要对对象传递到的每个函数进行<F>？

更多技术答案：

相关内容

最新更新

热门标签：