如何优雅实现修改含已知属性的Rust泛型类型向量元素

我最近尝试编写一个接收不同类型向量的泛型函数，已知所有可能传入的类型都具备某个可修改的属性，希望在函数中统一修改该属性。示例代码如下：

pub fn modify_generic_structs<L>(vec_of_types: &Vec<L>) -> Result<(), Box<dyn Error>> {
    
    for custom_type in vec_of_types.iter_mut() {
        // 按预设规则修改属性
        // 我们保证每个custom_type都有.property字段！
        custom_type.property = someRandomValue;
    }
    Ok(())
}

目前这个实现无法编译，因为编译器不知道L类型拥有.property属性。我知道可以为每种类型单独写函数再分支调用，但这种方式太繁琐，想找更优雅的解决方案。

最优解决方案：用Trait抽象共同行为 #

Rust中处理这类"不同类型拥有共同行为"的场景，最优雅的方式是定义Trait来抽象这个共同属性的修改能力，具体步骤如下：

1. 定义包含属性操作的Trait #

创建一个Trait，抽象出对目标属性的访问或修改能力，比如：

use std::error::Error;

// 方式1：直接定义修改方法
trait HasModifiableProperty {
    fn modify_property(&mut self, new_value: i32); // 可根据实际属性类型调整参数
}

// 方式2：提供属性的可变引用（更灵活）
trait HasModifiableProperty {
    fn property_mut(&mut self) -> &mut i32;
}

2. 为所有目标类型实现该Trait #

针对每个需要传入泛型函数的自定义类型，实现这个Trait：

// 示例自定义类型1
struct TypeA {
    property: i32,
    // 其他字段...
}

impl HasModifiableProperty for TypeA {
    fn property_mut(&mut self) -> &mut i32 {
        &mut self.property
    }
}

// 示例自定义类型2
struct TypeB {
    property: i32,
    // 其他字段...
}

impl HasModifiableProperty for TypeB {
    fn property_mut(&mut self) -> &mut i32 {
        &mut self.property
    }
}

3. 修改泛型函数，添加Trait约束 #

在泛型参数L上添加HasModifiableProperty约束，同时调整参数为可变引用（需要修改属性必须可变）：

pub fn modify_generic_structs<L: HasModifiableProperty>(vec_of_types: &mut [L]) -> Result<(), Box<dyn Error>> {
    let some_random_value = 42; // 替换为你的预设规则逻辑
    
    for custom_type in vec_of_types.iter_mut() {
        // 方式1：调用修改方法
        // custom_type.modify_property(some_random_value);
        
        // 方式2：通过可变引用直接修改
        *custom_type.property_mut() = some_random_value;
    }
    Ok(())
}

这里用&mut [L]替代&mut Vec<L>，让函数支持所有可变切片类型，灵活性更高。

额外优化：默认实现减少重复代码 #

如果所有类型的属性修改逻辑完全一致，可以在Trait中提供默认实现，避免重复编写修改逻辑：

trait HasModifiableProperty {
    fn property_mut(&mut self) -> &mut i32;
    
    // 默认实现：封装预设的修改规则
    fn apply_default_modification(&mut self) {
        let calculated_value = 42; // 这里写你的预设规则
        *self.property_mut() = calculated_value;
    }
}

这样所有实现该Trait的类型，都可以直接调用apply_default_modification方法，无需重复编写修改逻辑。

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