无需修改所有函数签名，如何调试Rust值移动问题？

问题场景 #

现有代码中，process 函数接收 Message 枚举实例，在 match 分支中会移动枚举变体里的非 Copy 类型值（比如 String、Point），导致后续无法打印完整的 message。需要在不修改其他函数签名的前提下，实现移动前后的 message 打印，同时明确后续操作的正确方式。

原始代码 #

#[derive(Debug)]
enum Message {
    ChangeColor(u8, u8, u8),
    Echo(String),
    Move(Point),
    Quit,
}

#[derive(Debug)]
struct Point {
    x: u8,
    y: u8,
}

struct State {
    color: (u8, u8, u8),
    position: Point,
    quit: bool,
    message: String,
}

impl State {
    fn change_color(&mut self, color: (u8, u8, u8)) {
        self.color = color;
    }

    fn quit(&mut self) {
        self.quit = true;
    }

    fn echo(&mut self, s: String) {
        self.message = s
    }

    fn move_position(&mut self, p: Point) {
        self.position = p;
    }

    fn process(&mut self, message: Message) {
        println!("{:#?}", &message);
        match message {
            Message::ChangeColor(r, g, b) => self.change_color((r, g, b)),
            Message::Echo(s) => self.echo(s),
            Message::Move(p) => self.move_position(p),
            Message::Quit => self.quit(),
        }

        println!("{:#?}", &message); // 此处因部分移动无法编译
    }
}

解决方案：不修改函数签名实现打印 #

核心思路是使用**ref 模式**匹配枚举变体，避免移动原始 message 中的值，同时通过克隆（clone）满足下游函数对所有权的需求：

fn process(&mut self, message: Message) {
    println!("移动前: {:#?}", &message);
    match message {
        Message::ChangeColor(r, g, b) => self.change_color((r, g, b)), // u8是Copy类型，直接取值不影响原始message
        Message::Echo(ref s) => self.echo(s.clone()), // ref借用字符串，克隆后传递所有权
        Message::Move(ref p) => self.move_position(p.clone()), // ref借用Point，克隆后传递所有权
        Message::Quit => self.quit(),
    }
    println!("移动后: {:#?}", &message); // 此时message仍完整，可正常打印
}

说明：

• 对于 Copy 类型（如 u8），直接取值不会触发移动，原始 message 不受影响；
• 对于非 Copy 类型（如 String、Point），用 ref 关键字借用值而非转移所有权，再通过 clone() 生成副本传递给需要所有权的函数；
• 整个过程无需修改 echo、move_position 等函数的签名，完全符合需求。

后续操作的正确选择 #

• 若需保留原始 message 的完整状态：优先使用上述 ref + 克隆的方式，既不破坏原始数据，又能满足下游函数的所有权要求；
• 若仅需修改 message 本身：可以将 process 的参数改为 &mut Message，但这属于修改函数签名的场景；如果不能改签名，且不需要保留原始数据，也可以直接移动值，但此时后续无法再操作原始 message；
• 克隆 vs 可变引用：克隆是创建副本，会带来一定性能开销，但能保留原始数据；可变引用允许直接修改原始数据，但受 Rust 借用规则限制，同一时间只能有一个可变引用。具体选择取决于你的业务需求：如果需要留存原始 message，克隆是必要的；如果只是临时修改且不需要原始数据，可变引用更高效。

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