Rust宏优化：如何省略枚举变体格式或变体名提取字段

我在Rust中用枚举Tab存储应用标签页的专属变量，要提取StrokeProperties变体里的selection字段，无法直接通过self.selection访问，只能用match语句实现：

enum Tab {
    StrokeProperties { selection: [bool; 2] },
    Canvas {},
    Library {},
}

let selection = match self { // self为Tab类型
    Tab::StrokeProperties { selection, .. } => selection,
    _ => unreachable!(),
};

为避免重复编写这段match代码，我尝试实现enum_get宏，但最初的写法报错：

macro_rules! enum_get {
    ($matched_variant:expr, $matched_enum:expr, $field:ident) => {
        match $matched_variant {
            $matched_enum { $field, .. } => { $field },
            _ => { !unreachable!() }
        }
    }
}
// 调用方式
enum_get!(self, Tab::StrokeProperties, selection);

报错信息：

--> src\ui.rs:9:27
   |
9  |             $matched_enum { $field, .. } => { $field },
   |                           ^ expected one of `...`, `..=`, `..`, `=>`, `if`, or `|`
...
65 |                             let selection = enum_get!(self, Tab::StrokeProperties, selection);
   |                                             ------------------------------------------------- in this macro invocation
   |
   = note: this error originates in the macro `enum_get` (in Nightly builds, run with -Z macro-backtrace for more info)

调整后的宏可运行，但调用时仍需传入完整匹配模式，简化效果有限：

macro_rules! enum_get {
    ($matched_variant:expr, $matched_enum:pat, $field:ident) => {
        match $matched_variant {
            $matched_enum => { $field },
            _ => { !unreachable!() }
        }
    }
}
// 调用方式
enum_get!(self, Tab::StrokeProperties { selection, .. }, selection);

请问能否优化该宏，实现调用时无需编写{ selection, .. }这类花括号格式，甚至完全省略Tab::StrokeProperties变体名的指定？

方案1：优化声明宏，自动生成结构体匹配模式 #

最初宏报错的核心原因是用expr（表达式）片段类型捕获枚举变体路径，而模式中需要的是path类型片段。修改后的宏可自动拼接合法的结构体模式，调用时无需手动编写花括号：

macro_rules! enum_get {
    ($target:expr, $variant:path, $field:ident) => {
        match $target {
            $variant { $field, .. } => $field,
            _ => unreachable!("Expected variant: {}", stringify!($variant)),
        }
    };
}

调用方式与最初预期一致：

let selection = enum_get!(self, Tab::StrokeProperties, selection);

该宏通过$variant:path捕获枚举变体的路径，展开时自动拼接{ $field, .. }形成合法模式，同时用stringify!生成清晰的错误提示信息。

方案2：省略变体名（需过程宏支持） #

若想完全省略变体名，仅通过字段名提取值，声明宏无法实现——因为声明宏无类型感知能力，无法关联字段与对应变体。此时需使用自定义derive过程宏自动生成getter方法：

1. 在Cargo.toml添加依赖：

[dependencies]
syn = { version = "2.0", features = ["full"] }
quote = "1.0"
proc-macro2 = "1.0"

2. 实现EnumGet derive宏（需单独创建proc-macro crate或在现有crate中启用proc-macro功能）：

use proc_macro::TokenStream;
use quote::quote;
use syn::{parse_macro_input, DeriveInput, Data, Fields, Ident};

#[proc_macro_derive(EnumGet)]
pub fn derive_enum_get(input: TokenStream) -> TokenStream {
    let input = parse_macro_input!(input as DeriveInput);
    let enum_name = input.ident;

    let mut getters = Vec::new();

    if let Data::Enum(data) = input.data {
        for variant in data.variants {
            let variant_name = variant.ident;
            if let Fields::Named(fields) = variant.fields {
                for field in fields.named {
                    let field_name = field.ident.unwrap();
                    let getter_name = Ident::new(&format!("get_{}", field_name), field_name.span());

                    getters.push(quote! {
                        pub fn #getter_name(&self) -> &_ {
                            match self {
                                Self::#variant_name { #field_name, .. } => #field_name,
                                _ => unreachable!("Called get_{} on wrong variant", stringify!(#field_name)),
                            }
                        }
                    });
                }
            }
        }
    }

    let expanded = quote! {
        impl #enum_name {
            #(#getters)*
        }
    };

    expanded.into()
}

3. 在主代码中使用该derive宏：

#[derive(EnumGet)]
enum Tab {
    StrokeProperties { selection: [bool; 2] },
    Canvas {},
    Library {},
}

4. 直接调用生成的getter方法，无需指定变体名：

let selection = self.get_selection();

这种方式彻底省略了变体名，通过字段名对应的getter方法直接提取值，适合频繁从枚举变体中读取字段的场景。

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