core\num/mod.rs
1//! Numeric traits and functions for the built-in numeric types.
2
3#![stable(feature = "rust1", since = "1.0.0")]
4
5use crate::panic::const_panic;
6use crate::str::FromStr;
7use crate::ub_checks::assert_unsafe_precondition;
8use crate::{ascii, intrinsics, mem};
9
10// FIXME(const-hack): Used because the `?` operator is not allowed in a const context.
11macro_rules! try_opt {
12 ($e:expr) => {
13 match $e {
14 Some(x) => x,
15 None => return None,
16 }
17 };
18}
19
20// Use this when the generated code should differ between signed and unsigned types.
21macro_rules! sign_dependent_expr {
22 (signed ? if signed { $signed_case:expr } if unsigned { $unsigned_case:expr } ) => {
23 $signed_case
24 };
25 (unsigned ? if signed { $signed_case:expr } if unsigned { $unsigned_case:expr } ) => {
26 $unsigned_case
27 };
28}
29
30// These modules are public only for testing.
31#[doc(hidden)]
32#[unstable(
33 feature = "num_internals",
34 reason = "internal routines only exposed for testing",
35 issue = "none"
36)]
37pub mod imp;
38
39#[macro_use]
40mod int_macros; // import int_impl!
41#[macro_use]
42mod uint_macros; // import uint_impl!
43
44mod error;
45#[cfg(not(no_fp_fmt_parse))]
46mod float_parse;
47mod nonzero;
48mod saturating;
49mod traits;
50mod wrapping;
51
52/// 100% perma-unstable
53#[doc(hidden)]
54pub mod niche_types;
55
56#[stable(feature = "int_error_matching", since = "1.55.0")]
57pub use error::IntErrorKind;
58#[stable(feature = "rust1", since = "1.0.0")]
59pub use error::ParseIntError;
60#[stable(feature = "try_from", since = "1.34.0")]
61pub use error::TryFromIntError;
62#[stable(feature = "rust1", since = "1.0.0")]
63#[cfg(not(no_fp_fmt_parse))]
64pub use float_parse::ParseFloatError;
65#[stable(feature = "generic_nonzero", since = "1.79.0")]
66pub use nonzero::NonZero;
67#[unstable(
68 feature = "nonzero_internals",
69 reason = "implementation detail which may disappear or be replaced at any time",
70 issue = "none"
71)]
72pub use nonzero::ZeroablePrimitive;
73#[stable(feature = "signed_nonzero", since = "1.34.0")]
74pub use nonzero::{NonZeroI8, NonZeroI16, NonZeroI32, NonZeroI64, NonZeroI128, NonZeroIsize};
75#[stable(feature = "nonzero", since = "1.28.0")]
76pub use nonzero::{NonZeroU8, NonZeroU16, NonZeroU32, NonZeroU64, NonZeroU128, NonZeroUsize};
77#[stable(feature = "saturating_int_impl", since = "1.74.0")]
78pub use saturating::Saturating;
79#[stable(feature = "rust1", since = "1.0.0")]
80pub use wrapping::Wrapping;
81
82macro_rules! u8_xe_bytes_doc {
83 () => {
84 "
85
86**Note**: This function is meaningless on `u8`. Byte order does not exist as a
87concept for byte-sized integers. This function is only provided in symmetry
88with larger integer types.
89
90"
91 };
92}
93
94macro_rules! i8_xe_bytes_doc {
95 () => {
96 "
97
98**Note**: This function is meaningless on `i8`. Byte order does not exist as a
99concept for byte-sized integers. This function is only provided in symmetry
100with larger integer types. You can cast from and to `u8` using
101[`cast_signed`](u8::cast_signed) and [`cast_unsigned`](Self::cast_unsigned).
102
103"
104 };
105}
106
107macro_rules! usize_isize_to_xe_bytes_doc {
108 () => {
109 "
110
111**Note**: This function returns an array of length 2, 4 or 8 bytes
112depending on the target pointer size.
113
114"
115 };
116}
117
118macro_rules! usize_isize_from_xe_bytes_doc {
119 () => {
120 "
121
122**Note**: This function takes an array of length 2, 4 or 8 bytes
123depending on the target pointer size.
124
125"
126 };
127}
128
129macro_rules! midpoint_impl {
130 ($SelfT:ty, unsigned) => {
131 /// Calculates the midpoint (average) between `self` and `rhs`.
132 ///
133 /// `midpoint(a, b)` is `(a + b) / 2` as if it were performed in a
134 /// sufficiently-large unsigned integral type. This implies that the result is
135 /// always rounded towards zero and that no overflow will ever occur.
136 ///
137 /// # Examples
138 ///
139 /// ```
140 #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(4), 2);")]
141 #[doc = concat!("assert_eq!(1", stringify!($SelfT), ".midpoint(4), 2);")]
142 /// ```
143 #[stable(feature = "num_midpoint", since = "1.85.0")]
144 #[rustc_const_stable(feature = "num_midpoint", since = "1.85.0")]
145 #[must_use = "this returns the result of the operation, \
146 without modifying the original"]
147 #[doc(alias = "average_floor")]
148 #[doc(alias = "average")]
149 #[inline]
150 pub const fn midpoint(self, rhs: $SelfT) -> $SelfT {
151 // Use the well known branchless algorithm from Hacker's Delight to compute
152 // `(a + b) / 2` without overflowing: `((a ^ b) >> 1) + (a & b)`.
153 ((self ^ rhs) >> 1) + (self & rhs)
154 }
155 };
156 ($SelfT:ty, signed) => {
157 /// Calculates the midpoint (average) between `self` and `rhs`.
158 ///
159 /// `midpoint(a, b)` is `(a + b) / 2` as if it were performed in a
160 /// sufficiently-large signed integral type. This implies that the result is
161 /// always rounded towards zero and that no overflow will ever occur.
162 ///
163 /// # Examples
164 ///
165 /// ```
166 #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(4), 2);")]
167 #[doc = concat!("assert_eq!((-1", stringify!($SelfT), ").midpoint(2), 0);")]
168 #[doc = concat!("assert_eq!((-7", stringify!($SelfT), ").midpoint(0), -3);")]
169 #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(-7), -3);")]
170 #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(7), 3);")]
171 /// ```
172 #[stable(feature = "num_midpoint_signed", since = "1.87.0")]
173 #[rustc_const_stable(feature = "num_midpoint_signed", since = "1.87.0")]
174 #[must_use = "this returns the result of the operation, \
175 without modifying the original"]
176 #[doc(alias = "average_floor")]
177 #[doc(alias = "average_ceil")]
178 #[doc(alias = "average")]
179 #[inline]
180 pub const fn midpoint(self, rhs: Self) -> Self {
181 // Use the well known branchless algorithm from Hacker's Delight to compute
182 // `(a + b) / 2` without overflowing: `((a ^ b) >> 1) + (a & b)`.
183 let t = ((self ^ rhs) >> 1) + (self & rhs);
184 // Except that it fails for integers whose sum is an odd negative number as
185 // their floor is one less than their average. So we adjust the result.
186 t + (if t < 0 { 1 } else { 0 } & (self ^ rhs))
187 }
188 };
189 ($SelfT:ty, $WideT:ty, unsigned) => {
190 /// Calculates the midpoint (average) between `self` and `rhs`.
191 ///
192 /// `midpoint(a, b)` is `(a + b) / 2` as if it were performed in a
193 /// sufficiently-large unsigned integral type. This implies that the result is
194 /// always rounded towards zero and that no overflow will ever occur.
195 ///
196 /// # Examples
197 ///
198 /// ```
199 #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(4), 2);")]
200 #[doc = concat!("assert_eq!(1", stringify!($SelfT), ".midpoint(4), 2);")]
201 /// ```
202 #[stable(feature = "num_midpoint", since = "1.85.0")]
203 #[rustc_const_stable(feature = "num_midpoint", since = "1.85.0")]
204 #[must_use = "this returns the result of the operation, \
205 without modifying the original"]
206 #[doc(alias = "average_floor")]
207 #[doc(alias = "average")]
208 #[inline]
209 pub const fn midpoint(self, rhs: $SelfT) -> $SelfT {
210 ((self as $WideT + rhs as $WideT) / 2) as $SelfT
211 }
212 };
213 ($SelfT:ty, $WideT:ty, signed) => {
214 /// Calculates the midpoint (average) between `self` and `rhs`.
215 ///
216 /// `midpoint(a, b)` is `(a + b) / 2` as if it were performed in a
217 /// sufficiently-large signed integral type. This implies that the result is
218 /// always rounded towards zero and that no overflow will ever occur.
219 ///
220 /// # Examples
221 ///
222 /// ```
223 #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(4), 2);")]
224 #[doc = concat!("assert_eq!((-1", stringify!($SelfT), ").midpoint(2), 0);")]
225 #[doc = concat!("assert_eq!((-7", stringify!($SelfT), ").midpoint(0), -3);")]
226 #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(-7), -3);")]
227 #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(7), 3);")]
228 /// ```
229 #[stable(feature = "num_midpoint_signed", since = "1.87.0")]
230 #[rustc_const_stable(feature = "num_midpoint_signed", since = "1.87.0")]
231 #[must_use = "this returns the result of the operation, \
232 without modifying the original"]
233 #[doc(alias = "average_floor")]
234 #[doc(alias = "average_ceil")]
235 #[doc(alias = "average")]
236 #[inline]
237 pub const fn midpoint(self, rhs: $SelfT) -> $SelfT {
238 ((self as $WideT + rhs as $WideT) / 2) as $SelfT
239 }
240 };
241}
242
243macro_rules! widening_carryless_mul_impl {
244 ($SelfT:ty, $WideT:ty) => {
245 /// Performs a widening carry-less multiplication.
246 ///
247 /// # Examples
248 ///
249 /// ```
250 /// #![feature(uint_carryless_mul)]
251 ///
252 #[doc = concat!("assert_eq!(", stringify!($SelfT), "::MAX.widening_carryless_mul(",
253 stringify!($SelfT), "::MAX), ", stringify!($WideT), "::MAX / 3);")]
254 /// ```
255 #[rustc_const_unstable(feature = "uint_carryless_mul", issue = "152080")]
256 #[doc(alias = "clmul")]
257 #[unstable(feature = "uint_carryless_mul", issue = "152080")]
258 #[must_use = "this returns the result of the operation, \
259 without modifying the original"]
260 #[inline]
261 pub const fn widening_carryless_mul(self, rhs: $SelfT) -> $WideT {
262 (self as $WideT).carryless_mul(rhs as $WideT)
263 }
264 }
265}
266
267macro_rules! carrying_carryless_mul_impl {
268 (u128, u256) => {
269 carrying_carryless_mul_impl! { @internal u128 =>
270 pub const fn carrying_carryless_mul(self, rhs: Self, carry: Self) -> (Self, Self) {
271 let x0 = self as u64;
272 let x1 = (self >> 64) as u64;
273 let y0 = rhs as u64;
274 let y1 = (rhs >> 64) as u64;
275
276 let z0 = u64::widening_carryless_mul(x0, y0);
277 let z2 = u64::widening_carryless_mul(x1, y1);
278
279 // The grade school algorithm would compute:
280 // z1 = x0y1 ^ x1y0
281
282 // Instead, Karatsuba first computes:
283 let z3 = u64::widening_carryless_mul(x0 ^ x1, y0 ^ y1);
284 // Since it distributes over XOR,
285 // z3 == x0y0 ^ x0y1 ^ x1y0 ^ x1y1
286 // |--| |---------| |--|
287 // == z0 ^ z1 ^ z2
288 // so we can compute z1 as
289 let z1 = z3 ^ z0 ^ z2;
290
291 let lo = z0 ^ (z1 << 64);
292 let hi = z2 ^ (z1 >> 64);
293
294 (lo ^ carry, hi)
295 }
296 }
297 };
298 ($SelfT:ty, $WideT:ty) => {
299 carrying_carryless_mul_impl! { @internal $SelfT =>
300 pub const fn carrying_carryless_mul(self, rhs: Self, carry: Self) -> (Self, Self) {
301 // Can't use widening_carryless_mul because it's not implemented for usize.
302 let p = (self as $WideT).carryless_mul(rhs as $WideT);
303
304 let lo = (p as $SelfT);
305 let hi = (p >> Self::BITS) as $SelfT;
306
307 (lo ^ carry, hi)
308 }
309 }
310 };
311 (@internal $SelfT:ty => $($fn:tt)*) => {
312 /// Calculates the "full carryless multiplication" without the possibility to overflow.
313 ///
314 /// This returns the low-order (wrapping) bits and the high-order (overflow) bits
315 /// of the result as two separate values, in that order.
316 ///
317 /// # Examples
318 ///
319 /// Please note that this example is shared among integer types, which is why `u8` is used.
320 ///
321 /// ```
322 /// #![feature(uint_carryless_mul)]
323 ///
324 /// assert_eq!(0b1000_0000u8.carrying_carryless_mul(0b1000_0000, 0b0000), (0, 0b0100_0000));
325 /// assert_eq!(0b1000_0000u8.carrying_carryless_mul(0b1000_0000, 0b1111), (0b1111, 0b0100_0000));
326 #[doc = concat!("assert_eq!(",
327 stringify!($SelfT), "::MAX.carrying_carryless_mul(", stringify!($SelfT), "::MAX, ", stringify!($SelfT), "::MAX), ",
328 "(!(", stringify!($SelfT), "::MAX / 3), ", stringify!($SelfT), "::MAX / 3));"
329 )]
330 /// ```
331 #[rustc_const_unstable(feature = "uint_carryless_mul", issue = "152080")]
332 #[doc(alias = "clmul")]
333 #[unstable(feature = "uint_carryless_mul", issue = "152080")]
334 #[must_use = "this returns the result of the operation, \
335 without modifying the original"]
336 #[inline]
337 $($fn)*
338 }
339}
340
341impl i8 {
342 int_impl! {
343 Self = i8,
344 ActualT = i8,
345 UnsignedT = u8,
346 BITS = 8,
347 BITS_MINUS_ONE = 7,
348 Min = -128,
349 Max = 127,
350 rot = 2,
351 rot_op = "-0x7e",
352 rot_result = "0xa",
353 swap_op = "0x12",
354 swapped = "0x12",
355 reversed = "0x48",
356 le_bytes = "[0x12]",
357 be_bytes = "[0x12]",
358 to_xe_bytes_doc = i8_xe_bytes_doc!(),
359 from_xe_bytes_doc = i8_xe_bytes_doc!(),
360 bound_condition = "",
361 }
362 midpoint_impl! { i8, i16, signed }
363}
364
365impl i16 {
366 int_impl! {
367 Self = i16,
368 ActualT = i16,
369 UnsignedT = u16,
370 BITS = 16,
371 BITS_MINUS_ONE = 15,
372 Min = -32768,
373 Max = 32767,
374 rot = 4,
375 rot_op = "-0x5ffd",
376 rot_result = "0x3a",
377 swap_op = "0x1234",
378 swapped = "0x3412",
379 reversed = "0x2c48",
380 le_bytes = "[0x34, 0x12]",
381 be_bytes = "[0x12, 0x34]",
382 to_xe_bytes_doc = "",
383 from_xe_bytes_doc = "",
384 bound_condition = "",
385 }
386 midpoint_impl! { i16, i32, signed }
387}
388
389impl i32 {
390 int_impl! {
391 Self = i32,
392 ActualT = i32,
393 UnsignedT = u32,
394 BITS = 32,
395 BITS_MINUS_ONE = 31,
396 Min = -2147483648,
397 Max = 2147483647,
398 rot = 8,
399 rot_op = "0x10000b3",
400 rot_result = "0xb301",
401 swap_op = "0x12345678",
402 swapped = "0x78563412",
403 reversed = "0x1e6a2c48",
404 le_bytes = "[0x78, 0x56, 0x34, 0x12]",
405 be_bytes = "[0x12, 0x34, 0x56, 0x78]",
406 to_xe_bytes_doc = "",
407 from_xe_bytes_doc = "",
408 bound_condition = "",
409 }
410 midpoint_impl! { i32, i64, signed }
411}
412
413impl i64 {
414 int_impl! {
415 Self = i64,
416 ActualT = i64,
417 UnsignedT = u64,
418 BITS = 64,
419 BITS_MINUS_ONE = 63,
420 Min = -9223372036854775808,
421 Max = 9223372036854775807,
422 rot = 12,
423 rot_op = "0xaa00000000006e1",
424 rot_result = "0x6e10aa",
425 swap_op = "0x1234567890123456",
426 swapped = "0x5634129078563412",
427 reversed = "0x6a2c48091e6a2c48",
428 le_bytes = "[0x56, 0x34, 0x12, 0x90, 0x78, 0x56, 0x34, 0x12]",
429 be_bytes = "[0x12, 0x34, 0x56, 0x78, 0x90, 0x12, 0x34, 0x56]",
430 to_xe_bytes_doc = "",
431 from_xe_bytes_doc = "",
432 bound_condition = "",
433 }
434 midpoint_impl! { i64, signed }
435}
436
437impl i128 {
438 int_impl! {
439 Self = i128,
440 ActualT = i128,
441 UnsignedT = u128,
442 BITS = 128,
443 BITS_MINUS_ONE = 127,
444 Min = -170141183460469231731687303715884105728,
445 Max = 170141183460469231731687303715884105727,
446 rot = 16,
447 rot_op = "0x13f40000000000000000000000004f76",
448 rot_result = "0x4f7613f4",
449 swap_op = "0x12345678901234567890123456789012",
450 swapped = "0x12907856341290785634129078563412",
451 reversed = "0x48091e6a2c48091e6a2c48091e6a2c48",
452 le_bytes = "[0x12, 0x90, 0x78, 0x56, 0x34, 0x12, 0x90, 0x78, \
453 0x56, 0x34, 0x12, 0x90, 0x78, 0x56, 0x34, 0x12]",
454 be_bytes = "[0x12, 0x34, 0x56, 0x78, 0x90, 0x12, 0x34, 0x56, \
455 0x78, 0x90, 0x12, 0x34, 0x56, 0x78, 0x90, 0x12]",
456 to_xe_bytes_doc = "",
457 from_xe_bytes_doc = "",
458 bound_condition = "",
459 }
460 midpoint_impl! { i128, signed }
461}
462
463#[cfg(target_pointer_width = "16")]
464impl isize {
465 int_impl! {
466 Self = isize,
467 ActualT = i16,
468 UnsignedT = usize,
469 BITS = 16,
470 BITS_MINUS_ONE = 15,
471 Min = -32768,
472 Max = 32767,
473 rot = 4,
474 rot_op = "-0x5ffd",
475 rot_result = "0x3a",
476 swap_op = "0x1234",
477 swapped = "0x3412",
478 reversed = "0x2c48",
479 le_bytes = "[0x34, 0x12]",
480 be_bytes = "[0x12, 0x34]",
481 to_xe_bytes_doc = usize_isize_to_xe_bytes_doc!(),
482 from_xe_bytes_doc = usize_isize_from_xe_bytes_doc!(),
483 bound_condition = " on 16-bit targets",
484 }
485 midpoint_impl! { isize, i32, signed }
486}
487
488#[cfg(target_pointer_width = "32")]
489impl isize {
490 int_impl! {
491 Self = isize,
492 ActualT = i32,
493 UnsignedT = usize,
494 BITS = 32,
495 BITS_MINUS_ONE = 31,
496 Min = -2147483648,
497 Max = 2147483647,
498 rot = 8,
499 rot_op = "0x10000b3",
500 rot_result = "0xb301",
501 swap_op = "0x12345678",
502 swapped = "0x78563412",
503 reversed = "0x1e6a2c48",
504 le_bytes = "[0x78, 0x56, 0x34, 0x12]",
505 be_bytes = "[0x12, 0x34, 0x56, 0x78]",
506 to_xe_bytes_doc = usize_isize_to_xe_bytes_doc!(),
507 from_xe_bytes_doc = usize_isize_from_xe_bytes_doc!(),
508 bound_condition = " on 32-bit targets",
509 }
510 midpoint_impl! { isize, i64, signed }
511}
512
513#[cfg(target_pointer_width = "64")]
514impl isize {
515 int_impl! {
516 Self = isize,
517 ActualT = i64,
518 UnsignedT = usize,
519 BITS = 64,
520 BITS_MINUS_ONE = 63,
521 Min = -9223372036854775808,
522 Max = 9223372036854775807,
523 rot = 12,
524 rot_op = "0xaa00000000006e1",
525 rot_result = "0x6e10aa",
526 swap_op = "0x1234567890123456",
527 swapped = "0x5634129078563412",
528 reversed = "0x6a2c48091e6a2c48",
529 le_bytes = "[0x56, 0x34, 0x12, 0x90, 0x78, 0x56, 0x34, 0x12]",
530 be_bytes = "[0x12, 0x34, 0x56, 0x78, 0x90, 0x12, 0x34, 0x56]",
531 to_xe_bytes_doc = usize_isize_to_xe_bytes_doc!(),
532 from_xe_bytes_doc = usize_isize_from_xe_bytes_doc!(),
533 bound_condition = " on 64-bit targets",
534 }
535 midpoint_impl! { isize, signed }
536}
537
538/// If the bit selected by this mask is set, ascii is lower case.
539const ASCII_CASE_MASK: u8 = 0b0010_0000;
540
541impl u8 {
542 uint_impl! {
543 Self = u8,
544 ActualT = u8,
545 SignedT = i8,
546 BITS = 8,
547 BITS_MINUS_ONE = 7,
548 MAX = 255,
549 rot = 2,
550 rot_op = "0x82",
551 rot_result = "0xa",
552 fsh_op = "0x36",
553 fshl_result = "0x8",
554 fshr_result = "0x8d",
555 clmul_lhs = "0x12",
556 clmul_rhs = "0x34",
557 clmul_result = "0x28",
558 swap_op = "0x12",
559 swapped = "0x12",
560 reversed = "0x48",
561 le_bytes = "[0x12]",
562 be_bytes = "[0x12]",
563 to_xe_bytes_doc = u8_xe_bytes_doc!(),
564 from_xe_bytes_doc = u8_xe_bytes_doc!(),
565 bound_condition = "",
566 }
567 midpoint_impl! { u8, u16, unsigned }
568 widening_carryless_mul_impl! { u8, u16 }
569 carrying_carryless_mul_impl! { u8, u16 }
570
571 /// Checks if the value is within the ASCII range.
572 ///
573 /// # Examples
574 ///
575 /// ```
576 /// let ascii = 97u8;
577 /// let non_ascii = 150u8;
578 ///
579 /// assert!(ascii.is_ascii());
580 /// assert!(!non_ascii.is_ascii());
581 /// ```
582 #[must_use]
583 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
584 #[rustc_const_stable(feature = "const_u8_is_ascii", since = "1.43.0")]
585 #[inline]
586 pub const fn is_ascii(&self) -> bool {
587 *self <= 127
588 }
589
590 /// If the value of this byte is within the ASCII range, returns it as an
591 /// [ASCII character](ascii::Char). Otherwise, returns `None`.
592 #[must_use]
593 #[unstable(feature = "ascii_char", issue = "110998")]
594 #[inline]
595 pub const fn as_ascii(&self) -> Option<ascii::Char> {
596 ascii::Char::from_u8(*self)
597 }
598
599 /// Converts this byte to an [ASCII character](ascii::Char), without
600 /// checking whether or not it's valid.
601 ///
602 /// # Safety
603 ///
604 /// This byte must be valid ASCII, or else this is UB.
605 #[must_use]
606 #[unstable(feature = "ascii_char", issue = "110998")]
607 #[inline]
608 pub const unsafe fn as_ascii_unchecked(&self) -> ascii::Char {
609 assert_unsafe_precondition!(
610 check_library_ub,
611 "as_ascii_unchecked requires that the byte is valid ASCII",
612 (it: &u8 = self) => it.is_ascii()
613 );
614
615 // SAFETY: the caller promised that this byte is ASCII.
616 unsafe { ascii::Char::from_u8_unchecked(*self) }
617 }
618
619 /// Makes a copy of the value in its ASCII upper case equivalent.
620 ///
621 /// ASCII letters 'a' to 'z' are mapped to 'A' to 'Z',
622 /// but non-ASCII letters are unchanged.
623 ///
624 /// To uppercase the value in-place, use [`make_ascii_uppercase`].
625 ///
626 /// # Examples
627 ///
628 /// ```
629 /// let lowercase_a = 97u8;
630 ///
631 /// assert_eq!(65, lowercase_a.to_ascii_uppercase());
632 /// ```
633 ///
634 /// [`make_ascii_uppercase`]: Self::make_ascii_uppercase
635 #[must_use = "to uppercase the value in-place, use `make_ascii_uppercase()`"]
636 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
637 #[rustc_const_stable(feature = "const_ascii_methods_on_intrinsics", since = "1.52.0")]
638 #[inline]
639 pub const fn to_ascii_uppercase(&self) -> u8 {
640 // Toggle the 6th bit if this is a lowercase letter
641 *self ^ ((self.is_ascii_lowercase() as u8) * ASCII_CASE_MASK)
642 }
643
644 /// Makes a copy of the value in its ASCII lower case equivalent.
645 ///
646 /// ASCII letters 'A' to 'Z' are mapped to 'a' to 'z',
647 /// but non-ASCII letters are unchanged.
648 ///
649 /// To lowercase the value in-place, use [`make_ascii_lowercase`].
650 ///
651 /// # Examples
652 ///
653 /// ```
654 /// let uppercase_a = 65u8;
655 ///
656 /// assert_eq!(97, uppercase_a.to_ascii_lowercase());
657 /// ```
658 ///
659 /// [`make_ascii_lowercase`]: Self::make_ascii_lowercase
660 #[must_use = "to lowercase the value in-place, use `make_ascii_lowercase()`"]
661 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
662 #[rustc_const_stable(feature = "const_ascii_methods_on_intrinsics", since = "1.52.0")]
663 #[inline]
664 pub const fn to_ascii_lowercase(&self) -> u8 {
665 // Set the 6th bit if this is an uppercase letter
666 *self | (self.is_ascii_uppercase() as u8 * ASCII_CASE_MASK)
667 }
668
669 /// Assumes self is ascii
670 #[inline]
671 pub(crate) const fn ascii_change_case_unchecked(&self) -> u8 {
672 *self ^ ASCII_CASE_MASK
673 }
674
675 /// Checks that two values are an ASCII case-insensitive match.
676 ///
677 /// This is equivalent to `to_ascii_lowercase(a) == to_ascii_lowercase(b)`.
678 ///
679 /// # Examples
680 ///
681 /// ```
682 /// let lowercase_a = 97u8;
683 /// let uppercase_a = 65u8;
684 ///
685 /// assert!(lowercase_a.eq_ignore_ascii_case(&uppercase_a));
686 /// ```
687 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
688 #[rustc_const_stable(feature = "const_ascii_methods_on_intrinsics", since = "1.52.0")]
689 #[inline]
690 pub const fn eq_ignore_ascii_case(&self, other: &u8) -> bool {
691 self.to_ascii_lowercase() == other.to_ascii_lowercase()
692 }
693
694 /// Converts this value to its ASCII upper case equivalent in-place.
695 ///
696 /// ASCII letters 'a' to 'z' are mapped to 'A' to 'Z',
697 /// but non-ASCII letters are unchanged.
698 ///
699 /// To return a new uppercased value without modifying the existing one, use
700 /// [`to_ascii_uppercase`].
701 ///
702 /// # Examples
703 ///
704 /// ```
705 /// let mut byte = b'a';
706 ///
707 /// byte.make_ascii_uppercase();
708 ///
709 /// assert_eq!(b'A', byte);
710 /// ```
711 ///
712 /// [`to_ascii_uppercase`]: Self::to_ascii_uppercase
713 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
714 #[rustc_const_stable(feature = "const_make_ascii", since = "1.84.0")]
715 #[inline]
716 pub const fn make_ascii_uppercase(&mut self) {
717 *self = self.to_ascii_uppercase();
718 }
719
720 /// Converts this value to its ASCII lower case equivalent in-place.
721 ///
722 /// ASCII letters 'A' to 'Z' are mapped to 'a' to 'z',
723 /// but non-ASCII letters are unchanged.
724 ///
725 /// To return a new lowercased value without modifying the existing one, use
726 /// [`to_ascii_lowercase`].
727 ///
728 /// # Examples
729 ///
730 /// ```
731 /// let mut byte = b'A';
732 ///
733 /// byte.make_ascii_lowercase();
734 ///
735 /// assert_eq!(b'a', byte);
736 /// ```
737 ///
738 /// [`to_ascii_lowercase`]: Self::to_ascii_lowercase
739 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
740 #[rustc_const_stable(feature = "const_make_ascii", since = "1.84.0")]
741 #[inline]
742 pub const fn make_ascii_lowercase(&mut self) {
743 *self = self.to_ascii_lowercase();
744 }
745
746 /// Checks if the value is an ASCII alphabetic character:
747 ///
748 /// - U+0041 'A' ..= U+005A 'Z', or
749 /// - U+0061 'a' ..= U+007A 'z'.
750 ///
751 /// # Examples
752 ///
753 /// ```
754 /// let uppercase_a = b'A';
755 /// let uppercase_g = b'G';
756 /// let a = b'a';
757 /// let g = b'g';
758 /// let zero = b'0';
759 /// let percent = b'%';
760 /// let space = b' ';
761 /// let lf = b'\n';
762 /// let esc = b'\x1b';
763 ///
764 /// assert!(uppercase_a.is_ascii_alphabetic());
765 /// assert!(uppercase_g.is_ascii_alphabetic());
766 /// assert!(a.is_ascii_alphabetic());
767 /// assert!(g.is_ascii_alphabetic());
768 /// assert!(!zero.is_ascii_alphabetic());
769 /// assert!(!percent.is_ascii_alphabetic());
770 /// assert!(!space.is_ascii_alphabetic());
771 /// assert!(!lf.is_ascii_alphabetic());
772 /// assert!(!esc.is_ascii_alphabetic());
773 /// ```
774 #[must_use]
775 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
776 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
777 #[inline]
778 pub const fn is_ascii_alphabetic(&self) -> bool {
779 matches!(*self, b'A'..=b'Z' | b'a'..=b'z')
780 }
781
782 /// Checks if the value is an ASCII uppercase character:
783 /// U+0041 'A' ..= U+005A 'Z'.
784 ///
785 /// # Examples
786 ///
787 /// ```
788 /// let uppercase_a = b'A';
789 /// let uppercase_g = b'G';
790 /// let a = b'a';
791 /// let g = b'g';
792 /// let zero = b'0';
793 /// let percent = b'%';
794 /// let space = b' ';
795 /// let lf = b'\n';
796 /// let esc = b'\x1b';
797 ///
798 /// assert!(uppercase_a.is_ascii_uppercase());
799 /// assert!(uppercase_g.is_ascii_uppercase());
800 /// assert!(!a.is_ascii_uppercase());
801 /// assert!(!g.is_ascii_uppercase());
802 /// assert!(!zero.is_ascii_uppercase());
803 /// assert!(!percent.is_ascii_uppercase());
804 /// assert!(!space.is_ascii_uppercase());
805 /// assert!(!lf.is_ascii_uppercase());
806 /// assert!(!esc.is_ascii_uppercase());
807 /// ```
808 #[must_use]
809 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
810 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
811 #[inline]
812 pub const fn is_ascii_uppercase(&self) -> bool {
813 matches!(*self, b'A'..=b'Z')
814 }
815
816 /// Checks if the value is an ASCII lowercase character:
817 /// U+0061 'a' ..= U+007A 'z'.
818 ///
819 /// # Examples
820 ///
821 /// ```
822 /// let uppercase_a = b'A';
823 /// let uppercase_g = b'G';
824 /// let a = b'a';
825 /// let g = b'g';
826 /// let zero = b'0';
827 /// let percent = b'%';
828 /// let space = b' ';
829 /// let lf = b'\n';
830 /// let esc = b'\x1b';
831 ///
832 /// assert!(!uppercase_a.is_ascii_lowercase());
833 /// assert!(!uppercase_g.is_ascii_lowercase());
834 /// assert!(a.is_ascii_lowercase());
835 /// assert!(g.is_ascii_lowercase());
836 /// assert!(!zero.is_ascii_lowercase());
837 /// assert!(!percent.is_ascii_lowercase());
838 /// assert!(!space.is_ascii_lowercase());
839 /// assert!(!lf.is_ascii_lowercase());
840 /// assert!(!esc.is_ascii_lowercase());
841 /// ```
842 #[must_use]
843 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
844 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
845 #[inline]
846 pub const fn is_ascii_lowercase(&self) -> bool {
847 matches!(*self, b'a'..=b'z')
848 }
849
850 /// Checks if the value is an ASCII alphanumeric character:
851 ///
852 /// - U+0041 'A' ..= U+005A 'Z', or
853 /// - U+0061 'a' ..= U+007A 'z', or
854 /// - U+0030 '0' ..= U+0039 '9'.
855 ///
856 /// # Examples
857 ///
858 /// ```
859 /// let uppercase_a = b'A';
860 /// let uppercase_g = b'G';
861 /// let a = b'a';
862 /// let g = b'g';
863 /// let zero = b'0';
864 /// let percent = b'%';
865 /// let space = b' ';
866 /// let lf = b'\n';
867 /// let esc = b'\x1b';
868 ///
869 /// assert!(uppercase_a.is_ascii_alphanumeric());
870 /// assert!(uppercase_g.is_ascii_alphanumeric());
871 /// assert!(a.is_ascii_alphanumeric());
872 /// assert!(g.is_ascii_alphanumeric());
873 /// assert!(zero.is_ascii_alphanumeric());
874 /// assert!(!percent.is_ascii_alphanumeric());
875 /// assert!(!space.is_ascii_alphanumeric());
876 /// assert!(!lf.is_ascii_alphanumeric());
877 /// assert!(!esc.is_ascii_alphanumeric());
878 /// ```
879 #[must_use]
880 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
881 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
882 #[inline]
883 pub const fn is_ascii_alphanumeric(&self) -> bool {
884 matches!(*self, b'0'..=b'9') | matches!(*self, b'A'..=b'Z') | matches!(*self, b'a'..=b'z')
885 }
886
887 /// Checks if the value is an ASCII decimal digit:
888 /// U+0030 '0' ..= U+0039 '9'.
889 ///
890 /// # Examples
891 ///
892 /// ```
893 /// let uppercase_a = b'A';
894 /// let uppercase_g = b'G';
895 /// let a = b'a';
896 /// let g = b'g';
897 /// let zero = b'0';
898 /// let percent = b'%';
899 /// let space = b' ';
900 /// let lf = b'\n';
901 /// let esc = b'\x1b';
902 ///
903 /// assert!(!uppercase_a.is_ascii_digit());
904 /// assert!(!uppercase_g.is_ascii_digit());
905 /// assert!(!a.is_ascii_digit());
906 /// assert!(!g.is_ascii_digit());
907 /// assert!(zero.is_ascii_digit());
908 /// assert!(!percent.is_ascii_digit());
909 /// assert!(!space.is_ascii_digit());
910 /// assert!(!lf.is_ascii_digit());
911 /// assert!(!esc.is_ascii_digit());
912 /// ```
913 #[must_use]
914 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
915 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
916 #[inline]
917 pub const fn is_ascii_digit(&self) -> bool {
918 matches!(*self, b'0'..=b'9')
919 }
920
921 /// Checks if the value is an ASCII octal digit:
922 /// U+0030 '0' ..= U+0037 '7'.
923 ///
924 /// # Examples
925 ///
926 /// ```
927 /// #![feature(is_ascii_octdigit)]
928 ///
929 /// let uppercase_a = b'A';
930 /// let a = b'a';
931 /// let zero = b'0';
932 /// let seven = b'7';
933 /// let nine = b'9';
934 /// let percent = b'%';
935 /// let lf = b'\n';
936 ///
937 /// assert!(!uppercase_a.is_ascii_octdigit());
938 /// assert!(!a.is_ascii_octdigit());
939 /// assert!(zero.is_ascii_octdigit());
940 /// assert!(seven.is_ascii_octdigit());
941 /// assert!(!nine.is_ascii_octdigit());
942 /// assert!(!percent.is_ascii_octdigit());
943 /// assert!(!lf.is_ascii_octdigit());
944 /// ```
945 #[must_use]
946 #[unstable(feature = "is_ascii_octdigit", issue = "101288")]
947 #[inline]
948 pub const fn is_ascii_octdigit(&self) -> bool {
949 matches!(*self, b'0'..=b'7')
950 }
951
952 /// Checks if the value is an ASCII hexadecimal digit:
953 ///
954 /// - U+0030 '0' ..= U+0039 '9', or
955 /// - U+0041 'A' ..= U+0046 'F', or
956 /// - U+0061 'a' ..= U+0066 'f'.
957 ///
958 /// # Examples
959 ///
960 /// ```
961 /// let uppercase_a = b'A';
962 /// let uppercase_g = b'G';
963 /// let a = b'a';
964 /// let g = b'g';
965 /// let zero = b'0';
966 /// let percent = b'%';
967 /// let space = b' ';
968 /// let lf = b'\n';
969 /// let esc = b'\x1b';
970 ///
971 /// assert!(uppercase_a.is_ascii_hexdigit());
972 /// assert!(!uppercase_g.is_ascii_hexdigit());
973 /// assert!(a.is_ascii_hexdigit());
974 /// assert!(!g.is_ascii_hexdigit());
975 /// assert!(zero.is_ascii_hexdigit());
976 /// assert!(!percent.is_ascii_hexdigit());
977 /// assert!(!space.is_ascii_hexdigit());
978 /// assert!(!lf.is_ascii_hexdigit());
979 /// assert!(!esc.is_ascii_hexdigit());
980 /// ```
981 #[must_use]
982 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
983 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
984 #[inline]
985 pub const fn is_ascii_hexdigit(&self) -> bool {
986 matches!(*self, b'0'..=b'9') | matches!(*self, b'A'..=b'F') | matches!(*self, b'a'..=b'f')
987 }
988
989 /// Checks if the value is an ASCII punctuation character:
990 ///
991 /// - U+0021 ..= U+002F `! " # $ % & ' ( ) * + , - . /`, or
992 /// - U+003A ..= U+0040 `: ; < = > ? @`, or
993 /// - U+005B ..= U+0060 `` [ \ ] ^ _ ` ``, or
994 /// - U+007B ..= U+007E `{ | } ~`
995 ///
996 /// # Examples
997 ///
998 /// ```
999 /// let uppercase_a = b'A';
1000 /// let uppercase_g = b'G';
1001 /// let a = b'a';
1002 /// let g = b'g';
1003 /// let zero = b'0';
1004 /// let percent = b'%';
1005 /// let space = b' ';
1006 /// let lf = b'\n';
1007 /// let esc = b'\x1b';
1008 ///
1009 /// assert!(!uppercase_a.is_ascii_punctuation());
1010 /// assert!(!uppercase_g.is_ascii_punctuation());
1011 /// assert!(!a.is_ascii_punctuation());
1012 /// assert!(!g.is_ascii_punctuation());
1013 /// assert!(!zero.is_ascii_punctuation());
1014 /// assert!(percent.is_ascii_punctuation());
1015 /// assert!(!space.is_ascii_punctuation());
1016 /// assert!(!lf.is_ascii_punctuation());
1017 /// assert!(!esc.is_ascii_punctuation());
1018 /// ```
1019 #[must_use]
1020 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1021 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1022 #[inline]
1023 pub const fn is_ascii_punctuation(&self) -> bool {
1024 matches!(*self, b'!'..=b'/')
1025 | matches!(*self, b':'..=b'@')
1026 | matches!(*self, b'['..=b'`')
1027 | matches!(*self, b'{'..=b'~')
1028 }
1029
1030 /// Checks if the value is an ASCII graphic character:
1031 /// U+0021 '!' ..= U+007E '~'.
1032 ///
1033 /// # Examples
1034 ///
1035 /// ```
1036 /// let uppercase_a = b'A';
1037 /// let uppercase_g = b'G';
1038 /// let a = b'a';
1039 /// let g = b'g';
1040 /// let zero = b'0';
1041 /// let percent = b'%';
1042 /// let space = b' ';
1043 /// let lf = b'\n';
1044 /// let esc = b'\x1b';
1045 ///
1046 /// assert!(uppercase_a.is_ascii_graphic());
1047 /// assert!(uppercase_g.is_ascii_graphic());
1048 /// assert!(a.is_ascii_graphic());
1049 /// assert!(g.is_ascii_graphic());
1050 /// assert!(zero.is_ascii_graphic());
1051 /// assert!(percent.is_ascii_graphic());
1052 /// assert!(!space.is_ascii_graphic());
1053 /// assert!(!lf.is_ascii_graphic());
1054 /// assert!(!esc.is_ascii_graphic());
1055 /// ```
1056 #[must_use]
1057 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1058 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1059 #[inline]
1060 pub const fn is_ascii_graphic(&self) -> bool {
1061 matches!(*self, b'!'..=b'~')
1062 }
1063
1064 /// Checks if the value is an ASCII whitespace character:
1065 /// U+0020 SPACE, U+0009 HORIZONTAL TAB, U+000A LINE FEED,
1066 /// U+000C FORM FEED, or U+000D CARRIAGE RETURN.
1067 ///
1068 /// **Warning:** Because the list above excludes U+000B VERTICAL TAB,
1069 /// `b.is_ascii_whitespace()` is **not** equivalent to `char::from(b).is_whitespace()`.
1070 ///
1071 /// Rust uses the WhatWG Infra Standard's [definition of ASCII
1072 /// whitespace][infra-aw]. There are several other definitions in
1073 /// wide use. For instance, [the POSIX locale][pct] includes
1074 /// U+000B VERTICAL TAB as well as all the above characters,
1075 /// but—from the very same specification—[the default rule for
1076 /// "field splitting" in the Bourne shell][bfs] considers *only*
1077 /// SPACE, HORIZONTAL TAB, and LINE FEED as whitespace.
1078 ///
1079 /// If you are writing a program that will process an existing
1080 /// file format, check what that format's definition of whitespace is
1081 /// before using this function.
1082 ///
1083 /// [infra-aw]: https://infra.spec.whatwg.org/#ascii-whitespace
1084 /// [pct]: https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap07.html#tag_07_03_01
1085 /// [bfs]: https://pubs.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html#tag_18_06_05
1086 ///
1087 /// # Examples
1088 ///
1089 /// ```
1090 /// let uppercase_a = b'A';
1091 /// let uppercase_g = b'G';
1092 /// let a = b'a';
1093 /// let g = b'g';
1094 /// let zero = b'0';
1095 /// let percent = b'%';
1096 /// let space = b' ';
1097 /// let lf = b'\n';
1098 /// let esc = b'\x1b';
1099 ///
1100 /// assert!(!uppercase_a.is_ascii_whitespace());
1101 /// assert!(!uppercase_g.is_ascii_whitespace());
1102 /// assert!(!a.is_ascii_whitespace());
1103 /// assert!(!g.is_ascii_whitespace());
1104 /// assert!(!zero.is_ascii_whitespace());
1105 /// assert!(!percent.is_ascii_whitespace());
1106 /// assert!(space.is_ascii_whitespace());
1107 /// assert!(lf.is_ascii_whitespace());
1108 /// assert!(!esc.is_ascii_whitespace());
1109 /// ```
1110 #[must_use]
1111 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1112 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1113 #[inline]
1114 pub const fn is_ascii_whitespace(&self) -> bool {
1115 matches!(*self, b'\t' | b'\n' | b'\x0C' | b'\r' | b' ')
1116 }
1117
1118 /// Checks if the value is an ASCII control character:
1119 /// U+0000 NUL ..= U+001F UNIT SEPARATOR, or U+007F DELETE.
1120 /// Note that most ASCII whitespace characters are control
1121 /// characters, but SPACE is not.
1122 ///
1123 /// # Examples
1124 ///
1125 /// ```
1126 /// let uppercase_a = b'A';
1127 /// let uppercase_g = b'G';
1128 /// let a = b'a';
1129 /// let g = b'g';
1130 /// let zero = b'0';
1131 /// let percent = b'%';
1132 /// let space = b' ';
1133 /// let lf = b'\n';
1134 /// let esc = b'\x1b';
1135 ///
1136 /// assert!(!uppercase_a.is_ascii_control());
1137 /// assert!(!uppercase_g.is_ascii_control());
1138 /// assert!(!a.is_ascii_control());
1139 /// assert!(!g.is_ascii_control());
1140 /// assert!(!zero.is_ascii_control());
1141 /// assert!(!percent.is_ascii_control());
1142 /// assert!(!space.is_ascii_control());
1143 /// assert!(lf.is_ascii_control());
1144 /// assert!(esc.is_ascii_control());
1145 /// ```
1146 #[must_use]
1147 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1148 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1149 #[inline]
1150 pub const fn is_ascii_control(&self) -> bool {
1151 matches!(*self, b'\0'..=b'\x1F' | b'\x7F')
1152 }
1153
1154 /// Returns an iterator that produces an escaped version of a `u8`,
1155 /// treating it as an ASCII character.
1156 ///
1157 /// The behavior is identical to [`ascii::escape_default`].
1158 ///
1159 /// # Examples
1160 ///
1161 /// ```
1162 /// assert_eq!("0", b'0'.escape_ascii().to_string());
1163 /// assert_eq!("\\t", b'\t'.escape_ascii().to_string());
1164 /// assert_eq!("\\r", b'\r'.escape_ascii().to_string());
1165 /// assert_eq!("\\n", b'\n'.escape_ascii().to_string());
1166 /// assert_eq!("\\'", b'\''.escape_ascii().to_string());
1167 /// assert_eq!("\\\"", b'"'.escape_ascii().to_string());
1168 /// assert_eq!("\\\\", b'\\'.escape_ascii().to_string());
1169 /// assert_eq!("\\x9d", b'\x9d'.escape_ascii().to_string());
1170 /// ```
1171 #[must_use = "this returns the escaped byte as an iterator, \
1172 without modifying the original"]
1173 #[stable(feature = "inherent_ascii_escape", since = "1.60.0")]
1174 #[inline]
1175 pub fn escape_ascii(self) -> ascii::EscapeDefault {
1176 ascii::escape_default(self)
1177 }
1178
1179 #[inline]
1180 pub(crate) const fn is_utf8_char_boundary(self) -> bool {
1181 // This is bit magic equivalent to: b < 128 || b >= 192
1182 (self as i8) >= -0x40
1183 }
1184}
1185
1186impl u16 {
1187 uint_impl! {
1188 Self = u16,
1189 ActualT = u16,
1190 SignedT = i16,
1191 BITS = 16,
1192 BITS_MINUS_ONE = 15,
1193 MAX = 65535,
1194 rot = 4,
1195 rot_op = "0xa003",
1196 rot_result = "0x3a",
1197 fsh_op = "0x2de",
1198 fshl_result = "0x30",
1199 fshr_result = "0x302d",
1200 clmul_lhs = "0x9012",
1201 clmul_rhs = "0xcd34",
1202 clmul_result = "0x928",
1203 swap_op = "0x1234",
1204 swapped = "0x3412",
1205 reversed = "0x2c48",
1206 le_bytes = "[0x34, 0x12]",
1207 be_bytes = "[0x12, 0x34]",
1208 to_xe_bytes_doc = "",
1209 from_xe_bytes_doc = "",
1210 bound_condition = "",
1211 }
1212 midpoint_impl! { u16, u32, unsigned }
1213 widening_carryless_mul_impl! { u16, u32 }
1214 carrying_carryless_mul_impl! { u16, u32 }
1215
1216 /// Checks if the value is a Unicode surrogate code point, which are disallowed values for [`char`].
1217 ///
1218 /// # Examples
1219 ///
1220 /// ```
1221 /// #![feature(utf16_extra)]
1222 ///
1223 /// let low_non_surrogate = 0xA000u16;
1224 /// let low_surrogate = 0xD800u16;
1225 /// let high_surrogate = 0xDC00u16;
1226 /// let high_non_surrogate = 0xE000u16;
1227 ///
1228 /// assert!(!low_non_surrogate.is_utf16_surrogate());
1229 /// assert!(low_surrogate.is_utf16_surrogate());
1230 /// assert!(high_surrogate.is_utf16_surrogate());
1231 /// assert!(!high_non_surrogate.is_utf16_surrogate());
1232 /// ```
1233 #[must_use]
1234 #[unstable(feature = "utf16_extra", issue = "94919")]
1235 #[inline]
1236 pub const fn is_utf16_surrogate(self) -> bool {
1237 matches!(self, 0xD800..=0xDFFF)
1238 }
1239}
1240
1241impl u32 {
1242 uint_impl! {
1243 Self = u32,
1244 ActualT = u32,
1245 SignedT = i32,
1246 BITS = 32,
1247 BITS_MINUS_ONE = 31,
1248 MAX = 4294967295,
1249 rot = 8,
1250 rot_op = "0x10000b3",
1251 rot_result = "0xb301",
1252 fsh_op = "0x2fe78e45",
1253 fshl_result = "0xb32f",
1254 fshr_result = "0xb32fe78e",
1255 clmul_lhs = "0x56789012",
1256 clmul_rhs = "0xf52ecd34",
1257 clmul_result = "0x9b980928",
1258 swap_op = "0x12345678",
1259 swapped = "0x78563412",
1260 reversed = "0x1e6a2c48",
1261 le_bytes = "[0x78, 0x56, 0x34, 0x12]",
1262 be_bytes = "[0x12, 0x34, 0x56, 0x78]",
1263 to_xe_bytes_doc = "",
1264 from_xe_bytes_doc = "",
1265 bound_condition = "",
1266 }
1267 midpoint_impl! { u32, u64, unsigned }
1268 widening_carryless_mul_impl! { u32, u64 }
1269 carrying_carryless_mul_impl! { u32, u64 }
1270}
1271
1272impl u64 {
1273 uint_impl! {
1274 Self = u64,
1275 ActualT = u64,
1276 SignedT = i64,
1277 BITS = 64,
1278 BITS_MINUS_ONE = 63,
1279 MAX = 18446744073709551615,
1280 rot = 12,
1281 rot_op = "0xaa00000000006e1",
1282 rot_result = "0x6e10aa",
1283 fsh_op = "0x2fe78e45983acd98",
1284 fshl_result = "0x6e12fe",
1285 fshr_result = "0x6e12fe78e45983ac",
1286 clmul_lhs = "0x7890123456789012",
1287 clmul_rhs = "0xdd358416f52ecd34",
1288 clmul_result = "0xa6299579b980928",
1289 swap_op = "0x1234567890123456",
1290 swapped = "0x5634129078563412",
1291 reversed = "0x6a2c48091e6a2c48",
1292 le_bytes = "[0x56, 0x34, 0x12, 0x90, 0x78, 0x56, 0x34, 0x12]",
1293 be_bytes = "[0x12, 0x34, 0x56, 0x78, 0x90, 0x12, 0x34, 0x56]",
1294 to_xe_bytes_doc = "",
1295 from_xe_bytes_doc = "",
1296 bound_condition = "",
1297 }
1298 midpoint_impl! { u64, u128, unsigned }
1299 widening_carryless_mul_impl! { u64, u128 }
1300 carrying_carryless_mul_impl! { u64, u128 }
1301}
1302
1303impl u128 {
1304 uint_impl! {
1305 Self = u128,
1306 ActualT = u128,
1307 SignedT = i128,
1308 BITS = 128,
1309 BITS_MINUS_ONE = 127,
1310 MAX = 340282366920938463463374607431768211455,
1311 rot = 16,
1312 rot_op = "0x13f40000000000000000000000004f76",
1313 rot_result = "0x4f7613f4",
1314 fsh_op = "0x2fe78e45983acd98039000008736273",
1315 fshl_result = "0x4f7602fe",
1316 fshr_result = "0x4f7602fe78e45983acd9803900000873",
1317 clmul_lhs = "0x12345678901234567890123456789012",
1318 clmul_rhs = "0x4317e40ab4ddcf05dd358416f52ecd34",
1319 clmul_result = "0xb9cf660de35d0c170a6299579b980928",
1320 swap_op = "0x12345678901234567890123456789012",
1321 swapped = "0x12907856341290785634129078563412",
1322 reversed = "0x48091e6a2c48091e6a2c48091e6a2c48",
1323 le_bytes = "[0x12, 0x90, 0x78, 0x56, 0x34, 0x12, 0x90, 0x78, \
1324 0x56, 0x34, 0x12, 0x90, 0x78, 0x56, 0x34, 0x12]",
1325 be_bytes = "[0x12, 0x34, 0x56, 0x78, 0x90, 0x12, 0x34, 0x56, \
1326 0x78, 0x90, 0x12, 0x34, 0x56, 0x78, 0x90, 0x12]",
1327 to_xe_bytes_doc = "",
1328 from_xe_bytes_doc = "",
1329 bound_condition = "",
1330 }
1331 midpoint_impl! { u128, unsigned }
1332 carrying_carryless_mul_impl! { u128, u256 }
1333}
1334
1335#[cfg(target_pointer_width = "16")]
1336impl usize {
1337 uint_impl! {
1338 Self = usize,
1339 ActualT = u16,
1340 SignedT = isize,
1341 BITS = 16,
1342 BITS_MINUS_ONE = 15,
1343 MAX = 65535,
1344 rot = 4,
1345 rot_op = "0xa003",
1346 rot_result = "0x3a",
1347 fsh_op = "0x2de",
1348 fshl_result = "0x30",
1349 fshr_result = "0x302d",
1350 clmul_lhs = "0x9012",
1351 clmul_rhs = "0xcd34",
1352 clmul_result = "0x928",
1353 swap_op = "0x1234",
1354 swapped = "0x3412",
1355 reversed = "0x2c48",
1356 le_bytes = "[0x34, 0x12]",
1357 be_bytes = "[0x12, 0x34]",
1358 to_xe_bytes_doc = usize_isize_to_xe_bytes_doc!(),
1359 from_xe_bytes_doc = usize_isize_from_xe_bytes_doc!(),
1360 bound_condition = " on 16-bit targets",
1361 }
1362 midpoint_impl! { usize, u32, unsigned }
1363 carrying_carryless_mul_impl! { usize, u32 }
1364}
1365
1366#[cfg(target_pointer_width = "32")]
1367impl usize {
1368 uint_impl! {
1369 Self = usize,
1370 ActualT = u32,
1371 SignedT = isize,
1372 BITS = 32,
1373 BITS_MINUS_ONE = 31,
1374 MAX = 4294967295,
1375 rot = 8,
1376 rot_op = "0x10000b3",
1377 rot_result = "0xb301",
1378 fsh_op = "0x2fe78e45",
1379 fshl_result = "0xb32f",
1380 fshr_result = "0xb32fe78e",
1381 clmul_lhs = "0x56789012",
1382 clmul_rhs = "0xf52ecd34",
1383 clmul_result = "0x9b980928",
1384 swap_op = "0x12345678",
1385 swapped = "0x78563412",
1386 reversed = "0x1e6a2c48",
1387 le_bytes = "[0x78, 0x56, 0x34, 0x12]",
1388 be_bytes = "[0x12, 0x34, 0x56, 0x78]",
1389 to_xe_bytes_doc = usize_isize_to_xe_bytes_doc!(),
1390 from_xe_bytes_doc = usize_isize_from_xe_bytes_doc!(),
1391 bound_condition = " on 32-bit targets",
1392 }
1393 midpoint_impl! { usize, u64, unsigned }
1394 carrying_carryless_mul_impl! { usize, u64 }
1395}
1396
1397#[cfg(target_pointer_width = "64")]
1398impl usize {
1399 uint_impl! {
1400 Self = usize,
1401 ActualT = u64,
1402 SignedT = isize,
1403 BITS = 64,
1404 BITS_MINUS_ONE = 63,
1405 MAX = 18446744073709551615,
1406 rot = 12,
1407 rot_op = "0xaa00000000006e1",
1408 rot_result = "0x6e10aa",
1409 fsh_op = "0x2fe78e45983acd98",
1410 fshl_result = "0x6e12fe",
1411 fshr_result = "0x6e12fe78e45983ac",
1412 clmul_lhs = "0x7890123456789012",
1413 clmul_rhs = "0xdd358416f52ecd34",
1414 clmul_result = "0xa6299579b980928",
1415 swap_op = "0x1234567890123456",
1416 swapped = "0x5634129078563412",
1417 reversed = "0x6a2c48091e6a2c48",
1418 le_bytes = "[0x56, 0x34, 0x12, 0x90, 0x78, 0x56, 0x34, 0x12]",
1419 be_bytes = "[0x12, 0x34, 0x56, 0x78, 0x90, 0x12, 0x34, 0x56]",
1420 to_xe_bytes_doc = usize_isize_to_xe_bytes_doc!(),
1421 from_xe_bytes_doc = usize_isize_from_xe_bytes_doc!(),
1422 bound_condition = " on 64-bit targets",
1423 }
1424 midpoint_impl! { usize, u128, unsigned }
1425 carrying_carryless_mul_impl! { usize, u128 }
1426}
1427
1428impl usize {
1429 /// Returns an `usize` where every byte is equal to `x`.
1430 #[inline]
1431 pub(crate) const fn repeat_u8(x: u8) -> usize {
1432 usize::from_ne_bytes([x; size_of::<usize>()])
1433 }
1434
1435 /// Returns an `usize` where every byte pair is equal to `x`.
1436 #[inline]
1437 pub(crate) const fn repeat_u16(x: u16) -> usize {
1438 let mut r = 0usize;
1439 let mut i = 0;
1440 while i < size_of::<usize>() {
1441 // Use `wrapping_shl` to make it work on targets with 16-bit `usize`
1442 r = r.wrapping_shl(16) | (x as usize);
1443 i += 2;
1444 }
1445 r
1446 }
1447}
1448
1449/// A classification of floating point numbers.
1450///
1451/// This `enum` is used as the return type for [`f32::classify`] and [`f64::classify`]. See
1452/// their documentation for more.
1453///
1454/// # Examples
1455///
1456/// ```
1457/// use std::num::FpCategory;
1458///
1459/// let num = 12.4_f32;
1460/// let inf = f32::INFINITY;
1461/// let zero = 0f32;
1462/// let sub: f32 = 1.1754942e-38;
1463/// let nan = f32::NAN;
1464///
1465/// assert_eq!(num.classify(), FpCategory::Normal);
1466/// assert_eq!(inf.classify(), FpCategory::Infinite);
1467/// assert_eq!(zero.classify(), FpCategory::Zero);
1468/// assert_eq!(sub.classify(), FpCategory::Subnormal);
1469/// assert_eq!(nan.classify(), FpCategory::Nan);
1470/// ```
1471#[derive(Copy, Clone, PartialEq, Eq, Debug)]
1472#[stable(feature = "rust1", since = "1.0.0")]
1473pub enum FpCategory {
1474 /// NaN (not a number): this value results from calculations like `(-1.0).sqrt()`.
1475 ///
1476 /// See [the documentation for `f32`](f32) for more information on the unusual properties
1477 /// of NaN.
1478 #[stable(feature = "rust1", since = "1.0.0")]
1479 Nan,
1480
1481 /// Positive or negative infinity, which often results from dividing a nonzero number
1482 /// by zero.
1483 #[stable(feature = "rust1", since = "1.0.0")]
1484 Infinite,
1485
1486 /// Positive or negative zero.
1487 ///
1488 /// See [the documentation for `f32`](f32) for more information on the signedness of zeroes.
1489 #[stable(feature = "rust1", since = "1.0.0")]
1490 Zero,
1491
1492 /// “Subnormal” or “denormal” floating point representation (less precise, relative to
1493 /// their magnitude, than [`Normal`]).
1494 ///
1495 /// Subnormal numbers are larger in magnitude than [`Zero`] but smaller in magnitude than all
1496 /// [`Normal`] numbers.
1497 ///
1498 /// [`Normal`]: Self::Normal
1499 /// [`Zero`]: Self::Zero
1500 #[stable(feature = "rust1", since = "1.0.0")]
1501 Subnormal,
1502
1503 /// A regular floating point number, not any of the exceptional categories.
1504 ///
1505 /// The smallest positive normal numbers are [`f32::MIN_POSITIVE`] and [`f64::MIN_POSITIVE`],
1506 /// and the largest positive normal numbers are [`f32::MAX`] and [`f64::MAX`]. (Unlike signed
1507 /// integers, floating point numbers are symmetric in their range, so negating any of these
1508 /// constants will produce their negative counterpart.)
1509 #[stable(feature = "rust1", since = "1.0.0")]
1510 Normal,
1511}
1512
1513/// Determines if a string of text of that length of that radix could be guaranteed to be
1514/// stored in the given type T.
1515/// Note that if the radix is known to the compiler, it is just the check of digits.len that
1516/// is done at runtime.
1517#[doc(hidden)]
1518#[inline(always)]
1519#[unstable(issue = "none", feature = "std_internals")]
1520pub const fn can_not_overflow<T>(radix: u32, is_signed_ty: bool, digits: &[u8]) -> bool {
1521 radix <= 16 && digits.len() <= size_of::<T>() * 2 - is_signed_ty as usize
1522}
1523
1524#[cfg_attr(not(panic = "immediate-abort"), inline(never))]
1525#[cfg_attr(panic = "immediate-abort", inline)]
1526#[cold]
1527#[track_caller]
1528const fn from_ascii_radix_panic(radix: u32) -> ! {
1529 const_panic!(
1530 "from_ascii_radix: radix must lie in the range `[2, 36]`",
1531 "from_ascii_radix: radix must lie in the range `[2, 36]` - found {radix}",
1532 radix: u32 = radix,
1533 )
1534}
1535
1536macro_rules! from_str_int_impl {
1537 ($signedness:ident $($int_ty:ty)+) => {$(
1538 #[stable(feature = "rust1", since = "1.0.0")]
1539 #[rustc_const_unstable(feature = "const_convert", issue = "143773")]
1540 impl const FromStr for $int_ty {
1541 type Err = ParseIntError;
1542
1543 /// Parses an integer from a string slice with decimal digits.
1544 ///
1545 /// The characters are expected to be an optional
1546 #[doc = sign_dependent_expr!{
1547 $signedness ?
1548 if signed {
1549 " `+` or `-` "
1550 }
1551 if unsigned {
1552 " `+` "
1553 }
1554 }]
1555 /// sign followed by only digits. Leading and trailing non-digit characters (including
1556 /// whitespace) represent an error. Underscores (which are accepted in Rust literals)
1557 /// also represent an error.
1558 ///
1559 /// # See also
1560 /// For parsing numbers in other bases, such as binary or hexadecimal,
1561 /// see [`from_str_radix`][Self::from_str_radix].
1562 ///
1563 /// # Examples
1564 ///
1565 /// ```
1566 /// use std::str::FromStr;
1567 ///
1568 #[doc = concat!("assert_eq!(", stringify!($int_ty), "::from_str(\"+10\"), Ok(10));")]
1569 /// ```
1570 /// Trailing space returns error:
1571 /// ```
1572 /// # use std::str::FromStr;
1573 /// #
1574 #[doc = concat!("assert!(", stringify!($int_ty), "::from_str(\"1 \").is_err());")]
1575 /// ```
1576 #[inline]
1577 fn from_str(src: &str) -> Result<$int_ty, ParseIntError> {
1578 <$int_ty>::from_str_radix(src, 10)
1579 }
1580 }
1581
1582 impl $int_ty {
1583 /// Parses an integer from a string slice with digits in a given base.
1584 ///
1585 /// The string is expected to be an optional
1586 #[doc = sign_dependent_expr!{
1587 $signedness ?
1588 if signed {
1589 " `+` or `-` "
1590 }
1591 if unsigned {
1592 " `+` "
1593 }
1594 }]
1595 /// sign followed by only digits. Leading and trailing non-digit characters (including
1596 /// whitespace) represent an error. Underscores (which are accepted in Rust literals)
1597 /// also represent an error.
1598 ///
1599 /// Digits are a subset of these characters, depending on `radix`:
1600 /// * `0-9`
1601 /// * `a-z`
1602 /// * `A-Z`
1603 ///
1604 /// # Panics
1605 ///
1606 /// This function panics if `radix` is not in the range from 2 to 36.
1607 ///
1608 /// # See also
1609 /// If the string to be parsed is in base 10 (decimal),
1610 /// [`from_str`] or [`str::parse`] can also be used.
1611 ///
1612 // FIXME(#122566): These HTML links work around a rustdoc-json test failure.
1613 /// [`from_str`]: #method.from_str
1614 /// [`str::parse`]: primitive.str.html#method.parse
1615 ///
1616 /// # Examples
1617 ///
1618 /// ```
1619 #[doc = concat!("assert_eq!(", stringify!($int_ty), "::from_str_radix(\"A\", 16), Ok(10));")]
1620 /// ```
1621 /// Trailing space returns error:
1622 /// ```
1623 #[doc = concat!("assert!(", stringify!($int_ty), "::from_str_radix(\"1 \", 10).is_err());")]
1624 /// ```
1625 #[stable(feature = "rust1", since = "1.0.0")]
1626 #[rustc_const_stable(feature = "const_int_from_str", since = "1.82.0")]
1627 #[inline]
1628 pub const fn from_str_radix(src: &str, radix: u32) -> Result<$int_ty, ParseIntError> {
1629 <$int_ty>::from_ascii_radix(src.as_bytes(), radix)
1630 }
1631
1632 /// Parses an integer from an ASCII-byte slice with decimal digits.
1633 ///
1634 /// The characters are expected to be an optional
1635 #[doc = sign_dependent_expr!{
1636 $signedness ?
1637 if signed {
1638 " `+` or `-` "
1639 }
1640 if unsigned {
1641 " `+` "
1642 }
1643 }]
1644 /// sign followed by only digits. Leading and trailing non-digit characters (including
1645 /// whitespace) represent an error. Underscores (which are accepted in Rust literals)
1646 /// also represent an error.
1647 ///
1648 /// # Examples
1649 ///
1650 /// ```
1651 /// #![feature(int_from_ascii)]
1652 ///
1653 #[doc = concat!("assert_eq!(", stringify!($int_ty), "::from_ascii(b\"+10\"), Ok(10));")]
1654 /// ```
1655 /// Trailing space returns error:
1656 /// ```
1657 /// # #![feature(int_from_ascii)]
1658 /// #
1659 #[doc = concat!("assert!(", stringify!($int_ty), "::from_ascii(b\"1 \").is_err());")]
1660 /// ```
1661 #[unstable(feature = "int_from_ascii", issue = "134821")]
1662 #[inline]
1663 pub const fn from_ascii(src: &[u8]) -> Result<$int_ty, ParseIntError> {
1664 <$int_ty>::from_ascii_radix(src, 10)
1665 }
1666
1667 /// Parses an integer from an ASCII-byte slice with digits in a given base.
1668 ///
1669 /// The characters are expected to be an optional
1670 #[doc = sign_dependent_expr!{
1671 $signedness ?
1672 if signed {
1673 " `+` or `-` "
1674 }
1675 if unsigned {
1676 " `+` "
1677 }
1678 }]
1679 /// sign followed by only digits. Leading and trailing non-digit characters (including
1680 /// whitespace) represent an error. Underscores (which are accepted in Rust literals)
1681 /// also represent an error.
1682 ///
1683 /// Digits are a subset of these characters, depending on `radix`:
1684 /// * `0-9`
1685 /// * `a-z`
1686 /// * `A-Z`
1687 ///
1688 /// # Panics
1689 ///
1690 /// This function panics if `radix` is not in the range from 2 to 36.
1691 ///
1692 /// # Examples
1693 ///
1694 /// ```
1695 /// #![feature(int_from_ascii)]
1696 ///
1697 #[doc = concat!("assert_eq!(", stringify!($int_ty), "::from_ascii_radix(b\"A\", 16), Ok(10));")]
1698 /// ```
1699 /// Trailing space returns error:
1700 /// ```
1701 /// # #![feature(int_from_ascii)]
1702 /// #
1703 #[doc = concat!("assert!(", stringify!($int_ty), "::from_ascii_radix(b\"1 \", 10).is_err());")]
1704 /// ```
1705 #[unstable(feature = "int_from_ascii", issue = "134821")]
1706 #[inline]
1707 pub const fn from_ascii_radix(src: &[u8], radix: u32) -> Result<$int_ty, ParseIntError> {
1708 use self::IntErrorKind::*;
1709 use self::ParseIntError as PIE;
1710
1711 if 2 > radix || radix > 36 {
1712 from_ascii_radix_panic(radix);
1713 }
1714
1715 if src.is_empty() {
1716 return Err(PIE { kind: Empty });
1717 }
1718
1719 #[allow(unused_comparisons)]
1720 let is_signed_ty = 0 > <$int_ty>::MIN;
1721
1722 let (is_positive, mut digits) = match src {
1723 [b'+' | b'-'] => {
1724 return Err(PIE { kind: InvalidDigit });
1725 }
1726 [b'+', rest @ ..] => (true, rest),
1727 [b'-', rest @ ..] if is_signed_ty => (false, rest),
1728 _ => (true, src),
1729 };
1730
1731 let mut result = 0;
1732
1733 macro_rules! unwrap_or_PIE {
1734 ($option:expr, $kind:ident) => {
1735 match $option {
1736 Some(value) => value,
1737 None => return Err(PIE { kind: $kind }),
1738 }
1739 };
1740 }
1741
1742 if can_not_overflow::<$int_ty>(radix, is_signed_ty, digits) {
1743 // If the len of the str is short compared to the range of the type
1744 // we are parsing into, then we can be certain that an overflow will not occur.
1745 // This bound is when `radix.pow(digits.len()) - 1 <= T::MAX` but the condition
1746 // above is a faster (conservative) approximation of this.
1747 //
1748 // Consider radix 16 as it has the highest information density per digit and will thus overflow the earliest:
1749 // `u8::MAX` is `ff` - any str of len 2 is guaranteed to not overflow.
1750 // `i8::MAX` is `7f` - only a str of len 1 is guaranteed to not overflow.
1751 macro_rules! run_unchecked_loop {
1752 ($unchecked_additive_op:tt) => {{
1753 while let [c, rest @ ..] = digits {
1754 result = result * (radix as $int_ty);
1755 let x = unwrap_or_PIE!((*c as char).to_digit(radix), InvalidDigit);
1756 result = result $unchecked_additive_op (x as $int_ty);
1757 digits = rest;
1758 }
1759 }};
1760 }
1761 if is_positive {
1762 run_unchecked_loop!(+)
1763 } else {
1764 run_unchecked_loop!(-)
1765 };
1766 } else {
1767 macro_rules! run_checked_loop {
1768 ($checked_additive_op:ident, $overflow_err:ident) => {{
1769 while let [c, rest @ ..] = digits {
1770 // When `radix` is passed in as a literal, rather than doing a slow `imul`
1771 // the compiler can use shifts if `radix` can be expressed as a
1772 // sum of powers of 2 (x*10 can be written as x*8 + x*2).
1773 // When the compiler can't use these optimisations,
1774 // the latency of the multiplication can be hidden by issuing it
1775 // before the result is needed to improve performance on
1776 // modern out-of-order CPU as multiplication here is slower
1777 // than the other instructions, we can get the end result faster
1778 // doing multiplication first and let the CPU spends other cycles
1779 // doing other computation and get multiplication result later.
1780 let mul = result.checked_mul(radix as $int_ty);
1781 let x = unwrap_or_PIE!((*c as char).to_digit(radix), InvalidDigit) as $int_ty;
1782 result = unwrap_or_PIE!(mul, $overflow_err);
1783 result = unwrap_or_PIE!(<$int_ty>::$checked_additive_op(result, x), $overflow_err);
1784 digits = rest;
1785 }
1786 }};
1787 }
1788 if is_positive {
1789 run_checked_loop!(checked_add, PosOverflow)
1790 } else {
1791 run_checked_loop!(checked_sub, NegOverflow)
1792 };
1793 }
1794 Ok(result)
1795 }
1796 }
1797 )*}
1798}
1799
1800from_str_int_impl! { signed isize i8 i16 i32 i64 i128 }
1801from_str_int_impl! { unsigned usize u8 u16 u32 u64 u128 }
1802
1803macro_rules! impl_sealed {
1804 ($($t:ty)*) => {$(
1805 /// Allows extension traits within `core`.
1806 #[unstable(feature = "sealed", issue = "none")]
1807 impl crate::sealed::Sealed for $t {}
1808 )*}
1809}
1810impl_sealed! { isize i8 i16 i32 i64 i128 usize u8 u16 u32 u64 u128 }