Rust：特征作为返回类型答案

【问题标题】：Rust: Trait as a return typeRust：特征作为返回类型
【发布时间】：2020-12-31 09:42:48
【问题描述】：

假设有这样的代码：

trait A {
  fn something(&self) -> String
}

struct B {
  things: Vec<u64>
}

struct C {
  thing: Box<&dyn A>
}

impl A for B { ... }

fn create_thing() -> B {
  // 
}

impl C {
  pub fn new() {
    let thing = create_thing();
    C { thing }
  }
}

我的问题是 create_thing 的返回类型究竟应该是什么才能与 Box 匹配，或者返回值应该如何包装以匹配盒子?

等效的 C# 代码如下所示：

interface A {}
class B : A {}
class C {
  public A field;
  public C() {
    this.field = new B();
  }
}

【问题讨论】：

你为什么要Box<&dyn A>而不是Box<dyn A>？
这是一个错误

标签： types rust traits

【解决方案1】：

在您的代码下方查找并稍作调整以使其编译。

我怀疑Box<&dyn A> 不是故意的，因为这意味着 引用本身是堆分配的（不是引用的对象）。另一方面，Box<dyn A> 匹配您的 C# 示例。

返回类型 create_thing() 对我来说看起来不错，因为它不假设任何特定类型的存储（堆栈、堆、内部一个向量...) 的返回值。你只需要Box这个结果值就可以提供初始化C时使用它。

但是，如果您想隐藏确切返回的事实类型是B in create_thing()，你可以这样改 fn create_thing() -> impl A.

如果你真的想返回一个 dyn trait 对象，那么改变它到fn create_thing() -> Box<dyn A> 并创建盒子这里而不是C::new()。

trait A {
    fn something(&self) -> String;
}

struct B {
    things: Vec<u64>,
}

struct C {
    thing: Box<dyn A>,
}

impl A for B {
    fn something(&self) -> String {
        format!("something on B with {:?}", self.things)
    }
}

fn create_thing() -> B {
    B {
        things: vec![1, 2, 3],
    }
}

impl C {
    pub fn new() -> Self {
        let thing = Box::new(create_thing());
        Self { thing }
    }
}

fn main() {
    let c = C::new();
    println!("{}", c.thing.something());
}

【讨论】：