Struct core::num::NonZeroU321.28.0[−][src]

#[repr(transparent)]
pub struct NonZeroU32(_);
Expand description

An integer that is known not to equal zero.

This enables some memory layout optimization. For example, Option<NonZeroU32> is the same size as u32:

use std::mem::size_of;
assert_eq!(size_of::<Option<core::num::NonZeroU32>>(), size_of::<u32>());
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 value as a primitive type.

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::NonZeroU32::new(u32::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::NonZeroU32::new(0b0101000).unwrap();

assert_eq!(n.trailing_zeros(), 3);
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

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 = NonZeroU32::new(1)?;
let two = NonZeroU32::new(2)?;
let max = NonZeroU32::new(u32::MAX)?;

assert_eq!(Some(two), one.checked_add(1));
assert_eq!(None, max.checked_add(1));
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

Add an unsigned integer to a non-zero value. Return u32::MAX on overflow.

Examples
#![feature(nonzero_ops)]

let one = NonZeroU32::new(1)?;
let two = NonZeroU32::new(2)?;
let max = NonZeroU32::new(u32::MAX)?;

assert_eq!(two, one.saturating_add(1));
assert_eq!(max, max.saturating_add(1));
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

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 > u32::MAX.

Examples
#![feature(nonzero_ops)]

let one = NonZeroU32::new(1)?;
let two = NonZeroU32::new(2)?;

assert_eq!(two, unsafe { one.unchecked_add(1) });
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

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 = NonZeroU32::new(2)?;
let three = NonZeroU32::new(3)?;
let four = NonZeroU32::new(4)?;
let max = NonZeroU32::new(u32::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
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

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 = NonZeroU32::new(2)?;
let four = NonZeroU32::new(4)?;
let max = NonZeroU32::new(u32::MAX)?;

assert_eq!(Some(four), two.checked_mul(two));
assert_eq!(None, max.checked_mul(two));
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

Multiply two non-zero integers together. Return u32::MAX on overflow.

Examples
#![feature(nonzero_ops)]

let two = NonZeroU32::new(2)?;
let four = NonZeroU32::new(4)?;
let max = NonZeroU32::new(u32::MAX)?;

assert_eq!(four, two.saturating_mul(two));
assert_eq!(max, four.saturating_mul(max));
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

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 > u32::MAX.

Examples
#![feature(nonzero_ops)]

let two = NonZeroU32::new(2)?;
let four = NonZeroU32::new(4)?;

assert_eq!(four, unsafe { two.unchecked_mul(two) });
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

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 = NonZeroU32::new(3)?;
let twenty_seven = NonZeroU32::new(27)?;
let half_max = NonZeroU32::new(u32::MAX / 2)?;

assert_eq!(Some(twenty_seven), three.checked_pow(3));
assert_eq!(None, half_max.checked_pow(3));
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

Raise non-zero value to an integer power. Return u32::MAX on overflow.

Examples
#![feature(nonzero_ops)]

let three = NonZeroU32::new(3)?;
let twenty_seven = NonZeroU32::new(27)?;
let max = NonZeroU32::new(u32::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:

let eight = std::num::NonZeroU32::new(8).unwrap();
assert!(eight.is_power_of_two());
let ten = std::num::NonZeroU32::new(10).unwrap();
assert!(!ten.is_power_of_two());
Run

Trait Implementations

Formats the value using the given formatter.

The resulting type after applying the | operator.

Performs the | operation. Read more

The resulting type after applying the | operator.

Performs the | operation. Read more

The resulting type after applying the | operator.

Performs the | operation. Read more

Performs the |= operation. Read more

Performs the |= operation. Read more

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Formats the value using the given formatter. Read more

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

The resulting type after applying the / operator.

Converts NonZeroU16 to NonZeroU32 losslessly.

Converts a NonZeroU32 into an u32

Converts NonZeroU32 to NonZeroU64 losslessly.

Converts NonZeroU32 to NonZeroU128 losslessly.

Converts NonZeroU32 to NonZeroI64 losslessly.

Converts NonZeroU32 to NonZeroI128 losslessly.

Converts NonZeroU8 to NonZeroU32 losslessly.

The associated error which can be returned from parsing.

Parses a string s to return a value of this type. Read more

Feeds this value into the given Hasher. Read more

Feeds a slice of this type into the given Hasher. Read more

Formats the value using the given formatter.

Formats the value using the given formatter.

This method returns an Ordering between self and other. Read more

Compares and returns the maximum of two values. Read more

Compares and returns the minimum of two values. Read more

Restrict a value to a certain interval. Read more

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 method tests greater than or equal to (for self and other) and is used by the >= operator. Read more

This operation satisfies n % d == n - (n / d) * d, and cannot panic.

The resulting type after applying the % operator.

Attempts to convert NonZeroI128 to NonZeroU32.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI16 to NonZeroU32.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI32 to NonZeroU32.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI64 to NonZeroU32.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI8 to NonZeroU32.

The type returned in the event of a conversion error.

Attempts to convert NonZeroIsize to NonZeroU32.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU128 to NonZeroU32.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU32 to NonZeroU8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU32 to NonZeroU16.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU32 to NonZeroUsize.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU32 to NonZeroI8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU32 to NonZeroI16.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU32 to NonZeroI32.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU32 to NonZeroIsize.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU64 to NonZeroU32.

The type returned in the event of a conversion error.

Attempts to convert NonZeroUsize to NonZeroU32.

The type returned in the event of a conversion error.

Attempts to convert u32 to NonZeroU32.

The type returned in the event of a conversion error.

Formats the value using the given formatter.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Performs the conversion.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.