# Trait tracing::stdlib::ops::Sub

1.0.0 · source ·
``````pub trait Sub<Rhs = Self> {
type Output;

// Required method
fn sub(self, rhs: Rhs) -> Self::Output;
}``````
Expand description

The subtraction operator `-`.

Note that `Rhs` is `Self` by default, but this is not mandatory. For example, `std::time::SystemTime` implements `Sub<Duration>`, which permits operations of the form `SystemTime = SystemTime - Duration`.

## §Examples

### §`Sub`tractable points

``````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 });``````

### §Implementing `Sub` with generics

Here is an example of the same `Point` struct implementing the `Sub` trait using generics.

``````use std::ops::Sub;

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

// Notice that the implementation uses the associated type `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 });``````

## Required Associated Types§

source

#### type Output

The resulting type after applying the `-` operator.

## Required Methods§

source

#### fn sub(self, rhs: Rhs) -> Self::Output

Performs the `-` operation.

##### §Example
``assert_eq!(12 - 1, 11);``

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

1.3.0 · source§

§

1.8.0 · source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.8.0 · source§

§

1.8.0 · source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.74.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

1.14.0 · source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§

source§

§