为泛型Parameter trait实现加法操作的惯用Rust API方案

首先需要补充必要的导入，因为用到了加法运算符的 trait：

use std::ops::Add;

1. 调整现有结构体（补充生命周期限定） #

动态分发的 trait object 需要明确生命周期，我们给 ParameterAdd 添加 'static 限定（如果你的参数对象有其他生命周期需求，可替换为对应生命周期参数）：

pub struct ParameterAdd<T: Add> {
    first_parameter: Box<dyn Parameter<T> + 'static>,
    second_parameter: Box<dyn Parameter<T> + 'static>,
}

impl<T: Add<Output = T>> Parameter<T> for ParameterAdd<T> {
    fn get(&self) -> T {
        self.first_parameter.get() + self.second_parameter.get()
    }
}

2. 实现Add trait（惯用运算符重载） #

最符合 Rust 风格的方式是为 Box<dyn Parameter<T>> 实现 Add trait，这样可以直接使用熟悉的 + 运算符：

impl<T: Add<Output = T>> Add for Box<dyn Parameter<T> + 'static> {
    type Output = Box<dyn Parameter<T> + 'static>;

    fn add(self, rhs: Self) -> Self::Output {
        Box::new(ParameterAdd {
            first_parameter: self,
            second_parameter: rhs,
        })
    }
}

使用示例：

// 假设有一个实现了Parameter<i32>的结构体Number
struct Number(i32);
impl Parameter<i32> for Number {
    fn get(&self) -> i32 {
        self.0
    }
}

fn main() {
    let num1 = Box::new(Number(5)) as Box<dyn Parameter<i32>>;
    let num2 = Box::new(Number(3)) as Box<dyn Parameter<i32>>;
    let sum = num1 + num2;
    assert_eq!(sum.get(), 8);
}

3. 备选：提供自由函数API #

如果更倾向于明确的函数调用而非运算符，也可以提供一个公开的自由函数：

pub fn add_parameters<T: Add<Output = T>>(
    first: impl Parameter<T> + 'static,
    second: impl Parameter<T> + 'static,
) -> Box<dyn Parameter<T>> {
    Box::new(ParameterAdd {
        first_parameter: Box::new(first),
        second_parameter: Box::new(second),
    })
}

使用示例：

let sum = add_parameters(Number(5), Number(3));
assert_eq!(sum.get(), 8);

关键说明 #

• 动态分发（Box<dyn Parameter<T>>）的好处是可以将不同类型的 Parameter 实现统一处理，但会带来轻微的运行时开销；如果不需要动态多态，也可以将 ParameterAdd 改为泛型结构体存储具体类型，避免装箱开销。
• 生命周期限定 'static 确保装箱的对象不会在使用前被销毁，如果你的参数对象依赖外部生命周期，可以将 'static 替换为对应的生命周期参数（比如 'a），并在相关 impl 中声明。

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