时间戳

首页 > 解决方案 > if let Some 和 match 的区别

rust - if let Some 和 match 的区别

问题描述

试图了解哪里出了问题

fn set_inpt_port_values1(&mut self, input_port_values: HashMap<u8, u8>) {
    if let Some(mut io_handler) = self.io_handler {
       io_handler.set_input_ports_values(input_port_values);
    }
}

得到

cannot move out of `self.io_handler.0` which is behind a mutable referencerustcE0507
i808x.rs(2333, 21): data moved here
i808x.rs(2333, 21): move occurs because `io_handler` has type `Box<dyn IoHandler>`, which does not implement the `Copy` trait
i808x.rs(2333, 39): consider borrowing here

另一方面，类似的功能

fn set_inpt_port_values(&mut self, input_port_values: HashMap<u8, u8>) {
    match &mut self.io_handler {
        Some(io_handler) => {
            io_handler.set_input_ports_values(input_port_values);
        }
        _ => (),
    }
}

可以正常工作/编译（可能set_inpt_port_values不需要可变）。

io_handler 字段是Option<Box<dyn IoHandler>>

pub trait IoHandler {
    fn in_op(&mut self, port: u8) -> u8;
    fn out_op(&mut self, port: u8, byte: u8);
    fn set_input_ports_values(&mut self, input_port_values: HashMap<u8, u8>);
}

标签： rust

解决方案

好吧，在这个声明中

if let Some(mut io_handler) = self.io_handler {

您正试图self.io_handler进入一个名为io_handler. 这是不允许的，因为这会导致self.io_handler未初始化。

另一方面，这match

match &mut self.io_handler {
        Some(io_handler) => {

匹配 a&mut Option<Box<dyn IoHandler>>并将可变引用移动到self.io_handler名为 的不可变变量io_handler中。

您可以使用 if let 来实现相同的目的，方法是使用以下ref关键字：

if let Some(ref mut io_handler) = self.io_handler {

这现在将尝试借用对该框内任何内容的可变引用。

推荐阅读