Struct std::num::NonZeroI8

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

An integer that is known not to equal zero.

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

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

assert_eq!(n.trailing_zeros(), 3);
Run

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

Example

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

assert_eq!(pos, pos.abs());
assert_eq!(pos, neg.abs());
Run

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

Example

let pos = NonZeroI8::new(1)?;
let neg = NonZeroI8::new(-1)?;
let min = NonZeroI8::new(i8::MIN)?;

assert_eq!(Some(pos), neg.checked_abs());
assert_eq!(None, min.checked_abs());
Run

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

Example

let pos = NonZeroI8::new(1)?;
let neg = NonZeroI8::new(-1)?;
let min = NonZeroI8::new(i8::MIN)?;

assert_eq!((pos, false), pos.overflowing_abs());
assert_eq!((pos, false), neg.overflowing_abs());
assert_eq!((min, true), min.overflowing_abs());
Run

Saturating absolute value, see i8::saturating_abs.

Example

let pos = NonZeroI8::new(1)?;
let neg = NonZeroI8::new(-1)?;
let min = NonZeroI8::new(i8::MIN)?;
let min_plus = NonZeroI8::new(i8::MIN + 1)?;
let max = NonZeroI8::new(i8::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

Wrapping absolute value, see i8::wrapping_abs.

Example

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

assert_eq!(pos, pos.wrapping_abs());
assert_eq!(pos, neg.wrapping_abs());
assert_eq!(min, min.wrapping_abs());
Run

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

Example

let u_pos = NonZeroU8::new(1)?;
let i_pos = NonZeroI8::new(1)?;
let i_neg = NonZeroI8::new(-1)?;
let i_min = NonZeroI8::new(i8::MIN)?;
let u_max = NonZeroU8::new(u8::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

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

assert_eq!(Some(four), two.checked_mul(two));
assert_eq!(None, max.checked_mul(two));
Run

Multiplies two non-zero integers together. Return i8::MAX on overflow.

Examples

let two = NonZeroI8::new(2)?;
let four = NonZeroI8::new(4)?;
let max = NonZeroI8::new(i8::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)

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 > i8::MAX, or self * rhs < i8::MIN.

Examples
#![feature(nonzero_ops)]

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

assert_eq!(four, unsafe { two.unchecked_mul(two) });
Run

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 = NonZeroI8::new(3)?;
let twenty_seven = NonZeroI8::new(27)?;
let half_max = NonZeroI8::new(i8::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 i8::MIN or i8::MAX on overflow.

Examples

let three = NonZeroI8::new(3)?;
let twenty_seven = NonZeroI8::new(27)?;
let max = NonZeroI8::new(i8::MAX)?;

assert_eq!(twenty_seven, three.saturating_pow(3));
assert_eq!(max, max.saturating_pow(3));
Run
🔬This is a nightly-only experimental API. (nonzero_min_max #89065)

The smallest value that can be represented by this non-zero integer type, equal to i8::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!(NonZeroI8::MIN.get(), i8::MIN);
Run
🔬This is a nightly-only experimental API. (nonzero_min_max #89065)

The largest value that can be represented by this non-zero integer type, equal to i8::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!(NonZeroI8::MAX.get(), i8::MAX);
Run
🔬This is a nightly-only experimental API. (nonzero_bits #94881)

The size of this non-zero integer type in bits.

This value is equal to i8::BITS.

Examples
#![feature(nonzero_bits)]

assert_eq!(NonZeroI8::BITS, i8::BITS);
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 NonZeroI8 to NonZeroI128 losslessly.

Converts NonZeroI8 to NonZeroI16 losslessly.

Converts NonZeroI8 to NonZeroI32 losslessly.

Converts NonZeroI8 to NonZeroI64 losslessly.

Converts NonZeroI8 to NonZeroIsize losslessly.

Converts a NonZeroI8 into an i8

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 !=. The default implementation is almost always sufficient, and should not be overridden without very good reason. Read more
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 NonZeroI8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI16 to NonZeroI8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI32 to NonZeroI8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI64 to NonZeroI8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI8 to NonZeroU128.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI8 to NonZeroU16.

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 NonZeroI8 to NonZeroU64.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI8 to NonZeroU8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroI8 to NonZeroUsize.

The type returned in the event of a conversion error.

Attempts to convert NonZeroIsize to NonZeroI8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU128 to NonZeroI8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU16 to NonZeroI8.

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 NonZeroU64 to NonZeroI8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroU8 to NonZeroI8.

The type returned in the event of a conversion error.

Attempts to convert NonZeroUsize to NonZeroI8.

The type returned in the event of a conversion error.

Attempts to convert i8 to NonZeroI8.

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

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The resulting type after obtaining ownership.
Creates owned data from borrowed data, usually by cloning. Read more
Uses borrowed data to replace owned data, usually by cloning. Read more
Converts the given value to a String. Read more
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.