Rust泛型Builder模式：能否仅调用方法时通过宏生成结构体？

我正在为支持任意数量泛型的结构体实现Builder模式，核心逻辑是通过多个结构体逐步构建，示例代码如下：

struct EmptyBuilder {}

impl EmptyBuilder {
    fn add_generic<T>(self) -> Builder1<T>;
}

struct Builder1<T1> {}

impl<T1> Builder1<T1> {
    fn add_generic<T2>(self) -> Builder2<T1, T2>;
}

struct Builder2<T1, T2> {}

原本可以通过宏自动生成这些Builder，但由于存在两种类型的泛型且顺序至关重要，预生成大量Builder会造成代码冗余。我想知道是否能仅在调用add_generic方法时，才触发宏生成对应的Builder结构体？

解决方案 #

可以实现！Rust的宏系统结合惰性编译特性，能做到仅在实际调用时生成对应的Builder结构体。以下是两种可行思路：

1. 递归宏配合惰性展开 #

定义递归宏，每次调用add_generic时，宏会根据当前Builder的泛型数量动态生成下一级结构体及其实现。Rust宏仅在调用点展开，未被触发的分支不会生成代码，自然避免冗余。

示例实现框架：

// 递归宏，用于生成对应层级的Builder
macro_rules! generate_next_builder {
    // 从EmptyBuilder生成Builder1
    (EmptyBuilder) => {
        pub struct Builder1<T1> {}

        impl<T1> Builder1<T1> {
            pub fn add_generic<T2>(self) -> Builder2<T1, T2> {
                // 触发下一层Builder的生成
                generate_next_builder!(Builder1<T1>, T2);
                Builder2 {}
            }
        }
    };
    // 从BuilderN生成BuilderN+1
    (Builder$n:ident<$($t:ident),*>, $new_t:ident) => {
        pub struct Builder$(n+1)<$($t,)* $new_t> {}

        impl<$($t,)* $new_t> Builder$(n+1)<$($t,)* $new_t> {
            pub fn add_generic<TNext>(self) -> Builder$(n+2)<$($t,)* $new_t, TNext> {
                generate_next_builder!(Builder$(n+1)<$($t,)* $new_t>, TNext);
                Builder$(n+2) {}
            }
        }
    };
}

// 初始Builder定义
pub struct EmptyBuilder {}

impl EmptyBuilder {
    pub fn add_generic<T>(self) -> Builder1<T> {
        // 触发Builder1的生成
        generate_next_builder!(EmptyBuilder);
        Builder1 {}
    }
}

使用时，只有当你调用empty_builder.add_generic::<i32>()时，Builder1<i32>才会被生成；继续调用add_generic::<String>()，才会生成Builder2<i32, String>，以此类推。

2. 过程宏实现更灵活的按需生成 #

如果递归宏无法满足复杂的泛型处理需求，可以编写过程宏（proc-macro）来实现。过程宏能在编译期分析代码的调用路径，精准为实际被调用的add_generic生成对应的Builder结构体。

核心步骤：

• 编写一个属性宏或函数宏，拦截add_generic的调用
• 解析当前Builder的泛型参数列表，动态生成下一级Builder的定义和方法实现
• 确保未被调用的层级不会生成任何代码

这种方式适合处理包含约束的泛型、不同类型的泛型区分等复杂场景，但需要掌握proc-macro的编写技巧（如使用syn和quote库）。

关键注意事项 #

• 泛型顺序严格性：无论哪种方案，都必须保证生成的Builder泛型参数顺序与add_generic的调用顺序完全一致，这是实现需求的核心。
• 编译效率：按需生成不会增加额外编译负担，只有实际使用的代码会被编译。
• 代码可维护性：递归宏要尽量简洁，过程宏则需做好逻辑拆分，避免过度复杂的生成逻辑。

内容的提问来源于stack exchange，提问作者LucioleMaléfique