pub trait Rem<Rhs = Self> {
type Output;
// Required method
fn rem(self, rhs: Rhs) -> Self::Output;
}
Expand description
The remainder operator %
.
Note that Rhs
is Self
by default, but this is not mandatory.
Examples
This example implements Rem
on a SplitSlice
object. After Rem
is
implemented, one can use the %
operator to find out what the remaining
elements of the slice would be after splitting it into equal slices of a
given length.
use std::ops::Rem;
#[derive(PartialEq, Debug)]
struct SplitSlice<'a, T> {
slice: &'a [T],
}
impl<'a, T> Rem<usize> for SplitSlice<'a, T> {
type Output = Self;
fn rem(self, modulus: usize) -> Self::Output {
let len = self.slice.len();
let rem = len % modulus;
let start = len - rem;
Self {slice: &self.slice[start..]}
}
}
// If we were to divide &[0, 1, 2, 3, 4, 5, 6, 7] into slices of size 3,
// the remainder would be &[6, 7].
assert_eq!(SplitSlice { slice: &[0, 1, 2, 3, 4, 5, 6, 7] } % 3,
SplitSlice { slice: &[6, 7] });
RunRequired Associated Types§
Required Methods§
Implementors§
1.75.0-dev · source§impl Rem<&Saturating<i8>> for &Saturating<i8>
impl Rem<&Saturating<i8>> for &Saturating<i8>
type Output = <Saturating<i8> as Rem<Saturating<i8>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<i8>> for Saturating<i8>
impl Rem<&Saturating<i8>> for Saturating<i8>
type Output = <Saturating<i8> as Rem<Saturating<i8>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<i16>> for &Saturating<i16>
impl Rem<&Saturating<i16>> for &Saturating<i16>
type Output = <Saturating<i16> as Rem<Saturating<i16>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<i16>> for Saturating<i16>
impl Rem<&Saturating<i16>> for Saturating<i16>
type Output = <Saturating<i16> as Rem<Saturating<i16>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<i32>> for &Saturating<i32>
impl Rem<&Saturating<i32>> for &Saturating<i32>
type Output = <Saturating<i32> as Rem<Saturating<i32>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<i32>> for Saturating<i32>
impl Rem<&Saturating<i32>> for Saturating<i32>
type Output = <Saturating<i32> as Rem<Saturating<i32>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<i64>> for &Saturating<i64>
impl Rem<&Saturating<i64>> for &Saturating<i64>
type Output = <Saturating<i64> as Rem<Saturating<i64>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<i64>> for Saturating<i64>
impl Rem<&Saturating<i64>> for Saturating<i64>
type Output = <Saturating<i64> as Rem<Saturating<i64>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<i128>> for &Saturating<i128>
impl Rem<&Saturating<i128>> for &Saturating<i128>
type Output = <Saturating<i128> as Rem<Saturating<i128>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<i128>> for Saturating<i128>
impl Rem<&Saturating<i128>> for Saturating<i128>
type Output = <Saturating<i128> as Rem<Saturating<i128>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<isize>> for &Saturating<isize>
impl Rem<&Saturating<isize>> for &Saturating<isize>
type Output = <Saturating<isize> as Rem<Saturating<isize>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<isize>> for Saturating<isize>
impl Rem<&Saturating<isize>> for Saturating<isize>
type Output = <Saturating<isize> as Rem<Saturating<isize>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<u8>> for &Saturating<u8>
impl Rem<&Saturating<u8>> for &Saturating<u8>
type Output = <Saturating<u8> as Rem<Saturating<u8>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<u8>> for Saturating<u8>
impl Rem<&Saturating<u8>> for Saturating<u8>
type Output = <Saturating<u8> as Rem<Saturating<u8>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<u16>> for &Saturating<u16>
impl Rem<&Saturating<u16>> for &Saturating<u16>
type Output = <Saturating<u16> as Rem<Saturating<u16>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<u16>> for Saturating<u16>
impl Rem<&Saturating<u16>> for Saturating<u16>
type Output = <Saturating<u16> as Rem<Saturating<u16>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<u32>> for &Saturating<u32>
impl Rem<&Saturating<u32>> for &Saturating<u32>
type Output = <Saturating<u32> as Rem<Saturating<u32>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<u32>> for Saturating<u32>
impl Rem<&Saturating<u32>> for Saturating<u32>
type Output = <Saturating<u32> as Rem<Saturating<u32>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<u64>> for &Saturating<u64>
impl Rem<&Saturating<u64>> for &Saturating<u64>
type Output = <Saturating<u64> as Rem<Saturating<u64>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<u64>> for Saturating<u64>
impl Rem<&Saturating<u64>> for Saturating<u64>
type Output = <Saturating<u64> as Rem<Saturating<u64>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<u128>> for &Saturating<u128>
impl Rem<&Saturating<u128>> for &Saturating<u128>
type Output = <Saturating<u128> as Rem<Saturating<u128>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<u128>> for Saturating<u128>
impl Rem<&Saturating<u128>> for Saturating<u128>
type Output = <Saturating<u128> as Rem<Saturating<u128>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<usize>> for &Saturating<usize>
impl Rem<&Saturating<usize>> for &Saturating<usize>
type Output = <Saturating<usize> as Rem<Saturating<usize>>>::Output
1.75.0-dev · source§impl Rem<&Saturating<usize>> for Saturating<usize>
impl Rem<&Saturating<usize>> for Saturating<usize>
type Output = <Saturating<usize> as Rem<Saturating<usize>>>::Output
source§impl Rem<f32> for f32
impl Rem<f32> for f32
The remainder from the division of two floats.
The remainder has the same sign as the dividend and is computed as:
x - (x / y).trunc() * y
.
Examples
let x: f32 = 50.50;
let y: f32 = 8.125;
let remainder = x - (x / y).trunc() * y;
// The answer to both operations is 1.75
assert_eq!(x % y, remainder);
Runsource§impl Rem<f64> for f64
impl Rem<f64> for f64
The remainder from the division of two floats.
The remainder has the same sign as the dividend and is computed as:
x - (x / y).trunc() * y
.
Examples
let x: f32 = 50.50;
let y: f32 = 8.125;
let remainder = x - (x / y).trunc() * y;
// The answer to both operations is 1.75
assert_eq!(x % y, remainder);
Runsource§impl Rem<i8> for i8
impl Rem<i8> for i8
This operation satisfies n % d == n - (n / d) * d
. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0
or if self / other
results in overflow.
source§impl Rem<i16> for i16
impl Rem<i16> for i16
This operation satisfies n % d == n - (n / d) * d
. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0
or if self / other
results in overflow.
source§impl Rem<i32> for i32
impl Rem<i32> for i32
This operation satisfies n % d == n - (n / d) * d
. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0
or if self / other
results in overflow.
source§impl Rem<i64> for i64
impl Rem<i64> for i64
This operation satisfies n % d == n - (n / d) * d
. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0
or if self / other
results in overflow.
source§impl Rem<i128> for i128
impl Rem<i128> for i128
This operation satisfies n % d == n - (n / d) * d
. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0
or if self / other
results in overflow.
source§impl Rem<isize> for isize
impl Rem<isize> for isize
This operation satisfies n % d == n - (n / d) * d
. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0
or if self / other
results in overflow.
source§impl Rem<u8> for u8
impl Rem<u8> for u8
This operation satisfies n % d == n - (n / d) * d
. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0
.
source§impl Rem<u16> for u16
impl Rem<u16> for u16
This operation satisfies n % d == n - (n / d) * d
. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0
.
source§impl Rem<u32> for u32
impl Rem<u32> for u32
This operation satisfies n % d == n - (n / d) * d
. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0
.
source§impl Rem<u64> for u64
impl Rem<u64> for u64
This operation satisfies n % d == n - (n / d) * d
. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0
.
source§impl Rem<u128> for u128
impl Rem<u128> for u128
This operation satisfies n % d == n - (n / d) * d
. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0
.
source§impl Rem<usize> for usize
impl Rem<usize> for usize
This operation satisfies n % d == n - (n / d) * d
. The
result has the same sign as the left operand.
Panics
This operation will panic if other == 0
.