Rust中如何为实现同一Trait的不同类型变量循环执行代码块？

针对你遇到的同 trait 不同具体类型遍历、又要避免动态分发和泛型函数传参开销的场景，有两种惯用的静态分发方案：

方案一：使用宏重复执行逻辑 #

利用 Rust 宏的代码展开能力，把相同的循环体逻辑分别作用在每个变量上，完全是编译时静态处理，无任何运行时开销，且能直接访问当前作用域的所有变量，无需额外传参。

示例代码：

trait Z {
    fn apply(&self);
}

struct X;
impl Z for X {
    fn apply(&self) { println!("X applied") }
}

struct Y;
impl Z for Y {
    fn apply(&self) { println!("Y applied") }
}

// 定义宏，接收任意多个实现了Z的变量
macro_rules! process_z_vars {
    ($($var:expr),*) => {
        $(
            // 这里直接写原循环体的逻辑，能访问外部作用域的所有变量
            let z = &$var;
            // ... 执行涉及外部变量的操作
            z.apply();
        )*
    };
}

fn some_func() {
    // 初始化外部变量
    let external_data = "some data";
    
    let x = X;
    let y = Y;
    
    // 调用宏处理x和y
    process_z_vars!(x, y);
}

这种方案适合类型数量少、后续不会频繁新增类型的场景，写法简洁直接。

方案二：用枚举包装具体类型并实现 trait #

把所有需要处理的类型包装到一个枚举中，为枚举实现目标 trait，这样就能用同构的枚举数组进行遍历，且 trait 调用是静态分发（match 分支编译时确定），同样无动态开销，也无需提取泛型函数。

示例代码：

trait Z {
    fn apply(&self);
}

struct X;
impl Z for X {
    fn apply(&self) { println!("X applied") }
}

struct Y;
impl Z for Y {
    fn apply(&self) { println!("Y applied") }
}

// 定义枚举包装所有需要处理的类型
enum ZHolder {
    X(X),
    Y(Y),
}

// 为枚举实现Z trait，内部转发到具体类型的实现
impl Z for ZHolder {
    fn apply(&self) {
        match self {
            ZHolder::X(x) => x.apply(),
            ZHolder::Y(y) => y.apply(),
        }
    }
}

fn some_func() {
    // 初始化外部变量
    let external_data = "some data";
    
    let x = X;
    let y = Y;
    
    // 包装成枚举数组遍历
    for z in &[ZHolder::X(x), ZHolder::Y(y)] {
        // ... 执行涉及外部变量的操作
        z.apply();
    }
}

这种方案适合后续可能新增更多实现 Z trait 的类型的场景，扩展性更好，代码结构更清晰。

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