generics - 元组std::ops的通用实现

Question

我想在一个元组上Add和Sub。简单的实现似乎无效。

impl Add for (u32, u32) {
    type Output = (u32, u32);
    fn add(self, other: Self) -> Self::Output {
        (self.0 + other.0, self.1 + other.1)
    }
}

对于每个基本操作都要做很多样板工作。我该如何使用泛型来为已经实现 std::ops::Add的每个基元(或其他对象)编写一个实现

Answer 1

Rust不允许您创建自己的运算符或重载任意运算符。但是，您可以通过实现与运算符关联的特征来重载std::ops中列出的操作和相应特征。

只能对任意类型实现在当前箱中定义的特征。

所以我的解决方案是使用元组struct struct My2<T>(T, T);:

use std::ops::Add;

#[derive(Debug, PartialEq)]
struct My2<T>(T, T);

impl<T: Add<Output = T>> Add for My2<T> {
    type Output = Self;

    fn add(self, other: Self) -> Self::Output {
        Self(self.0 + other.0, self.1 + other.1)
    }
}

fn main() {
    assert_eq!(My2(1, 0) + My2(2, 3), My2(3, 3));
}