如何向生成结构体的Rust宏传递字段属性？

• 问题根源：你的宏签名中$($(#[$field_meta: meta])* $field_name: ident: $field_type: ty),*的重复捕获逻辑存在问题，编译器无法正确识别嵌套重复的元数据属性，从而抛出“field_meta is still repeating at this depth”错误。

• 正确的宏写法：需要将字段属性与字段定义绑定为同一个重复单元，确保每次重复都对应完整的「属性+字段」组合，示例如下：

macro_rules! define_flatten_struct {
    ($struct_name: ident { $($(#[$field_meta: meta])* $field_name: ident: $field_type: ty),* $(,)? }) => {
        #[derive(Debug, serde::Deserialize)]
        struct $struct_name {
            $(
                $(#[$field_meta])*
                $field_name: $field_type,
            )*
            // 这里可以添加模拟flatten逻辑的额外字段或处理代码
        }
    };
}

• 关键细节说明：

  • 将(#[$field_meta: meta])*与字段定义放在同一个重复组内，保证每次展开时属性和对应字段一一匹配。
  • 加入$(,)?是为了支持字段列表末尾的可选逗号，提升宏的易用性。
  • 结构体内部展开时，用嵌套的$( $(#[$field_meta])* $field_name: $field_type, )*语法，让编译器正确处理每个字段的所有属性。

• 使用示例：

define_flatten_struct!(MyFlattenedStruct {
    #[serde(rename = "user_name")]
    name: String,
    #[serde(default = "default_age")]
    age: u32,
    email: Option<String>,
});

这样修改后，宏就能正确接收并传递字段属性，同时你可以在宏内部添加额外逻辑来模拟#[serde(flatten)]的行为。

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