Struct core::num::NonZeroI128

1.34.0· source · [−]
#[repr(transparent)]
pub struct NonZeroI128(_);
Expand description

An integer that is known not to equal zero.

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

use std::mem::size_of;
assert_eq!(size_of::<Option<core::num::NonZeroI128>>(), size_of::<i128>());
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::NonZeroI128::new(-1i128).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::NonZeroI128::new(0b0101000).unwrap();

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

Computes the absolute value of self. See i128::abs for documentation on overflow behaviour.

Example
#![feature(nonzero_ops)]

let pos = NonZeroI128::new(1)?;
let neg = NonZeroI128::new(-1)?;

assert_eq!(pos, pos.abs());
assert_eq!(pos, neg.abs());
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

Checked absolute value. Check for overflow and returns None if self == i128::MIN. The result cannot be zero.

Example
#![feature(nonzero_ops)]

let pos = NonZeroI128::new(1)?;
let neg = NonZeroI128::new(-1)?;
let min = NonZeroI128::new(i128::MIN)?;

assert_eq!(Some(pos), neg.checked_abs());
assert_eq!(None, min.checked_abs());
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

Computes the absolute value of self, with overflow information, see i128::overflowing_abs.

Example
#![feature(nonzero_ops)]

let pos = NonZeroI128::new(1)?;
let neg = NonZeroI128::new(-1)?;
let min = NonZeroI128::new(i128::MIN)?;

assert_eq!((pos, false), pos.overflowing_abs());
assert_eq!((pos, false), neg.overflowing_abs());
assert_eq!((min, true), min.overflowing_abs());
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

Saturating absolute value, see i128::saturating_abs.

Example
#![feature(nonzero_ops)]

let pos = NonZeroI128::new(1)?;
let neg = NonZeroI128::new(-1)?;
let min = NonZeroI128::new(i128::MIN)?;
let min_plus = NonZeroI128::new(i128::MIN + 1)?;
let max = NonZeroI128::new(i128::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());
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

Wrapping absolute value, see i128::wrapping_abs.

Example
#![feature(nonzero_ops)]

let pos = NonZeroI128::new(1)?;
let neg = NonZeroI128::new(-1)?;
let min = NonZeroI128::new(i128::MIN)?;
let max = NonZeroI128::new(i128::MAX)?;

assert_eq!(pos, pos.wrapping_abs());
assert_eq!(pos, neg.wrapping_abs());
assert_eq!(min, min.wrapping_abs());
Run
🔬 This is a nightly-only experimental API. (nonzero_ops #84186)

Computes the absolute value of self without any wrapping or panicking.

Example
#![feature(nonzero_ops)]

let u_pos = NonZeroU128::new(1)?;
let i_pos = NonZeroI128::new(1)?;
let i_neg = NonZeroI128::new(-1)?;
let i_min = NonZeroI128::new(i128::MIN)?;
let u_max = NonZeroU128::new(u128::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());
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 = NonZeroI128::new(2)?;
let four = NonZeroI128::new(4)?;
let max = NonZeroI128::new(i128::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 i128::MAX on overflow.

Examples
#![feature(nonzero_ops)]

let two = NonZeroI128::new(2)?;
let four = NonZeroI128::new(4)?;
let max = NonZeroI128::new(i128::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 > i128::MAX, or self * rhs < i128::MIN.

Examples
#![feature(nonzero_ops)]

let two = NonZeroI128::new(2)?;
let four = NonZeroI128::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 = NonZeroI128::new(3)?;
let twenty_seven = NonZeroI128::new(27)?;
let half_max = NonZeroI128::new(i128::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 i128::MIN or i128::MAX on overflow.

Examples
#![feature(nonzero_ops)]

let three = NonZeroI128::new(3)?;
let twenty_seven = NonZeroI128::new(27)?;
let max = NonZeroI128::new(i128::MAX)?;

assert_eq!(twenty_seven, three.saturating_pow(3));
assert_eq!(max, max.saturating_pow(3));
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

Converts a NonZeroI128 into an i128

Converts NonZeroI16 to NonZeroI128 losslessly.

Converts NonZeroI32 to NonZeroI128 losslessly.

Converts NonZeroI64 to NonZeroI128 losslessly.

Converts NonZeroI8 to NonZeroI128 losslessly.

Converts NonZeroU16 to NonZeroI128 losslessly.

Converts NonZeroU32 to NonZeroI128 losslessly.

Converts NonZeroU64 to NonZeroI128 losslessly.

Converts NonZeroU8 to NonZeroI128 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

Attempts to convert NonZeroI128 to NonZeroU8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI128 to NonZeroU16.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI128 to NonZeroIsize.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI128 to NonZeroU32.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI128 to NonZeroU64.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI128 to NonZeroU128.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI128 to NonZeroUsize.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI128 to NonZeroI8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI128 to NonZeroI16.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI128 to NonZeroI32.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI128 to NonZeroI64.

The type returned in the event of a conversion error.

Attempts to convert NonZeroIsize to NonZeroI128.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU128 to NonZeroI128.

The type returned in the event of a conversion error.

Attempts to convert NonZeroUsize to NonZeroI128.

The type returned in the event of a conversion error.

Attempts to convert i128 to NonZeroI128.

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.