如何修改给定的Rust程序使其正常运行？

问题原因 #

第一段代码无法编译的核心原因是：泛型约束仅要求T实现std::ops::Add<Output = T>，但函数接收的参数是&T（T的引用），直接执行a + b时，编译器无法确认&T类型是否支持加法操作——尽管像i32这类基本类型的引用在标准库中有Add实现，但泛型约束未覆盖这种情况。

修改方案 #

以下两种方式都可以修复代码：

方案1：解引用参数后执行加法

直接对引用参数解引用，使用T类型执行加法（符合原约束的要求）：

fn main() {
    let a = 2;
    let b = 3;
    println!("{}", sum1(&a, &b));
}

fn sum1<T: std::ops::Add<Output = T>>(a: &T, b: &T) -> T {
    *a + *b
}

方案2：调整泛型约束，适配引用类型

修改约束条件，要求&T实现Add且输出类型为T，这样可以直接对引用执行加法：

fn main() {
    let a = 2;
    let b = 3;
    println!("{}", sum1(&a, &b));
}

fn sum1<T>(a: &T, b: &T) -> T
where
    &T: std::ops::Add<Output = T>,
{
    a + b
}

补充说明 #

你提供的第二段代码（指定&i32参数）能运行，是因为标准库为&i32实现了Add<Output = i32>，但代码中的返回值->T是笔误，实际应该写->i32才能正常编译。

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