如何为Rust结构体实现Trait的共享（非默认）以避免代码重复？

针对你遇到的两个结构体A、B实现MyTrait时代码重复的问题，有三种常用的解决思路：

方案1：提取公共字段到独立结构体（组合复用） #

把两个结构体的公共字段抽成一个新结构体，将公共逻辑封装到这个结构体的方法中，A和B通过包含公共结构体来复用逻辑，这是最符合Rust组合优先设计思想的方案。

trait MyTrait {
    fn do_something(&mut self);
}

// 提取公共字段与逻辑
#[derive(Debug)]
struct CommonFields {
    field1: i32,
    field2: i32,
}

impl CommonFields {
    fn update_fields(&mut self) {
        self.field1 += 1;
        self.field2 += 2;
    }
}

struct A {
    common: CommonFields,
    // A的专属字段
    a_specific: String,
}

struct B {
    common: CommonFields,
    // B的专属字段
    b_specific: bool,
}

impl MyTrait for A {
    fn do_something(&mut self) {
        self.common.update_fields();
        // 可添加A的专属逻辑
    }
}

impl MyTrait for B {
    fn do_something(&mut self) {
        self.common.update_fields();
        // 可添加B的专属逻辑
    }
}

方案2：定义访问公共字段的Trait #

如果无法修改原结构体的结构（比如结构体来自外部依赖），可以定义一个用于访问公共字段的Trait，让A和B实现该Trait后，在泛型函数中通过Trait方法访问字段。

// 定义用于访问公共字段的Trait
trait HasCommonFields {
    fn field1_mut(&mut self) -> &mut i32;
    fn field2_mut(&mut self) -> &mut i32;
}

trait MyTrait {
    fn do_something(&mut self);
}

struct A {
    field1: i32,
    field2: i32,
    a_specific: String,
}

struct B {
    field1: i32,
    field2: i32,
    b_specific: bool,
}

// 为A实现字段访问Trait
impl HasCommonFields for A {
    fn field1_mut(&mut self) -> &mut i32 { &mut self.field1 }
    fn field2_mut(&mut self) -> &mut i32 { &mut self.field2 }
}

// 为B实现字段访问Trait
impl HasCommonFields for B {
    fn field1_mut(&mut self) -> &mut i32 { &mut self.field1 }
    fn field2_mut(&mut self) -> &mut i32 { &mut self.field2 }
}

// 泛型函数通过HasCommonFields约束访问字段
fn shared_do_something<T: HasCommonFields>(t: &mut T) {
    *t.field1_mut() += 1;
    *t.field2_mut() += 2;
}

impl MyTrait for A {
    fn do_something(&mut self) {
        shared_do_something(self);
        // 可添加A的专属逻辑
    }
}

impl MyTrait for B {
    fn do_something(&mut self) {
        shared_do_something(self);
        // 可添加B的专属逻辑
    }
}

方案3：使用宏生成重复实现 #

如果两个结构体的公共逻辑完全一致，且不想额外定义Trait或结构体，可以用宏来批量生成MyTrait的实现代码，快速消除重复。

trait MyTrait {
    fn do_something(&mut self);
}

struct A {
    field1: i32,
    field2: i32,
    a_specific: String,
}

struct B {
    field1: i32,
    field2: i32,
    b_specific: bool,
}

// 定义宏来生成MyTrait的实现
macro_rules! impl_my_trait {
    ($struct:ty) => {
        impl MyTrait for $struct {
            fn do_something(&mut self) {
                self.field1 += 1;
                self.field2 += 2;
                // 可添加结构体专属逻辑
            }
        }
    };
}

// 为A和B生成实现
impl_my_trait!(A);
impl_my_trait!(B);

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