如何限制Rust派生宏仅适用于结构体类型？

正确的实现方式 #

你原来的代码存在两处关键问题：一是错误访问了不存在的ast.Type字段（正确的是ast.data），二是通过字符串匹配类型的做法既不可靠也不规范。正确的做法是直接对syn::DeriveInput的data字段做类型安全的模式匹配，同时用编译错误替代panic，给出友好的提示：

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

#[proc_macro_derive(MyCustomMacro)]
pub fn my_custom_macro_derive(input: TokenStream) -> TokenStream {
    // 用parse_macro_input!自动处理解析错误，替代unwrap()
    let ast = parse_macro_input!(input as DeriveInput);

    match ast.data {
        // 匹配结构体类型，执行宏逻辑
        Data::Struct(_) => impl_my_custom_macro(&ast).into(),
        // 匹配枚举/联合体，生成精准编译错误
        Data::Enum(_) | Data::Union(_) => {
            let err = Error::new_spanned(ast.ident, "MyCustomMacro仅支持结构体类型");
            err.to_compile_error().into()
        }
    }
}

fn impl_my_custom_macro(ast: &DeriveInput) -> proc_macro2::TokenStream {
    // 这里编写你的宏核心逻辑，示例如下：
    let name = &ast.ident;
    quote! {
        impl MyCustomMacro for #name {
            // 自定义方法实现
        }
    }
}

Rust风格与地道实现建议 #

1. 绝对避免在proc宏中用panic!
   proc宏运行在编译阶段，panic会直接导致编译进程崩溃，用户只能看到模糊的错误日志。而syn::Error可以生成指向具体代码位置的、符合Rust编译器风格的错误提示，这才是合规的错误处理方式。

2. 用类型安全的模式匹配替代字符串判断
   syn提供了完整的语法树枚举变体（Data::Struct/Data::Enum/Data::Union），直接匹配这些变体既可靠又高效，完全不需要依赖字符串转换这种脆弱的方式。

3. 优先使用parse_macro_input!
   这个宏是syn提供的便捷工具，比手动调用syn::parse加unwrap更安全，能自动处理解析失败的情况，返回标准化的编译错误。

进阶：匹配特定类型的结构体 #

如果你的宏需要区分具名字段结构体、元组结构体或单元结构体，还可以进一步嵌套匹配：

match ast.data {
    Data::Struct(data_struct) => match data_struct.fields {
        syn::Fields::Named(_) => { /* 处理具名字段结构体 */ },
        syn::Fields::Unnamed(_) => { /* 处理元组结构体 */ },
        syn::Fields::Unit => { /* 处理单元结构体 */ },
    },
    Data::Enum(_) | Data::Union(_) => { /* 错误处理 */ },
}

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