Struct core::num::NonZeroI16  
1.34.0 · source · #[repr(transparent)]pub struct NonZeroI16(_);Expand description
An integer that is known not to equal zero.
This enables some memory layout optimization.
For example, Option<NonZeroI16> is the same size as i16:
use std::mem::size_of;
assert_eq!(size_of::<Option<core::num::NonZeroI16>>(), size_of::<i16>());Implementations§
source§impl NonZeroI16
 
impl NonZeroI16
const: 1.34.0 · sourcepub const unsafe fn new_unchecked(n: i16) -> Self
 
pub const unsafe fn new_unchecked(n: i16) -> Self
Creates a non-zero without checking whether the value is non-zero. This results in undefined behaviour if the value is zero.
Safety
The value must not be zero.
source§impl NonZeroI16
 
impl NonZeroI16
1.53.0 (const: 1.53.0) · sourcepub const fn leading_zeros(self) -> u32
 
pub const fn leading_zeros(self) -> u32
Returns the number of leading zeros in the binary representation of self.
On many architectures, this function can perform better than leading_zeros() on the underlying integer type, as special handling of zero can be avoided.
Examples
Basic usage:
let n = std::num::NonZeroI16::new(-1i16).unwrap();
assert_eq!(n.leading_zeros(), 0);1.53.0 (const: 1.53.0) · sourcepub const fn trailing_zeros(self) -> u32
 
pub const fn trailing_zeros(self) -> u32
Returns the number of trailing zeros in the binary representation
of self.
On many architectures, this function can perform better than trailing_zeros() on the underlying integer type, as special handling of zero can be avoided.
Examples
Basic usage:
let n = std::num::NonZeroI16::new(0b0101000).unwrap();
assert_eq!(n.trailing_zeros(), 3);source§impl NonZeroI16
 
impl NonZeroI16
1.64.0 (const: 1.64.0) · sourcepub const fn abs(self) -> NonZeroI16
 
pub const fn abs(self) -> NonZeroI16
1.64.0 (const: 1.64.0) · sourcepub const fn checked_abs(self) -> Option<NonZeroI16>
 
pub const fn checked_abs(self) -> Option<NonZeroI16>
1.64.0 (const: 1.64.0) · sourcepub const fn overflowing_abs(self) -> (NonZeroI16, bool)
 
pub const fn overflowing_abs(self) -> (NonZeroI16, bool)
Computes the absolute value of self,
with overflow information, see
i16::overflowing_abs.
Example
let pos = NonZeroI16::new(1)?;
let neg = NonZeroI16::new(-1)?;
let min = NonZeroI16::new(i16::MIN)?;
assert_eq!((pos, false), pos.overflowing_abs());
assert_eq!((pos, false), neg.overflowing_abs());
assert_eq!((min, true), min.overflowing_abs());1.64.0 (const: 1.64.0) · sourcepub const fn saturating_abs(self) -> NonZeroI16
 
pub const fn saturating_abs(self) -> NonZeroI16
Saturating absolute value, see
i16::saturating_abs.
Example
let pos = NonZeroI16::new(1)?;
let neg = NonZeroI16::new(-1)?;
let min = NonZeroI16::new(i16::MIN)?;
let min_plus = NonZeroI16::new(i16::MIN + 1)?;
let max = NonZeroI16::new(i16::MAX)?;
assert_eq!(pos, pos.saturating_abs());
assert_eq!(pos, neg.saturating_abs());
assert_eq!(max, min.saturating_abs());
assert_eq!(max, min_plus.saturating_abs());1.64.0 (const: 1.64.0) · sourcepub const fn wrapping_abs(self) -> NonZeroI16
 
pub const fn wrapping_abs(self) -> NonZeroI16
Wrapping absolute value, see
i16::wrapping_abs.
Example
let pos = NonZeroI16::new(1)?;
let neg = NonZeroI16::new(-1)?;
let min = NonZeroI16::new(i16::MIN)?;
assert_eq!(pos, pos.wrapping_abs());
assert_eq!(pos, neg.wrapping_abs());
assert_eq!(min, min.wrapping_abs());1.64.0 (const: 1.64.0) · sourcepub const fn unsigned_abs(self) -> NonZeroU16
 
pub const fn unsigned_abs(self) -> NonZeroU16
Computes the absolute value of self without any wrapping or panicking.
Example
let u_pos = NonZeroU16::new(1)?;
let i_pos = NonZeroI16::new(1)?;
let i_neg = NonZeroI16::new(-1)?;
let i_min = NonZeroI16::new(i16::MIN)?;
let u_max = NonZeroU16::new(u16::MAX / 2 + 1)?;
assert_eq!(u_pos, i_pos.unsigned_abs());
assert_eq!(u_pos, i_neg.unsigned_abs());
assert_eq!(u_max, i_min.unsigned_abs());sourcepub const fn is_negative(self) -> bool
 🔬This is a nightly-only experimental API. (nonzero_negation_ops #102443)
pub const fn is_negative(self) -> bool
nonzero_negation_ops #102443)sourcepub const fn checked_neg(self) -> Option<NonZeroI16>
 🔬This is a nightly-only experimental API. (nonzero_negation_ops #102443)
pub const fn checked_neg(self) -> Option<NonZeroI16>
nonzero_negation_ops #102443)Checked negation. Computes -self, returning None if self == i32::MIN.
Example
#![feature(nonzero_negation_ops)]
let pos_five = NonZeroI16::new(5)?;
let neg_five = NonZeroI16::new(-5)?;
let min = NonZeroI16::new(i16::MIN)?;
assert_eq!(pos_five.checked_neg(), Some(neg_five));
assert_eq!(min.checked_neg(), None);sourcepub const fn overflowing_neg(self) -> (NonZeroI16, bool)
 🔬This is a nightly-only experimental API. (nonzero_negation_ops #102443)
pub const fn overflowing_neg(self) -> (NonZeroI16, bool)
nonzero_negation_ops #102443)Negates self, overflowing if this is equal to the minimum value.
See i16::overflowing_neg
for documentation on overflow behaviour.
Example
#![feature(nonzero_negation_ops)]
let pos_five = NonZeroI16::new(5)?;
let neg_five = NonZeroI16::new(-5)?;
let min = NonZeroI16::new(i16::MIN)?;
assert_eq!(pos_five.overflowing_neg(), (neg_five, false));
assert_eq!(min.overflowing_neg(), (min, true));sourcepub const fn saturating_neg(self) -> NonZeroI16
 🔬This is a nightly-only experimental API. (nonzero_negation_ops #102443)
pub const fn saturating_neg(self) -> NonZeroI16
nonzero_negation_ops #102443)Saturating negation. Computes -self, returning MAX if
self == i32::MIN instead of overflowing.
Example
#![feature(nonzero_negation_ops)]
let pos_five = NonZeroI16::new(5)?;
let neg_five = NonZeroI16::new(-5)?;
let min = NonZeroI16::new(i16::MIN)?;
let min_plus_one = NonZeroI16::new(i16::MIN + 1)?;
let max = NonZeroI16::new(i16::MAX)?;
assert_eq!(pos_five.saturating_neg(), neg_five);
assert_eq!(min.saturating_neg(), max);
assert_eq!(max.saturating_neg(), min_plus_one);sourcepub const fn wrapping_neg(self) -> NonZeroI16
 🔬This is a nightly-only experimental API. (nonzero_negation_ops #102443)
pub const fn wrapping_neg(self) -> NonZeroI16
nonzero_negation_ops #102443)Wrapping (modular) negation. Computes -self, wrapping around at the boundary
of the type.
See i16::wrapping_neg
for documentation on overflow behaviour.
Example
#![feature(nonzero_negation_ops)]
let pos_five = NonZeroI16::new(5)?;
let neg_five = NonZeroI16::new(-5)?;
let min = NonZeroI16::new(i16::MIN)?;
assert_eq!(pos_five.wrapping_neg(), neg_five);
assert_eq!(min.wrapping_neg(), min);source§impl NonZeroI16
 
impl NonZeroI16
1.64.0 (const: 1.64.0) · sourcepub const fn checked_mul(self, other: NonZeroI16) -> Option<NonZeroI16>
 
pub const fn checked_mul(self, other: NonZeroI16) -> Option<NonZeroI16>
Multiplies two non-zero integers together.
Checks for overflow and returns None on overflow.
As a consequence, the result cannot wrap to zero.
Examples
let two = NonZeroI16::new(2)?;
let four = NonZeroI16::new(4)?;
let max = NonZeroI16::new(i16::MAX)?;
assert_eq!(Some(four), two.checked_mul(two));
assert_eq!(None, max.checked_mul(two));1.64.0 (const: 1.64.0) · sourcepub const fn saturating_mul(self, other: NonZeroI16) -> NonZeroI16
 
pub const fn saturating_mul(self, other: NonZeroI16) -> NonZeroI16
sourcepub const unsafe fn unchecked_mul(self, other: NonZeroI16) -> NonZeroI16
 🔬This is a nightly-only experimental API. (nonzero_ops #84186)
pub const unsafe fn unchecked_mul(self, other: NonZeroI16) -> NonZeroI16
nonzero_ops #84186)Multiplies two non-zero integers together,
assuming overflow cannot occur.
Overflow is unchecked, and it is undefined behaviour to overflow
even if the result would wrap to a non-zero value.
The behaviour is undefined as soon as
self * rhs > i16::MAX, or self * rhs < i16::MIN.
Examples
#![feature(nonzero_ops)]
let two = NonZeroI16::new(2)?;
let four = NonZeroI16::new(4)?;
assert_eq!(four, unsafe { two.unchecked_mul(two) });1.64.0 (const: 1.64.0) · sourcepub const fn checked_pow(self, other: u32) -> Option<NonZeroI16>
 
pub const fn checked_pow(self, other: u32) -> Option<NonZeroI16>
Raises non-zero value to an integer power.
Checks for overflow and returns None on overflow.
As a consequence, the result cannot wrap to zero.
Examples
let three = NonZeroI16::new(3)?;
let twenty_seven = NonZeroI16::new(27)?;
let half_max = NonZeroI16::new(i16::MAX / 2)?;
assert_eq!(Some(twenty_seven), three.checked_pow(3));
assert_eq!(None, half_max.checked_pow(3));1.64.0 (const: 1.64.0) · sourcepub const fn saturating_pow(self, other: u32) -> NonZeroI16
 
pub const fn saturating_pow(self, other: u32) -> NonZeroI16
source§impl NonZeroI16
 
impl NonZeroI16
sourcepub const MIN: Self = _
 🔬This is a nightly-only experimental API. (nonzero_min_max #89065)
pub const MIN: Self = _
nonzero_min_max #89065)The smallest value that can be represented by this non-zero
integer type,
equal to i16::MIN.
Note: While most integer types are defined for every whole
number between MIN and MAX, signed non-zero integers are
a special case. They have a “gap” at 0.
Examples
#![feature(nonzero_min_max)]
assert_eq!(NonZeroI16::MIN.get(), i16::MIN);sourcepub const MAX: Self = _
 🔬This is a nightly-only experimental API. (nonzero_min_max #89065)
pub const MAX: Self = _
nonzero_min_max #89065)The largest value that can be represented by this non-zero
integer type,
equal to i16::MAX.
Note: While most integer types are defined for every whole
number between MIN and MAX, signed non-zero integers are
a special case. They have a “gap” at 0.
Examples
#![feature(nonzero_min_max)]
assert_eq!(NonZeroI16::MAX.get(), i16::MAX);Trait Implementations§
source§impl Binary for NonZeroI16
 
impl Binary for NonZeroI16
1.45.0 (const: unstable) · source§impl BitOr<NonZeroI16> for NonZeroI16
 
impl BitOr<NonZeroI16> for NonZeroI16
1.45.0 (const: unstable) · source§impl BitOr<NonZeroI16> for i16
 
impl BitOr<NonZeroI16> for i16
§type Output = NonZeroI16
 
type Output = NonZeroI16
| operator.1.45.0 (const: unstable) · source§impl BitOrAssign<NonZeroI16> for NonZeroI16
 
impl BitOrAssign<NonZeroI16> for NonZeroI16
const: unstable · source§fn bitor_assign(&mut self, rhs: Self)
 
fn bitor_assign(&mut self, rhs: Self)
|= operation. Read more1.45.0 (const: unstable) · source§impl BitOrAssign<i16> for NonZeroI16
 
impl BitOrAssign<i16> for NonZeroI16
source§impl Clone for NonZeroI16
 
impl Clone for NonZeroI16
source§fn clone(&self) -> NonZeroI16
 
fn clone(&self) -> NonZeroI16
1.0.0 · source§fn clone_from(&mut self, source: &Self)
 
fn clone_from(&mut self, source: &Self)
source. Read moresource§impl Debug for NonZeroI16
 
impl Debug for NonZeroI16
source§impl Display for NonZeroI16
 
impl Display for NonZeroI16
1.41.0 (const: unstable) · source§impl From<NonZeroI16> for NonZeroI128
 
impl From<NonZeroI16> for NonZeroI128
const: unstable · source§fn from(small: NonZeroI16) -> Self
 
fn from(small: NonZeroI16) -> Self
Converts NonZeroI16 to NonZeroI128 losslessly.
1.41.0 (const: unstable) · source§impl From<NonZeroI16> for NonZeroI32
 
impl From<NonZeroI16> for NonZeroI32
const: unstable · source§fn from(small: NonZeroI16) -> Self
 
fn from(small: NonZeroI16) -> Self
Converts NonZeroI16 to NonZeroI32 losslessly.
1.41.0 (const: unstable) · source§impl From<NonZeroI16> for NonZeroI64
 
impl From<NonZeroI16> for NonZeroI64
const: unstable · source§fn from(small: NonZeroI16) -> Self
 
fn from(small: NonZeroI16) -> Self
Converts NonZeroI16 to NonZeroI64 losslessly.
1.41.0 (const: unstable) · source§impl From<NonZeroI16> for NonZeroIsize
 
impl From<NonZeroI16> for NonZeroIsize
const: unstable · source§fn from(small: NonZeroI16) -> Self
 
fn from(small: NonZeroI16) -> Self
Converts NonZeroI16 to NonZeroIsize losslessly.
1.31.0 (const: unstable) · source§impl From<NonZeroI16> for i16
 
impl From<NonZeroI16> for i16
const: unstable · source§fn from(nonzero: NonZeroI16) -> Self
 
fn from(nonzero: NonZeroI16) -> Self
Converts a NonZeroI16 into an i16
1.35.0 · source§impl FromStr for NonZeroI16
 
impl FromStr for NonZeroI16
source§impl Hash for NonZeroI16
 
impl Hash for NonZeroI16
source§impl LowerHex for NonZeroI16
 
impl LowerHex for NonZeroI16
source§impl Octal for NonZeroI16
 
impl Octal for NonZeroI16
source§impl Ord for NonZeroI16
 
impl Ord for NonZeroI16
source§fn cmp(&self, other: &NonZeroI16) -> Ordering
 
fn cmp(&self, other: &NonZeroI16) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
    Self: Sized,
 
fn max(self, other: Self) -> Selfwhere Self: Sized,
source§impl PartialEq<NonZeroI16> for NonZeroI16
 
impl PartialEq<NonZeroI16> for NonZeroI16
source§fn eq(&self, other: &NonZeroI16) -> bool
 
fn eq(&self, other: &NonZeroI16) -> bool
self and other values to be equal, and is used
by ==.source§impl PartialOrd<NonZeroI16> for NonZeroI16
 
impl PartialOrd<NonZeroI16> for NonZeroI16
source§fn partial_cmp(&self, other: &NonZeroI16) -> Option<Ordering>
 
fn partial_cmp(&self, other: &NonZeroI16) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
 
fn le(&self, other: &Rhs) -> bool
self and other) and is used by the <=
operator. Read more1.49.0 · source§impl TryFrom<NonZeroI128> for NonZeroI16
 
impl TryFrom<NonZeroI128> for NonZeroI16
source§fn try_from(value: NonZeroI128) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroI128) -> Result<Self, Self::Error>
Attempts to convert NonZeroI128 to NonZeroI16.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroI16> for NonZeroI8
 
impl TryFrom<NonZeroI16> for NonZeroI8
source§fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
Attempts to convert NonZeroI16 to NonZeroI8.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroI16> for NonZeroU128
 
impl TryFrom<NonZeroI16> for NonZeroU128
source§fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
Attempts to convert NonZeroI16 to NonZeroU128.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroI16> for NonZeroU16
 
impl TryFrom<NonZeroI16> for NonZeroU16
source§fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
Attempts to convert NonZeroI16 to NonZeroU16.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroI16> for NonZeroU32
 
impl TryFrom<NonZeroI16> for NonZeroU32
source§fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
Attempts to convert NonZeroI16 to NonZeroU32.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroI16> for NonZeroU64
 
impl TryFrom<NonZeroI16> for NonZeroU64
source§fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
Attempts to convert NonZeroI16 to NonZeroU64.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroI16> for NonZeroU8
 
impl TryFrom<NonZeroI16> for NonZeroU8
source§fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
Attempts to convert NonZeroI16 to NonZeroU8.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroI16> for NonZeroUsize
 
impl TryFrom<NonZeroI16> for NonZeroUsize
source§fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroI16) -> Result<Self, Self::Error>
Attempts to convert NonZeroI16 to NonZeroUsize.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroI32> for NonZeroI16
 
impl TryFrom<NonZeroI32> for NonZeroI16
source§fn try_from(value: NonZeroI32) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroI32) -> Result<Self, Self::Error>
Attempts to convert NonZeroI32 to NonZeroI16.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroI64> for NonZeroI16
 
impl TryFrom<NonZeroI64> for NonZeroI16
source§fn try_from(value: NonZeroI64) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroI64) -> Result<Self, Self::Error>
Attempts to convert NonZeroI64 to NonZeroI16.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroIsize> for NonZeroI16
 
impl TryFrom<NonZeroIsize> for NonZeroI16
source§fn try_from(value: NonZeroIsize) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroIsize) -> Result<Self, Self::Error>
Attempts to convert NonZeroIsize to NonZeroI16.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroU128> for NonZeroI16
 
impl TryFrom<NonZeroU128> for NonZeroI16
source§fn try_from(value: NonZeroU128) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroU128) -> Result<Self, Self::Error>
Attempts to convert NonZeroU128 to NonZeroI16.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroU16> for NonZeroI16
 
impl TryFrom<NonZeroU16> for NonZeroI16
source§fn try_from(value: NonZeroU16) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroU16) -> Result<Self, Self::Error>
Attempts to convert NonZeroU16 to NonZeroI16.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroU32> for NonZeroI16
 
impl TryFrom<NonZeroU32> for NonZeroI16
source§fn try_from(value: NonZeroU32) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroU32) -> Result<Self, Self::Error>
Attempts to convert NonZeroU32 to NonZeroI16.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroU64> for NonZeroI16
 
impl TryFrom<NonZeroU64> for NonZeroI16
source§fn try_from(value: NonZeroU64) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroU64) -> Result<Self, Self::Error>
Attempts to convert NonZeroU64 to NonZeroI16.
§type Error = TryFromIntError
 
type Error = TryFromIntError
1.49.0 · source§impl TryFrom<NonZeroUsize> for NonZeroI16
 
impl TryFrom<NonZeroUsize> for NonZeroI16
source§fn try_from(value: NonZeroUsize) -> Result<Self, Self::Error>
 
fn try_from(value: NonZeroUsize) -> Result<Self, Self::Error>
Attempts to convert NonZeroUsize to NonZeroI16.