Rust如何对两个引用值执行加法及std::ops::Add约束作用解析

错误原因 #

你代码中执行的是&T + &T操作，Rust中所有运算符的行为都由对应trait定义，加法对应std::ops::Add trait。你最初的泛型约束只要求T实现Debug，没有声明「T的引用类型支持加法操作」，所以编译器抛出类型不匹配错误。

std::ops::Add<Output = &T>约束的作用 #

std::ops::Add是Rust中用于定义加法行为的trait：

• 泛型参数Rhs代表加法右操作数的类型，缺省值为Self，也就是左操作数自身类型
• 关联类型Output代表加法操作的返回值类型

编译器给出的这个约束，实际是要求T类型本身实现Add trait，且两个T实例相加的返回值类型为&T，这个约束和你的需求并不匹配：你需要的是两个&T相加，而不是两个T相加返回引用，所以直接套用这个约束大概率还是无法正常运行。

两个引用类型值加法的正确实现 #

你需要的是两个&T可以执行加法，根据加法返回值的不同，有两种常见的约束写法：

场景1：两个&T相加返回T类型（内置整数类型的默认行为，比如&i32 + &i32返回i32） #

用高阶生命周期约束for<'a>声明任意生命周期的&T都支持加法即可：

use std::fmt::Debug;
use std::ops::Add;

fn main() {
    fn calculate_two_numbers<T: Debug, const N: usize>(data_set: [T;N]) -> (i32,i32) 
    where
        for<'a> &'a T: Add<Output = T>
    {
        // Key Code 
        let a = &data_set[0]+&data_set[1];
        println!("{:?},{:?},{:?}",&data_set[0],&data_set[1],a);
        
        // Ignore
        return (0,0)
    }

    let data = [1509,1857,1736,1815,1576];
    let result = calculate_two_numbers(data);
}

你传入的[i32;5]完全符合这个约束，可以正常输出结果。

场景2：两个&T相加返回&T类型 #

如果你的自定义类型需要两个引用相加后返回引用，调整约束主体即可：

where
    for<'a> &'a T: Add<Output = &'a T>

内置数值类型默认已经实现了引用之间的Add trait，不需要额外写实现逻辑，如果你要给自定义类型实现引用加法，为&YourType实现Add<&YourType> trait即可。

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