Rustで`saturating_add`を使った場合のジェネリクス

前提

Rustでsaturating_addを使った場合のジェネリクスの書き方がわかりません。

実現したいこと

下記コードの、HogeU32とHogeU64をジェネリクスで一つにまとめたいです。

rust
1#[derive(Debug)]
2pub struct HogeU32 {
3    value: u32,
4}
5
6impl HogeU32 {
7    pub fn increase(self, value: u32) -> Self {
8        Self {
9            value: u32::saturating_add(self.value, value),
10        }
11    }
12}
13
14#[derive(Debug)]
15pub struct HogeU64 {
16    value: u64,
17}
18
19impl HogeU64 {
20    pub fn increase(self, value: u64) -> Self {
21        Self {
22            value: u64::saturating_add(self.value, value),
23        }
24    }
25}
26
27fn main() {
28    let mut hu32 = HogeU32{
29        value: 100,
30    };
31
32    hu32 = hu32.increase(100);
33
34    println!("{:?}", hu32);
35    
36    let mut hu64 = HogeU64{
37        value: 100,
38    };
39
40    hu64 = hu64.increase(100);
41
42    println!("{:?}", hu64);
43}

発生している問題

型引数を用いたHoge<T>型の構造体を定義した場合、

rust
1value: u32::saturating_add(self.value, value)
2value: u64::saturating_add(self.value, value)

この部分の、型による振り分けをどう書けばいいのかわかりません。
よろしくお願いします。

行動規範の内容に同意します

回答1件

ベストアンサー

u32::saturating_add と u64::saturating_add は同じ名前ですがトレイトの実装というわけではなく、単に同じ名前というだけです。ですからこれを統一的に扱えるトレイトを作れば HogeU32 と HogeU64 は統合することができます。

rust
1trait SaturatingAdd<Rhs = Self> {
2    type Output;
3    fn saturating_add(self, rhs: Rhs) -> Self::Output;
4}
5
6impl SaturatingAdd for u32 {
7    type Output = Self;
8    fn saturating_add(self, rhs: Self) -> Self::Output {
9        u32::saturating_add(self, rhs)
10    }
11}
12
13impl SaturatingAdd for u64 {
14    type Output = Self;
15    fn saturating_add(self, rhs: Self) -> Self::Output {
16        u64::saturating_add(self, rhs)
17    }
18}
19
20#[derive(Debug)]
21pub struct Hoge<T> {
22    value: T,
23}
24
25impl<T: SaturatingAdd<T, Output = T>> Hoge<T> {
26    fn increase(self, value: T) -> Self {
27        Self {
28            value: self.value.saturating_add(value),
29        }
30    }
31}
32
33fn main() {
34    let mut hu32 = Hoge::<u32> { value: 100 };
35
36    hu32 = hu32.increase(100);
37
38    println!("{:?}", hu32);
39
40    let mut hu64 = Hoge::<u64> { value: 100 };
41
42    hu64 = hu64.increase(100);
43
44    println!("{:?}", hu64);
45}