Trait core::ops::Sub1.0.0[−][src]

pub trait Sub<Rhs = Self> {
    type Output;
    #[must_use]
    fn sub(self, rhs: Rhs) -> Self::Output;
}
Expand description

减法运算符 -。

请注意，默认情况下 Rhs 是 Self，但这不是强制性的。 例如，std::time::SystemTime 实现 Sub<Duration>，它允许以 SystemTime = SystemTime - Duration 形式进行操作。

Examples

可减分

use std::ops::Sub;

#[derive(Debug, Copy, Clone, PartialEq)]
struct Point {
    x: i32,
    y: i32,
}

impl Sub for Point {
    type Output = Self;

    fn sub(self, other: Self) -> Self::Output {
        Self {
            x: self.x - other.x,
            y: self.y - other.y,
        }
    }
}

assert_eq!(Point { x: 3, y: 3 } - Point { x: 2, y: 3 },
           Point { x: 1, y: 0 });
Run

使用泛型实现 Sub

这是使用泛型实现 Sub trait 的同一 Point 结构体的示例。

use std::ops::Sub;

#[derive(Debug, PartialEq)]
struct Point<T> {
    x: T,
    y: T,
}

// 请注意，该实现使用关联类型 `Output`。
impl<T: Sub<Output = T>> Sub for Point<T> {
    type Output = Self;

    fn sub(self, other: Self) -> Self::Output {
        Point {
            x: self.x - other.x,
            y: self.y - other.y,
        }
    }
}

assert_eq!(Point { x: 2, y: 3 } - Point { x: 1, y: 0 },
           Point { x: 1, y: 3 });
Run

Associated Types

应用 - 运算符后的结果类型。

Required methods

执行 - 操作。

Example

assert_eq!(12 - 1, 11);
Run

Implementors