# Struct core::num::NonZeroU16 1.28.0[−][src]

#[repr(transparent)]pub struct NonZeroU16(_);

## Expand description

An integer that is known not to equal zero.

This enables some memory layout optimization.
For example, `Option<NonZeroU16>`

is the same size as `u16`

:

use std::mem::size_of; assert_eq!(size_of::<Option<core::num::NonZeroU16>>(), size_of::<u16>());Run

## Implementations

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.

Creates a non-zero if the given value is not zero.

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::NonZeroU16::new(u16::MAX).unwrap(); assert_eq!(n.leading_zeros(), 0);Run

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::NonZeroU16::new(0b0101000).unwrap(); assert_eq!(n.trailing_zeros(), 3);Run

Add an unsigned integer to a non-zero value.
Check for overflow and return `None`

on overflow
As a consequence, the result cannot wrap to zero.

# Examples

#![feature(nonzero_ops)] let one = NonZeroU16::new(1)?; let two = NonZeroU16::new(2)?; let max = NonZeroU16::new(u16::MAX)?; assert_eq!(Some(two), one.checked_add(1)); assert_eq!(None, max.checked_add(1));Run

Add an unsigned integer to a non-zero value,
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 > u16::MAX`

.

# Examples

#![feature(nonzero_ops)] let one = NonZeroU16::new(1)?; let two = NonZeroU16::new(2)?; assert_eq!(two, unsafe { one.unchecked_add(1) });Run

Returns the smallest power of two greater than or equal to n.
Check for overflow and return `None`

if the next power of two is greater than the type’s maximum value.
As a consequence, the result cannot wrap to zero.

# Examples

#![feature(nonzero_ops)] let two = NonZeroU16::new(2)?; let three = NonZeroU16::new(3)?; let four = NonZeroU16::new(4)?; let max = NonZeroU16::new(u16::MAX)?; assert_eq!(Some(two), two.checked_next_power_of_two() ); assert_eq!(Some(four), three.checked_next_power_of_two() ); assert_eq!(None, max.checked_next_power_of_two() );Run

Multiply two non-zero integers together.
Check for overflow and return `None`

on overflow.
As a consequence, the result cannot wrap to zero.

# Examples

#![feature(nonzero_ops)] let two = NonZeroU16::new(2)?; let four = NonZeroU16::new(4)?; let max = NonZeroU16::new(u16::MAX)?; assert_eq!(Some(four), two.checked_mul(two)); assert_eq!(None, max.checked_mul(two));Run

Multiply 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 > u16::MAX`

.

# Examples

#![feature(nonzero_ops)] let two = NonZeroU16::new(2)?; let four = NonZeroU16::new(4)?; assert_eq!(four, unsafe { two.unchecked_mul(two) });Run

Raise non-zero value to an integer power.
Check for overflow and return `None`

on overflow.
As a consequence, the result cannot wrap to zero.

# Examples

#![feature(nonzero_ops)] let three = NonZeroU16::new(3)?; let twenty_seven = NonZeroU16::new(27)?; let half_max = NonZeroU16::new(u16::MAX / 2)?; assert_eq!(Some(twenty_seven), three.checked_pow(3)); assert_eq!(None, half_max.checked_pow(3));Run

Raise non-zero value to an integer power.
Return `u16::MAX`

on overflow.

# Examples

#![feature(nonzero_ops)] let three = NonZeroU16::new(3)?; let twenty_seven = NonZeroU16::new(27)?; let max = NonZeroU16::new(u16::MAX)?; assert_eq!(twenty_seven, three.saturating_pow(3)); assert_eq!(max, max.saturating_pow(3));Run

Returns `true`

if and only if `self == (1 << k)`

for some `k`

.

On many architectures, this function can perform better than `is_power_of_two()`

on the underlying integer type, as special handling of zero can be avoided.

# Examples

Basic usage:

#![feature(nonzero_is_power_of_two)] let eight = std::num::NonZeroU16::new(8).unwrap(); assert!(eight.is_power_of_two()); let ten = std::num::NonZeroU16::new(10).unwrap(); assert!(!ten.is_power_of_two());Run

## Trait Implementations

#### type Output = NonZeroU16

#### type Output = NonZeroU16

The resulting type after applying the `|`

operator.

Performs the `|`

operation. Read more

Performs the `|=`

operation. Read more

Performs the `|=`

operation. Read more

This operation rounds towards zero, truncating any fractional part of the exact result, and cannot panic.

#### type Output = u16

#### type Output = u16

The resulting type after applying the `/`

operator.

Converts a `NonZeroU16`

into an `u16`

Converts `NonZeroU16`

to `NonZeroU32`

losslessly.

Converts `NonZeroU16`

to `NonZeroU64`

losslessly.

Converts `NonZeroU16`

to `NonZeroU128`

losslessly.

Converts `NonZeroU16`

to `NonZeroUsize`

losslessly.

Converts `NonZeroU16`

to `NonZeroI32`

losslessly.

Converts `NonZeroU16`

to `NonZeroI64`

losslessly.

Converts `NonZeroU16`

to `NonZeroI128`

losslessly.

This method tests for `self`

and `other`

values to be equal, and is used
by `==`

. Read more

This method tests for `!=`

.

This method returns an ordering between `self`

and `other`

values if one exists. Read more

This method tests less than (for `self`

and `other`

) and is used by the `<`

operator. Read more

This method tests less than or equal to (for `self`

and `other`

) and is used by the `<=`

operator. Read more

This method tests greater than (for `self`

and `other`

) and is used by the `>`

operator. Read more

This operation satisfies `n % d == n - (n / d) * d`

, and cannot panic.

#### type Output = u16

#### type Output = u16

The resulting type after applying the `%`

operator.

Attempts to convert `NonZeroI128`

to `NonZeroU16`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.

Attempts to convert `NonZeroI16`

to `NonZeroU16`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.

Attempts to convert `NonZeroI32`

to `NonZeroU16`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.

Attempts to convert `NonZeroI64`

to `NonZeroU16`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.

Attempts to convert `NonZeroIsize`

to `NonZeroU16`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.

Attempts to convert `NonZeroU128`

to `NonZeroU16`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.

Attempts to convert `NonZeroU16`

to `NonZeroU8`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.

Attempts to convert `NonZeroU16`

to `NonZeroI8`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.

Attempts to convert `NonZeroU16`

to `NonZeroI16`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.

Attempts to convert `NonZeroU16`

to `NonZeroIsize`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.

Attempts to convert `NonZeroU32`

to `NonZeroU16`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.

Attempts to convert `NonZeroU64`

to `NonZeroU16`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.

Attempts to convert `NonZeroUsize`

to `NonZeroU16`

.

#### type Error = TryFromIntError

#### type Error = TryFromIntError

The type returned in the event of a conversion error.