Trait std::ops::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
Addable points
use std::ops::Add;
#[derive(Debug, Copy, Clone, PartialEq)]
struct Point {
x: i32,
y: i32,
}
impl Add for Point {
type Output = Self;
fn add(self, other: Self) -> Self {
Self {
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 });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, Copy, Clone, 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 = Self;
fn add(self, other: Self) -> Self::Output {
Self {
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 });Associated Types
type Output
The resulting type after applying the + operator.
Required methods
fn add(self, rhs: Rhs) -> Self::Output
Performs the + operation.
Example
assert_eq!(12 + 1, 13);
Implementors
impl Add<f32> for f32
type Output = f32
impl Add<f64> for f64
type Output = f64
impl Add<i8> for i8
type Output = i8
impl Add<i16> for i16
type Output = i16
impl Add<i32> for i32
type Output = i32
impl Add<i64> for i64
type Output = i64
impl Add<i128> for i128
type Output = i128
impl Add<isize> for isize
type Output = isize
impl Add<u8> for u8
type Output = u8
impl Add<u16> for u16
type Output = u16
impl Add<u32> for u32
type Output = u32
impl Add<u64> for u64
type Output = u64
impl Add<u128> for u128
type Output = u128
impl Add<usize> for usize
type Output = usize
impl Add<Saturating<i8>> for Saturating<i8>
type Output = Saturating<i8>
impl Add<Saturating<i16>> for Saturating<i16>
type Output = Saturating<i16>
impl Add<Saturating<i32>> for Saturating<i32>
type Output = Saturating<i32>
impl Add<Saturating<i64>> for Saturating<i64>
type Output = Saturating<i64>
impl Add<Saturating<i128>> for Saturating<i128>
type Output = Saturating<i128>
impl Add<Saturating<isize>> for Saturating<isize>
type Output = Saturating<isize>
impl Add<Saturating<u8>> for Saturating<u8>
type Output = Saturating<u8>
impl Add<Saturating<u16>> for Saturating<u16>
type Output = Saturating<u16>
impl Add<Saturating<u32>> for Saturating<u32>
type Output = Saturating<u32>
impl Add<Saturating<u64>> for Saturating<u64>
type Output = Saturating<u64>
impl Add<Saturating<u128>> for Saturating<u128>
type Output = Saturating<u128>
impl Add<Saturating<usize>> for Saturating<usize>
type Output = Saturating<usize>
impl Add<Wrapping<i8>> for Wrapping<i8>
type Output = Wrapping<i8>
impl Add<Wrapping<i16>> for Wrapping<i16>
type Output = Wrapping<i16>
impl Add<Wrapping<i32>> for Wrapping<i32>
type Output = Wrapping<i32>
impl Add<Wrapping<i64>> for Wrapping<i64>
type Output = Wrapping<i64>
impl Add<Wrapping<i128>> for Wrapping<i128>
type Output = Wrapping<i128>
impl Add<Wrapping<isize>> for Wrapping<isize>
type Output = Wrapping<isize>
impl Add<Wrapping<u8>> for Wrapping<u8>
type Output = Wrapping<u8>
impl Add<Wrapping<u16>> for Wrapping<u16>
type Output = Wrapping<u16>
impl Add<Wrapping<u32>> for Wrapping<u32>
type Output = Wrapping<u32>
impl Add<Wrapping<u64>> for Wrapping<u64>
type Output = Wrapping<u64>
impl Add<Wrapping<u128>> for Wrapping<u128>
type Output = Wrapping<u128>
impl Add<Wrapping<usize>> for Wrapping<usize>
type Output = Wrapping<usize>
impl Add<Duration> for Duration
type Output = Duration
impl Add<Duration> for Instant
type Output = Instant
impl Add<Duration> for SystemTime
type Output = SystemTime
impl<'_> Add<&'_ f32> for f32
type Output = <f32 as Add<f32>>::Output
impl<'_> Add<&'_ f64> for f64
type Output = <f64 as Add<f64>>::Output
impl<'_> Add<&'_ i8> for i8
type Output = <i8 as Add<i8>>::Output
impl<'_> Add<&'_ i16> for i16
type Output = <i16 as Add<i16>>::Output
impl<'_> Add<&'_ i32> for i32
type Output = <i32 as Add<i32>>::Output
impl<'_> Add<&'_ i64> for i64
type Output = <i64 as Add<i64>>::Output
impl<'_> Add<&'_ i128> for i128
type Output = <i128 as Add<i128>>::Output
impl<'_> Add<&'_ isize> for isize
type Output = <isize as Add<isize>>::Output
impl<'_> Add<&'_ str> for String
Implements the + operator for concatenating two strings.
This consumes the String on the left-hand side and re-uses its buffer (growing it if necessary). This is done to avoid allocating a new String and copying the entire contents on every operation, which would lead to O(n^2) running time when building an n-byte string by repeated concatenation.
The string on the right-hand side is only borrowed; its contents are copied into the returned String.
Examples
Concatenating two Strings takes the first by value and borrows the second:
let a = String::from("hello");
let b = String::from(" world");
let c = a + &b;
// `a` is moved and can no longer be used here.If you want to keep using the first String, you can clone it and append to the clone instead:
let a = String::from("hello");
let b = String::from(" world");
let c = a.clone() + &b;
// `a` is still valid here.Concatenating &str slices can be done by converting the first to a String:
let a = "hello"; let b = " world"; let c = a.to_string() + b;
type Output = String
impl<'_> Add<&'_ u8> for u8
type Output = <u8 as Add<u8>>::Output
impl<'_> Add<&'_ u16> for u16
type Output = <u16 as Add<u16>>::Output
impl<'_> Add<&'_ u32> for u32
type Output = <u32 as Add<u32>>::Output
impl<'_> Add<&'_ u64> for u64
type Output = <u64 as Add<u64>>::Output
impl<'_> Add<&'_ u128> for u128
type Output = <u128 as Add<u128>>::Output
impl<'_> Add<&'_ usize> for usize
type Output = <usize as Add<usize>>::Output
impl<'_> Add<&'_ Saturating<i8>> for Saturating<i8>
type Output = <Saturating<i8> as Add<Saturating<i8>>>::Output
impl<'_> Add<&'_ Saturating<i16>> for Saturating<i16>
type Output = <Saturating<i16> as Add<Saturating<i16>>>::Output
impl<'_> Add<&'_ Saturating<i32>> for Saturating<i32>
type Output = <Saturating<i32> as Add<Saturating<i32>>>::Output
impl<'_> Add<&'_ Saturating<i64>> for Saturating<i64>
type Output = <Saturating<i64> as Add<Saturating<i64>>>::Output
impl<'_> Add<&'_ Saturating<i128>> for Saturating<i128>
type Output = <Saturating<i128> as Add<Saturating<i128>>>::Output
impl<'_> Add<&'_ Saturating<isize>> for Saturating<isize>
type Output = <Saturating<isize> as Add<Saturating<isize>>>::Output
impl<'_> Add<&'_ Saturating<u8>> for Saturating<u8>
type Output = <Saturating<u8> as Add<Saturating<u8>>>::Output
impl<'_> Add<&'_ Saturating<u16>> for Saturating<u16>
type Output = <Saturating<u16> as Add<Saturating<u16>>>::Output
impl<'_> Add<&'_ Saturating<u32>> for Saturating<u32>
type Output = <Saturating<u32> as Add<Saturating<u32>>>::Output
impl<'_> Add<&'_ Saturating<u64>> for Saturating<u64>
type Output = <Saturating<u64> as Add<Saturating<u64>>>::Output
impl<'_> Add<&'_ Saturating<u128>> for Saturating<u128>
type Output = <Saturating<u128> as Add<Saturating<u128>>>::Output
impl<'_> Add<&'_ Saturating<usize>> for Saturating<usize>
type Output = <Saturating<usize> as Add<Saturating<usize>>>::Output
impl<'_> Add<&'_ Wrapping<i8>> for Wrapping<i8>
type Output = <Wrapping<i8> as Add<Wrapping<i8>>>::Output
impl<'_> Add<&'_ Wrapping<i16>> for Wrapping<i16>
type Output = <Wrapping<i16> as Add<Wrapping<i16>>>::Output
impl<'_> Add<&'_ Wrapping<i32>> for Wrapping<i32>
type Output = <Wrapping<i32> as Add<Wrapping<i32>>>::Output
impl<'_> Add<&'_ Wrapping<i64>> for Wrapping<i64>
type Output = <Wrapping<i64> as Add<Wrapping<i64>>>::Output
impl<'_> Add<&'_ Wrapping<i128>> for Wrapping<i128>
type Output = <Wrapping<i128> as Add<Wrapping<i128>>>::Output
impl<'_> Add<&'_ Wrapping<isize>> for Wrapping<isize>
type Output = <Wrapping<isize> as Add<Wrapping<isize>>>::Output
impl<'_> Add<&'_ Wrapping<u8>> for Wrapping<u8>
type Output = <Wrapping<u8> as Add<Wrapping<u8>>>::Output
impl<'_> Add<&'_ Wrapping<u16>> for Wrapping<u16>
type Output = <Wrapping<u16> as Add<Wrapping<u16>>>::Output
impl<'_> Add<&'_ Wrapping<u32>> for Wrapping<u32>
type Output = <Wrapping<u32> as Add<Wrapping<u32>>>::Output
impl<'_> Add<&'_ Wrapping<u64>> for Wrapping<u64>
type Output = <Wrapping<u64> as Add<Wrapping<u64>>>::Output
impl<'_> Add<&'_ Wrapping<u128>> for Wrapping<u128>
type Output = <Wrapping<u128> as Add<Wrapping<u128>>>::Output
impl<'_> Add<&'_ Wrapping<usize>> for Wrapping<usize>
type Output = <Wrapping<usize> as Add<Wrapping<usize>>>::Output
impl<'_, '_> Add<&'_ f32> for &'_ f32
type Output = <f32 as Add<f32>>::Output
impl<'_, '_> Add<&'_ f64> for &'_ f64
type Output = <f64 as Add<f64>>::Output
impl<'_, '_> Add<&'_ i8> for &'_ i8
type Output = <i8 as Add<i8>>::Output
impl<'_, '_> Add<&'_ i16> for &'_ i16
type Output = <i16 as Add<i16>>::Output
impl<'_, '_> Add<&'_ i32> for &'_ i32
type Output = <i32 as Add<i32>>::Output
impl<'_, '_> Add<&'_ i64> for &'_ i64
type Output = <i64 as Add<i64>>::Output
impl<'_, '_> Add<&'_ i128> for &'_ i128
type Output = <i128 as Add<i128>>::Output
impl<'_, '_> Add<&'_ isize> for &'_ isize
type Output = <isize as Add<isize>>::Output
impl<'_, '_> Add<&'_ u8> for &'_ u8
type Output = <u8 as Add<u8>>::Output
impl<'_, '_> Add<&'_ u16> for &'_ u16
type Output = <u16 as Add<u16>>::Output
impl<'_, '_> Add<&'_ u32> for &'_ u32
type Output = <u32 as Add<u32>>::Output
impl<'_, '_> Add<&'_ u64> for &'_ u64
type Output = <u64 as Add<u64>>::Output
impl<'_, '_> Add<&'_ u128> for &'_ u128
type Output = <u128 as Add<u128>>::Output
impl<'_, '_> Add<&'_ usize> for &'_ usize
type Output = <usize as Add<usize>>::Output
impl<'_, '_> Add<&'_ Saturating<i8>> for &'_ Saturating<i8>
type Output = <Saturating<i8> as Add<Saturating<i8>>>::Output
impl<'_, '_> Add<&'_ Saturating<i16>> for &'_ Saturating<i16>
type Output = <Saturating<i16> as Add<Saturating<i16>>>::Output
impl<'_, '_> Add<&'_ Saturating<i32>> for &'_ Saturating<i32>
type Output = <Saturating<i32> as Add<Saturating<i32>>>::Output
impl<'_, '_> Add<&'_ Saturating<i64>> for &'_ Saturating<i64>
type Output = <Saturating<i64> as Add<Saturating<i64>>>::Output
impl<'_, '_> Add<&'_ Saturating<i128>> for &'_ Saturating<i128>
type Output = <Saturating<i128> as Add<Saturating<i128>>>::Output
impl<'_, '_> Add<&'_ Saturating<isize>> for &'_ Saturating<isize>
type Output = <Saturating<isize> as Add<Saturating<isize>>>::Output
impl<'_, '_> Add<&'_ Saturating<u8>> for &'_ Saturating<u8>
type Output = <Saturating<u8> as Add<Saturating<u8>>>::Output
impl<'_, '_> Add<&'_ Saturating<u16>> for &'_ Saturating<u16>
type Output = <Saturating<u16> as Add<Saturating<u16>>>::Output
impl<'_, '_> Add<&'_ Saturating<u32>> for &'_ Saturating<u32>
type Output = <Saturating<u32> as Add<Saturating<u32>>>::Output
impl<'_, '_> Add<&'_ Saturating<u64>> for &'_ Saturating<u64>
type Output = <Saturating<u64> as Add<Saturating<u64>>>::Output
impl<'_, '_> Add<&'_ Saturating<u128>> for &'_ Saturating<u128>
type Output = <Saturating<u128> as Add<Saturating<u128>>>::Output
impl<'_, '_> Add<&'_ Saturating<usize>> for &'_ Saturating<usize>
type Output = <Saturating<usize> as Add<Saturating<usize>>>::Output
impl<'_, '_> Add<&'_ Wrapping<i8>> for &'_ Wrapping<i8>
type Output = <Wrapping<i8> as Add<Wrapping<i8>>>::Output
impl<'_, '_> Add<&'_ Wrapping<i16>> for &'_ Wrapping<i16>
type Output = <Wrapping<i16> as Add<Wrapping<i16>>>::Output
impl<'_, '_> Add<&'_ Wrapping<i32>> for &'_ Wrapping<i32>
type Output = <Wrapping<i32> as Add<Wrapping<i32>>>::Output
impl<'_, '_> Add<&'_ Wrapping<i64>> for &'_ Wrapping<i64>
type Output = <Wrapping<i64> as Add<Wrapping<i64>>>::Output
impl<'_, '_> Add<&'_ Wrapping<i128>> for &'_ Wrapping<i128>
type Output = <Wrapping<i128> as Add<Wrapping<i128>>>::Output
impl<'_, '_> Add<&'_ Wrapping<isize>> for &'_ Wrapping<isize>
type Output = <Wrapping<isize> as Add<Wrapping<isize>>>::Output
impl<'_, '_> Add<&'_ Wrapping<u8>> for &'_ Wrapping<u8>
type Output = <Wrapping<u8> as Add<Wrapping<u8>>>::Output
impl<'_, '_> Add<&'_ Wrapping<u16>> for &'_ Wrapping<u16>
type Output = <Wrapping<u16> as Add<Wrapping<u16>>>::Output
impl<'_, '_> Add<&'_ Wrapping<u32>> for &'_ Wrapping<u32>
type Output = <Wrapping<u32> as Add<Wrapping<u32>>>::Output
impl<'_, '_> Add<&'_ Wrapping<u64>> for &'_ Wrapping<u64>
type Output = <Wrapping<u64> as Add<Wrapping<u64>>>::Output
impl<'_, '_> Add<&'_ Wrapping<u128>> for &'_ Wrapping<u128>
type Output = <Wrapping<u128> as Add<Wrapping<u128>>>::Output
impl<'_, '_> Add<&'_ Wrapping<usize>> for &'_ Wrapping<usize>
type Output = <Wrapping<usize> as Add<Wrapping<usize>>>::Output
impl<'a> Add<&'a str> for Cow<'a, str>
type Output = Cow<'a, str>
impl<'a> Add<Cow<'a, str>> for Cow<'a, str>
type Output = Cow<'a, str>
impl<'a> Add<f32> for &'a f32
type Output = <f32 as Add<f32>>::Output
impl<'a> Add<f64> for &'a f64
type Output = <f64 as Add<f64>>::Output
impl<'a> Add<i8> for &'a i8
type Output = <i8 as Add<i8>>::Output
impl<'a> Add<i16> for &'a i16
type Output = <i16 as Add<i16>>::Output
impl<'a> Add<i32> for &'a i32
type Output = <i32 as Add<i32>>::Output
impl<'a> Add<i64> for &'a i64
type Output = <i64 as Add<i64>>::Output
impl<'a> Add<i128> for &'a i128
type Output = <i128 as Add<i128>>::Output
impl<'a> Add<isize> for &'a isize
type Output = <isize as Add<isize>>::Output
impl<'a> Add<u8> for &'a u8
type Output = <u8 as Add<u8>>::Output
impl<'a> Add<u16> for &'a u16
type Output = <u16 as Add<u16>>::Output
impl<'a> Add<u32> for &'a u32
type Output = <u32 as Add<u32>>::Output
impl<'a> Add<u64> for &'a u64
type Output = <u64 as Add<u64>>::Output
impl<'a> Add<u128> for &'a u128
type Output = <u128 as Add<u128>>::Output
impl<'a> Add<usize> for &'a usize
type Output = <usize as Add<usize>>::Output
impl<'a> Add<Saturating<i8>> for &'a Saturating<i8>
type Output = <Saturating<i8> as Add<Saturating<i8>>>::Output
impl<'a> Add<Saturating<i16>> for &'a Saturating<i16>
type Output = <Saturating<i16> as Add<Saturating<i16>>>::Output
impl<'a> Add<Saturating<i32>> for &'a Saturating<i32>
type Output = <Saturating<i32> as Add<Saturating<i32>>>::Output
impl<'a> Add<Saturating<i64>> for &'a Saturating<i64>
type Output = <Saturating<i64> as Add<Saturating<i64>>>::Output
impl<'a> Add<Saturating<i128>> for &'a Saturating<i128>
type Output = <Saturating<i128> as Add<Saturating<i128>>>::Output
impl<'a> Add<Saturating<isize>> for &'a Saturating<isize>
type Output = <Saturating<isize> as Add<Saturating<isize>>>::Output
impl<'a> Add<Saturating<u8>> for &'a Saturating<u8>
type Output = <Saturating<u8> as Add<Saturating<u8>>>::Output
impl<'a> Add<Saturating<u16>> for &'a Saturating<u16>
type Output = <Saturating<u16> as Add<Saturating<u16>>>::Output
impl<'a> Add<Saturating<u32>> for &'a Saturating<u32>
type Output = <Saturating<u32> as Add<Saturating<u32>>>::Output
impl<'a> Add<Saturating<u64>> for &'a Saturating<u64>
type Output = <Saturating<u64> as Add<Saturating<u64>>>::Output
impl<'a> Add<Saturating<u128>> for &'a Saturating<u128>
type Output = <Saturating<u128> as Add<Saturating<u128>>>::Output
impl<'a> Add<Saturating<usize>> for &'a Saturating<usize>
type Output = <Saturating<usize> as Add<Saturating<usize>>>::Output
impl<'a> Add<Wrapping<i8>> for &'a Wrapping<i8>
type Output = <Wrapping<i8> as Add<Wrapping<i8>>>::Output
impl<'a> Add<Wrapping<i16>> for &'a Wrapping<i16>
type Output = <Wrapping<i16> as Add<Wrapping<i16>>>::Output
impl<'a> Add<Wrapping<i32>> for &'a Wrapping<i32>
type Output = <Wrapping<i32> as Add<Wrapping<i32>>>::Output
impl<'a> Add<Wrapping<i64>> for &'a Wrapping<i64>
type Output = <Wrapping<i64> as Add<Wrapping<i64>>>::Output
impl<'a> Add<Wrapping<i128>> for &'a Wrapping<i128>
type Output = <Wrapping<i128> as Add<Wrapping<i128>>>::Output
impl<'a> Add<Wrapping<isize>> for &'a Wrapping<isize>
type Output = <Wrapping<isize> as Add<Wrapping<isize>>>::Output
impl<'a> Add<Wrapping<u8>> for &'a Wrapping<u8>
type Output = <Wrapping<u8> as Add<Wrapping<u8>>>::Output
impl<'a> Add<Wrapping<u16>> for &'a Wrapping<u16>
type Output = <Wrapping<u16> as Add<Wrapping<u16>>>::Output
impl<'a> Add<Wrapping<u32>> for &'a Wrapping<u32>
type Output = <Wrapping<u32> as Add<Wrapping<u32>>>::Output
impl<'a> Add<Wrapping<u64>> for &'a Wrapping<u64>
type Output = <Wrapping<u64> as Add<Wrapping<u64>>>::Output
impl<'a> Add<Wrapping<u128>> for &'a Wrapping<u128>
type Output = <Wrapping<u128> as Add<Wrapping<u128>>>::Output
impl<'a> Add<Wrapping<usize>> for &'a Wrapping<usize>
type Output = <Wrapping<usize> as Add<Wrapping<usize>>>::Output
© 2010 The Rust Project Developers
Licensed under the Apache License, Version 2.0 or the MIT license, at your option.
https://doc.rust-lang.org/std/ops/trait.Add.html