Rust 将可变枚举引用与向量匹配

Question

我正在尝试更改枚举的命名属性，但出现此错误。

cannot move out of a mutable referencerustc(E0507)
parser.rs(323, 36): data moved here
parser.rs(323, 36): move occurs because `statements` has type `std::vec::Vec<std::boxed::Box<ast::ast::StatementType>>`, which does not implement the `Copy` trait

我看到我们可以使用 match 语句更改枚举的命名道具。但是我不明白为什么会发生移动，因为我是在借用枚举本身。代码如下：

        match &mut block {
            StatementType::Block { mut statements, .. } => {
                statements = block_statements;
            },
            _ => panic!()
        };
        return block;

我也尝试过 mem::swap 但仍然是同样的错误：

        match &mut block {
            StatementType::Block { mut statements, .. } => {
                // statements = block_statements;
                std::mem::swap(&mut statements, &mut block_statements);
            },
            _ => panic!()
        };
        return block;

但是当我这样做时：

                std::mem::swap(&mut *statements, &mut *block_statements);

错误变为：

the size for values of type `[std::boxed::Box<ast::ast::StatementType>]` cannot be known at compilation time

doesn't have a size known at compile-time

类型是：

• StatementType 是派生克隆的枚举
• Block 是 StatementType 的可变变量
• 块的statements是Vec<Box<StatementType>>的变量
• block_statements 是 Vec<Box<StatementType>> 的另一个变量

请不要说它的发生是因为语句的类型是向量：请提供解决方案，因为我也可以阅读错误消息。

Answer 1

您必须考虑statements 的类型以及您希望它是什么。

使用您编写的代码，它是Vec<_> 类型（对不起，我说过），但是由于match 通过引用捕获块，它不能按值获取内容，因此出现错误。请注意，错误不在分配中，而是在匹配大括号本身中：

error[E0507]: cannot move out of a mutable reference
  --> src/main.rs:15:11
   |
15 |     match &mut block {
   |           ^^^^^^^^^^
16 |         StatementType::Block { mut statements, .. } => {
   |                                --------------
   |                                |
   |                                data moved here
   |                                move occurs because `statements` has type `std::vec::Vec<std::boxed::Box<StatementType>>`, which does not implement the `Copy` trait

您当然希望statement 的类型为&mut Vec<_>。您可以通过使用ref mut 捕获模式来实现：

    match block {
        StatementType::Block { ref mut statements, .. } => {
            *statements = block_statements;
        },
        _ => panic!()
    };

并且记住在分配时使用*statement，因为它现在是一个引用。当然，如果您愿意，也可以使用mem::swap：

            std::mem::swap(statements, &mut block_statements);

但请注意，您不需要match &mut block，但您可以直接使用match block。

有一个叫做match人体工学的东西，它可以让你匹配一个引用并省略ref mut捕获模式，这使得你的代码更容易编写和理解：

    match &mut block {
        StatementType::Block { statements, .. } => {
            *statements = block_statements;
        },
        _ => panic!()
    };

原始代码中的问题是，如果指定任何捕获模式，则匹配人体工程学被禁用。