为何解引用非元组可行，但解引用引用构成的元组匹配失败？

这个问题的核心在于Rust的借用与移动规则，我们一步步拆解来理解：

问题根源：从引用中移动非Copy类型 #

sort_unstable_by的闭包参数a和b是对Vec中元素的不可变引用（类型为&MyEnum）。你的枚举MyEnum没有实现Copy trait，这意味着：

• 当你尝试*a时，Rust会默认尝试把引用指向的MyEnum值移动到新位置（这里是元组）
• 但你只有这个值的借用权，没有所有权，Rust不允许你从借用的内容中移动值——这会导致原Vec中的元素失效，因此触发E0507错误。

逐个分析你的写法 #

写法1：为什么不行？ #

my_list.sort_unstable_by(|a, b| match (*a, *b) {
    (MyEnum::Option1, MyEnum::Option1) => Ordering::Equal,
    (MyEnum::Option1, MyEnum::Option2) => Ordering::Less,
    _ => Ordering::Greater
});

这里的(*a, *b)尝试将两个引用指向的枚举值移动到元组中，而MyEnum没有Copy特性，移动操作会消耗原引用指向的内容——这是Rust绝对禁止的，因为你只是借用这些值，不能修改或消耗它们。

写法2：为什么可行？ #

my_list.sort_unstable_by(|a, _b| match *a {
    MyEnum::Option1 => Ordering::Less,
    MyEnum::Option2 => Ordering::Greater
});

这里的match *a是引用的模式匹配，Rust会自动处理为“借用匹配”：你并没有移动*a的值，只是检查它的变体。而且这个写法只用到了a的内容，没有涉及b的移动操作，因此完全符合借用规则。

写法3：为什么可行？ #

my_list.sort_unstable_by(|a, b| match (a, b) {
    (&MyEnum::Option1, &MyEnum::Option1) => Ordering::Equal,
    (&MyEnum::Option1, &MyEnum::Option2) => Ordering::Less,
    _ => Ordering::Greater
});

这个写法直接操作引用本身，在匹配臂中用&MyEnum::Option1来匹配引用指向的内容，全程没有尝试移动任何值——所有操作都是基于引用的借用，完全符合Rust的安全规则。

如何修改写法1使其生效？ #

有两种常见解决方案：

方案1：给枚举实现Copy trait #

如果你的枚举只包含单元变体（没有复杂内部数据），可以直接派生Copy和Clone：

use std::cmp::Ordering;

#[derive(Copy, Clone)]
enum MyEnum { Option1, Option2, }

fn main() {
    let mut my_list: Vec<MyEnum> = vec![MyEnum::Option1, MyEnum::Option2, MyEnum::Option1];
    // 现在可以正常运行
    my_list.sort_unstable_by(|a, b| match (*a, *b) {
        (MyEnum::Option1, MyEnum::Option1) => Ordering::Equal,
        (MyEnum::Option1, MyEnum::Option2) => Ordering::Less,
        _ => Ordering::Greater
    });
}

Copy trait会让编译器自动复制枚举值，*a不再是移动原数据，而是生成一个副本，因此不会触发移动错误。

方案2：使用引用的模式匹配（无需修改枚举） #

如果你不想给枚举加Copy，可以在元组中保留引用，通过模式解构匹配内容，本质和写法3一致，还可以稍作简化：

my_list.sort_unstable_by(|a, b| match (a, b) {
    (&MyEnum::Option1, &MyEnum::Option1) => Ordering::Equal,
    (&MyEnum::Option1, _) => Ordering::Less,
    _ => Ordering::Greater
});

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