rust - 为什么T实现了A+B但没有实现特征C : A+B?

Question

我对这个例子感到困惑。尽管 i32 实现了所有的 Num + One + Zero + PartialOrd + RemAssign + Ord ，当我将它们放入特征中以便可以给出别名时，它并没有不工作。

use num_traits::{Num, identities::One, identities::Zero};
use std::cmp::{Ord, PartialOrd};
use std::ops::RemAssign;

pub trait Math: Num + One + Zero + PartialOrd + RemAssign + Ord {}

fn s<T: Num + One + Zero + PartialOrd + Ord + RemAssign>(t: T) {
    unimplemented!();
}

fn ss<T: Math>(t: T) {
    unimplemented!();
}

fn sss() {
    let x: i32 = 5;
    ss(x);
}

Playground

有没有办法强制所有实现Num + One + Zero + PartialOrd + RemAssign + Ord的东西实现Math？

Answer 1

是的，通过添加一个毯子实现:

impl<T: Num + One + Zero + PartialOrd + RemAssign + Ord> Math for T {}