Rust报错：无法移动dyn Animal类型值，求错误原因与解决方法

核心问题 #

你的代码触发错误有两个关键原因：

1. dyn Animal 是未确定大小的类型（Unsized Type） #

Rust要求编译时明确所有要移动的值的大小，但 dyn Animal 作为 trait 对象，其实际大小取决于具体实现它的类型（比如 Dog 或 Cat），编译器无法静态确定。而你的 make_sound 方法接收 self 参数（获取所有权），这意味着需要将 dyn Animal 从 Box 中移动出来——这直接违反了Rust对未确定大小类型的移动限制，导致 E0161 错误。

2. 无法从 Vec 的索引中移出值 #

即便忽略大小问题，vec[0] 返回的是对 Box<dyn Animal> 的引用，调用获取 self 所有权的方法会尝试将内部的 dyn Animal 从 Box 中移出，这会让 Box 变成空状态。Rust不允许从 Vec 的索引位置移出值（会破坏 Vec 的完整性），因此触发 E0507 错误。

解决方案 #

根据需求，有两种常见修复方式：

方式一：修改 trait 方法为借用引用（推荐） #

如果不需要获取动物的所有权，仅需要它发出声音，将方法改为接收 &self 即可：

struct Dog {}
struct Cat {}

trait Animal {
    // 改为接收不可变引用
    fn make_sound(&self) -> String;
}

impl Animal for Dog {
    fn make_sound(&self) -> String {
        String::from("woof")
    }
}

impl Animal for Cat {
    fn make_sound(&self) -> String {
        String::from("meow")
    }
}

fn choose(vec: Vec<Box<dyn Animal>>, boo: bool) -> String {
    if boo {
        vec[0].make_sound()
    } else {
        vec[1].make_sound()
    }
}

这种方式仅借用动物的引用，不需要移动所有权，既解决了大小问题，也避免了从 Vec 中移出值的风险。

方式二：如果必须获取所有权 #

如果逻辑确实需要获取动物的所有权（比如调用后不再使用该动物），可以通过从 Vec 中取出 Box 实现：

struct Dog {}
struct Cat {}

trait Animal {
    fn make_sound(self) -> String;
}

impl Animal for Dog {
    fn make_sound(self) -> String {
        String::from("woof")
    }
}

impl Animal for Cat {
    fn make_sound(self) -> String {
        String::from("meow")
    }
}

// 接收 Vec 的所有权并修改
fn choose(mut vec: Vec<Box<dyn Animal>>, boo: bool) -> String {
    if boo {
        // 从 Vec 中取出第一个元素（获取所有权）
        let animal = vec.remove(0);
        animal.make_sound()
    } else {
        // 取出第二个元素
        let animal = vec.remove(1);
        animal.make_sound()
    }
}

这里用 Vec::remove 将 Box<dyn Animal> 从 Vec 中取出，此时我们拥有 Box 的所有权，调用 make_sound 时可以将 Box 中的动物移动到方法中（Box<T> 是确定大小的类型，即使 T 是未确定大小的）。

总结 #

大多数场景下，使用引用（&self）的方式更符合Rust的借用规则，也更灵活。只有当你确实需要获取对象所有权时，才需要考虑从容器中取出对象。

内容的提问来源于stack exchange，提问作者Ssor