Rust声明式宏递归调用重复参数失败，无法生成泛型new方法

问题描述 #

需要编写一个声明式宏，自动生成包含默认new方法的结构体：

• 当结构体包含String类型字段时，new方法需为泛型函数，接受实现Into<String>的类型（如fn new<S: Into<String>>(..., name: S, ...)）
• 无String字段时，生成普通的new方法

原宏调用示例：

impl_type!(
    User {
        id: i64,
        name: String,
    }
);

触发编译错误：

error: expected one of `(` or `<`, found `impl_type`
  --> src/macros/impl_type.rs:39:24
   |
38 |           impl $name {
   |  ____________________-
   | |____________________|
   | |
39 | |             pub fn new impl_type!(@template_if_string $($field_type,)*)
   | |                        ^^^^^^^^^ expected one of `(` or `<`
40 | |             ($($field: impl_type!(@ty_fn $field_type),)*) -> Self {

原代码问题分析 #

1. 宏展开位置错误：Rust不允许在函数签名的语法节点中间（如fn new和参数列表之间）直接嵌套宏调用，宏展开必须对应完整的语法单元。
2. 递归逻辑错误：@ty_fn分支中impl_type!($field_type)会无限递归调用主宏，而非返回原字段类型。
3. 泛型参数生成逻辑不完善：原代码仅在遇到第一个String时生成泛型参数，但未正确关联到对应的字段类型。

重构后的宏实现 #

macro_rules! impl_type {
    // 主入口：定义结构体并触发new方法生成逻辑
    (
        $name:ident {
            $($field:ident : $field_type:ty,)*
        }
    ) => {
        pub struct $name {
            $($field: $field_type,)*
        }

        // 调用内部宏判断是否需要泛型new方法
        impl_type!(@generate_new $name, [ $($field),* ], [ $($field_type),* ]);
    };

    // 内部规则：无String字段，生成普通new方法
    (@generate_new $name:ident, [ $($field:ident),* ], [ $($non_string_ty:ty),* ]) => {
        impl $name {
            pub fn new($($field: $non_string_ty,)*) -> Self {
                $name {
                    $($field,)*
                }
            }
        }
    };

    // 内部规则：找到String字段，生成带泛型的new方法
    (@generate_new $name:ident, [ $str_field:ident, $($rest_field:ident),* ], [ String, $($rest_ty:ty),* ]) => {
        impl $name {
            pub fn new<S: Into<String>>(
                $str_field: S,
                $($rest_field: $rest_ty,)*
            ) -> Self {
                $name {
                    $str_field: $str_field.into(),
                    $($rest_field,)*
                }
            }
        }
    };

    // 内部规则：递归跳过非String字段，直到找到第一个String或遍历完成
    (@generate_new $name:ident, [ $non_str_field:ident, $($rest_field:ident),* ], [ $non_str_ty:ty, $($rest_ty:ty),* ]) => {
        impl_type!(@generate_new $name, [ $($rest_field,)*, $non_str_field ], [ $($rest_ty,)*, $non_str_ty ]);
    };
}

代码说明 #

1. 主宏逻辑：先定义结构体，再调用内部宏@generate_new处理new方法的生成。
2. 递归字段遍历：内部宏通过递归遍历所有字段类型，区分两种情况：
   • 无String字段：生成普通new方法，直接接受原类型参数
   • 有String字段：生成带<S: Into<String>>泛型的方法，对应String字段接受S类型，初始化时调用into()转换为String
3. 语法正确性：确保宏展开后生成完整的、符合Rust语法的函数定义，避免在语法节点中间插入宏调用。

测试验证 #

调用宏生成User结构体后，可正常使用泛型new方法：

// 使用字符串字面量
let user1 = User::new(1, "Alice");
// 使用String类型
let user2 = User::new(2, String::from("Bob"));

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