Trait std::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

将 self 和 rhs 之差作为新的 BTreeSet<T> 返回。

Examples

use std::collections::BTreeSet;

let a: BTreeSet<_> = vec![1, 2, 3].into_iter().collect();
let b: BTreeSet<_> = vec![3, 4, 5].into_iter().collect();

let result = &a - &b;
let result_vec: Vec<_> = result.into_iter().collect();
assert_eq!(result_vec, [1, 2]);
Run

将 self 和 rhs 之差作为新的 HashSet<T, S> 返回。

Examples

use std::collections::HashSet;

let a: HashSet<_> = vec![1, 2, 3].into_iter().collect();
let b: HashSet<_> = vec![3, 4, 5].into_iter().collect();

let set = &a - &b;

let mut i = 0;
let expected = [1, 2];
for x in &set {
    assert!(expected.contains(x));
    i += 1;
}
assert_eq!(i, expected.len());
Run