core::ops::Add - Rust
Description: API documentation for the Rust `Add` trait in crate `core`.
Keywords: rust, rustlang, rust-lang, Add

# Trait core::ops::Add 1.0.0 [−] [src]

    #[lang = "add"]
    pub trait Add<RHS = Self> {
        type Output;
        fn add(self, rhs: RHS) -> Self::Output;
    }

The addition operator `+`.

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

# Examples

## `Add`able points

    use std::ops::Add;

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

    impl Add for Point {
        type Output = Point;

        fn add(self, other: Point) -> Point {
            Point {
                x: self.x + other.x,
                y: self.y + other.y,
            }
        }
    }

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

## Implementing `Add` with generics

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

    use std::ops::Add;

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

    // Notice that the implementation uses the associated type `Output`.
    impl<T: Add<Output=T>> Add for Point<T> {
        type Output = Point<T>;

        fn add(self, other: Point<T>) -> Point<T> {
            Point {
                x: self.x + other.x,
                y: self.y + other.y,
            }
        }
    }

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

## Associated Types

### `type Output`

The resulting type after applying the `+` operator.

## Required Methods

### `fn add(self, rhs: RHS) -> Self::Output`

Performs the `+` operation.

## Implementors

- `impl Add for Wrapping<usize> type Output = Wrapping<usize>;`
- `impl<'a> Add<Wrapping<usize>> for &'a Wrapping<usize> type Output = <Wrapping<usize> as Add<Wrapping<usize>>>::Output;`
- `impl<'a> Add<&'a Wrapping<usize>> for Wrapping<usize> type Output = <Wrapping<usize> as Add<Wrapping<usize>>>::Output;`
- `impl<'a, 'b> Add<&'a Wrapping<usize>> for &'b Wrapping<usize> type Output = <Wrapping<usize> as Add<Wrapping<usize>>>::Output;`
- `impl Add for Wrapping<u8> type Output = Wrapping<u8>;`
- `impl<'a> Add<Wrapping<u8>> for &'a Wrapping<u8> type Output = <Wrapping<u8> as Add<Wrapping<u8>>>::Output;`
- `impl<'a> Add<&'a Wrapping<u8>> for Wrapping<u8> type Output = <Wrapping<u8> as Add<Wrapping<u8>>>::Output;`
- `impl<'a, 'b> Add<&'a Wrapping<u8>> for &'b Wrapping<u8> type Output = <Wrapping<u8> as Add<Wrapping<u8>>>::Output;`
- `impl Add for Wrapping<u16> type Output = Wrapping<u16>;`
- `impl<'a> Add<Wrapping<u16>> for &'a Wrapping<u16> type Output = <Wrapping<u16> as Add<Wrapping<u16>>>::Output;`
- `impl<'a> Add<&'a Wrapping<u16>> for Wrapping<u16> type Output = <Wrapping<u16> as Add<Wrapping<u16>>>::Output;`
- `impl<'a, 'b> Add<&'a Wrapping<u16>> for &'b Wrapping<u16> type Output = <Wrapping<u16> as Add<Wrapping<u16>>>::Output;`
- `impl Add for Wrapping<u32> type Output = Wrapping<u32>;`
- `impl<'a> Add<Wrapping<u32>> for &'a Wrapping<u32> type Output = <Wrapping<u32> as Add<Wrapping<u32>>>::Output;`
- `impl<'a> Add<&'a Wrapping<u32>> for Wrapping<u32> type Output = <Wrapping<u32> as Add<Wrapping<u32>>>::Output;`
- `impl<'a, 'b> Add<&'a Wrapping<u32>> for &'b Wrapping<u32> type Output = <Wrapping<u32> as Add<Wrapping<u32>>>::Output;`
- `impl Add for Wrapping<u64> type Output = Wrapping<u64>;`
- `impl<'a> Add<Wrapping<u64>> for &'a Wrapping<u64> type Output = <Wrapping<u64> as Add<Wrapping<u64>>>::Output;`
- `impl<'a> Add<&'a Wrapping<u64>> for Wrapping<u64> type Output = <Wrapping<u64> as Add<Wrapping<u64>>>::Output;`
- `impl<'a, 'b> Add<&'a Wrapping<u64>> for &'b Wrapping<u64> type Output = <Wrapping<u64> as Add<Wrapping<u64>>>::Output;`
- `impl Add for Wrapping<u128> type Output = Wrapping<u128>;`
- `impl<'a> Add<Wrapping<u128>> for &'a Wrapping<u128> type Output = <Wrapping<u128> as Add<Wrapping<u128>>>::Output;`
- `impl<'a> Add<&'a Wrapping<u128>> for Wrapping<u128> type Output = <Wrapping<u128> as Add<Wrapping<u128>>>::Output;`
- `impl<'a, 'b> Add<&'a Wrapping<u128>> for &'b Wrapping<u128> type Output = <Wrapping<u128> as Add<Wrapping<u128>>>::Output;`
- `impl Add for Wrapping<isize> type Output = Wrapping<isize>;`
- `impl<'a> Add<Wrapping<isize>> for &'a Wrapping<isize> type Output = <Wrapping<isize> as Add<Wrapping<isize>>>::Output;`
- `impl<'a> Add<&'a Wrapping<isize>> for Wrapping<isize> type Output = <Wrapping<isize> as Add<Wrapping<isize>>>::Output;`
- `impl<'a, 'b> Add<&'a Wrapping<isize>> for &'b Wrapping<isize> type Output = <Wrapping<isize> as Add<Wrapping<isize>>>::Output;`
- `impl Add for Wrapping<i8> type Output = Wrapping<i8>;`
- `impl<'a> Add<Wrapping<i8>> for &'a Wrapping<i8> type Output = <Wrapping<i8> as Add<Wrapping<i8>>>::Output;`
- `impl<'a> Add<&'a Wrapping<i8>> for Wrapping<i8> type Output = <Wrapping<i8> as Add<Wrapping<i8>>>::Output;`
- `impl<'a, 'b> Add<&'a Wrapping<i8>> for &'b Wrapping<i8> type Output = <Wrapping<i8> as Add<Wrapping<i8>>>::Output;`
- `impl Add for Wrapping<i16> type Output = Wrapping<i16>;`
- `impl<'a> Add<Wrapping<i16>> for &'a Wrapping<i16> type Output = <Wrapping<i16> as Add<Wrapping<i16>>>::Output;`
- `impl<'a> Add<&'a Wrapping<i16>> for Wrapping<i16> type Output = <Wrapping<i16> as Add<Wrapping<i16>>>::Output;`
- `impl<'a, 'b> Add<&'a Wrapping<i16>> for &'b Wrapping<i16> type Output = <Wrapping<i16> as Add<Wrapping<i16>>>::Output;`
- `impl Add for Wrapping<i32> type Output = Wrapping<i32>;`
- `impl<'a> Add<Wrapping<i32>> for &'a Wrapping<i32> type Output = <Wrapping<i32> as Add<Wrapping<i32>>>::Output;`
- `impl<'a> Add<&'a Wrapping<i32>> for Wrapping<i32> type Output = <Wrapping<i32> as Add<Wrapping<i32>>>::Output;`
- `impl<'a, 'b> Add<&'a Wrapping<i32>> for &'b Wrapping<i32> type Output = <Wrapping<i32> as Add<Wrapping<i32>>>::Output;`
- `impl Add for Wrapping<i64> type Output = Wrapping<i64>;`
- `impl<'a> Add<Wrapping<i64>> for &'a Wrapping<i64> type Output = <Wrapping<i64> as Add<Wrapping<i64>>>::Output;`
- `impl<'a> Add<&'a Wrapping<i64>> for Wrapping<i64> type Output = <Wrapping<i64> as Add<Wrapping<i64>>>::Output;`
- `impl<'a, 'b> Add<&'a Wrapping<i64>> for &'b Wrapping<i64> type Output = <Wrapping<i64> as Add<Wrapping<i64>>>::Output;`
- `impl Add for Wrapping<i128> type Output = Wrapping<i128>;`
- `impl<'a> Add<Wrapping<i128>> for &'a Wrapping<i128> type Output = <Wrapping<i128> as Add<Wrapping<i128>>>::Output;`
- `impl<'a> Add<&'a Wrapping<i128>> for Wrapping<i128> type Output = <Wrapping<i128> as Add<Wrapping<i128>>>::Output;`
- `impl<'a, 'b> Add<&'a Wrapping<i128>> for &'b Wrapping<i128> type Output = <Wrapping<i128> as Add<Wrapping<i128>>>::Output;`
- `impl Add for usize type Output = usize;`
- `impl<'a> Add<usize> for &'a usize type Output = <usize as Add<usize>>::Output;`
- `impl<'a> Add<&'a usize> for usize type Output = <usize as Add<usize>>::Output;`
- `impl<'a, 'b> Add<&'a usize> for &'b usize type Output = <usize as Add<usize>>::Output;`
- `impl Add for u8 type Output = u8;`
- `impl<'a> Add<u8> for &'a u8 type Output = <u8 as Add<u8>>::Output;`
- `impl<'a> Add<&'a u8> for u8 type Output = <u8 as Add<u8>>::Output;`
- `impl<'a, 'b> Add<&'a u8> for &'b u8 type Output = <u8 as Add<u8>>::Output;`
- `impl Add for u16 type Output = u16;`
- `impl<'a> Add<u16> for &'a u16 type Output = <u16 as Add<u16>>::Output;`
- `impl<'a> Add<&'a u16> for u16 type Output = <u16 as Add<u16>>::Output;`
- `impl<'a, 'b> Add<&'a u16> for &'b u16 type Output = <u16 as Add<u16>>::Output;`
- `impl Add for u32 type Output = u32;`
- `impl<'a> Add<u32> for &'a u32 type Output = <u32 as Add<u32>>::Output;`
- `impl<'a> Add<&'a u32> for u32 type Output = <u32 as Add<u32>>::Output;`
- `impl<'a, 'b> Add<&'a u32> for &'b u32 type Output = <u32 as Add<u32>>::Output;`
- `impl Add for u64 type Output = u64;`
- `impl<'a> Add<u64> for &'a u64 type Output = <u64 as Add<u64>>::Output;`
- `impl<'a> Add<&'a u64> for u64 type Output = <u64 as Add<u64>>::Output;`
- `impl<'a, 'b> Add<&'a u64> for &'b u64 type Output = <u64 as Add<u64>>::Output;`
- `impl Add for u128 type Output = u128;`
- `impl<'a> Add<u128> for &'a u128 type Output = <u128 as Add<u128>>::Output;`
- `impl<'a> Add<&'a u128> for u128 type Output = <u128 as Add<u128>>::Output;`
- `impl<'a, 'b> Add<&'a u128> for &'b u128 type Output = <u128 as Add<u128>>::Output;`
- `impl Add for isize type Output = isize;`
- `impl<'a> Add<isize> for &'a isize type Output = <isize as Add<isize>>::Output;`
- `impl<'a> Add<&'a isize> for isize type Output = <isize as Add<isize>>::Output;`
- `impl<'a, 'b> Add<&'a isize> for &'b isize type Output = <isize as Add<isize>>::Output;`
- `impl Add for i8 type Output = i8;`
- `impl<'a> Add<i8> for &'a i8 type Output = <i8 as Add<i8>>::Output;`
- `impl<'a> Add<&'a i8> for i8 type Output = <i8 as Add<i8>>::Output;`
- `impl<'a, 'b> Add<&'a i8> for &'b i8 type Output = <i8 as Add<i8>>::Output;`
- `impl Add for i16 type Output = i16;`
- `impl<'a> Add<i16> for &'a i16 type Output = <i16 as Add<i16>>::Output;`
- `impl<'a> Add<&'a i16> for i16 type Output = <i16 as Add<i16>>::Output;`
- `impl<'a, 'b> Add<&'a i16> for &'b i16 type Output = <i16 as Add<i16>>::Output;`
- `impl Add for i32 type Output = i32;`
- `impl<'a> Add<i32> for &'a i32 type Output = <i32 as Add<i32>>::Output;`
- `impl<'a> Add<&'a i32> for i32 type Output = <i32 as Add<i32>>::Output;`
- `impl<'a, 'b> Add<&'a i32> for &'b i32 type Output = <i32 as Add<i32>>::Output;`
- `impl Add for i64 type Output = i64;`
- `impl<'a> Add<i64> for &'a i64 type Output = <i64 as Add<i64>>::Output;`
- `impl<'a> Add<&'a i64> for i64 type Output = <i64 as Add<i64>>::Output;`
- `impl<'a, 'b> Add<&'a i64> for &'b i64 type Output = <i64 as Add<i64>>::Output;`
- `impl Add for i128 type Output = i128;`
- `impl<'a> Add<i128> for &'a i128 type Output = <i128 as Add<i128>>::Output;`
- `impl<'a> Add<&'a i128> for i128 type Output = <i128 as Add<i128>>::Output;`
- `impl<'a, 'b> Add<&'a i128> for &'b i128 type Output = <i128 as Add<i128>>::Output;`
- `impl Add for f32 type Output = f32;`
- `impl<'a> Add<f32> for &'a f32 type Output = <f32 as Add<f32>>::Output;`
- `impl<'a> Add<&'a f32> for f32 type Output = <f32 as Add<f32>>::Output;`
- `impl<'a, 'b> Add<&'a f32> for &'b f32 type Output = <f32 as Add<f32>>::Output;`
- `impl Add for f64 type Output = f64;`
- `impl<'a> Add<f64> for &'a f64 type Output = <f64 as Add<f64>>::Output;`
- `impl<'a> Add<&'a f64> for f64 type Output = <f64 as Add<f64>>::Output;`
- `impl<'a, 'b> Add<&'a f64> for &'b f64 type Output = <f64 as Add<f64>>::Output;`

# Help

## Keyboard Shortcuts

?
  Show this help dialog
S
  Focus the search field
⇤
  Move up in search results
⇥
  Move down in search results
⏎
  Go to active search result
+
  Collapse/expand all sections

## Search Tricks

Prefix searches with a type followed by a colon (e.g. `fn:`) to restrict the search to a given type.

Accepted types are: `fn`, `mod`, `struct`, `enum`, `trait`, `type`, `macro`, and `const`.

Search functions by type signature (e.g. `vec -> usize` or `* -> vec`)