如何使用Box<dyn Trait>

在 Rust 中，Box<dyn Trait> 表示一个指向实现了特定 Trait 的类型的堆分配（heap-allocated）的智能指针。dyn 是一个关键字，用于指示在运行时会动态确定具体的类型，而不是在编译时就确定。这在实现抽象性和多态性时非常有用。

具体解释一下：

• Box: 是一个指向堆上分配数据的指针。它允许你在堆上存储数据，而不是栈上，从而可以在编译时不确定大小的类型（比如 trait 对象）。
• dyn: 是 Rust 中的关键字，用于表示动态分发。它与 trait 结合使用，表示在运行时才知道实际类型的情况下，能够调用特定 trait 中定义的方法。
• Trait: 是一种抽象类型，定义了一组方法的接口。通过实现特定的 trait，类型可以拥有与之相关的行为。

因此，Box<dyn Trait> 表示在堆上分配了一个实现了特定 trait 的类型的对象，而该对象的具体类型在运行时才会被确定。

例如，假设有一个 trait Foo：

 
trait Foo {
    fn do_something(&self);
}

你可以创建一个 Box<dyn Foo>，它可以持有任何实现了 Foo trait 的类型的实例，并在运行时调用 do_something 方法：

 
// 定义一个 trait Foo，它包含一个方法 do_something
trait Foo {
    fn do_something(&self);
}

// 定义一个结构体 MyStruct，用于实现 Foo trait 的方法
struct MyStruct;

// 为 MyStruct 实现 Foo trait 的 do_something 方法
impl Foo for MyStruct {
    fn do_something(&self) {
        println!("Doing something");
    }
}

fn main() {
    // 创建一个 Box 智能指针，指向实现了 Foo trait 的类型 MyStruct 的堆分配实例
    let my_box: Box<dyn Foo> = Box::new(MyStruct);
    
    // 调用 Box 中存储的对象的 do_something 方法
    my_box.do_something();
}

在上面的代码中：

• 我们定义了一个 trait，称为 Foo，其中包含了一个 do_something 方法的签名。这个 trait 描述了一个具有特定行为的接口。
• 我们定义了一个结构体 MyStruct，并为它实现了 Foo trait 的 do_something 方法。这样，MyStruct 类型就拥有了 Foo trait 定义的方法。
• 在 main 函数中，我们创建了一个 Box<dyn Foo> 类型的智能指针，它指向了一个实现了 Foo trait 的类型 MyStruct 的堆分配实例。这允许我们在运行时通过这个 Box 来调用 Foo trait 中的方法。
• 我们调用 my_box.do_something()，触发 Box 中存储的 MyStruct 实例的 do_something 方法，输出 "Doing something"。这演示了 dyn 关键字和 trait 的动态分发特性。
• from刘金，转载请注明原文链接。感谢！