如何让Rust属性过程宏在编译器解析项之前运行？

问题根源 #

普通属性宏（#[proc_macro_attribute]）的执行时机在编译器完成对被标注代码的语法解析之后。你的结构体字段中LiteralType("f32")并非合法的Rust类型语法，编译器会先尝试解析这段代码，直接触发语法错误，属性宏根本没有机会执行转换逻辑。

可行解决方案：使用函数式宏 #

函数式宏（#[proc_macro]）直接接收原始TokenStream作为输入，在编译器解析代码前完成语法转换，能完美处理你的特殊语法需求。

宏实现示例 #

use proc_macro::TokenStream;
use quote::quote;
use syn::{parse_macro_input, DeriveInput, Fields, Type, LitStr, ExprLit};

#[proc_macro]
pub fn my_macro(input: TokenStream) -> TokenStream {
    let mut input = parse_macro_input!(input as DeriveInput);
    
    // 遍历并处理结构体的命名字段
    if let syn::Data::Struct(data_struct) = &mut input.data {
        if let Fields::Named(fields_named) = &mut data_struct.fields {
            for field in &mut fields_named.named {
                // 匹配LiteralType("xxx")的类型格式
                if let Type::Path(type_path) = &mut field.ty {
                    let seg = &mut type_path.path.segments;
                    if seg.len() == 1 && seg[0].ident == "LiteralType" {
                        // 提取括号内的字符串字面量
                        if let syn::PathArguments::Parenthesized(args) = &seg[0].arguments {
                            if let Some(expr) = args.args.first() {
                                if let ExprLit(expr_lit) = expr {
                                    if let LitStr(lit_str) = &expr_lit.lit {
                                        // 将字符串转换为对应的类型标识符
                                        let ty_ident = syn::Ident::new(lit_str.value().as_str(), lit_str.span());
                                        field.ty = Type::Path(syn::TypePath {
                                            qself: None,
                                            path: syn::Path::from(ty_ident),
                                        });
                                    }
                                }
                            }
                        }
                    }
                }
            }
        }
    }
    
    // 生成处理后的合法结构体代码
    quote!(#input).into()
}

使用方式 #

my_macro! {
    struct Point {
        x: LiteralType("f32"),
        y: LiteralType("f32"),
    }
}

属性宏的替代折中方案（不推荐） #

如果一定要用属性宏形式，只能先让原结构体代码合法，再通过属性宏解析特殊内容。例如将字段定义嵌入字符串字面量：

#[my_macro]
struct Point {
    _fields: "x: LiteralType(\"f32\"), y: LiteralType(\"f32\")",
}

然后在属性宏中解析这个字符串并生成正确的结构体。但这种方式破坏了Rust代码的可读性和语法直觉，远不如函数式宏方案实用。

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