core/num/nonzero.rs
1//! Definitions of integer that is known not to equal zero.
2
3use super::{IntErrorKind, ParseIntError};
4use crate::clone::{TrivialClone, UseCloned};
5use crate::cmp::Ordering;
6use crate::hash::{Hash, Hasher};
7use crate::marker::{Destruct, Freeze, StructuralPartialEq};
8use crate::num::imp;
9use crate::ops::{BitOr, BitOrAssign, Div, DivAssign, Neg, Rem, RemAssign};
10use crate::panic::{RefUnwindSafe, UnwindSafe};
11use crate::str::FromStr;
12use crate::{fmt, intrinsics, ptr, ub_checks};
13
14/// A marker trait for primitive types which can be zero.
15///
16/// This is an implementation detail for <code>[NonZero]\<T></code> which may disappear or be replaced at any time.
17///
18/// # Safety
19///
20/// Types implementing this trait must be primitives that are valid when zeroed.
21///
22/// The associated `Self::NonZeroInner` type must have the same size+align as `Self`,
23/// but with a niche and bit validity making it so the following `transmutes` are sound:
24///
25/// - `Self::NonZeroInner` to `Option<Self::NonZeroInner>`
26/// - `Option<Self::NonZeroInner>` to `Self`
27///
28/// (And, consequently, `Self::NonZeroInner` to `Self`.)
29#[unstable(
30 feature = "nonzero_internals",
31 reason = "implementation detail which may disappear or be replaced at any time",
32 issue = "none"
33)]
34pub unsafe trait ZeroablePrimitive: Sized + Copy + private::Sealed {
35 /// A type like `Self` but with a niche that includes zero.
36 type NonZeroInner: Sized + Copy;
37}
38
39macro_rules! impl_zeroable_primitive {
40 ($($NonZeroInner:ident ( $primitive:ty )),+ $(,)?) => {
41 mod private {
42 #[unstable(
43 feature = "nonzero_internals",
44 reason = "implementation detail which may disappear or be replaced at any time",
45 issue = "none"
46 )]
47 pub trait Sealed {}
48 }
49
50 $(
51 #[unstable(
52 feature = "nonzero_internals",
53 reason = "implementation detail which may disappear or be replaced at any time",
54 issue = "none"
55 )]
56 impl private::Sealed for $primitive {}
57
58 #[unstable(
59 feature = "nonzero_internals",
60 reason = "implementation detail which may disappear or be replaced at any time",
61 issue = "none"
62 )]
63 unsafe impl ZeroablePrimitive for $primitive {
64 type NonZeroInner = super::niche_types::$NonZeroInner;
65 }
66 )+
67 };
68}
69
70impl_zeroable_primitive!(
71 NonZeroU8Inner(u8),
72 NonZeroU16Inner(u16),
73 NonZeroU32Inner(u32),
74 NonZeroU64Inner(u64),
75 NonZeroU128Inner(u128),
76 NonZeroUsizeInner(usize),
77 NonZeroI8Inner(i8),
78 NonZeroI16Inner(i16),
79 NonZeroI32Inner(i32),
80 NonZeroI64Inner(i64),
81 NonZeroI128Inner(i128),
82 NonZeroIsizeInner(isize),
83 NonZeroCharInner(char),
84);
85
86/// A value that is known not to equal zero.
87///
88/// This enables some memory layout optimization.
89/// For example, `Option<NonZero<u32>>` is the same size as `u32`:
90///
91/// ```
92/// use core::{num::NonZero};
93///
94/// assert_eq!(size_of::<Option<NonZero<u32>>>(), size_of::<u32>());
95/// ```
96///
97/// # Layout
98///
99/// `NonZero<T>` is guaranteed to have the same layout and bit validity as `T`
100/// with the exception that the all-zero bit pattern is invalid.
101/// `Option<NonZero<T>>` is guaranteed to be compatible with `T`, including in
102/// FFI.
103///
104/// Thanks to the [null pointer optimization], `NonZero<T>` and
105/// `Option<NonZero<T>>` are guaranteed to have the same size and alignment:
106///
107/// ```
108/// use std::num::NonZero;
109///
110/// assert_eq!(size_of::<NonZero<u32>>(), size_of::<Option<NonZero<u32>>>());
111/// assert_eq!(align_of::<NonZero<u32>>(), align_of::<Option<NonZero<u32>>>());
112/// ```
113///
114/// [null pointer optimization]: crate::option#representation
115///
116/// # Note on generic usage
117///
118/// `NonZero<T>` can only be used with some standard library primitive types
119/// (such as `u8`, `i32`, and etc.). The type parameter `T` must implement the
120/// internal trait [`ZeroablePrimitive`], which is currently permanently unstable
121/// and cannot be implemented by users. Therefore, you cannot use `NonZero<T>`
122/// with your own types, nor can you implement traits for all `NonZero<T>`,
123/// only for concrete types.
124#[stable(feature = "generic_nonzero", since = "1.79.0")]
125#[repr(transparent)]
126#[rustc_nonnull_optimization_guaranteed]
127#[rustc_diagnostic_item = "NonZero"]
128pub struct NonZero<T: ZeroablePrimitive>(T::NonZeroInner);
129
130macro_rules! impl_nonzero_fmt {
131 ($(#[$Attribute:meta] $Trait:ident)*) => {
132 $(
133 #[$Attribute]
134 impl<T> fmt::$Trait for NonZero<T>
135 where
136 T: ZeroablePrimitive + fmt::$Trait,
137 {
138 #[inline]
139 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
140 self.get().fmt(f)
141 }
142 }
143 )*
144 };
145}
146
147impl_nonzero_fmt! {
148 #[stable(feature = "nonzero", since = "1.28.0")]
149 Debug
150 #[stable(feature = "nonzero", since = "1.28.0")]
151 Display
152 #[stable(feature = "nonzero", since = "1.28.0")]
153 Binary
154 #[stable(feature = "nonzero", since = "1.28.0")]
155 Octal
156 #[stable(feature = "nonzero", since = "1.28.0")]
157 LowerHex
158 #[stable(feature = "nonzero", since = "1.28.0")]
159 UpperHex
160 #[stable(feature = "nonzero_fmt_exp", since = "1.84.0")]
161 LowerExp
162 #[stable(feature = "nonzero_fmt_exp", since = "1.84.0")]
163 UpperExp
164}
165
166macro_rules! impl_nonzero_auto_trait {
167 (unsafe $Trait:ident) => {
168 #[stable(feature = "nonzero", since = "1.28.0")]
169 unsafe impl<T> $Trait for NonZero<T> where T: ZeroablePrimitive + $Trait {}
170 };
171 ($Trait:ident) => {
172 #[stable(feature = "nonzero", since = "1.28.0")]
173 impl<T> $Trait for NonZero<T> where T: ZeroablePrimitive + $Trait {}
174 };
175}
176
177// Implement auto-traits manually based on `T` to avoid docs exposing
178// the `ZeroablePrimitive::NonZeroInner` implementation detail.
179impl_nonzero_auto_trait!(unsafe Freeze);
180impl_nonzero_auto_trait!(RefUnwindSafe);
181impl_nonzero_auto_trait!(unsafe Send);
182impl_nonzero_auto_trait!(unsafe Sync);
183impl_nonzero_auto_trait!(Unpin);
184impl_nonzero_auto_trait!(UnwindSafe);
185
186#[stable(feature = "nonzero", since = "1.28.0")]
187#[rustc_const_unstable(feature = "const_clone", issue = "142757")]
188impl<T> const Clone for NonZero<T>
189where
190 T: ZeroablePrimitive,
191{
192 #[inline]
193 fn clone(&self) -> Self {
194 *self
195 }
196}
197
198#[unstable(feature = "ergonomic_clones", issue = "132290")]
199impl<T> UseCloned for NonZero<T> where T: ZeroablePrimitive {}
200
201#[stable(feature = "nonzero", since = "1.28.0")]
202impl<T> Copy for NonZero<T> where T: ZeroablePrimitive {}
203
204#[doc(hidden)]
205#[unstable(feature = "trivial_clone", issue = "none")]
206#[rustc_const_unstable(feature = "const_clone", issue = "142757")]
207unsafe impl<T> const TrivialClone for NonZero<T> where T: ZeroablePrimitive {}
208
209#[stable(feature = "nonzero", since = "1.28.0")]
210#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
211impl<T> const PartialEq for NonZero<T>
212where
213 T: ZeroablePrimitive + [const] PartialEq,
214{
215 #[inline]
216 fn eq(&self, other: &Self) -> bool {
217 self.get() == other.get()
218 }
219
220 #[inline]
221 fn ne(&self, other: &Self) -> bool {
222 self.get() != other.get()
223 }
224}
225
226#[unstable(feature = "structural_match", issue = "31434")]
227impl<T> StructuralPartialEq for NonZero<T> where T: ZeroablePrimitive + StructuralPartialEq {}
228
229#[stable(feature = "nonzero", since = "1.28.0")]
230#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
231impl<T> const Eq for NonZero<T> where T: ZeroablePrimitive + [const] Eq {}
232
233#[stable(feature = "nonzero", since = "1.28.0")]
234#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
235impl<T> const PartialOrd for NonZero<T>
236where
237 T: ZeroablePrimitive + [const] PartialOrd,
238{
239 #[inline]
240 fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
241 self.get().partial_cmp(&other.get())
242 }
243
244 #[inline]
245 fn lt(&self, other: &Self) -> bool {
246 self.get() < other.get()
247 }
248
249 #[inline]
250 fn le(&self, other: &Self) -> bool {
251 self.get() <= other.get()
252 }
253
254 #[inline]
255 fn gt(&self, other: &Self) -> bool {
256 self.get() > other.get()
257 }
258
259 #[inline]
260 fn ge(&self, other: &Self) -> bool {
261 self.get() >= other.get()
262 }
263}
264
265#[stable(feature = "nonzero", since = "1.28.0")]
266#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
267impl<T> const Ord for NonZero<T>
268where
269 // FIXME(const_hack): the T: ~const Destruct should be inferred from the Self: ~const Destruct.
270 // See https://github.com/rust-lang/rust/issues/144207
271 T: ZeroablePrimitive + [const] Ord + [const] Destruct,
272{
273 #[inline]
274 fn cmp(&self, other: &Self) -> Ordering {
275 self.get().cmp(&other.get())
276 }
277
278 #[inline]
279 fn max(self, other: Self) -> Self {
280 // SAFETY: The maximum of two non-zero values is still non-zero.
281 unsafe { Self::new_unchecked(self.get().max(other.get())) }
282 }
283
284 #[inline]
285 fn min(self, other: Self) -> Self {
286 // SAFETY: The minimum of two non-zero values is still non-zero.
287 unsafe { Self::new_unchecked(self.get().min(other.get())) }
288 }
289
290 #[inline]
291 fn clamp(self, min: Self, max: Self) -> Self {
292 // SAFETY: A non-zero value clamped between two non-zero values is still non-zero.
293 unsafe { Self::new_unchecked(self.get().clamp(min.get(), max.get())) }
294 }
295}
296
297#[stable(feature = "nonzero", since = "1.28.0")]
298impl<T> Hash for NonZero<T>
299where
300 T: ZeroablePrimitive + Hash,
301{
302 #[inline]
303 fn hash<H>(&self, state: &mut H)
304 where
305 H: Hasher,
306 {
307 self.get().hash(state)
308 }
309}
310
311#[stable(feature = "from_nonzero", since = "1.31.0")]
312#[rustc_const_unstable(feature = "const_convert", issue = "143773")]
313impl<T> const From<NonZero<T>> for T
314where
315 T: ZeroablePrimitive,
316{
317 #[inline]
318 fn from(nonzero: NonZero<T>) -> Self {
319 // Call `get` method to keep range information.
320 nonzero.get()
321 }
322}
323
324#[stable(feature = "nonzero_bitor", since = "1.45.0")]
325#[rustc_const_unstable(feature = "const_ops", issue = "143802")]
326impl<T> const BitOr for NonZero<T>
327where
328 T: ZeroablePrimitive + [const] BitOr<Output = T>,
329{
330 type Output = Self;
331
332 #[inline]
333 fn bitor(self, rhs: Self) -> Self::Output {
334 // SAFETY: Bitwise OR of two non-zero values is still non-zero.
335 unsafe { Self::new_unchecked(self.get() | rhs.get()) }
336 }
337}
338
339#[stable(feature = "nonzero_bitor", since = "1.45.0")]
340#[rustc_const_unstable(feature = "const_ops", issue = "143802")]
341impl<T> const BitOr<T> for NonZero<T>
342where
343 T: ZeroablePrimitive + [const] BitOr<Output = T>,
344{
345 type Output = Self;
346
347 #[inline]
348 fn bitor(self, rhs: T) -> Self::Output {
349 // SAFETY: Bitwise OR of a non-zero value with anything is still non-zero.
350 unsafe { Self::new_unchecked(self.get() | rhs) }
351 }
352}
353
354#[stable(feature = "nonzero_bitor", since = "1.45.0")]
355#[rustc_const_unstable(feature = "const_ops", issue = "143802")]
356impl<T> const BitOr<NonZero<T>> for T
357where
358 T: ZeroablePrimitive + [const] BitOr<Output = T>,
359{
360 type Output = NonZero<T>;
361
362 #[inline]
363 fn bitor(self, rhs: NonZero<T>) -> Self::Output {
364 // SAFETY: Bitwise OR of anything with a non-zero value is still non-zero.
365 unsafe { NonZero::new_unchecked(self | rhs.get()) }
366 }
367}
368
369#[stable(feature = "nonzero_bitor", since = "1.45.0")]
370#[rustc_const_unstable(feature = "const_ops", issue = "143802")]
371impl<T> const BitOrAssign for NonZero<T>
372where
373 T: ZeroablePrimitive,
374 Self: [const] BitOr<Output = Self>,
375{
376 #[inline]
377 fn bitor_assign(&mut self, rhs: Self) {
378 *self = *self | rhs;
379 }
380}
381
382#[stable(feature = "nonzero_bitor", since = "1.45.0")]
383#[rustc_const_unstable(feature = "const_ops", issue = "143802")]
384impl<T> const BitOrAssign<T> for NonZero<T>
385where
386 T: ZeroablePrimitive,
387 Self: [const] BitOr<T, Output = Self>,
388{
389 #[inline]
390 fn bitor_assign(&mut self, rhs: T) {
391 *self = *self | rhs;
392 }
393}
394
395impl<T> NonZero<T>
396where
397 T: ZeroablePrimitive,
398{
399 /// Creates a non-zero if the given value is not zero.
400 #[stable(feature = "nonzero", since = "1.28.0")]
401 #[rustc_const_stable(feature = "const_nonzero_int_methods", since = "1.47.0")]
402 #[must_use]
403 #[inline]
404 pub const fn new(n: T) -> Option<Self> {
405 // SAFETY: Memory layout optimization guarantees that `Option<NonZero<T>>` has
406 // the same layout and size as `T`, with `0` representing `None`.
407 unsafe { intrinsics::transmute_unchecked(n) }
408 }
409
410 /// Creates a non-zero without checking whether the value is non-zero.
411 /// This results in undefined behavior if the value is zero.
412 ///
413 /// # Safety
414 ///
415 /// The value must not be zero.
416 #[stable(feature = "nonzero", since = "1.28.0")]
417 #[rustc_const_stable(feature = "nonzero", since = "1.28.0")]
418 #[must_use]
419 #[inline]
420 #[track_caller]
421 pub const unsafe fn new_unchecked(n: T) -> Self {
422 match Self::new(n) {
423 Some(n) => n,
424 None => {
425 // SAFETY: The caller guarantees that `n` is non-zero, so this is unreachable.
426 unsafe {
427 ub_checks::assert_unsafe_precondition!(
428 check_language_ub,
429 "NonZero::new_unchecked requires the argument to be non-zero",
430 () => false,
431 );
432 intrinsics::unreachable()
433 }
434 }
435 }
436 }
437
438 /// Converts a reference to a non-zero mutable reference
439 /// if the referenced value is not zero.
440 #[unstable(feature = "nonzero_from_mut", issue = "106290")]
441 #[must_use]
442 #[inline]
443 pub fn from_mut(n: &mut T) -> Option<&mut Self> {
444 // SAFETY: Memory layout optimization guarantees that `Option<NonZero<T>>` has
445 // the same layout and size as `T`, with `0` representing `None`.
446 let opt_n = unsafe { &mut *(ptr::from_mut(n).cast::<Option<Self>>()) };
447
448 opt_n.as_mut()
449 }
450
451 /// Converts a mutable reference to a non-zero mutable reference
452 /// without checking whether the referenced value is non-zero.
453 /// This results in undefined behavior if the referenced value is zero.
454 ///
455 /// # Safety
456 ///
457 /// The referenced value must not be zero.
458 #[unstable(feature = "nonzero_from_mut", issue = "106290")]
459 #[must_use]
460 #[inline]
461 #[track_caller]
462 pub unsafe fn from_mut_unchecked(n: &mut T) -> &mut Self {
463 match Self::from_mut(n) {
464 Some(n) => n,
465 None => {
466 // SAFETY: The caller guarantees that `n` references a value that is non-zero, so this is unreachable.
467 unsafe {
468 ub_checks::assert_unsafe_precondition!(
469 check_library_ub,
470 "NonZero::from_mut_unchecked requires the argument to dereference as non-zero",
471 () => false,
472 );
473 intrinsics::unreachable()
474 }
475 }
476 }
477 }
478
479 /// Returns the contained value as a primitive type.
480 #[stable(feature = "nonzero", since = "1.28.0")]
481 #[rustc_const_stable(feature = "const_nonzero_get", since = "1.34.0")]
482 #[inline]
483 pub const fn get(self) -> T {
484 // Rustc can set range metadata only if it loads `self` from
485 // memory somewhere. If the value of `self` was from by-value argument
486 // of some not-inlined function, LLVM don't have range metadata
487 // to understand that the value cannot be zero.
488 //
489 // Using the transmute `assume`s the range at runtime.
490 //
491 // Even once LLVM supports `!range` metadata for function arguments
492 // (see <https://github.com/llvm/llvm-project/issues/76628>), this can't
493 // be `.0` because MCP#807 bans field-projecting into `scalar_valid_range`
494 // types, and it arguably wouldn't want to be anyway because if this is
495 // MIR-inlined, there's no opportunity to put that argument metadata anywhere.
496 //
497 // The good answer here will eventually be pattern types, which will hopefully
498 // allow it to go back to `.0`, maybe with a cast of some sort.
499 //
500 // SAFETY: `ZeroablePrimitive` guarantees that the size and bit validity
501 // of `.0` is such that this transmute is sound.
502 unsafe { intrinsics::transmute_unchecked(self) }
503 }
504}
505
506macro_rules! nonzero_integer {
507 (
508 #[$stability:meta]
509 Self = $Ty:ident,
510 Primitive = $signedness:ident $Int:ident,
511 SignedPrimitive = $Sint:ty,
512 UnsignedPrimitive = $Uint:ty,
513
514 // Used in doc comments.
515 rot = $rot:literal,
516 rot_op = $rot_op:literal,
517 rot_result = $rot_result:literal,
518 swap_op = $swap_op:literal,
519 swapped = $swapped:literal,
520 reversed = $reversed:literal,
521 leading_zeros_test = $leading_zeros_test:expr,
522 ) => {
523 #[doc = sign_dependent_expr!{
524 $signedness ?
525 if signed {
526 concat!("An [`", stringify!($Int), "`] that is known not to equal zero.")
527 }
528 if unsigned {
529 concat!("A [`", stringify!($Int), "`] that is known not to equal zero.")
530 }
531 }]
532 ///
533 /// This enables some memory layout optimization.
534 #[doc = concat!("For example, `Option<", stringify!($Ty), ">` is the same size as `", stringify!($Int), "`:")]
535 ///
536 /// ```rust
537 #[doc = concat!("assert_eq!(size_of::<Option<core::num::", stringify!($Ty), ">>(), size_of::<", stringify!($Int), ">());")]
538 /// ```
539 ///
540 /// # Layout
541 ///
542 #[doc = concat!("`", stringify!($Ty), "` is guaranteed to have the same layout and bit validity as `", stringify!($Int), "`")]
543 /// with the exception that `0` is not a valid instance.
544 #[doc = concat!("`Option<", stringify!($Ty), ">` is guaranteed to be compatible with `", stringify!($Int), "`,")]
545 /// including in FFI.
546 ///
547 /// Thanks to the [null pointer optimization],
548 #[doc = concat!("`", stringify!($Ty), "` and `Option<", stringify!($Ty), ">`")]
549 /// are guaranteed to have the same size and alignment:
550 ///
551 /// ```
552 #[doc = concat!("use std::num::", stringify!($Ty), ";")]
553 ///
554 #[doc = concat!("assert_eq!(size_of::<", stringify!($Ty), ">(), size_of::<Option<", stringify!($Ty), ">>());")]
555 #[doc = concat!("assert_eq!(align_of::<", stringify!($Ty), ">(), align_of::<Option<", stringify!($Ty), ">>());")]
556 /// ```
557 ///
558 /// # Compile-time creation
559 ///
560 /// Since both [`Option::unwrap()`] and [`Option::expect()`] are `const`, it is possible to
561 /// define a new
562 #[doc = concat!("`", stringify!($Ty), "`")]
563 /// at compile time via:
564 /// ```
565 #[doc = concat!("use std::num::", stringify!($Ty), ";")]
566 ///
567 #[doc = concat!("const TEN: ", stringify!($Ty), " = ", stringify!($Ty) , r#"::new(10).expect("ten is non-zero");"#)]
568 /// ```
569 ///
570 /// [null pointer optimization]: crate::option#representation
571 #[$stability]
572 pub type $Ty = NonZero<$Int>;
573
574 impl NonZero<$Int> {
575 /// The size of this non-zero integer type in bits.
576 ///
577 #[doc = concat!("This value is equal to [`", stringify!($Int), "::BITS`].")]
578 ///
579 /// # Examples
580 ///
581 /// ```
582 /// # use std::num::NonZero;
583 /// #
584 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::BITS, ", stringify!($Int), "::BITS);")]
585 /// ```
586 #[stable(feature = "nonzero_bits", since = "1.67.0")]
587 pub const BITS: u32 = <$Int>::BITS;
588
589 /// Returns the number of leading zeros in the binary representation of `self`.
590 ///
591 /// On many architectures, this function can perform better than `leading_zeros()` on the underlying integer type, as special handling of zero can be avoided.
592 ///
593 /// # Examples
594 ///
595 /// ```
596 /// # use std::num::NonZero;
597 /// #
598 /// # fn main() { test().unwrap(); }
599 /// # fn test() -> Option<()> {
600 #[doc = concat!("let n = NonZero::<", stringify!($Int), ">::new(", $leading_zeros_test, ")?;")]
601 ///
602 /// assert_eq!(n.leading_zeros(), 0);
603 /// # Some(())
604 /// # }
605 /// ```
606 #[stable(feature = "nonzero_leading_trailing_zeros", since = "1.53.0")]
607 #[rustc_const_stable(feature = "nonzero_leading_trailing_zeros", since = "1.53.0")]
608 #[must_use = "this returns the result of the operation, \
609 without modifying the original"]
610 #[inline]
611 pub const fn leading_zeros(self) -> u32 {
612 // SAFETY: since `self` cannot be zero, it is safe to call `ctlz_nonzero`.
613 unsafe {
614 intrinsics::ctlz_nonzero(self.get() as $Uint)
615 }
616 }
617
618 /// Returns the number of trailing zeros in the binary representation
619 /// of `self`.
620 ///
621 /// On many architectures, this function can perform better than `trailing_zeros()` on the underlying integer type, as special handling of zero can be avoided.
622 ///
623 /// # Examples
624 ///
625 /// ```
626 /// # use std::num::NonZero;
627 /// #
628 /// # fn main() { test().unwrap(); }
629 /// # fn test() -> Option<()> {
630 #[doc = concat!("let n = NonZero::<", stringify!($Int), ">::new(0b0101000)?;")]
631 ///
632 /// assert_eq!(n.trailing_zeros(), 3);
633 /// # Some(())
634 /// # }
635 /// ```
636 #[stable(feature = "nonzero_leading_trailing_zeros", since = "1.53.0")]
637 #[rustc_const_stable(feature = "nonzero_leading_trailing_zeros", since = "1.53.0")]
638 #[must_use = "this returns the result of the operation, \
639 without modifying the original"]
640 #[inline]
641 pub const fn trailing_zeros(self) -> u32 {
642 // SAFETY: since `self` cannot be zero, it is safe to call `cttz_nonzero`.
643 unsafe {
644 intrinsics::cttz_nonzero(self.get() as $Uint)
645 }
646 }
647
648 /// Returns `self` with only the most significant bit set.
649 ///
650 /// # Example
651 ///
652 /// ```
653 /// # use core::num::NonZero;
654 /// # fn main() { test().unwrap(); }
655 /// # fn test() -> Option<()> {
656 #[doc = concat!("let a = NonZero::<", stringify!($Int), ">::new(0b_01100100)?;")]
657 #[doc = concat!("let b = NonZero::<", stringify!($Int), ">::new(0b_01000000)?;")]
658 ///
659 /// assert_eq!(a.isolate_highest_one(), b);
660 /// # Some(())
661 /// # }
662 /// ```
663 #[stable(feature = "isolate_most_least_significant_one", since = "CURRENT_RUSTC_VERSION")]
664 #[rustc_const_stable(feature = "isolate_most_least_significant_one", since = "CURRENT_RUSTC_VERSION")]
665 #[must_use = "this returns the result of the operation, \
666 without modifying the original"]
667 #[inline(always)]
668 pub const fn isolate_highest_one(self) -> Self {
669 // SAFETY:
670 // `self` is non-zero, so masking to preserve only the most
671 // significant set bit will result in a non-zero `n`.
672 // and self.leading_zeros() is always < $INT::BITS since
673 // at least one of the bits in the number is not zero
674 unsafe {
675 let bit = (((1 as $Uint) << (<$Uint>::BITS - 1)).unchecked_shr(self.leading_zeros()));
676 NonZero::new_unchecked(bit as $Int)
677 }
678 }
679
680 /// Returns `self` with only the least significant bit set.
681 ///
682 /// # Example
683 ///
684 /// ```
685 /// # use core::num::NonZero;
686 /// # fn main() { test().unwrap(); }
687 /// # fn test() -> Option<()> {
688 #[doc = concat!("let a = NonZero::<", stringify!($Int), ">::new(0b_01100100)?;")]
689 #[doc = concat!("let b = NonZero::<", stringify!($Int), ">::new(0b_00000100)?;")]
690 ///
691 /// assert_eq!(a.isolate_lowest_one(), b);
692 /// # Some(())
693 /// # }
694 /// ```
695 #[stable(feature = "isolate_most_least_significant_one", since = "CURRENT_RUSTC_VERSION")]
696 #[rustc_const_stable(feature = "isolate_most_least_significant_one", since = "CURRENT_RUSTC_VERSION")]
697 #[must_use = "this returns the result of the operation, \
698 without modifying the original"]
699 #[inline(always)]
700 pub const fn isolate_lowest_one(self) -> Self {
701 let n = self.get();
702 let n = n & n.wrapping_neg();
703
704 // SAFETY: `self` is non-zero, so `self` with only its least
705 // significant set bit will remain non-zero.
706 unsafe { NonZero::new_unchecked(n) }
707 }
708
709 /// Returns the index of the highest bit set to one in `self`.
710 ///
711 /// # Examples
712 ///
713 /// ```
714 /// # use core::num::NonZero;
715 /// # fn main() { test().unwrap(); }
716 /// # fn test() -> Option<()> {
717 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::new(0b1)?.highest_one(), 0);")]
718 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::new(0b1_0000)?.highest_one(), 4);")]
719 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::new(0b1_1111)?.highest_one(), 4);")]
720 /// # Some(())
721 /// # }
722 /// ```
723 #[stable(feature = "int_lowest_highest_one", since = "CURRENT_RUSTC_VERSION")]
724 #[rustc_const_stable(feature = "int_lowest_highest_one", since = "CURRENT_RUSTC_VERSION")]
725 #[must_use = "this returns the result of the operation, \
726 without modifying the original"]
727 #[inline(always)]
728 pub const fn highest_one(self) -> u32 {
729 Self::BITS - 1 - self.leading_zeros()
730 }
731
732 /// Returns the index of the lowest bit set to one in `self`.
733 ///
734 /// # Examples
735 ///
736 /// ```
737 /// # use core::num::NonZero;
738 /// # fn main() { test().unwrap(); }
739 /// # fn test() -> Option<()> {
740 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::new(0b1)?.lowest_one(), 0);")]
741 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::new(0b1_0000)?.lowest_one(), 4);")]
742 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::new(0b1_1111)?.lowest_one(), 0);")]
743 /// # Some(())
744 /// # }
745 /// ```
746 #[stable(feature = "int_lowest_highest_one", since = "CURRENT_RUSTC_VERSION")]
747 #[rustc_const_stable(feature = "int_lowest_highest_one", since = "CURRENT_RUSTC_VERSION")]
748 #[must_use = "this returns the result of the operation, \
749 without modifying the original"]
750 #[inline(always)]
751 pub const fn lowest_one(self) -> u32 {
752 self.trailing_zeros()
753 }
754
755 /// Returns the number of ones in the binary representation of `self`.
756 ///
757 /// # Examples
758 ///
759 /// ```
760 /// # use std::num::NonZero;
761 /// #
762 /// # fn main() { test().unwrap(); }
763 /// # fn test() -> Option<()> {
764 #[doc = concat!("let a = NonZero::<", stringify!($Int), ">::new(0b100_0000)?;")]
765 #[doc = concat!("let b = NonZero::<", stringify!($Int), ">::new(0b100_0011)?;")]
766 ///
767 /// assert_eq!(a.count_ones(), NonZero::new(1)?);
768 /// assert_eq!(b.count_ones(), NonZero::new(3)?);
769 /// # Some(())
770 /// # }
771 /// ```
772 ///
773 #[stable(feature = "non_zero_count_ones", since = "1.86.0")]
774 #[rustc_const_stable(feature = "non_zero_count_ones", since = "1.86.0")]
775 #[doc(alias = "popcount")]
776 #[doc(alias = "popcnt")]
777 #[must_use = "this returns the result of the operation, \
778 without modifying the original"]
779 #[inline(always)]
780 pub const fn count_ones(self) -> NonZero<u32> {
781 // SAFETY:
782 // `self` is non-zero, which means it has at least one bit set, which means
783 // that the result of `count_ones` is non-zero.
784 unsafe { NonZero::new_unchecked(self.get().count_ones()) }
785 }
786
787 /// Shifts the bits to the left by a specified amount, `n`,
788 /// wrapping the truncated bits to the end of the resulting integer.
789 ///
790 /// Please note this isn't the same operation as the `<<` shifting operator!
791 ///
792 /// # Examples
793 ///
794 /// ```
795 /// #![feature(nonzero_bitwise)]
796 /// # use std::num::NonZero;
797 /// #
798 /// # fn main() { test().unwrap(); }
799 /// # fn test() -> Option<()> {
800 #[doc = concat!("let n = NonZero::new(", $rot_op, stringify!($Int), ")?;")]
801 #[doc = concat!("let m = NonZero::new(", $rot_result, ")?;")]
802 ///
803 #[doc = concat!("assert_eq!(n.rotate_left(", $rot, "), m);")]
804 /// # Some(())
805 /// # }
806 /// ```
807 #[unstable(feature = "nonzero_bitwise", issue = "128281")]
808 #[must_use = "this returns the result of the operation, \
809 without modifying the original"]
810 #[inline(always)]
811 pub const fn rotate_left(self, n: u32) -> Self {
812 let result = self.get().rotate_left(n);
813 // SAFETY: Rotating bits preserves the property int > 0.
814 unsafe { Self::new_unchecked(result) }
815 }
816
817 /// Shifts the bits to the right by a specified amount, `n`,
818 /// wrapping the truncated bits to the beginning of the resulting
819 /// integer.
820 ///
821 /// Please note this isn't the same operation as the `>>` shifting operator!
822 ///
823 /// # Examples
824 ///
825 /// ```
826 /// #![feature(nonzero_bitwise)]
827 /// # use std::num::NonZero;
828 /// #
829 /// # fn main() { test().unwrap(); }
830 /// # fn test() -> Option<()> {
831 #[doc = concat!("let n = NonZero::new(", $rot_result, stringify!($Int), ")?;")]
832 #[doc = concat!("let m = NonZero::new(", $rot_op, ")?;")]
833 ///
834 #[doc = concat!("assert_eq!(n.rotate_right(", $rot, "), m);")]
835 /// # Some(())
836 /// # }
837 /// ```
838 #[unstable(feature = "nonzero_bitwise", issue = "128281")]
839 #[must_use = "this returns the result of the operation, \
840 without modifying the original"]
841 #[inline(always)]
842 pub const fn rotate_right(self, n: u32) -> Self {
843 let result = self.get().rotate_right(n);
844 // SAFETY: Rotating bits preserves the property int > 0.
845 unsafe { Self::new_unchecked(result) }
846 }
847
848 /// Reverses the byte order of the integer.
849 ///
850 /// # Examples
851 ///
852 /// ```
853 /// #![feature(nonzero_bitwise)]
854 /// # use std::num::NonZero;
855 /// #
856 /// # fn main() { test().unwrap(); }
857 /// # fn test() -> Option<()> {
858 #[doc = concat!("let n = NonZero::new(", $swap_op, stringify!($Int), ")?;")]
859 /// let m = n.swap_bytes();
860 ///
861 #[doc = concat!("assert_eq!(m, NonZero::new(", $swapped, ")?);")]
862 /// # Some(())
863 /// # }
864 /// ```
865 #[unstable(feature = "nonzero_bitwise", issue = "128281")]
866 #[must_use = "this returns the result of the operation, \
867 without modifying the original"]
868 #[inline(always)]
869 pub const fn swap_bytes(self) -> Self {
870 let result = self.get().swap_bytes();
871 // SAFETY: Shuffling bytes preserves the property int > 0.
872 unsafe { Self::new_unchecked(result) }
873 }
874
875 /// Reverses the order of bits in the integer. The least significant bit becomes the most significant bit,
876 /// second least-significant bit becomes second most-significant bit, etc.
877 ///
878 /// # Examples
879 ///
880 /// ```
881 /// #![feature(nonzero_bitwise)]
882 /// # use std::num::NonZero;
883 /// #
884 /// # fn main() { test().unwrap(); }
885 /// # fn test() -> Option<()> {
886 #[doc = concat!("let n = NonZero::new(", $swap_op, stringify!($Int), ")?;")]
887 /// let m = n.reverse_bits();
888 ///
889 #[doc = concat!("assert_eq!(m, NonZero::new(", $reversed, ")?);")]
890 /// # Some(())
891 /// # }
892 /// ```
893 #[unstable(feature = "nonzero_bitwise", issue = "128281")]
894 #[must_use = "this returns the result of the operation, \
895 without modifying the original"]
896 #[inline(always)]
897 pub const fn reverse_bits(self) -> Self {
898 let result = self.get().reverse_bits();
899 // SAFETY: Reversing bits preserves the property int > 0.
900 unsafe { Self::new_unchecked(result) }
901 }
902
903 /// Converts an integer from big endian to the target's endianness.
904 ///
905 /// On big endian this is a no-op. On little endian the bytes are
906 /// swapped.
907 ///
908 /// # Examples
909 ///
910 /// ```
911 /// #![feature(nonzero_bitwise)]
912 /// # use std::num::NonZero;
913 #[doc = concat!("use std::num::", stringify!($Ty), ";")]
914 /// #
915 /// # fn main() { test().unwrap(); }
916 /// # fn test() -> Option<()> {
917 #[doc = concat!("let n = NonZero::new(0x1A", stringify!($Int), ")?;")]
918 ///
919 /// if cfg!(target_endian = "big") {
920 #[doc = concat!(" assert_eq!(", stringify!($Ty), "::from_be(n), n)")]
921 /// } else {
922 #[doc = concat!(" assert_eq!(", stringify!($Ty), "::from_be(n), n.swap_bytes())")]
923 /// }
924 /// # Some(())
925 /// # }
926 /// ```
927 #[unstable(feature = "nonzero_bitwise", issue = "128281")]
928 #[must_use]
929 #[inline(always)]
930 pub const fn from_be(x: Self) -> Self {
931 let result = $Int::from_be(x.get());
932 // SAFETY: Shuffling bytes preserves the property int > 0.
933 unsafe { Self::new_unchecked(result) }
934 }
935
936 /// Converts an integer from little endian to the target's endianness.
937 ///
938 /// On little endian this is a no-op. On big endian the bytes are
939 /// swapped.
940 ///
941 /// # Examples
942 ///
943 /// ```
944 /// #![feature(nonzero_bitwise)]
945 /// # use std::num::NonZero;
946 #[doc = concat!("use std::num::", stringify!($Ty), ";")]
947 /// #
948 /// # fn main() { test().unwrap(); }
949 /// # fn test() -> Option<()> {
950 #[doc = concat!("let n = NonZero::new(0x1A", stringify!($Int), ")?;")]
951 ///
952 /// if cfg!(target_endian = "little") {
953 #[doc = concat!(" assert_eq!(", stringify!($Ty), "::from_le(n), n)")]
954 /// } else {
955 #[doc = concat!(" assert_eq!(", stringify!($Ty), "::from_le(n), n.swap_bytes())")]
956 /// }
957 /// # Some(())
958 /// # }
959 /// ```
960 #[unstable(feature = "nonzero_bitwise", issue = "128281")]
961 #[must_use]
962 #[inline(always)]
963 pub const fn from_le(x: Self) -> Self {
964 let result = $Int::from_le(x.get());
965 // SAFETY: Shuffling bytes preserves the property int > 0.
966 unsafe { Self::new_unchecked(result) }
967 }
968
969 /// Converts `self` to big endian from the target's endianness.
970 ///
971 /// On big endian this is a no-op. On little endian the bytes are
972 /// swapped.
973 ///
974 /// # Examples
975 ///
976 /// ```
977 /// #![feature(nonzero_bitwise)]
978 /// # use std::num::NonZero;
979 /// #
980 /// # fn main() { test().unwrap(); }
981 /// # fn test() -> Option<()> {
982 #[doc = concat!("let n = NonZero::new(0x1A", stringify!($Int), ")?;")]
983 ///
984 /// if cfg!(target_endian = "big") {
985 /// assert_eq!(n.to_be(), n)
986 /// } else {
987 /// assert_eq!(n.to_be(), n.swap_bytes())
988 /// }
989 /// # Some(())
990 /// # }
991 /// ```
992 #[unstable(feature = "nonzero_bitwise", issue = "128281")]
993 #[must_use = "this returns the result of the operation, \
994 without modifying the original"]
995 #[inline(always)]
996 pub const fn to_be(self) -> Self {
997 let result = self.get().to_be();
998 // SAFETY: Shuffling bytes preserves the property int > 0.
999 unsafe { Self::new_unchecked(result) }
1000 }
1001
1002 /// Converts `self` to little endian from the target's endianness.
1003 ///
1004 /// On little endian this is a no-op. On big endian the bytes are
1005 /// swapped.
1006 ///
1007 /// # Examples
1008 ///
1009 /// ```
1010 /// #![feature(nonzero_bitwise)]
1011 /// # use std::num::NonZero;
1012 /// #
1013 /// # fn main() { test().unwrap(); }
1014 /// # fn test() -> Option<()> {
1015 #[doc = concat!("let n = NonZero::new(0x1A", stringify!($Int), ")?;")]
1016 ///
1017 /// if cfg!(target_endian = "little") {
1018 /// assert_eq!(n.to_le(), n)
1019 /// } else {
1020 /// assert_eq!(n.to_le(), n.swap_bytes())
1021 /// }
1022 /// # Some(())
1023 /// # }
1024 /// ```
1025 #[unstable(feature = "nonzero_bitwise", issue = "128281")]
1026 #[must_use = "this returns the result of the operation, \
1027 without modifying the original"]
1028 #[inline(always)]
1029 pub const fn to_le(self) -> Self {
1030 let result = self.get().to_le();
1031 // SAFETY: Shuffling bytes preserves the property int > 0.
1032 unsafe { Self::new_unchecked(result) }
1033 }
1034
1035 nonzero_integer_signedness_dependent_methods! {
1036 Primitive = $signedness $Int,
1037 SignedPrimitive = $Sint,
1038 UnsignedPrimitive = $Uint,
1039 }
1040
1041 /// Multiplies two non-zero integers together.
1042 /// Checks for overflow and returns [`None`] on overflow.
1043 /// As a consequence, the result cannot wrap to zero.
1044 ///
1045 /// # Examples
1046 ///
1047 /// ```
1048 /// # use std::num::NonZero;
1049 /// #
1050 /// # fn main() { test().unwrap(); }
1051 /// # fn test() -> Option<()> {
1052 #[doc = concat!("let two = NonZero::new(2", stringify!($Int), ")?;")]
1053 #[doc = concat!("let four = NonZero::new(4", stringify!($Int), ")?;")]
1054 #[doc = concat!("let max = NonZero::new(", stringify!($Int), "::MAX)?;")]
1055 ///
1056 /// assert_eq!(Some(four), two.checked_mul(two));
1057 /// assert_eq!(None, max.checked_mul(two));
1058 /// # Some(())
1059 /// # }
1060 /// ```
1061 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
1062 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
1063 #[must_use = "this returns the result of the operation, \
1064 without modifying the original"]
1065 #[inline]
1066 pub const fn checked_mul(self, other: Self) -> Option<Self> {
1067 if let Some(result) = self.get().checked_mul(other.get()) {
1068 // SAFETY:
1069 // - `checked_mul` returns `None` on overflow
1070 // - `self` and `other` are non-zero
1071 // - the only way to get zero from a multiplication without overflow is for one
1072 // of the sides to be zero
1073 //
1074 // So the result cannot be zero.
1075 Some(unsafe { Self::new_unchecked(result) })
1076 } else {
1077 None
1078 }
1079 }
1080
1081 /// Multiplies two non-zero integers together.
1082 #[doc = concat!("Return [`NonZero::<", stringify!($Int), ">::MAX`] on overflow.")]
1083 ///
1084 /// # Examples
1085 ///
1086 /// ```
1087 /// # use std::num::NonZero;
1088 /// #
1089 /// # fn main() { test().unwrap(); }
1090 /// # fn test() -> Option<()> {
1091 #[doc = concat!("let two = NonZero::new(2", stringify!($Int), ")?;")]
1092 #[doc = concat!("let four = NonZero::new(4", stringify!($Int), ")?;")]
1093 #[doc = concat!("let max = NonZero::new(", stringify!($Int), "::MAX)?;")]
1094 ///
1095 /// assert_eq!(four, two.saturating_mul(two));
1096 /// assert_eq!(max, four.saturating_mul(max));
1097 /// # Some(())
1098 /// # }
1099 /// ```
1100 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
1101 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
1102 #[must_use = "this returns the result of the operation, \
1103 without modifying the original"]
1104 #[inline]
1105 pub const fn saturating_mul(self, other: Self) -> Self {
1106 // SAFETY:
1107 // - `saturating_mul` returns `u*::MAX`/`i*::MAX`/`i*::MIN` on overflow/underflow,
1108 // all of which are non-zero
1109 // - `self` and `other` are non-zero
1110 // - the only way to get zero from a multiplication without overflow is for one
1111 // of the sides to be zero
1112 //
1113 // So the result cannot be zero.
1114 unsafe { Self::new_unchecked(self.get().saturating_mul(other.get())) }
1115 }
1116
1117 /// Multiplies two non-zero integers together,
1118 /// assuming overflow cannot occur.
1119 /// Overflow is unchecked, and it is undefined behavior to overflow
1120 /// *even if the result would wrap to a non-zero value*.
1121 /// The behavior is undefined as soon as
1122 #[doc = sign_dependent_expr!{
1123 $signedness ?
1124 if signed {
1125 concat!("`self * rhs > ", stringify!($Int), "::MAX`, ",
1126 "or `self * rhs < ", stringify!($Int), "::MIN`.")
1127 }
1128 if unsigned {
1129 concat!("`self * rhs > ", stringify!($Int), "::MAX`.")
1130 }
1131 }]
1132 ///
1133 /// # Examples
1134 ///
1135 /// ```
1136 /// #![feature(nonzero_ops)]
1137 ///
1138 /// # use std::num::NonZero;
1139 /// #
1140 /// # fn main() { test().unwrap(); }
1141 /// # fn test() -> Option<()> {
1142 #[doc = concat!("let two = NonZero::new(2", stringify!($Int), ")?;")]
1143 #[doc = concat!("let four = NonZero::new(4", stringify!($Int), ")?;")]
1144 ///
1145 /// assert_eq!(four, unsafe { two.unchecked_mul(two) });
1146 /// # Some(())
1147 /// # }
1148 /// ```
1149 #[unstable(feature = "nonzero_ops", issue = "84186")]
1150 #[must_use = "this returns the result of the operation, \
1151 without modifying the original"]
1152 #[inline]
1153 pub const unsafe fn unchecked_mul(self, other: Self) -> Self {
1154 // SAFETY: The caller ensures there is no overflow.
1155 unsafe { Self::new_unchecked(self.get().unchecked_mul(other.get())) }
1156 }
1157
1158 /// Raises non-zero value to an integer power.
1159 /// Checks for overflow and returns [`None`] on overflow.
1160 /// As a consequence, the result cannot wrap to zero.
1161 ///
1162 /// # Examples
1163 ///
1164 /// ```
1165 /// # use std::num::NonZero;
1166 /// #
1167 /// # fn main() { test().unwrap(); }
1168 /// # fn test() -> Option<()> {
1169 #[doc = concat!("let three = NonZero::new(3", stringify!($Int), ")?;")]
1170 #[doc = concat!("let twenty_seven = NonZero::new(27", stringify!($Int), ")?;")]
1171 #[doc = concat!("let half_max = NonZero::new(", stringify!($Int), "::MAX / 2)?;")]
1172 ///
1173 /// assert_eq!(Some(twenty_seven), three.checked_pow(3));
1174 /// assert_eq!(None, half_max.checked_pow(3));
1175 /// # Some(())
1176 /// # }
1177 /// ```
1178 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
1179 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
1180 #[must_use = "this returns the result of the operation, \
1181 without modifying the original"]
1182 #[inline]
1183 pub const fn checked_pow(self, other: u32) -> Option<Self> {
1184 if let Some(result) = self.get().checked_pow(other) {
1185 // SAFETY:
1186 // - `checked_pow` returns `None` on overflow/underflow
1187 // - `self` is non-zero
1188 // - the only way to get zero from an exponentiation without overflow is
1189 // for base to be zero
1190 //
1191 // So the result cannot be zero.
1192 Some(unsafe { Self::new_unchecked(result) })
1193 } else {
1194 None
1195 }
1196 }
1197
1198 /// Raise non-zero value to an integer power.
1199 #[doc = sign_dependent_expr!{
1200 $signedness ?
1201 if signed {
1202 concat!("Return [`NonZero::<", stringify!($Int), ">::MIN`] ",
1203 "or [`NonZero::<", stringify!($Int), ">::MAX`] on overflow.")
1204 }
1205 if unsigned {
1206 concat!("Return [`NonZero::<", stringify!($Int), ">::MAX`] on overflow.")
1207 }
1208 }]
1209 ///
1210 /// # Examples
1211 ///
1212 /// ```
1213 /// # use std::num::NonZero;
1214 /// #
1215 /// # fn main() { test().unwrap(); }
1216 /// # fn test() -> Option<()> {
1217 #[doc = concat!("let three = NonZero::new(3", stringify!($Int), ")?;")]
1218 #[doc = concat!("let twenty_seven = NonZero::new(27", stringify!($Int), ")?;")]
1219 #[doc = concat!("let max = NonZero::new(", stringify!($Int), "::MAX)?;")]
1220 ///
1221 /// assert_eq!(twenty_seven, three.saturating_pow(3));
1222 /// assert_eq!(max, max.saturating_pow(3));
1223 /// # Some(())
1224 /// # }
1225 /// ```
1226 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
1227 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
1228 #[must_use = "this returns the result of the operation, \
1229 without modifying the original"]
1230 #[inline]
1231 pub const fn saturating_pow(self, other: u32) -> Self {
1232 // SAFETY:
1233 // - `saturating_pow` returns `u*::MAX`/`i*::MAX`/`i*::MIN` on overflow/underflow,
1234 // all of which are non-zero
1235 // - `self` is non-zero
1236 // - the only way to get zero from an exponentiation without overflow is
1237 // for base to be zero
1238 //
1239 // So the result cannot be zero.
1240 unsafe { Self::new_unchecked(self.get().saturating_pow(other)) }
1241 }
1242
1243 /// Parses a non-zero integer from an ASCII-byte slice with decimal digits.
1244 ///
1245 /// The characters are expected to be an optional
1246 #[doc = sign_dependent_expr!{
1247 $signedness ?
1248 if signed {
1249 " `+` or `-` "
1250 }
1251 if unsigned {
1252 " `+` "
1253 }
1254 }]
1255 /// sign followed by only digits. Leading and trailing non-digit characters (including
1256 /// whitespace) represent an error. Underscores (which are accepted in Rust literals)
1257 /// also represent an error.
1258 ///
1259 /// # Examples
1260 ///
1261 /// ```
1262 /// #![feature(int_from_ascii)]
1263 ///
1264 /// # use std::num::NonZero;
1265 /// #
1266 /// # fn main() { test().unwrap(); }
1267 /// # fn test() -> Option<()> {
1268 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::from_ascii(b\"+10\"), Ok(NonZero::new(10)?));")]
1269 /// # Some(())
1270 /// # }
1271 /// ```
1272 ///
1273 /// Trailing space returns error:
1274 ///
1275 /// ```
1276 /// #![feature(int_from_ascii)]
1277 ///
1278 /// # use std::num::NonZero;
1279 /// #
1280 #[doc = concat!("assert!(NonZero::<", stringify!($Int), ">::from_ascii(b\"1 \").is_err());")]
1281 /// ```
1282 #[unstable(feature = "int_from_ascii", issue = "134821")]
1283 #[inline]
1284 pub const fn from_ascii(src: &[u8]) -> Result<Self, ParseIntError> {
1285 Self::from_ascii_radix(src, 10)
1286 }
1287
1288 /// Parses a non-zero integer from an ASCII-byte slice with digits in a given base.
1289 ///
1290 /// The characters are expected to be an optional
1291 #[doc = sign_dependent_expr!{
1292 $signedness ?
1293 if signed {
1294 " `+` or `-` "
1295 }
1296 if unsigned {
1297 " `+` "
1298 }
1299 }]
1300 /// sign followed by only digits. Leading and trailing non-digit characters (including
1301 /// whitespace) represent an error. Underscores (which are accepted in Rust literals)
1302 /// also represent an error.
1303 ///
1304 /// Digits are a subset of these characters, depending on `radix`:
1305 ///
1306 /// - `0-9`
1307 /// - `a-z`
1308 /// - `A-Z`
1309 ///
1310 /// # Panics
1311 ///
1312 /// This method panics if `radix` is not in the range from 2 to 36.
1313 ///
1314 /// # Examples
1315 ///
1316 /// ```
1317 /// #![feature(int_from_ascii)]
1318 ///
1319 /// # use std::num::NonZero;
1320 /// #
1321 /// # fn main() { test().unwrap(); }
1322 /// # fn test() -> Option<()> {
1323 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::from_ascii_radix(b\"A\", 16), Ok(NonZero::new(10)?));")]
1324 /// # Some(())
1325 /// # }
1326 /// ```
1327 ///
1328 /// Trailing space returns error:
1329 ///
1330 /// ```
1331 /// #![feature(int_from_ascii)]
1332 ///
1333 /// # use std::num::NonZero;
1334 /// #
1335 #[doc = concat!("assert!(NonZero::<", stringify!($Int), ">::from_ascii_radix(b\"1 \", 10).is_err());")]
1336 /// ```
1337 #[unstable(feature = "int_from_ascii", issue = "134821")]
1338 #[inline]
1339 pub const fn from_ascii_radix(src: &[u8], radix: u32) -> Result<Self, ParseIntError> {
1340 let n = match <$Int>::from_ascii_radix(src, radix) {
1341 Ok(n) => n,
1342 Err(err) => return Err(err),
1343 };
1344 if let Some(n) = Self::new(n) {
1345 Ok(n)
1346 } else {
1347 Err(ParseIntError { kind: IntErrorKind::Zero })
1348 }
1349 }
1350
1351 /// Parses a non-zero integer from a string slice with digits in a given base.
1352 ///
1353 /// The string is expected to be an optional
1354 #[doc = sign_dependent_expr!{
1355 $signedness ?
1356 if signed {
1357 " `+` or `-` "
1358 }
1359 if unsigned {
1360 " `+` "
1361 }
1362 }]
1363 /// sign followed by only digits. Leading and trailing non-digit characters (including
1364 /// whitespace) represent an error. Underscores (which are accepted in Rust literals)
1365 /// also represent an error.
1366 ///
1367 /// Digits are a subset of these characters, depending on `radix`:
1368 ///
1369 /// - `0-9`
1370 /// - `a-z`
1371 /// - `A-Z`
1372 ///
1373 /// # Panics
1374 ///
1375 /// This method panics if `radix` is not in the range from 2 to 36.
1376 ///
1377 /// # Examples
1378 ///
1379 /// ```
1380 /// #![feature(nonzero_from_str_radix)]
1381 ///
1382 /// # use std::num::NonZero;
1383 /// #
1384 /// # fn main() { test().unwrap(); }
1385 /// # fn test() -> Option<()> {
1386 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::from_str_radix(\"A\", 16), Ok(NonZero::new(10)?));")]
1387 /// # Some(())
1388 /// # }
1389 /// ```
1390 ///
1391 /// Trailing space returns error:
1392 ///
1393 /// ```
1394 /// #![feature(nonzero_from_str_radix)]
1395 ///
1396 /// # use std::num::NonZero;
1397 /// #
1398 #[doc = concat!("assert!(NonZero::<", stringify!($Int), ">::from_str_radix(\"1 \", 10).is_err());")]
1399 /// ```
1400 #[unstable(feature = "nonzero_from_str_radix", issue = "152193")]
1401 #[inline]
1402 pub const fn from_str_radix(src: &str, radix: u32) -> Result<Self, ParseIntError> {
1403 Self::from_ascii_radix(src.as_bytes(), radix)
1404 }
1405 }
1406
1407 #[stable(feature = "nonzero_parse", since = "1.35.0")]
1408 impl FromStr for NonZero<$Int> {
1409 type Err = ParseIntError;
1410 fn from_str(src: &str) -> Result<Self, Self::Err> {
1411 Self::from_str_radix(src, 10)
1412 }
1413 }
1414
1415 nonzero_integer_signedness_dependent_impls!($signedness $Int);
1416 };
1417
1418 (
1419 Self = $Ty:ident,
1420 Primitive = unsigned $Int:ident,
1421 SignedPrimitive = $Sint:ident,
1422 rot = $rot:literal,
1423 rot_op = $rot_op:literal,
1424 rot_result = $rot_result:literal,
1425 swap_op = $swap_op:literal,
1426 swapped = $swapped:literal,
1427 reversed = $reversed:literal,
1428 $(,)?
1429 ) => {
1430 nonzero_integer! {
1431 #[stable(feature = "nonzero", since = "1.28.0")]
1432 Self = $Ty,
1433 Primitive = unsigned $Int,
1434 SignedPrimitive = $Sint,
1435 UnsignedPrimitive = $Int,
1436 rot = $rot,
1437 rot_op = $rot_op,
1438 rot_result = $rot_result,
1439 swap_op = $swap_op,
1440 swapped = $swapped,
1441 reversed = $reversed,
1442 leading_zeros_test = concat!(stringify!($Int), "::MAX"),
1443 }
1444 };
1445
1446 (
1447 Self = $Ty:ident,
1448 Primitive = signed $Int:ident,
1449 UnsignedPrimitive = $Uint:ident,
1450 rot = $rot:literal,
1451 rot_op = $rot_op:literal,
1452 rot_result = $rot_result:literal,
1453 swap_op = $swap_op:literal,
1454 swapped = $swapped:literal,
1455 reversed = $reversed:literal,
1456 ) => {
1457 nonzero_integer! {
1458 #[stable(feature = "signed_nonzero", since = "1.34.0")]
1459 Self = $Ty,
1460 Primitive = signed $Int,
1461 SignedPrimitive = $Int,
1462 UnsignedPrimitive = $Uint,
1463 rot = $rot,
1464 rot_op = $rot_op,
1465 rot_result = $rot_result,
1466 swap_op = $swap_op,
1467 swapped = $swapped,
1468 reversed = $reversed,
1469 leading_zeros_test = concat!("-1", stringify!($Int)),
1470 }
1471 };
1472}
1473
1474macro_rules! nonzero_integer_signedness_dependent_impls {
1475 // Impls for unsigned nonzero types only.
1476 (unsigned $Int:ty) => {
1477 #[stable(feature = "nonzero_div", since = "1.51.0")]
1478 #[rustc_const_unstable(feature = "const_ops", issue = "143802")]
1479 impl const Div<NonZero<$Int>> for $Int {
1480 type Output = $Int;
1481
1482 /// Same as `self / other.get()`, but because `other` is a `NonZero<_>`,
1483 /// there's never a runtime check for division-by-zero.
1484 ///
1485 /// This operation rounds towards zero, truncating any fractional
1486 /// part of the exact result, and cannot panic.
1487 #[doc(alias = "unchecked_div")]
1488 #[inline]
1489 fn div(self, other: NonZero<$Int>) -> $Int {
1490 // SAFETY: Division by zero is checked because `other` is non-zero,
1491 // and MIN/-1 is checked because `self` is an unsigned int.
1492 unsafe { intrinsics::unchecked_div(self, other.get()) }
1493 }
1494 }
1495
1496 #[stable(feature = "nonzero_div_assign", since = "1.79.0")]
1497 #[rustc_const_unstable(feature = "const_ops", issue = "143802")]
1498 impl const DivAssign<NonZero<$Int>> for $Int {
1499 /// Same as `self /= other.get()`, but because `other` is a `NonZero<_>`,
1500 /// there's never a runtime check for division-by-zero.
1501 ///
1502 /// This operation rounds towards zero, truncating any fractional
1503 /// part of the exact result, and cannot panic.
1504 #[inline]
1505 fn div_assign(&mut self, other: NonZero<$Int>) {
1506 *self = *self / other;
1507 }
1508 }
1509
1510 #[stable(feature = "nonzero_div", since = "1.51.0")]
1511 #[rustc_const_unstable(feature = "const_ops", issue = "143802")]
1512 impl const Rem<NonZero<$Int>> for $Int {
1513 type Output = $Int;
1514
1515 /// This operation satisfies `n % d == n - (n / d) * d`, and cannot panic.
1516 #[inline]
1517 fn rem(self, other: NonZero<$Int>) -> $Int {
1518 // SAFETY: Remainder by zero is checked because `other` is non-zero,
1519 // and MIN/-1 is checked because `self` is an unsigned int.
1520 unsafe { intrinsics::unchecked_rem(self, other.get()) }
1521 }
1522 }
1523
1524 #[stable(feature = "nonzero_div_assign", since = "1.79.0")]
1525 #[rustc_const_unstable(feature = "const_ops", issue = "143802")]
1526 impl const RemAssign<NonZero<$Int>> for $Int {
1527 /// This operation satisfies `n % d == n - (n / d) * d`, and cannot panic.
1528 #[inline]
1529 fn rem_assign(&mut self, other: NonZero<$Int>) {
1530 *self = *self % other;
1531 }
1532 }
1533
1534 impl NonZero<$Int> {
1535 /// Calculates the quotient of `self` and `rhs`, rounding the result towards positive infinity.
1536 ///
1537 /// The result is guaranteed to be non-zero.
1538 ///
1539 /// # Examples
1540 ///
1541 /// ```
1542 /// # use std::num::NonZero;
1543 #[doc = concat!("let one = NonZero::new(1", stringify!($Int), ").unwrap();")]
1544 #[doc = concat!("let max = NonZero::new(", stringify!($Int), "::MAX).unwrap();")]
1545 /// assert_eq!(one.div_ceil(max), one);
1546 ///
1547 #[doc = concat!("let two = NonZero::new(2", stringify!($Int), ").unwrap();")]
1548 #[doc = concat!("let three = NonZero::new(3", stringify!($Int), ").unwrap();")]
1549 /// assert_eq!(three.div_ceil(two), two);
1550 /// ```
1551 #[stable(feature = "unsigned_nonzero_div_ceil", since = "1.92.0")]
1552 #[rustc_const_stable(feature = "unsigned_nonzero_div_ceil", since = "1.92.0")]
1553 #[must_use = "this returns the result of the operation, \
1554 without modifying the original"]
1555 #[inline]
1556 pub const fn div_ceil(self, rhs: Self) -> Self {
1557 let v = self.get().div_ceil(rhs.get());
1558 // SAFETY: ceiled division of two positive integers can never be zero.
1559 unsafe { Self::new_unchecked(v) }
1560 }
1561 }
1562 };
1563 // Impls for signed nonzero types only.
1564 (signed $Int:ty) => {
1565 #[stable(feature = "signed_nonzero_neg", since = "1.71.0")]
1566 #[rustc_const_unstable(feature = "const_ops", issue = "143802")]
1567 impl const Neg for NonZero<$Int> {
1568 type Output = Self;
1569
1570 #[inline]
1571 fn neg(self) -> Self {
1572 // SAFETY: negation of nonzero cannot yield zero values.
1573 unsafe { Self::new_unchecked(self.get().neg()) }
1574 }
1575 }
1576
1577 forward_ref_unop! { impl Neg, neg for NonZero<$Int>,
1578 #[stable(feature = "signed_nonzero_neg", since = "1.71.0")]
1579 #[rustc_const_unstable(feature = "const_ops", issue = "143802")] }
1580 };
1581}
1582
1583#[rustfmt::skip] // https://github.com/rust-lang/rustfmt/issues/5974
1584macro_rules! nonzero_integer_signedness_dependent_methods {
1585 // Associated items for unsigned nonzero types only.
1586 (
1587 Primitive = unsigned $Int:ident,
1588 SignedPrimitive = $Sint:ty,
1589 UnsignedPrimitive = $Uint:ty,
1590 ) => {
1591 /// The smallest value that can be represented by this non-zero
1592 /// integer type, 1.
1593 ///
1594 /// # Examples
1595 ///
1596 /// ```
1597 /// # use std::num::NonZero;
1598 /// #
1599 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::MIN.get(), 1", stringify!($Int), ");")]
1600 /// ```
1601 #[stable(feature = "nonzero_min_max", since = "1.70.0")]
1602 pub const MIN: Self = Self::new(1).unwrap();
1603
1604 /// The largest value that can be represented by this non-zero
1605 /// integer type,
1606 #[doc = concat!("equal to [`", stringify!($Int), "::MAX`].")]
1607 ///
1608 /// # Examples
1609 ///
1610 /// ```
1611 /// # use std::num::NonZero;
1612 /// #
1613 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::MAX.get(), ", stringify!($Int), "::MAX);")]
1614 /// ```
1615 #[stable(feature = "nonzero_min_max", since = "1.70.0")]
1616 pub const MAX: Self = Self::new(<$Int>::MAX).unwrap();
1617
1618 /// Adds an unsigned integer to a non-zero value.
1619 /// Checks for overflow and returns [`None`] on overflow.
1620 /// As a consequence, the result cannot wrap to zero.
1621 ///
1622 ///
1623 /// # Examples
1624 ///
1625 /// ```
1626 /// # use std::num::NonZero;
1627 /// #
1628 /// # fn main() { test().unwrap(); }
1629 /// # fn test() -> Option<()> {
1630 #[doc = concat!("let one = NonZero::new(1", stringify!($Int), ")?;")]
1631 #[doc = concat!("let two = NonZero::new(2", stringify!($Int), ")?;")]
1632 #[doc = concat!("let max = NonZero::new(", stringify!($Int), "::MAX)?;")]
1633 ///
1634 /// assert_eq!(Some(two), one.checked_add(1));
1635 /// assert_eq!(None, max.checked_add(1));
1636 /// # Some(())
1637 /// # }
1638 /// ```
1639 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
1640 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
1641 #[must_use = "this returns the result of the operation, \
1642 without modifying the original"]
1643 #[inline]
1644 pub const fn checked_add(self, other: $Int) -> Option<Self> {
1645 if let Some(result) = self.get().checked_add(other) {
1646 // SAFETY:
1647 // - `checked_add` returns `None` on overflow
1648 // - `self` is non-zero
1649 // - the only way to get zero from an addition without overflow is for both
1650 // sides to be zero
1651 //
1652 // So the result cannot be zero.
1653 Some(unsafe { Self::new_unchecked(result) })
1654 } else {
1655 None
1656 }
1657 }
1658
1659 /// Adds an unsigned integer to a non-zero value.
1660 #[doc = concat!("Return [`NonZero::<", stringify!($Int), ">::MAX`] on overflow.")]
1661 ///
1662 /// # Examples
1663 ///
1664 /// ```
1665 /// # use std::num::NonZero;
1666 /// #
1667 /// # fn main() { test().unwrap(); }
1668 /// # fn test() -> Option<()> {
1669 #[doc = concat!("let one = NonZero::new(1", stringify!($Int), ")?;")]
1670 #[doc = concat!("let two = NonZero::new(2", stringify!($Int), ")?;")]
1671 #[doc = concat!("let max = NonZero::new(", stringify!($Int), "::MAX)?;")]
1672 ///
1673 /// assert_eq!(two, one.saturating_add(1));
1674 /// assert_eq!(max, max.saturating_add(1));
1675 /// # Some(())
1676 /// # }
1677 /// ```
1678 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
1679 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
1680 #[must_use = "this returns the result of the operation, \
1681 without modifying the original"]
1682 #[inline]
1683 pub const fn saturating_add(self, other: $Int) -> Self {
1684 // SAFETY:
1685 // - `saturating_add` returns `u*::MAX` on overflow, which is non-zero
1686 // - `self` is non-zero
1687 // - the only way to get zero from an addition without overflow is for both
1688 // sides to be zero
1689 //
1690 // So the result cannot be zero.
1691 unsafe { Self::new_unchecked(self.get().saturating_add(other)) }
1692 }
1693
1694 /// Adds an unsigned integer to a non-zero value,
1695 /// assuming overflow cannot occur.
1696 /// Overflow is unchecked, and it is undefined behavior to overflow
1697 /// *even if the result would wrap to a non-zero value*.
1698 /// The behavior is undefined as soon as
1699 #[doc = concat!("`self + rhs > ", stringify!($Int), "::MAX`.")]
1700 ///
1701 /// # Examples
1702 ///
1703 /// ```
1704 /// #![feature(nonzero_ops)]
1705 ///
1706 /// # use std::num::NonZero;
1707 /// #
1708 /// # fn main() { test().unwrap(); }
1709 /// # fn test() -> Option<()> {
1710 #[doc = concat!("let one = NonZero::new(1", stringify!($Int), ")?;")]
1711 #[doc = concat!("let two = NonZero::new(2", stringify!($Int), ")?;")]
1712 ///
1713 /// assert_eq!(two, unsafe { one.unchecked_add(1) });
1714 /// # Some(())
1715 /// # }
1716 /// ```
1717 #[unstable(feature = "nonzero_ops", issue = "84186")]
1718 #[must_use = "this returns the result of the operation, \
1719 without modifying the original"]
1720 #[inline]
1721 pub const unsafe fn unchecked_add(self, other: $Int) -> Self {
1722 // SAFETY: The caller ensures there is no overflow.
1723 unsafe { Self::new_unchecked(self.get().unchecked_add(other)) }
1724 }
1725
1726 /// Returns the smallest power of two greater than or equal to `self`.
1727 /// Checks for overflow and returns [`None`]
1728 /// if the next power of two is greater than the type’s maximum value.
1729 /// As a consequence, the result cannot wrap to zero.
1730 ///
1731 /// # Examples
1732 ///
1733 /// ```
1734 /// # use std::num::NonZero;
1735 /// #
1736 /// # fn main() { test().unwrap(); }
1737 /// # fn test() -> Option<()> {
1738 #[doc = concat!("let two = NonZero::new(2", stringify!($Int), ")?;")]
1739 #[doc = concat!("let three = NonZero::new(3", stringify!($Int), ")?;")]
1740 #[doc = concat!("let four = NonZero::new(4", stringify!($Int), ")?;")]
1741 #[doc = concat!("let max = NonZero::new(", stringify!($Int), "::MAX)?;")]
1742 ///
1743 /// assert_eq!(Some(two), two.checked_next_power_of_two() );
1744 /// assert_eq!(Some(four), three.checked_next_power_of_two() );
1745 /// assert_eq!(None, max.checked_next_power_of_two() );
1746 /// # Some(())
1747 /// # }
1748 /// ```
1749 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
1750 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
1751 #[must_use = "this returns the result of the operation, \
1752 without modifying the original"]
1753 #[inline]
1754 pub const fn checked_next_power_of_two(self) -> Option<Self> {
1755 if let Some(nz) = self.get().checked_next_power_of_two() {
1756 // SAFETY: The next power of two is positive
1757 // and overflow is checked.
1758 Some(unsafe { Self::new_unchecked(nz) })
1759 } else {
1760 None
1761 }
1762 }
1763
1764 /// Returns the base 2 logarithm of the number, rounded down.
1765 ///
1766 /// This is the same operation as
1767 #[doc = concat!("[`", stringify!($Int), "::ilog2`],")]
1768 /// except that it has no failure cases to worry about
1769 /// since this value can never be zero.
1770 ///
1771 /// # Examples
1772 ///
1773 /// ```
1774 /// # use std::num::NonZero;
1775 /// #
1776 /// # fn main() { test().unwrap(); }
1777 /// # fn test() -> Option<()> {
1778 #[doc = concat!("assert_eq!(NonZero::new(7", stringify!($Int), ")?.ilog2(), 2);")]
1779 #[doc = concat!("assert_eq!(NonZero::new(8", stringify!($Int), ")?.ilog2(), 3);")]
1780 #[doc = concat!("assert_eq!(NonZero::new(9", stringify!($Int), ")?.ilog2(), 3);")]
1781 /// # Some(())
1782 /// # }
1783 /// ```
1784 #[stable(feature = "int_log", since = "1.67.0")]
1785 #[rustc_const_stable(feature = "int_log", since = "1.67.0")]
1786 #[must_use = "this returns the result of the operation, \
1787 without modifying the original"]
1788 #[inline]
1789 pub const fn ilog2(self) -> u32 {
1790 Self::BITS - 1 - self.leading_zeros()
1791 }
1792
1793 /// Returns the base 10 logarithm of the number, rounded down.
1794 ///
1795 /// This is the same operation as
1796 #[doc = concat!("[`", stringify!($Int), "::ilog10`],")]
1797 /// except that it has no failure cases to worry about
1798 /// since this value can never be zero.
1799 ///
1800 /// # Examples
1801 ///
1802 /// ```
1803 /// # use std::num::NonZero;
1804 /// #
1805 /// # fn main() { test().unwrap(); }
1806 /// # fn test() -> Option<()> {
1807 #[doc = concat!("assert_eq!(NonZero::new(99", stringify!($Int), ")?.ilog10(), 1);")]
1808 #[doc = concat!("assert_eq!(NonZero::new(100", stringify!($Int), ")?.ilog10(), 2);")]
1809 #[doc = concat!("assert_eq!(NonZero::new(101", stringify!($Int), ")?.ilog10(), 2);")]
1810 /// # Some(())
1811 /// # }
1812 /// ```
1813 #[stable(feature = "int_log", since = "1.67.0")]
1814 #[rustc_const_stable(feature = "int_log", since = "1.67.0")]
1815 #[must_use = "this returns the result of the operation, \
1816 without modifying the original"]
1817 #[inline]
1818 pub const fn ilog10(self) -> u32 {
1819 imp::int_log10::$Int(self)
1820 }
1821
1822 /// Calculates the midpoint (average) between `self` and `rhs`.
1823 ///
1824 /// `midpoint(a, b)` is `(a + b) >> 1` as if it were performed in a
1825 /// sufficiently-large signed integral type. This implies that the result is
1826 /// always rounded towards negative infinity and that no overflow will ever occur.
1827 ///
1828 /// # Examples
1829 ///
1830 /// ```
1831 /// # use std::num::NonZero;
1832 /// #
1833 /// # fn main() { test().unwrap(); }
1834 /// # fn test() -> Option<()> {
1835 #[doc = concat!("let one = NonZero::new(1", stringify!($Int), ")?;")]
1836 #[doc = concat!("let two = NonZero::new(2", stringify!($Int), ")?;")]
1837 #[doc = concat!("let four = NonZero::new(4", stringify!($Int), ")?;")]
1838 ///
1839 /// assert_eq!(one.midpoint(four), two);
1840 /// assert_eq!(four.midpoint(one), two);
1841 /// # Some(())
1842 /// # }
1843 /// ```
1844 #[stable(feature = "num_midpoint", since = "1.85.0")]
1845 #[rustc_const_stable(feature = "num_midpoint", since = "1.85.0")]
1846 #[must_use = "this returns the result of the operation, \
1847 without modifying the original"]
1848 #[doc(alias = "average_floor")]
1849 #[doc(alias = "average")]
1850 #[inline]
1851 pub const fn midpoint(self, rhs: Self) -> Self {
1852 // SAFETY: The only way to get `0` with midpoint is to have two opposite or
1853 // near opposite numbers: (-5, 5), (0, 1), (0, 0) which is impossible because
1854 // of the unsignedness of this number and also because `Self` is guaranteed to
1855 // never being 0.
1856 unsafe { Self::new_unchecked(self.get().midpoint(rhs.get())) }
1857 }
1858
1859 /// Returns `true` if and only if `self == (1 << k)` for some `k`.
1860 ///
1861 /// On many architectures, this function can perform better than `is_power_of_two()`
1862 /// on the underlying integer type, as special handling of zero can be avoided.
1863 ///
1864 /// # Examples
1865 ///
1866 /// ```
1867 /// # use std::num::NonZero;
1868 /// #
1869 /// # fn main() { test().unwrap(); }
1870 /// # fn test() -> Option<()> {
1871 #[doc = concat!("let eight = NonZero::new(8", stringify!($Int), ")?;")]
1872 /// assert!(eight.is_power_of_two());
1873 #[doc = concat!("let ten = NonZero::new(10", stringify!($Int), ")?;")]
1874 /// assert!(!ten.is_power_of_two());
1875 /// # Some(())
1876 /// # }
1877 /// ```
1878 #[must_use]
1879 #[stable(feature = "nonzero_is_power_of_two", since = "1.59.0")]
1880 #[rustc_const_stable(feature = "nonzero_is_power_of_two", since = "1.59.0")]
1881 #[inline]
1882 pub const fn is_power_of_two(self) -> bool {
1883 // LLVM 11 normalizes `unchecked_sub(x, 1) & x == 0` to the implementation seen here.
1884 // On the basic x86-64 target, this saves 3 instructions for the zero check.
1885 // On x86_64 with BMI1, being nonzero lets it codegen to `BLSR`, which saves an instruction
1886 // compared to the `POPCNT` implementation on the underlying integer type.
1887
1888 intrinsics::ctpop(self.get()) < 2
1889 }
1890
1891 /// Returns the square root of the number, rounded down.
1892 ///
1893 /// # Examples
1894 ///
1895 /// ```
1896 /// # use std::num::NonZero;
1897 /// #
1898 /// # fn main() { test().unwrap(); }
1899 /// # fn test() -> Option<()> {
1900 #[doc = concat!("let ten = NonZero::new(10", stringify!($Int), ")?;")]
1901 #[doc = concat!("let three = NonZero::new(3", stringify!($Int), ")?;")]
1902 ///
1903 /// assert_eq!(ten.isqrt(), three);
1904 /// # Some(())
1905 /// # }
1906 /// ```
1907 #[stable(feature = "isqrt", since = "1.84.0")]
1908 #[rustc_const_stable(feature = "isqrt", since = "1.84.0")]
1909 #[must_use = "this returns the result of the operation, \
1910 without modifying the original"]
1911 #[inline]
1912 pub const fn isqrt(self) -> Self {
1913 let result = self.get().isqrt();
1914
1915 // SAFETY: Integer square root is a monotonically nondecreasing
1916 // function, which means that increasing the input will never cause
1917 // the output to decrease. Thus, since the input for nonzero
1918 // unsigned integers has a lower bound of 1, the lower bound of the
1919 // results will be sqrt(1), which is 1, so a result can't be zero.
1920 unsafe { Self::new_unchecked(result) }
1921 }
1922
1923 /// Returns the bit pattern of `self` reinterpreted as a signed integer of the same size.
1924 ///
1925 /// # Examples
1926 ///
1927 /// ```
1928 /// # use std::num::NonZero;
1929 ///
1930 #[doc = concat!("let n = NonZero::<", stringify!($Int), ">::MAX;")]
1931 ///
1932 #[doc = concat!("assert_eq!(n.cast_signed(), NonZero::new(-1", stringify!($Sint), ").unwrap());")]
1933 /// ```
1934 #[stable(feature = "integer_sign_cast", since = "1.87.0")]
1935 #[rustc_const_stable(feature = "integer_sign_cast", since = "1.87.0")]
1936 #[must_use = "this returns the result of the operation, \
1937 without modifying the original"]
1938 #[inline(always)]
1939 pub const fn cast_signed(self) -> NonZero<$Sint> {
1940 // SAFETY: `self.get()` can't be zero
1941 unsafe { NonZero::new_unchecked(self.get().cast_signed()) }
1942 }
1943
1944 /// Returns the minimum number of bits required to represent `self`.
1945 ///
1946 /// # Examples
1947 ///
1948 /// ```
1949 /// # use core::num::NonZero;
1950 /// #
1951 /// # fn main() { test().unwrap(); }
1952 /// # fn test() -> Option<()> {
1953 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::MIN.bit_width(), NonZero::new(1)?);")]
1954 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::new(0b111)?.bit_width(), NonZero::new(3)?);")]
1955 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::new(0b1110)?.bit_width(), NonZero::new(4)?);")]
1956 /// # Some(())
1957 /// # }
1958 /// ```
1959 #[stable(feature = "uint_bit_width", since = "CURRENT_RUSTC_VERSION")]
1960 #[rustc_const_stable(feature = "uint_bit_width", since = "CURRENT_RUSTC_VERSION")]
1961 #[must_use = "this returns the result of the operation, \
1962 without modifying the original"]
1963 #[inline(always)]
1964 pub const fn bit_width(self) -> NonZero<u32> {
1965 // SAFETY: Since `self.leading_zeros()` is always less than
1966 // `Self::BITS`, this subtraction can never be zero.
1967 unsafe { NonZero::new_unchecked(Self::BITS - self.leading_zeros()) }
1968 }
1969 };
1970
1971 // Associated items for signed nonzero types only.
1972 (
1973 Primitive = signed $Int:ident,
1974 SignedPrimitive = $Sint:ty,
1975 UnsignedPrimitive = $Uint:ty,
1976 ) => {
1977 /// The smallest value that can be represented by this non-zero
1978 /// integer type,
1979 #[doc = concat!("equal to [`", stringify!($Int), "::MIN`].")]
1980 ///
1981 /// Note: While most integer types are defined for every whole
1982 /// number between `MIN` and `MAX`, signed non-zero integers are
1983 /// a special case. They have a "gap" at 0.
1984 ///
1985 /// # Examples
1986 ///
1987 /// ```
1988 /// # use std::num::NonZero;
1989 /// #
1990 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::MIN.get(), ", stringify!($Int), "::MIN);")]
1991 /// ```
1992 #[stable(feature = "nonzero_min_max", since = "1.70.0")]
1993 pub const MIN: Self = Self::new(<$Int>::MIN).unwrap();
1994
1995 /// The largest value that can be represented by this non-zero
1996 /// integer type,
1997 #[doc = concat!("equal to [`", stringify!($Int), "::MAX`].")]
1998 ///
1999 /// Note: While most integer types are defined for every whole
2000 /// number between `MIN` and `MAX`, signed non-zero integers are
2001 /// a special case. They have a "gap" at 0.
2002 ///
2003 /// # Examples
2004 ///
2005 /// ```
2006 /// # use std::num::NonZero;
2007 /// #
2008 #[doc = concat!("assert_eq!(NonZero::<", stringify!($Int), ">::MAX.get(), ", stringify!($Int), "::MAX);")]
2009 /// ```
2010 #[stable(feature = "nonzero_min_max", since = "1.70.0")]
2011 pub const MAX: Self = Self::new(<$Int>::MAX).unwrap();
2012
2013 /// Computes the absolute value of self.
2014 #[doc = concat!("See [`", stringify!($Int), "::abs`]")]
2015 /// for documentation on overflow behavior.
2016 ///
2017 /// # Example
2018 ///
2019 /// ```
2020 /// # use std::num::NonZero;
2021 /// #
2022 /// # fn main() { test().unwrap(); }
2023 /// # fn test() -> Option<()> {
2024 #[doc = concat!("let pos = NonZero::new(1", stringify!($Int), ")?;")]
2025 #[doc = concat!("let neg = NonZero::new(-1", stringify!($Int), ")?;")]
2026 ///
2027 /// assert_eq!(pos, pos.abs());
2028 /// assert_eq!(pos, neg.abs());
2029 /// # Some(())
2030 /// # }
2031 /// ```
2032 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
2033 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
2034 #[must_use = "this returns the result of the operation, \
2035 without modifying the original"]
2036 #[inline]
2037 pub const fn abs(self) -> Self {
2038 // SAFETY: This cannot overflow to zero.
2039 unsafe { Self::new_unchecked(self.get().abs()) }
2040 }
2041
2042 /// Checked absolute value.
2043 /// Checks for overflow and returns [`None`] if
2044 #[doc = concat!("`self == NonZero::<", stringify!($Int), ">::MIN`.")]
2045 /// The result cannot be zero.
2046 ///
2047 /// # Example
2048 ///
2049 /// ```
2050 /// # use std::num::NonZero;
2051 /// #
2052 /// # fn main() { test().unwrap(); }
2053 /// # fn test() -> Option<()> {
2054 #[doc = concat!("let pos = NonZero::new(1", stringify!($Int), ")?;")]
2055 #[doc = concat!("let neg = NonZero::new(-1", stringify!($Int), ")?;")]
2056 #[doc = concat!("let min = NonZero::new(", stringify!($Int), "::MIN)?;")]
2057 ///
2058 /// assert_eq!(Some(pos), neg.checked_abs());
2059 /// assert_eq!(None, min.checked_abs());
2060 /// # Some(())
2061 /// # }
2062 /// ```
2063 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
2064 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
2065 #[must_use = "this returns the result of the operation, \
2066 without modifying the original"]
2067 #[inline]
2068 pub const fn checked_abs(self) -> Option<Self> {
2069 if let Some(nz) = self.get().checked_abs() {
2070 // SAFETY: absolute value of nonzero cannot yield zero values.
2071 Some(unsafe { Self::new_unchecked(nz) })
2072 } else {
2073 None
2074 }
2075 }
2076
2077 /// Computes the absolute value of self,
2078 /// with overflow information, see
2079 #[doc = concat!("[`", stringify!($Int), "::overflowing_abs`].")]
2080 ///
2081 /// # Example
2082 ///
2083 /// ```
2084 /// # use std::num::NonZero;
2085 /// #
2086 /// # fn main() { test().unwrap(); }
2087 /// # fn test() -> Option<()> {
2088 #[doc = concat!("let pos = NonZero::new(1", stringify!($Int), ")?;")]
2089 #[doc = concat!("let neg = NonZero::new(-1", stringify!($Int), ")?;")]
2090 #[doc = concat!("let min = NonZero::new(", stringify!($Int), "::MIN)?;")]
2091 ///
2092 /// assert_eq!((pos, false), pos.overflowing_abs());
2093 /// assert_eq!((pos, false), neg.overflowing_abs());
2094 /// assert_eq!((min, true), min.overflowing_abs());
2095 /// # Some(())
2096 /// # }
2097 /// ```
2098 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
2099 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
2100 #[must_use = "this returns the result of the operation, \
2101 without modifying the original"]
2102 #[inline]
2103 pub const fn overflowing_abs(self) -> (Self, bool) {
2104 let (nz, flag) = self.get().overflowing_abs();
2105 (
2106 // SAFETY: absolute value of nonzero cannot yield zero values.
2107 unsafe { Self::new_unchecked(nz) },
2108 flag,
2109 )
2110 }
2111
2112 /// Saturating absolute value, see
2113 #[doc = concat!("[`", stringify!($Int), "::saturating_abs`].")]
2114 ///
2115 /// # Example
2116 ///
2117 /// ```
2118 /// # use std::num::NonZero;
2119 /// #
2120 /// # fn main() { test().unwrap(); }
2121 /// # fn test() -> Option<()> {
2122 #[doc = concat!("let pos = NonZero::new(1", stringify!($Int), ")?;")]
2123 #[doc = concat!("let neg = NonZero::new(-1", stringify!($Int), ")?;")]
2124 #[doc = concat!("let min = NonZero::new(", stringify!($Int), "::MIN)?;")]
2125 #[doc = concat!("let min_plus = NonZero::new(", stringify!($Int), "::MIN + 1)?;")]
2126 #[doc = concat!("let max = NonZero::new(", stringify!($Int), "::MAX)?;")]
2127 ///
2128 /// assert_eq!(pos, pos.saturating_abs());
2129 /// assert_eq!(pos, neg.saturating_abs());
2130 /// assert_eq!(max, min.saturating_abs());
2131 /// assert_eq!(max, min_plus.saturating_abs());
2132 /// # Some(())
2133 /// # }
2134 /// ```
2135 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
2136 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
2137 #[must_use = "this returns the result of the operation, \
2138 without modifying the original"]
2139 #[inline]
2140 pub const fn saturating_abs(self) -> Self {
2141 // SAFETY: absolute value of nonzero cannot yield zero values.
2142 unsafe { Self::new_unchecked(self.get().saturating_abs()) }
2143 }
2144
2145 /// Wrapping absolute value, see
2146 #[doc = concat!("[`", stringify!($Int), "::wrapping_abs`].")]
2147 ///
2148 /// # Example
2149 ///
2150 /// ```
2151 /// # use std::num::NonZero;
2152 /// #
2153 /// # fn main() { test().unwrap(); }
2154 /// # fn test() -> Option<()> {
2155 #[doc = concat!("let pos = NonZero::new(1", stringify!($Int), ")?;")]
2156 #[doc = concat!("let neg = NonZero::new(-1", stringify!($Int), ")?;")]
2157 #[doc = concat!("let min = NonZero::new(", stringify!($Int), "::MIN)?;")]
2158 #[doc = concat!("# let max = NonZero::new(", stringify!($Int), "::MAX)?;")]
2159 ///
2160 /// assert_eq!(pos, pos.wrapping_abs());
2161 /// assert_eq!(pos, neg.wrapping_abs());
2162 /// assert_eq!(min, min.wrapping_abs());
2163 /// assert_eq!(max, (-max).wrapping_abs());
2164 /// # Some(())
2165 /// # }
2166 /// ```
2167 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
2168 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
2169 #[must_use = "this returns the result of the operation, \
2170 without modifying the original"]
2171 #[inline]
2172 pub const fn wrapping_abs(self) -> Self {
2173 // SAFETY: absolute value of nonzero cannot yield zero values.
2174 unsafe { Self::new_unchecked(self.get().wrapping_abs()) }
2175 }
2176
2177 /// Computes the absolute value of self
2178 /// without any wrapping or panicking.
2179 ///
2180 /// # Example
2181 ///
2182 /// ```
2183 /// # use std::num::NonZero;
2184 /// #
2185 /// # fn main() { test().unwrap(); }
2186 /// # fn test() -> Option<()> {
2187 #[doc = concat!("let u_pos = NonZero::new(1", stringify!($Uint), ")?;")]
2188 #[doc = concat!("let i_pos = NonZero::new(1", stringify!($Int), ")?;")]
2189 #[doc = concat!("let i_neg = NonZero::new(-1", stringify!($Int), ")?;")]
2190 #[doc = concat!("let i_min = NonZero::new(", stringify!($Int), "::MIN)?;")]
2191 #[doc = concat!("let u_max = NonZero::new(", stringify!($Uint), "::MAX / 2 + 1)?;")]
2192 ///
2193 /// assert_eq!(u_pos, i_pos.unsigned_abs());
2194 /// assert_eq!(u_pos, i_neg.unsigned_abs());
2195 /// assert_eq!(u_max, i_min.unsigned_abs());
2196 /// # Some(())
2197 /// # }
2198 /// ```
2199 #[stable(feature = "nonzero_checked_ops", since = "1.64.0")]
2200 #[rustc_const_stable(feature = "const_nonzero_checked_ops", since = "1.64.0")]
2201 #[must_use = "this returns the result of the operation, \
2202 without modifying the original"]
2203 #[inline]
2204 pub const fn unsigned_abs(self) -> NonZero<$Uint> {
2205 // SAFETY: absolute value of nonzero cannot yield zero values.
2206 unsafe { NonZero::new_unchecked(self.get().unsigned_abs()) }
2207 }
2208
2209 /// Returns `true` if `self` is positive and `false` if the
2210 /// number is negative.
2211 ///
2212 /// # Example
2213 ///
2214 /// ```
2215 /// # use std::num::NonZero;
2216 /// #
2217 /// # fn main() { test().unwrap(); }
2218 /// # fn test() -> Option<()> {
2219 #[doc = concat!("let pos_five = NonZero::new(5", stringify!($Int), ")?;")]
2220 #[doc = concat!("let neg_five = NonZero::new(-5", stringify!($Int), ")?;")]
2221 ///
2222 /// assert!(pos_five.is_positive());
2223 /// assert!(!neg_five.is_positive());
2224 /// # Some(())
2225 /// # }
2226 /// ```
2227 #[must_use]
2228 #[inline]
2229 #[stable(feature = "nonzero_negation_ops", since = "1.71.0")]
2230 #[rustc_const_stable(feature = "nonzero_negation_ops", since = "1.71.0")]
2231 pub const fn is_positive(self) -> bool {
2232 self.get().is_positive()
2233 }
2234
2235 /// Returns `true` if `self` is negative and `false` if the
2236 /// number is positive.
2237 ///
2238 /// # Example
2239 ///
2240 /// ```
2241 /// # use std::num::NonZero;
2242 /// #
2243 /// # fn main() { test().unwrap(); }
2244 /// # fn test() -> Option<()> {
2245 #[doc = concat!("let pos_five = NonZero::new(5", stringify!($Int), ")?;")]
2246 #[doc = concat!("let neg_five = NonZero::new(-5", stringify!($Int), ")?;")]
2247 ///
2248 /// assert!(neg_five.is_negative());
2249 /// assert!(!pos_five.is_negative());
2250 /// # Some(())
2251 /// # }
2252 /// ```
2253 #[must_use]
2254 #[inline]
2255 #[stable(feature = "nonzero_negation_ops", since = "1.71.0")]
2256 #[rustc_const_stable(feature = "nonzero_negation_ops", since = "1.71.0")]
2257 pub const fn is_negative(self) -> bool {
2258 self.get().is_negative()
2259 }
2260
2261 /// Checked negation. Computes `-self`,
2262 #[doc = concat!("returning `None` if `self == NonZero::<", stringify!($Int), ">::MIN`.")]
2263 ///
2264 /// # Example
2265 ///
2266 /// ```
2267 /// # use std::num::NonZero;
2268 /// #
2269 /// # fn main() { test().unwrap(); }
2270 /// # fn test() -> Option<()> {
2271 #[doc = concat!("let pos_five = NonZero::new(5", stringify!($Int), ")?;")]
2272 #[doc = concat!("let neg_five = NonZero::new(-5", stringify!($Int), ")?;")]
2273 #[doc = concat!("let min = NonZero::new(", stringify!($Int), "::MIN)?;")]
2274 ///
2275 /// assert_eq!(pos_five.checked_neg(), Some(neg_five));
2276 /// assert_eq!(min.checked_neg(), None);
2277 /// # Some(())
2278 /// # }
2279 /// ```
2280 #[inline]
2281 #[stable(feature = "nonzero_negation_ops", since = "1.71.0")]
2282 #[rustc_const_stable(feature = "nonzero_negation_ops", since = "1.71.0")]
2283 pub const fn checked_neg(self) -> Option<Self> {
2284 if let Some(result) = self.get().checked_neg() {
2285 // SAFETY: negation of nonzero cannot yield zero values.
2286 return Some(unsafe { Self::new_unchecked(result) });
2287 }
2288 None
2289 }
2290
2291 /// Negates self, overflowing if this is equal to the minimum value.
2292 ///
2293 #[doc = concat!("See [`", stringify!($Int), "::overflowing_neg`]")]
2294 /// for documentation on overflow behavior.
2295 ///
2296 /// # Example
2297 ///
2298 /// ```
2299 /// # use std::num::NonZero;
2300 /// #
2301 /// # fn main() { test().unwrap(); }
2302 /// # fn test() -> Option<()> {
2303 #[doc = concat!("let pos_five = NonZero::new(5", stringify!($Int), ")?;")]
2304 #[doc = concat!("let neg_five = NonZero::new(-5", stringify!($Int), ")?;")]
2305 #[doc = concat!("let min = NonZero::new(", stringify!($Int), "::MIN)?;")]
2306 ///
2307 /// assert_eq!(pos_five.overflowing_neg(), (neg_five, false));
2308 /// assert_eq!(min.overflowing_neg(), (min, true));
2309 /// # Some(())
2310 /// # }
2311 /// ```
2312 #[inline]
2313 #[stable(feature = "nonzero_negation_ops", since = "1.71.0")]
2314 #[rustc_const_stable(feature = "nonzero_negation_ops", since = "1.71.0")]
2315 pub const fn overflowing_neg(self) -> (Self, bool) {
2316 let (result, overflow) = self.get().overflowing_neg();
2317 // SAFETY: negation of nonzero cannot yield zero values.
2318 ((unsafe { Self::new_unchecked(result) }), overflow)
2319 }
2320
2321 /// Saturating negation. Computes `-self`,
2322 #[doc = concat!("returning [`NonZero::<", stringify!($Int), ">::MAX`]")]
2323 #[doc = concat!("if `self == NonZero::<", stringify!($Int), ">::MIN`")]
2324 /// instead of overflowing.
2325 ///
2326 /// # Example
2327 ///
2328 /// ```
2329 /// # use std::num::NonZero;
2330 /// #
2331 /// # fn main() { test().unwrap(); }
2332 /// # fn test() -> Option<()> {
2333 #[doc = concat!("let pos_five = NonZero::new(5", stringify!($Int), ")?;")]
2334 #[doc = concat!("let neg_five = NonZero::new(-5", stringify!($Int), ")?;")]
2335 #[doc = concat!("let min = NonZero::new(", stringify!($Int), "::MIN)?;")]
2336 #[doc = concat!("let min_plus_one = NonZero::new(", stringify!($Int), "::MIN + 1)?;")]
2337 #[doc = concat!("let max = NonZero::new(", stringify!($Int), "::MAX)?;")]
2338 ///
2339 /// assert_eq!(pos_five.saturating_neg(), neg_five);
2340 /// assert_eq!(min.saturating_neg(), max);
2341 /// assert_eq!(max.saturating_neg(), min_plus_one);
2342 /// # Some(())
2343 /// # }
2344 /// ```
2345 #[inline]
2346 #[stable(feature = "nonzero_negation_ops", since = "1.71.0")]
2347 #[rustc_const_stable(feature = "nonzero_negation_ops", since = "1.71.0")]
2348 pub const fn saturating_neg(self) -> Self {
2349 if let Some(result) = self.checked_neg() {
2350 return result;
2351 }
2352 Self::MAX
2353 }
2354
2355 /// Wrapping (modular) negation. Computes `-self`, wrapping around at the boundary
2356 /// of the type.
2357 ///
2358 #[doc = concat!("See [`", stringify!($Int), "::wrapping_neg`]")]
2359 /// for documentation on overflow behavior.
2360 ///
2361 /// # Example
2362 ///
2363 /// ```
2364 /// # use std::num::NonZero;
2365 /// #
2366 /// # fn main() { test().unwrap(); }
2367 /// # fn test() -> Option<()> {
2368 #[doc = concat!("let pos_five = NonZero::new(5", stringify!($Int), ")?;")]
2369 #[doc = concat!("let neg_five = NonZero::new(-5", stringify!($Int), ")?;")]
2370 #[doc = concat!("let min = NonZero::new(", stringify!($Int), "::MIN)?;")]
2371 ///
2372 /// assert_eq!(pos_five.wrapping_neg(), neg_five);
2373 /// assert_eq!(min.wrapping_neg(), min);
2374 /// # Some(())
2375 /// # }
2376 /// ```
2377 #[inline]
2378 #[stable(feature = "nonzero_negation_ops", since = "1.71.0")]
2379 #[rustc_const_stable(feature = "nonzero_negation_ops", since = "1.71.0")]
2380 pub const fn wrapping_neg(self) -> Self {
2381 let result = self.get().wrapping_neg();
2382 // SAFETY: negation of nonzero cannot yield zero values.
2383 unsafe { Self::new_unchecked(result) }
2384 }
2385
2386 /// Returns the bit pattern of `self` reinterpreted as an unsigned integer of the same size.
2387 ///
2388 /// # Examples
2389 ///
2390 /// ```
2391 /// # use std::num::NonZero;
2392 ///
2393 #[doc = concat!("let n = NonZero::new(-1", stringify!($Int), ").unwrap();")]
2394 ///
2395 #[doc = concat!("assert_eq!(n.cast_unsigned(), NonZero::<", stringify!($Uint), ">::MAX);")]
2396 /// ```
2397 #[stable(feature = "integer_sign_cast", since = "1.87.0")]
2398 #[rustc_const_stable(feature = "integer_sign_cast", since = "1.87.0")]
2399 #[must_use = "this returns the result of the operation, \
2400 without modifying the original"]
2401 #[inline(always)]
2402 pub const fn cast_unsigned(self) -> NonZero<$Uint> {
2403 // SAFETY: `self.get()` can't be zero
2404 unsafe { NonZero::new_unchecked(self.get().cast_unsigned()) }
2405 }
2406
2407 };
2408}
2409
2410nonzero_integer! {
2411 Self = NonZeroU8,
2412 Primitive = unsigned u8,
2413 SignedPrimitive = i8,
2414 rot = 2,
2415 rot_op = "0x82",
2416 rot_result = "0xa",
2417 swap_op = "0x12",
2418 swapped = "0x12",
2419 reversed = "0x48",
2420}
2421
2422nonzero_integer! {
2423 Self = NonZeroU16,
2424 Primitive = unsigned u16,
2425 SignedPrimitive = i16,
2426 rot = 4,
2427 rot_op = "0xa003",
2428 rot_result = "0x3a",
2429 swap_op = "0x1234",
2430 swapped = "0x3412",
2431 reversed = "0x2c48",
2432}
2433
2434nonzero_integer! {
2435 Self = NonZeroU32,
2436 Primitive = unsigned u32,
2437 SignedPrimitive = i32,
2438 rot = 8,
2439 rot_op = "0x10000b3",
2440 rot_result = "0xb301",
2441 swap_op = "0x12345678",
2442 swapped = "0x78563412",
2443 reversed = "0x1e6a2c48",
2444}
2445
2446nonzero_integer! {
2447 Self = NonZeroU64,
2448 Primitive = unsigned u64,
2449 SignedPrimitive = i64,
2450 rot = 12,
2451 rot_op = "0xaa00000000006e1",
2452 rot_result = "0x6e10aa",
2453 swap_op = "0x1234567890123456",
2454 swapped = "0x5634129078563412",
2455 reversed = "0x6a2c48091e6a2c48",
2456}
2457
2458nonzero_integer! {
2459 Self = NonZeroU128,
2460 Primitive = unsigned u128,
2461 SignedPrimitive = i128,
2462 rot = 16,
2463 rot_op = "0x13f40000000000000000000000004f76",
2464 rot_result = "0x4f7613f4",
2465 swap_op = "0x12345678901234567890123456789012",
2466 swapped = "0x12907856341290785634129078563412",
2467 reversed = "0x48091e6a2c48091e6a2c48091e6a2c48",
2468}
2469
2470#[cfg(target_pointer_width = "16")]
2471nonzero_integer! {
2472 Self = NonZeroUsize,
2473 Primitive = unsigned usize,
2474 SignedPrimitive = isize,
2475 rot = 4,
2476 rot_op = "0xa003",
2477 rot_result = "0x3a",
2478 swap_op = "0x1234",
2479 swapped = "0x3412",
2480 reversed = "0x2c48",
2481}
2482
2483#[cfg(target_pointer_width = "32")]
2484nonzero_integer! {
2485 Self = NonZeroUsize,
2486 Primitive = unsigned usize,
2487 SignedPrimitive = isize,
2488 rot = 8,
2489 rot_op = "0x10000b3",
2490 rot_result = "0xb301",
2491 swap_op = "0x12345678",
2492 swapped = "0x78563412",
2493 reversed = "0x1e6a2c48",
2494}
2495
2496#[cfg(target_pointer_width = "64")]
2497nonzero_integer! {
2498 Self = NonZeroUsize,
2499 Primitive = unsigned usize,
2500 SignedPrimitive = isize,
2501 rot = 12,
2502 rot_op = "0xaa00000000006e1",
2503 rot_result = "0x6e10aa",
2504 swap_op = "0x1234567890123456",
2505 swapped = "0x5634129078563412",
2506 reversed = "0x6a2c48091e6a2c48",
2507}
2508
2509nonzero_integer! {
2510 Self = NonZeroI8,
2511 Primitive = signed i8,
2512 UnsignedPrimitive = u8,
2513 rot = 2,
2514 rot_op = "-0x7e",
2515 rot_result = "0xa",
2516 swap_op = "0x12",
2517 swapped = "0x12",
2518 reversed = "0x48",
2519}
2520
2521nonzero_integer! {
2522 Self = NonZeroI16,
2523 Primitive = signed i16,
2524 UnsignedPrimitive = u16,
2525 rot = 4,
2526 rot_op = "-0x5ffd",
2527 rot_result = "0x3a",
2528 swap_op = "0x1234",
2529 swapped = "0x3412",
2530 reversed = "0x2c48",
2531}
2532
2533nonzero_integer! {
2534 Self = NonZeroI32,
2535 Primitive = signed i32,
2536 UnsignedPrimitive = u32,
2537 rot = 8,
2538 rot_op = "0x10000b3",
2539 rot_result = "0xb301",
2540 swap_op = "0x12345678",
2541 swapped = "0x78563412",
2542 reversed = "0x1e6a2c48",
2543}
2544
2545nonzero_integer! {
2546 Self = NonZeroI64,
2547 Primitive = signed i64,
2548 UnsignedPrimitive = u64,
2549 rot = 12,
2550 rot_op = "0xaa00000000006e1",
2551 rot_result = "0x6e10aa",
2552 swap_op = "0x1234567890123456",
2553 swapped = "0x5634129078563412",
2554 reversed = "0x6a2c48091e6a2c48",
2555}
2556
2557nonzero_integer! {
2558 Self = NonZeroI128,
2559 Primitive = signed i128,
2560 UnsignedPrimitive = u128,
2561 rot = 16,
2562 rot_op = "0x13f40000000000000000000000004f76",
2563 rot_result = "0x4f7613f4",
2564 swap_op = "0x12345678901234567890123456789012",
2565 swapped = "0x12907856341290785634129078563412",
2566 reversed = "0x48091e6a2c48091e6a2c48091e6a2c48",
2567}
2568
2569#[cfg(target_pointer_width = "16")]
2570nonzero_integer! {
2571 Self = NonZeroIsize,
2572 Primitive = signed isize,
2573 UnsignedPrimitive = usize,
2574 rot = 4,
2575 rot_op = "-0x5ffd",
2576 rot_result = "0x3a",
2577 swap_op = "0x1234",
2578 swapped = "0x3412",
2579 reversed = "0x2c48",
2580}
2581
2582#[cfg(target_pointer_width = "32")]
2583nonzero_integer! {
2584 Self = NonZeroIsize,
2585 Primitive = signed isize,
2586 UnsignedPrimitive = usize,
2587 rot = 8,
2588 rot_op = "0x10000b3",
2589 rot_result = "0xb301",
2590 swap_op = "0x12345678",
2591 swapped = "0x78563412",
2592 reversed = "0x1e6a2c48",
2593}
2594
2595#[cfg(target_pointer_width = "64")]
2596nonzero_integer! {
2597 Self = NonZeroIsize,
2598 Primitive = signed isize,
2599 UnsignedPrimitive = usize,
2600 rot = 12,
2601 rot_op = "0xaa00000000006e1",
2602 rot_result = "0x6e10aa",
2603 swap_op = "0x1234567890123456",
2604 swapped = "0x5634129078563412",
2605 reversed = "0x6a2c48091e6a2c48",
2606}