core/char/methods.rs
1//! impl char {}
2
3use super::*;
4use crate::panic::const_panic;
5use crate::slice;
6use crate::str::from_utf8_unchecked_mut;
7use crate::ub_checks::assert_unsafe_precondition;
8use crate::unicode::printable::is_printable;
9use crate::unicode::{self, conversions};
10
11impl char {
12 /// The lowest valid code point a `char` can have, `'\0'`.
13 ///
14 /// Unlike integer types, `char` actually has a gap in the middle,
15 /// meaning that the range of possible `char`s is smaller than you
16 /// might expect. Ranges of `char` will automatically hop this gap
17 /// for you:
18 ///
19 /// ```
20 /// let dist = u32::from(char::MAX) - u32::from(char::MIN);
21 /// let size = (char::MIN..=char::MAX).count() as u32;
22 /// assert!(size < dist);
23 /// ```
24 ///
25 /// Despite this gap, the `MIN` and [`MAX`] values can be used as bounds for
26 /// all `char` values.
27 ///
28 /// [`MAX`]: char::MAX
29 ///
30 /// # Examples
31 ///
32 /// ```
33 /// # fn something_which_returns_char() -> char { 'a' }
34 /// let c: char = something_which_returns_char();
35 /// assert!(char::MIN <= c);
36 ///
37 /// let value_at_min = u32::from(char::MIN);
38 /// assert_eq!(char::from_u32(value_at_min), Some('\0'));
39 /// ```
40 #[stable(feature = "char_min", since = "1.83.0")]
41 pub const MIN: char = '\0';
42
43 /// The highest valid code point a `char` can have, `'\u{10FFFF}'`.
44 ///
45 /// Unlike integer types, `char` actually has a gap in the middle,
46 /// meaning that the range of possible `char`s is smaller than you
47 /// might expect. Ranges of `char` will automatically hop this gap
48 /// for you:
49 ///
50 /// ```
51 /// let dist = u32::from(char::MAX) - u32::from(char::MIN);
52 /// let size = (char::MIN..=char::MAX).count() as u32;
53 /// assert!(size < dist);
54 /// ```
55 ///
56 /// Despite this gap, the [`MIN`] and `MAX` values can be used as bounds for
57 /// all `char` values.
58 ///
59 /// [`MIN`]: char::MIN
60 ///
61 /// # Examples
62 ///
63 /// ```
64 /// # fn something_which_returns_char() -> char { 'a' }
65 /// let c: char = something_which_returns_char();
66 /// assert!(c <= char::MAX);
67 ///
68 /// let value_at_max = u32::from(char::MAX);
69 /// assert_eq!(char::from_u32(value_at_max), Some('\u{10FFFF}'));
70 /// assert_eq!(char::from_u32(value_at_max + 1), None);
71 /// ```
72 #[stable(feature = "assoc_char_consts", since = "1.52.0")]
73 pub const MAX: char = '\u{10FFFF}';
74
75 /// The maximum number of bytes required to [encode](char::encode_utf8) a `char` to
76 /// UTF-8 encoding.
77 #[stable(feature = "char_max_len_assoc", since = "1.93.0")]
78 pub const MAX_LEN_UTF8: usize = 4;
79
80 /// The maximum number of two-byte units required to [encode](char::encode_utf16) a `char`
81 /// to UTF-16 encoding.
82 #[stable(feature = "char_max_len_assoc", since = "1.93.0")]
83 pub const MAX_LEN_UTF16: usize = 2;
84
85 /// `U+FFFD REPLACEMENT CHARACTER` (�) is used in Unicode to represent a
86 /// decoding error.
87 ///
88 /// It can occur, for example, when giving ill-formed UTF-8 bytes to
89 /// [`String::from_utf8_lossy`](../std/string/struct.String.html#method.from_utf8_lossy).
90 #[stable(feature = "assoc_char_consts", since = "1.52.0")]
91 pub const REPLACEMENT_CHARACTER: char = '\u{FFFD}';
92
93 /// The version of [Unicode](https://www.unicode.org/) that the Unicode parts of
94 /// `char` and `str` methods are based on.
95 ///
96 /// New versions of Unicode are released regularly and subsequently all methods
97 /// in the standard library depending on Unicode are updated. Therefore the
98 /// behavior of some `char` and `str` methods and the value of this constant
99 /// changes over time. This is *not* considered to be a breaking change.
100 ///
101 /// The version numbering scheme is explained in
102 /// [Unicode 11.0 or later, Section 3.1 Versions of the Unicode Standard](https://www.unicode.org/versions/Unicode11.0.0/ch03.pdf#page=4).
103 #[stable(feature = "assoc_char_consts", since = "1.52.0")]
104 pub const UNICODE_VERSION: (u8, u8, u8) = crate::unicode::UNICODE_VERSION;
105
106 /// Creates an iterator over the native endian UTF-16 encoded code points in `iter`,
107 /// returning unpaired surrogates as `Err`s.
108 ///
109 /// # Examples
110 ///
111 /// Basic usage:
112 ///
113 /// ```
114 /// // 𝄞mus<invalid>ic<invalid>
115 /// let v = [
116 /// 0xD834, 0xDD1E, 0x006d, 0x0075, 0x0073, 0xDD1E, 0x0069, 0x0063, 0xD834,
117 /// ];
118 ///
119 /// assert_eq!(
120 /// char::decode_utf16(v)
121 /// .map(|r| r.map_err(|e| e.unpaired_surrogate()))
122 /// .collect::<Vec<_>>(),
123 /// vec![
124 /// Ok('𝄞'),
125 /// Ok('m'), Ok('u'), Ok('s'),
126 /// Err(0xDD1E),
127 /// Ok('i'), Ok('c'),
128 /// Err(0xD834)
129 /// ]
130 /// );
131 /// ```
132 ///
133 /// A lossy decoder can be obtained by replacing `Err` results with the replacement character:
134 ///
135 /// ```
136 /// // 𝄞mus<invalid>ic<invalid>
137 /// let v = [
138 /// 0xD834, 0xDD1E, 0x006d, 0x0075, 0x0073, 0xDD1E, 0x0069, 0x0063, 0xD834,
139 /// ];
140 ///
141 /// assert_eq!(
142 /// char::decode_utf16(v)
143 /// .map(|r| r.unwrap_or(char::REPLACEMENT_CHARACTER))
144 /// .collect::<String>(),
145 /// "𝄞mus�ic�"
146 /// );
147 /// ```
148 #[stable(feature = "assoc_char_funcs", since = "1.52.0")]
149 #[inline]
150 pub fn decode_utf16<I: IntoIterator<Item = u16>>(iter: I) -> DecodeUtf16<I::IntoIter> {
151 super::decode::decode_utf16(iter)
152 }
153
154 /// Converts a `u32` to a `char`.
155 ///
156 /// Note that all `char`s are valid [`u32`]s, and can be cast to one with
157 /// [`as`](../std/keyword.as.html):
158 ///
159 /// ```
160 /// let c = '💯';
161 /// let i = c as u32;
162 ///
163 /// assert_eq!(128175, i);
164 /// ```
165 ///
166 /// However, the reverse is not true: not all valid [`u32`]s are valid
167 /// `char`s. `from_u32()` will return `None` if the input is not a valid value
168 /// for a `char`.
169 ///
170 /// For an unsafe version of this function which ignores these checks, see
171 /// [`from_u32_unchecked`].
172 ///
173 /// [`from_u32_unchecked`]: #method.from_u32_unchecked
174 ///
175 /// # Examples
176 ///
177 /// Basic usage:
178 ///
179 /// ```
180 /// let c = char::from_u32(0x2764);
181 ///
182 /// assert_eq!(Some('❤'), c);
183 /// ```
184 ///
185 /// Returning `None` when the input is not a valid `char`:
186 ///
187 /// ```
188 /// let c = char::from_u32(0x110000);
189 ///
190 /// assert_eq!(None, c);
191 /// ```
192 #[stable(feature = "assoc_char_funcs", since = "1.52.0")]
193 #[rustc_const_stable(feature = "const_char_convert", since = "1.67.0")]
194 #[must_use]
195 #[inline]
196 pub const fn from_u32(i: u32) -> Option<char> {
197 super::convert::from_u32(i)
198 }
199
200 /// Converts a `u32` to a `char`, ignoring validity.
201 ///
202 /// Note that all `char`s are valid [`u32`]s, and can be cast to one with
203 /// `as`:
204 ///
205 /// ```
206 /// let c = '💯';
207 /// let i = c as u32;
208 ///
209 /// assert_eq!(128175, i);
210 /// ```
211 ///
212 /// However, the reverse is not true: not all valid [`u32`]s are valid
213 /// `char`s. `from_u32_unchecked()` will ignore this, and blindly cast to
214 /// `char`, possibly creating an invalid one.
215 ///
216 /// # Safety
217 ///
218 /// This function is unsafe, as it may construct invalid `char` values.
219 ///
220 /// For a safe version of this function, see the [`from_u32`] function.
221 ///
222 /// [`from_u32`]: #method.from_u32
223 ///
224 /// # Examples
225 ///
226 /// Basic usage:
227 ///
228 /// ```
229 /// let c = unsafe { char::from_u32_unchecked(0x2764) };
230 ///
231 /// assert_eq!('❤', c);
232 /// ```
233 #[stable(feature = "assoc_char_funcs", since = "1.52.0")]
234 #[rustc_const_stable(feature = "const_char_from_u32_unchecked", since = "1.81.0")]
235 #[must_use]
236 #[inline]
237 pub const unsafe fn from_u32_unchecked(i: u32) -> char {
238 // SAFETY: the safety contract must be upheld by the caller.
239 unsafe { super::convert::from_u32_unchecked(i) }
240 }
241
242 /// Converts a digit in the given radix to a `char`.
243 ///
244 /// A 'radix' here is sometimes also called a 'base'. A radix of two
245 /// indicates a binary number, a radix of ten, decimal, and a radix of
246 /// sixteen, hexadecimal, to give some common values. Arbitrary
247 /// radices are supported.
248 ///
249 /// `from_digit()` will return `None` if the input is not a digit in
250 /// the given radix.
251 ///
252 /// # Panics
253 ///
254 /// Panics if given a radix larger than 36.
255 ///
256 /// # Examples
257 ///
258 /// Basic usage:
259 ///
260 /// ```
261 /// let c = char::from_digit(4, 10);
262 ///
263 /// assert_eq!(Some('4'), c);
264 ///
265 /// // Decimal 11 is a single digit in base 16
266 /// let c = char::from_digit(11, 16);
267 ///
268 /// assert_eq!(Some('b'), c);
269 /// ```
270 ///
271 /// Returning `None` when the input is not a digit:
272 ///
273 /// ```
274 /// let c = char::from_digit(20, 10);
275 ///
276 /// assert_eq!(None, c);
277 /// ```
278 ///
279 /// Passing a large radix, causing a panic:
280 ///
281 /// ```should_panic
282 /// // this panics
283 /// let _c = char::from_digit(1, 37);
284 /// ```
285 #[stable(feature = "assoc_char_funcs", since = "1.52.0")]
286 #[rustc_const_stable(feature = "const_char_convert", since = "1.67.0")]
287 #[must_use]
288 #[inline]
289 pub const fn from_digit(num: u32, radix: u32) -> Option<char> {
290 super::convert::from_digit(num, radix)
291 }
292
293 /// Checks if a `char` is a digit in the given radix.
294 ///
295 /// A 'radix' here is sometimes also called a 'base'. A radix of two
296 /// indicates a binary number, a radix of ten, decimal, and a radix of
297 /// sixteen, hexadecimal, to give some common values. Arbitrary
298 /// radices are supported.
299 ///
300 /// Compared to [`is_numeric()`], this function only recognizes the characters
301 /// `0-9`, `a-z` and `A-Z`.
302 ///
303 /// 'Digit' is defined to be only the following characters:
304 ///
305 /// * `0-9`
306 /// * `a-z`
307 /// * `A-Z`
308 ///
309 /// For a more comprehensive understanding of 'digit', see [`is_numeric()`].
310 ///
311 /// [`is_numeric()`]: #method.is_numeric
312 ///
313 /// # Panics
314 ///
315 /// Panics if given a radix smaller than 2 or larger than 36.
316 ///
317 /// # Examples
318 ///
319 /// Basic usage:
320 ///
321 /// ```
322 /// assert!('1'.is_digit(10));
323 /// assert!('f'.is_digit(16));
324 /// assert!(!'f'.is_digit(10));
325 /// ```
326 ///
327 /// Passing a large radix, causing a panic:
328 ///
329 /// ```should_panic
330 /// // this panics
331 /// '1'.is_digit(37);
332 /// ```
333 ///
334 /// Passing a small radix, causing a panic:
335 ///
336 /// ```should_panic
337 /// // this panics
338 /// '1'.is_digit(1);
339 /// ```
340 #[stable(feature = "rust1", since = "1.0.0")]
341 #[rustc_const_stable(feature = "const_char_classify", since = "1.87.0")]
342 #[inline]
343 pub const fn is_digit(self, radix: u32) -> bool {
344 self.to_digit(radix).is_some()
345 }
346
347 /// Converts a `char` to a digit in the given radix.
348 ///
349 /// A 'radix' here is sometimes also called a 'base'. A radix of two
350 /// indicates a binary number, a radix of ten, decimal, and a radix of
351 /// sixteen, hexadecimal, to give some common values. Arbitrary
352 /// radices are supported.
353 ///
354 /// 'Digit' is defined to be only the following characters:
355 ///
356 /// * `0-9`
357 /// * `a-z`
358 /// * `A-Z`
359 ///
360 /// # Errors
361 ///
362 /// Returns `None` if the `char` does not refer to a digit in the given radix.
363 ///
364 /// # Panics
365 ///
366 /// Panics if given a radix smaller than 2 or larger than 36.
367 ///
368 /// # Examples
369 ///
370 /// Basic usage:
371 ///
372 /// ```
373 /// assert_eq!('1'.to_digit(10), Some(1));
374 /// assert_eq!('f'.to_digit(16), Some(15));
375 /// ```
376 ///
377 /// Passing a non-digit results in failure:
378 ///
379 /// ```
380 /// assert_eq!('f'.to_digit(10), None);
381 /// assert_eq!('z'.to_digit(16), None);
382 /// ```
383 ///
384 /// Passing a large radix, causing a panic:
385 ///
386 /// ```should_panic
387 /// // this panics
388 /// let _ = '1'.to_digit(37);
389 /// ```
390 /// Passing a small radix, causing a panic:
391 ///
392 /// ```should_panic
393 /// // this panics
394 /// let _ = '1'.to_digit(1);
395 /// ```
396 #[stable(feature = "rust1", since = "1.0.0")]
397 #[rustc_const_stable(feature = "const_char_convert", since = "1.67.0")]
398 #[rustc_diagnostic_item = "char_to_digit"]
399 #[must_use = "this returns the result of the operation, \
400 without modifying the original"]
401 #[inline]
402 pub const fn to_digit(self, radix: u32) -> Option<u32> {
403 assert!(
404 radix >= 2 && radix <= 36,
405 "to_digit: invalid radix -- radix must be in the range 2 to 36 inclusive"
406 );
407 // check radix to remove letter handling code when radix is a known constant
408 let value = if self > '9' && radix > 10 {
409 // mask to convert ASCII letters to uppercase
410 const TO_UPPERCASE_MASK: u32 = !0b0010_0000;
411 // Converts an ASCII letter to its corresponding integer value:
412 // A-Z => 10-35, a-z => 10-35. Other characters produce values >= 36.
413 //
414 // Add Overflow Safety:
415 // By applying the mask after the subtraction, the first addendum is
416 // constrained such that it never exceeds u32::MAX - 0x20.
417 ((self as u32).wrapping_sub('A' as u32) & TO_UPPERCASE_MASK) + 10
418 } else {
419 // convert digit to value, non-digits wrap to values > 36
420 (self as u32).wrapping_sub('0' as u32)
421 };
422 // FIXME(const-hack): once then_some is const fn, use it here
423 if value < radix { Some(value) } else { None }
424 }
425
426 /// Returns an iterator that yields the hexadecimal Unicode escape of a
427 /// character as `char`s.
428 ///
429 /// This will escape characters with the Rust syntax of the form
430 /// `\u{NNNNNN}` where `NNNNNN` is a hexadecimal representation.
431 ///
432 /// # Examples
433 ///
434 /// As an iterator:
435 ///
436 /// ```
437 /// for c in '❤'.escape_unicode() {
438 /// print!("{c}");
439 /// }
440 /// println!();
441 /// ```
442 ///
443 /// Using `println!` directly:
444 ///
445 /// ```
446 /// println!("{}", '❤'.escape_unicode());
447 /// ```
448 ///
449 /// Both are equivalent to:
450 ///
451 /// ```
452 /// println!("\\u{{2764}}");
453 /// ```
454 ///
455 /// Using [`to_string`](../std/string/trait.ToString.html#tymethod.to_string):
456 ///
457 /// ```
458 /// assert_eq!('❤'.escape_unicode().to_string(), "\\u{2764}");
459 /// ```
460 #[must_use = "this returns the escaped char as an iterator, \
461 without modifying the original"]
462 #[stable(feature = "rust1", since = "1.0.0")]
463 #[inline]
464 pub fn escape_unicode(self) -> EscapeUnicode {
465 EscapeUnicode::new(self)
466 }
467
468 /// An extended version of `escape_debug` that optionally permits escaping
469 /// Extended Grapheme codepoints, single quotes, and double quotes. This
470 /// allows us to format characters like nonspacing marks better when they're
471 /// at the start of a string, and allows escaping single quotes in
472 /// characters, and double quotes in strings.
473 #[inline]
474 pub(crate) fn escape_debug_ext(self, args: EscapeDebugExtArgs) -> EscapeDebug {
475 match self {
476 '\0' => EscapeDebug::backslash(ascii::Char::Digit0),
477 '\t' => EscapeDebug::backslash(ascii::Char::SmallT),
478 '\r' => EscapeDebug::backslash(ascii::Char::SmallR),
479 '\n' => EscapeDebug::backslash(ascii::Char::SmallN),
480 '\\' => EscapeDebug::backslash(ascii::Char::ReverseSolidus),
481 '\"' if args.escape_double_quote => EscapeDebug::backslash(ascii::Char::QuotationMark),
482 '\'' if args.escape_single_quote => EscapeDebug::backslash(ascii::Char::Apostrophe),
483 _ if args.escape_grapheme_extended && self.is_grapheme_extended() => {
484 EscapeDebug::unicode(self)
485 }
486 _ if is_printable(self) => EscapeDebug::printable(self),
487 _ => EscapeDebug::unicode(self),
488 }
489 }
490
491 /// Returns an iterator that yields the literal escape code of a character
492 /// as `char`s.
493 ///
494 /// This will escape the characters similar to the [`Debug`](core::fmt::Debug) implementations
495 /// of `str` or `char`.
496 ///
497 /// # Examples
498 ///
499 /// As an iterator:
500 ///
501 /// ```
502 /// for c in '\n'.escape_debug() {
503 /// print!("{c}");
504 /// }
505 /// println!();
506 /// ```
507 ///
508 /// Using `println!` directly:
509 ///
510 /// ```
511 /// println!("{}", '\n'.escape_debug());
512 /// ```
513 ///
514 /// Both are equivalent to:
515 ///
516 /// ```
517 /// println!("\\n");
518 /// ```
519 ///
520 /// Using [`to_string`](../std/string/trait.ToString.html#tymethod.to_string):
521 ///
522 /// ```
523 /// assert_eq!('\n'.escape_debug().to_string(), "\\n");
524 /// ```
525 #[must_use = "this returns the escaped char as an iterator, \
526 without modifying the original"]
527 #[stable(feature = "char_escape_debug", since = "1.20.0")]
528 #[inline]
529 pub fn escape_debug(self) -> EscapeDebug {
530 self.escape_debug_ext(EscapeDebugExtArgs::ESCAPE_ALL)
531 }
532
533 /// Returns an iterator that yields the literal escape code of a character
534 /// as `char`s.
535 ///
536 /// The default is chosen with a bias toward producing literals that are
537 /// legal in a variety of languages, including C++11 and similar C-family
538 /// languages. The exact rules are:
539 ///
540 /// * Tab is escaped as `\t`.
541 /// * Carriage return is escaped as `\r`.
542 /// * Line feed is escaped as `\n`.
543 /// * Single quote is escaped as `\'`.
544 /// * Double quote is escaped as `\"`.
545 /// * Backslash is escaped as `\\`.
546 /// * Any character in the 'printable ASCII' range `0x20` .. `0x7e`
547 /// inclusive is not escaped.
548 /// * All other characters are given hexadecimal Unicode escapes; see
549 /// [`escape_unicode`].
550 ///
551 /// [`escape_unicode`]: #method.escape_unicode
552 ///
553 /// # Examples
554 ///
555 /// As an iterator:
556 ///
557 /// ```
558 /// for c in '"'.escape_default() {
559 /// print!("{c}");
560 /// }
561 /// println!();
562 /// ```
563 ///
564 /// Using `println!` directly:
565 ///
566 /// ```
567 /// println!("{}", '"'.escape_default());
568 /// ```
569 ///
570 /// Both are equivalent to:
571 ///
572 /// ```
573 /// println!("\\\"");
574 /// ```
575 ///
576 /// Using [`to_string`](../std/string/trait.ToString.html#tymethod.to_string):
577 ///
578 /// ```
579 /// assert_eq!('"'.escape_default().to_string(), "\\\"");
580 /// ```
581 #[must_use = "this returns the escaped char as an iterator, \
582 without modifying the original"]
583 #[stable(feature = "rust1", since = "1.0.0")]
584 #[inline]
585 pub fn escape_default(self) -> EscapeDefault {
586 match self {
587 '\t' => EscapeDefault::backslash(ascii::Char::SmallT),
588 '\r' => EscapeDefault::backslash(ascii::Char::SmallR),
589 '\n' => EscapeDefault::backslash(ascii::Char::SmallN),
590 '\\' | '\'' | '\"' => EscapeDefault::backslash(self.as_ascii().unwrap()),
591 '\x20'..='\x7e' => EscapeDefault::printable(self.as_ascii().unwrap()),
592 _ => EscapeDefault::unicode(self),
593 }
594 }
595
596 /// Returns the number of bytes this `char` would need if encoded in UTF-8.
597 ///
598 /// That number of bytes is always between 1 and 4, inclusive.
599 ///
600 /// # Examples
601 ///
602 /// Basic usage:
603 ///
604 /// ```
605 /// let len = 'A'.len_utf8();
606 /// assert_eq!(len, 1);
607 ///
608 /// let len = 'ß'.len_utf8();
609 /// assert_eq!(len, 2);
610 ///
611 /// let len = 'ℝ'.len_utf8();
612 /// assert_eq!(len, 3);
613 ///
614 /// let len = '💣'.len_utf8();
615 /// assert_eq!(len, 4);
616 /// ```
617 ///
618 /// The `&str` type guarantees that its contents are UTF-8, and so we can compare the length it
619 /// would take if each code point was represented as a `char` vs in the `&str` itself:
620 ///
621 /// ```
622 /// // as chars
623 /// let eastern = '東';
624 /// let capital = '京';
625 ///
626 /// // both can be represented as three bytes
627 /// assert_eq!(3, eastern.len_utf8());
628 /// assert_eq!(3, capital.len_utf8());
629 ///
630 /// // as a &str, these two are encoded in UTF-8
631 /// let tokyo = "東京";
632 ///
633 /// let len = eastern.len_utf8() + capital.len_utf8();
634 ///
635 /// // we can see that they take six bytes total...
636 /// assert_eq!(6, tokyo.len());
637 ///
638 /// // ... just like the &str
639 /// assert_eq!(len, tokyo.len());
640 /// ```
641 #[stable(feature = "rust1", since = "1.0.0")]
642 #[rustc_const_stable(feature = "const_char_len_utf", since = "1.52.0")]
643 #[inline]
644 #[must_use]
645 pub const fn len_utf8(self) -> usize {
646 len_utf8(self as u32)
647 }
648
649 /// Returns the number of 16-bit code units this `char` would need if
650 /// encoded in UTF-16.
651 ///
652 /// That number of code units is always either 1 or 2, for unicode scalar values in
653 /// the [basic multilingual plane] or [supplementary planes] respectively.
654 ///
655 /// See the documentation for [`len_utf8()`] for more explanation of this
656 /// concept. This function is a mirror, but for UTF-16 instead of UTF-8.
657 ///
658 /// [basic multilingual plane]: http://www.unicode.org/glossary/#basic_multilingual_plane
659 /// [supplementary planes]: http://www.unicode.org/glossary/#supplementary_planes
660 /// [`len_utf8()`]: #method.len_utf8
661 ///
662 /// # Examples
663 ///
664 /// Basic usage:
665 ///
666 /// ```
667 /// let n = 'ß'.len_utf16();
668 /// assert_eq!(n, 1);
669 ///
670 /// let len = '💣'.len_utf16();
671 /// assert_eq!(len, 2);
672 /// ```
673 #[stable(feature = "rust1", since = "1.0.0")]
674 #[rustc_const_stable(feature = "const_char_len_utf", since = "1.52.0")]
675 #[inline]
676 #[must_use]
677 pub const fn len_utf16(self) -> usize {
678 len_utf16(self as u32)
679 }
680
681 /// Encodes this character as UTF-8 into the provided byte buffer,
682 /// and then returns the subslice of the buffer that contains the encoded character.
683 ///
684 /// # Panics
685 ///
686 /// Panics if the buffer is not large enough.
687 /// A buffer of length four is large enough to encode any `char`.
688 ///
689 /// # Examples
690 ///
691 /// In both of these examples, 'ß' takes two bytes to encode.
692 ///
693 /// ```
694 /// let mut b = [0; 2];
695 ///
696 /// let result = 'ß'.encode_utf8(&mut b);
697 ///
698 /// assert_eq!(result, "ß");
699 ///
700 /// assert_eq!(result.len(), 2);
701 /// ```
702 ///
703 /// A buffer that's too small:
704 ///
705 /// ```should_panic
706 /// let mut b = [0; 1];
707 ///
708 /// // this panics
709 /// 'ß'.encode_utf8(&mut b);
710 /// ```
711 #[stable(feature = "unicode_encode_char", since = "1.15.0")]
712 #[rustc_const_stable(feature = "const_char_encode_utf8", since = "1.83.0")]
713 #[inline]
714 pub const fn encode_utf8(self, dst: &mut [u8]) -> &mut str {
715 // SAFETY: `char` is not a surrogate, so this is valid UTF-8.
716 unsafe { from_utf8_unchecked_mut(encode_utf8_raw(self as u32, dst)) }
717 }
718
719 /// Encodes this character as native endian UTF-16 into the provided `u16` buffer,
720 /// and then returns the subslice of the buffer that contains the encoded character.
721 ///
722 /// # Panics
723 ///
724 /// Panics if the buffer is not large enough.
725 /// A buffer of length 2 is large enough to encode any `char`.
726 ///
727 /// # Examples
728 ///
729 /// In both of these examples, '𝕊' takes two `u16`s to encode.
730 ///
731 /// ```
732 /// let mut b = [0; 2];
733 ///
734 /// let result = '𝕊'.encode_utf16(&mut b);
735 ///
736 /// assert_eq!(result.len(), 2);
737 /// ```
738 ///
739 /// A buffer that's too small:
740 ///
741 /// ```should_panic
742 /// let mut b = [0; 1];
743 ///
744 /// // this panics
745 /// '𝕊'.encode_utf16(&mut b);
746 /// ```
747 #[stable(feature = "unicode_encode_char", since = "1.15.0")]
748 #[rustc_const_stable(feature = "const_char_encode_utf16", since = "1.84.0")]
749 #[inline]
750 pub const fn encode_utf16(self, dst: &mut [u16]) -> &mut [u16] {
751 encode_utf16_raw(self as u32, dst)
752 }
753
754 /// Returns `true` if this `char` has the `Alphabetic` property.
755 ///
756 /// `Alphabetic` is described in Chapter 4 (Character Properties) of the [Unicode Standard] and
757 /// specified in the [Unicode Character Database][ucd] [`DerivedCoreProperties.txt`].
758 ///
759 /// [Unicode Standard]: https://www.unicode.org/versions/latest/
760 /// [ucd]: https://www.unicode.org/reports/tr44/
761 /// [`DerivedCoreProperties.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/DerivedCoreProperties.txt
762 ///
763 /// # Examples
764 ///
765 /// Basic usage:
766 ///
767 /// ```
768 /// assert!('a'.is_alphabetic());
769 /// assert!('京'.is_alphabetic());
770 ///
771 /// let c = '💝';
772 /// // love is many things, but it is not alphabetic
773 /// assert!(!c.is_alphabetic());
774 /// ```
775 #[must_use]
776 #[stable(feature = "rust1", since = "1.0.0")]
777 #[inline]
778 pub fn is_alphabetic(self) -> bool {
779 match self {
780 'a'..='z' | 'A'..='Z' => true,
781 '\0'..='\u{A9}' => false,
782 _ => unicode::Alphabetic(self),
783 }
784 }
785
786 /// Returns `true` if this `char` has the `Cased` property.
787 /// A character is cased if and only if it is uppercase, lowercase, or titlecase.
788 ///
789 /// `Cased` is described in Chapter 4 (Character Properties) of the [Unicode Standard] and
790 /// specified in the [Unicode Character Database][ucd] [`DerivedCoreProperties.txt`].
791 ///
792 /// [Unicode Standard]: https://www.unicode.org/versions/latest/
793 /// [ucd]: https://www.unicode.org/reports/tr44/
794 /// [`DerivedCoreProperties.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/DerivedCoreProperties.txt
795 ///
796 /// # Examples
797 ///
798 /// Basic usage:
799 ///
800 /// ```
801 /// #![feature(titlecase)]
802 /// assert!('A'.is_cased());
803 /// assert!('a'.is_cased());
804 /// assert!(!'京'.is_cased());
805 /// ```
806 #[must_use]
807 #[unstable(feature = "titlecase", issue = "153892")]
808 #[inline]
809 pub fn is_cased(self) -> bool {
810 match self {
811 'a'..='z' | 'A'..='Z' => true,
812 '\0'..='\u{A9}' => false,
813 _ => unicode::Lowercase(self) || unicode::Uppercase(self) || unicode::Lt(self),
814 }
815 }
816
817 /// Returns the case of this character:
818 /// [`Some(CharCase::Upper)`][`CharCase::Upper`] if [`self.is_uppercase()`][`char::is_uppercase`],
819 /// [`Some(CharCase::Lower)`][`CharCase::Lower`] if [`self.is_lowercase()`][`char::is_lowercase`],
820 /// [`Some(CharCase::Title)`][`CharCase::Title`] if [`self.is_titlecase()`][`char::is_titlecase`], and
821 /// `None` if [`!self.is_cased()`][`char::is_cased`].
822 ///
823 /// # Examples
824 ///
825 /// ```
826 /// #![feature(titlecase)]
827 /// use core::char::CharCase;
828 /// assert_eq!('a'.case(), Some(CharCase::Lower));
829 /// assert_eq!('δ'.case(), Some(CharCase::Lower));
830 /// assert_eq!('A'.case(), Some(CharCase::Upper));
831 /// assert_eq!('Δ'.case(), Some(CharCase::Upper));
832 /// assert_eq!('Dž'.case(), Some(CharCase::Title));
833 /// assert_eq!('中'.case(), None);
834 /// ```
835 #[must_use]
836 #[unstable(feature = "titlecase", issue = "153892")]
837 #[inline]
838 pub fn case(self) -> Option<CharCase> {
839 match self {
840 'a'..='z' => Some(CharCase::Lower),
841 'A'..='Z' => Some(CharCase::Upper),
842 '\0'..='\u{A9}' => None,
843 _ if unicode::Lowercase(self) => Some(CharCase::Lower),
844 _ if unicode::Uppercase(self) => Some(CharCase::Upper),
845 _ if unicode::Lt(self) => Some(CharCase::Title),
846 _ => None,
847 }
848 }
849
850 /// Returns `true` if this `char` has the `Lowercase` property.
851 ///
852 /// `Lowercase` is described in Chapter 4 (Character Properties) of the [Unicode Standard] and
853 /// specified in the [Unicode Character Database][ucd] [`DerivedCoreProperties.txt`].
854 ///
855 /// [Unicode Standard]: https://www.unicode.org/versions/latest/
856 /// [ucd]: https://www.unicode.org/reports/tr44/
857 /// [`DerivedCoreProperties.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/DerivedCoreProperties.txt
858 ///
859 /// # Examples
860 ///
861 /// Basic usage:
862 ///
863 /// ```
864 /// assert!('a'.is_lowercase());
865 /// assert!('δ'.is_lowercase());
866 /// assert!(!'A'.is_lowercase());
867 /// assert!(!'Δ'.is_lowercase());
868 ///
869 /// // The various Chinese scripts and punctuation do not have case, and so:
870 /// assert!(!'中'.is_lowercase());
871 /// assert!(!' '.is_lowercase());
872 /// ```
873 ///
874 /// In a const context:
875 ///
876 /// ```
877 /// const CAPITAL_DELTA_IS_LOWERCASE: bool = 'Δ'.is_lowercase();
878 /// assert!(!CAPITAL_DELTA_IS_LOWERCASE);
879 /// ```
880 #[must_use]
881 #[stable(feature = "rust1", since = "1.0.0")]
882 #[rustc_const_stable(feature = "const_unicode_case_lookup", since = "1.84.0")]
883 #[inline]
884 pub const fn is_lowercase(self) -> bool {
885 match self {
886 'a'..='z' => true,
887 '\0'..='\u{A9}' => false,
888 _ => unicode::Lowercase(self),
889 }
890 }
891
892 /// Returns `true` if this `char` has the general category for titlecase letters.
893 /// Conceptually, these characters consist of an uppercase portion followed by a lowercase portion.
894 ///
895 /// Titlecase letters (code points with the general category of `Lt`) are described in Chapter 4
896 /// (Character Properties) of the [Unicode Standard] and specified in the [Unicode Character
897 /// Database][ucd] [`UnicodeData.txt`].
898 ///
899 /// [Unicode Standard]: https://www.unicode.org/versions/latest/
900 /// [ucd]: https://www.unicode.org/reports/tr44/
901 /// [`UnicodeData.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/UnicodeData.txt
902 ///
903 /// # Examples
904 ///
905 /// Basic usage:
906 ///
907 /// ```
908 /// #![feature(titlecase)]
909 /// assert!('Dž'.is_titlecase());
910 /// assert!('ῼ'.is_titlecase());
911 /// assert!(!'D'.is_titlecase());
912 /// assert!(!'z'.is_titlecase());
913 /// assert!(!'中'.is_titlecase());
914 /// assert!(!' '.is_titlecase());
915 /// ```
916 #[must_use]
917 #[unstable(feature = "titlecase", issue = "153892")]
918 #[inline]
919 pub fn is_titlecase(self) -> bool {
920 match self {
921 '\0'..='\u{01C4}' => false,
922 _ => unicode::Lt(self),
923 }
924 }
925
926 /// Returns `true` if this `char` has the `Uppercase` property.
927 ///
928 /// `Uppercase` is described in Chapter 4 (Character Properties) of the [Unicode Standard] and
929 /// specified in the [Unicode Character Database][ucd] [`DerivedCoreProperties.txt`].
930 ///
931 /// [Unicode Standard]: https://www.unicode.org/versions/latest/
932 /// [ucd]: https://www.unicode.org/reports/tr44/
933 /// [`DerivedCoreProperties.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/DerivedCoreProperties.txt
934 ///
935 /// # Examples
936 ///
937 /// Basic usage:
938 ///
939 /// ```
940 /// assert!(!'a'.is_uppercase());
941 /// assert!(!'δ'.is_uppercase());
942 /// assert!('A'.is_uppercase());
943 /// assert!('Δ'.is_uppercase());
944 ///
945 /// // The various Chinese scripts and punctuation do not have case, and so:
946 /// assert!(!'中'.is_uppercase());
947 /// assert!(!' '.is_uppercase());
948 /// ```
949 ///
950 /// In a const context:
951 ///
952 /// ```
953 /// const CAPITAL_DELTA_IS_UPPERCASE: bool = 'Δ'.is_uppercase();
954 /// assert!(CAPITAL_DELTA_IS_UPPERCASE);
955 /// ```
956 #[must_use]
957 #[stable(feature = "rust1", since = "1.0.0")]
958 #[rustc_const_stable(feature = "const_unicode_case_lookup", since = "1.84.0")]
959 #[inline]
960 pub const fn is_uppercase(self) -> bool {
961 match self {
962 'A'..='Z' => true,
963 '\0'..='\u{BF}' => false,
964 _ => unicode::Uppercase(self),
965 }
966 }
967
968 /// Returns `true` if this `char` has the `White_Space` property.
969 ///
970 /// `White_Space` is specified in the [Unicode Character Database][ucd] [`PropList.txt`].
971 ///
972 /// [ucd]: https://www.unicode.org/reports/tr44/
973 /// [`PropList.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/PropList.txt
974 ///
975 /// # Examples
976 ///
977 /// Basic usage:
978 ///
979 /// ```
980 /// assert!(' '.is_whitespace());
981 ///
982 /// // line break
983 /// assert!('\n'.is_whitespace());
984 ///
985 /// // a non-breaking space
986 /// assert!('\u{A0}'.is_whitespace());
987 ///
988 /// assert!(!'越'.is_whitespace());
989 /// ```
990 #[must_use]
991 #[stable(feature = "rust1", since = "1.0.0")]
992 #[rustc_const_stable(feature = "const_char_classify", since = "1.87.0")]
993 #[inline]
994 pub const fn is_whitespace(self) -> bool {
995 match self {
996 ' ' | '\x09'..='\x0d' => true,
997 '\0'..='\u{84}' => false,
998 _ => unicode::White_Space(self),
999 }
1000 }
1001
1002 /// Returns `true` if this `char` satisfies either [`is_alphabetic()`] or [`is_numeric()`].
1003 ///
1004 /// [`is_alphabetic()`]: #method.is_alphabetic
1005 /// [`is_numeric()`]: #method.is_numeric
1006 ///
1007 /// # Examples
1008 ///
1009 /// Basic usage:
1010 ///
1011 /// ```
1012 /// assert!('٣'.is_alphanumeric());
1013 /// assert!('7'.is_alphanumeric());
1014 /// assert!('৬'.is_alphanumeric());
1015 /// assert!('¾'.is_alphanumeric());
1016 /// assert!('①'.is_alphanumeric());
1017 /// assert!('K'.is_alphanumeric());
1018 /// assert!('و'.is_alphanumeric());
1019 /// assert!('藏'.is_alphanumeric());
1020 /// ```
1021 #[must_use]
1022 #[stable(feature = "rust1", since = "1.0.0")]
1023 #[inline]
1024 pub fn is_alphanumeric(self) -> bool {
1025 match self {
1026 'a'..='z' | 'A'..='Z' | '0'..='9' => true,
1027 '\0'..='\u{A9}' => false,
1028 _ => unicode::Alphabetic(self) || unicode::N(self),
1029 }
1030 }
1031
1032 /// Returns `true` if this `char` has the general category for control codes.
1033 ///
1034 /// Control codes (code points with the general category of `Cc`) are described in Chapter 4
1035 /// (Character Properties) of the [Unicode Standard] and specified in the [Unicode Character
1036 /// Database][ucd] [`UnicodeData.txt`].
1037 ///
1038 /// [Unicode Standard]: https://www.unicode.org/versions/latest/
1039 /// [ucd]: https://www.unicode.org/reports/tr44/
1040 /// [`UnicodeData.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/UnicodeData.txt
1041 ///
1042 /// # Examples
1043 ///
1044 /// Basic usage:
1045 ///
1046 /// ```
1047 /// // U+009C, STRING TERMINATOR
1048 /// assert!(''.is_control());
1049 /// assert!(!'q'.is_control());
1050 /// ```
1051 #[must_use]
1052 #[stable(feature = "rust1", since = "1.0.0")]
1053 #[inline]
1054 pub fn is_control(self) -> bool {
1055 // According to
1056 // https://www.unicode.org/policies/stability_policy.html#Property_Value,
1057 // the set of codepoints in `Cc` will never change.
1058 // So we can just hard-code the patterns to match against instead of using a table.
1059 matches!(self, '\0'..='\x1f' | '\x7f'..='\u{9f}')
1060 }
1061
1062 /// Returns `true` if this `char` has the `Grapheme_Extend` property.
1063 ///
1064 /// `Grapheme_Extend` is described in [Unicode Standard Annex #29 (Unicode Text
1065 /// Segmentation)][uax29] and specified in the [Unicode Character Database][ucd]
1066 /// [`DerivedCoreProperties.txt`].
1067 ///
1068 /// [uax29]: https://www.unicode.org/reports/tr29/
1069 /// [ucd]: https://www.unicode.org/reports/tr44/
1070 /// [`DerivedCoreProperties.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/DerivedCoreProperties.txt
1071 #[must_use]
1072 #[inline]
1073 pub(crate) fn is_grapheme_extended(self) -> bool {
1074 self > '\u{02FF}' && unicode::Grapheme_Extend(self)
1075 }
1076
1077 /// Returns `true` if this `char` has the `Case_Ignorable` property. This narrow-use property
1078 /// is used to implement context-dependent casing for the Greek letter sigma (uppercase Σ),
1079 /// which has two lowercase forms.
1080 ///
1081 /// `Case_Ignorable` is [described][D136] in Chapter 3 (Conformance) of the Unicode Core Specification,
1082 /// and specified in the [Unicode Character Database][ucd] [`DerivedCoreProperties.txt`];
1083 /// see those resources for more information.
1084 ///
1085 /// [D136]: https://www.unicode.org/versions/latest/core-spec/chapter-3/#G63116
1086 /// [ucd]: https://www.unicode.org/reports/tr44/
1087 /// [`DerivedCoreProperties.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/DerivedCoreProperties.txt
1088 #[must_use]
1089 #[inline]
1090 #[unstable(feature = "case_ignorable", issue = "154848")]
1091 pub fn is_case_ignorable(self) -> bool {
1092 if self.is_ascii() {
1093 matches!(self, '\'' | '.' | ':' | '^' | '`')
1094 } else {
1095 unicode::Case_Ignorable(self)
1096 }
1097 }
1098
1099 /// Returns `true` if this `char` has one of the general categories for numbers.
1100 ///
1101 /// The general categories for numbers (`Nd` for decimal digits, `Nl` for letter-like numeric
1102 /// characters, and `No` for other numeric characters) are specified in the [Unicode Character
1103 /// Database][ucd] [`UnicodeData.txt`].
1104 ///
1105 /// This method doesn't cover everything that could be considered a number, e.g. ideographic numbers like '三'.
1106 /// If you want everything including characters with overlapping purposes then you might want to use
1107 /// a unicode or language-processing library that exposes the appropriate character properties instead
1108 /// of looking at the unicode categories.
1109 ///
1110 /// If you want to parse ASCII decimal digits (0-9) or ASCII base-N, use
1111 /// `is_ascii_digit` or `is_digit` instead.
1112 ///
1113 /// [Unicode Standard]: https://www.unicode.org/versions/latest/
1114 /// [ucd]: https://www.unicode.org/reports/tr44/
1115 /// [`UnicodeData.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/UnicodeData.txt
1116 ///
1117 /// # Examples
1118 ///
1119 /// Basic usage:
1120 ///
1121 /// ```
1122 /// assert!('٣'.is_numeric());
1123 /// assert!('7'.is_numeric());
1124 /// assert!('৬'.is_numeric());
1125 /// assert!('¾'.is_numeric());
1126 /// assert!('①'.is_numeric());
1127 /// assert!(!'K'.is_numeric());
1128 /// assert!(!'و'.is_numeric());
1129 /// assert!(!'藏'.is_numeric());
1130 /// assert!(!'三'.is_numeric());
1131 /// ```
1132 #[must_use]
1133 #[stable(feature = "rust1", since = "1.0.0")]
1134 #[inline]
1135 pub fn is_numeric(self) -> bool {
1136 match self {
1137 '0'..='9' => true,
1138 '\0'..='\u{B1}' => false,
1139 _ => unicode::N(self),
1140 }
1141 }
1142
1143 /// Returns an iterator that yields the lowercase mapping of this `char` as one or more
1144 /// `char`s.
1145 ///
1146 /// If this `char` does not have a lowercase mapping, the iterator yields the same `char`.
1147 ///
1148 /// If this `char` has a one-to-one lowercase mapping given by the [Unicode Character
1149 /// Database][ucd] [`UnicodeData.txt`], the iterator yields that `char`.
1150 ///
1151 /// [ucd]: https://www.unicode.org/reports/tr44/
1152 /// [`UnicodeData.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/UnicodeData.txt
1153 ///
1154 /// If this `char` expands to multiple `char`s, the iterator yields the `char`s given by
1155 /// [`SpecialCasing.txt`]. The maximum number of `char`s in a case mapping is 3.
1156 ///
1157 /// [`SpecialCasing.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/SpecialCasing.txt
1158 ///
1159 /// This operation performs an unconditional mapping without tailoring. That is, the conversion
1160 /// is independent of context and language. See [below](#notes-on-context-and-locale)
1161 /// for more information.
1162 ///
1163 /// In the [Unicode Standard], Chapter 4 (Character Properties) discusses case mapping in
1164 /// general and Chapter 3 (Conformance) discusses the default algorithm for case conversion.
1165 ///
1166 /// [Unicode Standard]: https://www.unicode.org/versions/latest/
1167 ///
1168 /// # Examples
1169 ///
1170 /// As an iterator:
1171 ///
1172 /// ```
1173 /// for c in 'İ'.to_lowercase() {
1174 /// print!("{c}");
1175 /// }
1176 /// println!();
1177 /// ```
1178 ///
1179 /// Using `println!` directly:
1180 ///
1181 /// ```
1182 /// println!("{}", 'İ'.to_lowercase());
1183 /// ```
1184 ///
1185 /// Both are equivalent to:
1186 ///
1187 /// ```
1188 /// println!("i\u{307}");
1189 /// ```
1190 ///
1191 /// Using [`to_string`](../std/string/trait.ToString.html#tymethod.to_string):
1192 ///
1193 /// ```
1194 /// assert_eq!('C'.to_lowercase().to_string(), "c");
1195 ///
1196 /// // Sometimes the result is more than one character:
1197 /// assert_eq!('İ'.to_lowercase().to_string(), "i\u{307}");
1198 ///
1199 /// // Characters that do not have both uppercase and lowercase
1200 /// // convert into themselves.
1201 /// assert_eq!('山'.to_lowercase().to_string(), "山");
1202 /// ```
1203 /// # Notes on context and locale
1204 ///
1205 /// As stated earlier, this method does not take into account language or context.
1206 /// Below is a non-exhaustive list of situations where this can be relevant.
1207 /// If you need to handle locale-depedendent casing in your code, consider using
1208 /// an external crate, like [`icu_casemap`](https://crates.io/crates/icu_casemap)
1209 /// which is developed by Unicode.
1210 ///
1211 /// ## Greek sigma
1212 ///
1213 /// In Greek, the letter simga (uppercase Σ) has two lowercase forms:
1214 /// ς which is used only at the end of a word, and σ which is used everywhere else.
1215 /// `to_lowercase()` always uses the second form:
1216 ///
1217 /// ```
1218 /// assert_eq!('Σ'.to_lowercase().to_string(), "σ");
1219 /// ```
1220 ///
1221 /// ## Turkish and Azeri I/ı/İ/i
1222 ///
1223 /// In Turkish and Azeri, the equivalent of 'i' in Latin has five forms instead of two:
1224 ///
1225 /// * 'Dotless': I / ı, sometimes written ï
1226 /// * 'Dotted': İ / i
1227 ///
1228 /// Note that the uppercase undotted 'I' is the same as the Latin. Therefore:
1229 ///
1230 /// ```
1231 /// let lower_i = 'I'.to_lowercase().to_string();
1232 /// ```
1233 ///
1234 /// The value of `lower_i` here relies on the language of the text: if we're
1235 /// in `en-US`, it should be `"i"`, but if we're in `tr-TR` or `az-AZ`, it should
1236 /// be `"ı"`. `to_lowercase()` does not take this into account, and so:
1237 ///
1238 /// ```
1239 /// let lower_i = 'I'.to_lowercase().to_string();
1240 ///
1241 /// assert_eq!(lower_i, "i");
1242 /// ```
1243 ///
1244 /// holds across languages.
1245 #[must_use = "this returns the lowercased character as a new iterator, \
1246 without modifying the original"]
1247 #[stable(feature = "rust1", since = "1.0.0")]
1248 #[inline]
1249 pub fn to_lowercase(self) -> ToLowercase {
1250 ToLowercase(CaseMappingIter::new(conversions::to_lower(self)))
1251 }
1252
1253 /// Returns an iterator that yields the titlecase mapping of this `char` as one or more
1254 /// `char`s.
1255 ///
1256 /// This is usually, but not always, equivalent to the uppercase mapping
1257 /// returned by [`to_uppercase()`]. Prefer this method when seeking to capitalize
1258 /// Only The First Letter of a word, but use [`to_uppercase()`] for ALL CAPS.
1259 /// See [below](#difference-from-uppercase) for a thorough explanation
1260 /// of the difference between the two methods.
1261 ///
1262 /// If this `char` does not have a titlecase mapping, the iterator yields the same `char`.
1263 ///
1264 /// If this `char` has a one-to-one titlecase mapping given by the [Unicode Character
1265 /// Database][ucd] [`UnicodeData.txt`], the iterator yields that `char`.
1266 ///
1267 /// [ucd]: https://www.unicode.org/reports/tr44/
1268 /// [`UnicodeData.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/UnicodeData.txt
1269 ///
1270 /// If this `char` expands to multiple `char`s, the iterator yields the `char`s given by
1271 /// [`SpecialCasing.txt`]. The maximum number of `char`s in a case mapping is 3.
1272 ///
1273 /// [`SpecialCasing.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/SpecialCasing.txt
1274 ///
1275 /// This operation performs an unconditional mapping without tailoring. That is, the conversion
1276 /// is independent of context and language. See [below](#note-on-locale)
1277 /// for more information.
1278 ///
1279 /// In the [Unicode Standard], Chapter 4 (Character Properties) discusses case mapping in
1280 /// general and Chapter 3 (Conformance) discusses the default algorithm for case conversion.
1281 ///
1282 /// [Unicode Standard]: https://www.unicode.org/versions/latest/
1283 ///
1284 /// # Examples
1285 ///
1286 /// As an iterator:
1287 ///
1288 /// ```
1289 /// #![feature(titlecase)]
1290 /// for c in 'ß'.to_titlecase() {
1291 /// print!("{c}");
1292 /// }
1293 /// println!();
1294 /// ```
1295 ///
1296 /// Using `println!` directly:
1297 ///
1298 /// ```
1299 /// #![feature(titlecase)]
1300 /// println!("{}", 'ß'.to_titlecase());
1301 /// ```
1302 ///
1303 /// Both are equivalent to:
1304 ///
1305 /// ```
1306 /// println!("Ss");
1307 /// ```
1308 ///
1309 /// Using [`to_string`](../std/string/trait.ToString.html#tymethod.to_string):
1310 ///
1311 /// ```
1312 /// #![feature(titlecase)]
1313 /// assert_eq!('c'.to_titlecase().to_string(), "C");
1314 /// assert_eq!('ა'.to_titlecase().to_string(), "ა");
1315 /// assert_eq!('dž'.to_titlecase().to_string(), "Dž");
1316 /// assert_eq!('ᾨ'.to_titlecase().to_string(), "ᾨ");
1317 ///
1318 /// // Sometimes the result is more than one character:
1319 /// assert_eq!('ß'.to_titlecase().to_string(), "Ss");
1320 ///
1321 /// // Characters that do not have separate cased forms
1322 /// // convert into themselves.
1323 /// assert_eq!('山'.to_titlecase().to_string(), "山");
1324 /// ```
1325 ///
1326 /// # Difference from uppercase
1327 ///
1328 /// Currently, there are three classes of characters where [`to_uppercase()`]
1329 /// and `to_titlecase()` give different results:
1330 ///
1331 /// ## Georgian script
1332 ///
1333 /// Each letter in the modern Georgian alphabet can be written in one of two forms:
1334 /// the typical lowercase-like "mkhedruli" form, and a variant uppercase-like "mtavruli"
1335 /// form. However, unlike uppercase in most cased scripts, mtavruli is not typically used
1336 /// to start sentences, denote proper nouns, or for any other purpose
1337 /// in running text. It is instead confined to titles and headings, which are written entirely
1338 /// in mtavruli. For this reason, [`to_uppercase()`] applied to a Georgian letter
1339 /// will return the mtavruli form, but `to_titlecase()` will return the mkhedruli form.
1340 ///
1341 /// ```
1342 /// #![feature(titlecase)]
1343 /// let ani = 'ა'; // First letter of the Georgian alphabet, in mkhedruli form
1344 ///
1345 /// // Titlecasing mkhedruli maps it to itself...
1346 /// assert_eq!(ani.to_titlecase().to_string(), ani.to_string());
1347 ///
1348 /// // but uppercasing it maps it to mtavruli
1349 /// assert_eq!(ani.to_uppercase().to_string(), "Ა");
1350 /// ```
1351 ///
1352 /// ## Compatibility digraphs for Latin-alphabet Serbo-Croatian
1353 ///
1354 /// The standard Latin alphabet for the Serbo-Croatian language
1355 /// (Bosnian, Croatian, Montenegrin, and Serbian) contains
1356 /// three digraphs: Dž, Lj, and Nj. These are usually represented as
1357 /// two characters. However, for compatibility with older character sets,
1358 /// Unicode includes single-character versions of these digraphs.
1359 /// Each has a uppercase, titlecase, and lowercase version:
1360 ///
1361 /// - `'DŽ'`, `'Dž'`, `'dž'`
1362 /// - `'LJ'`, `'Lj'`, `'lj'`
1363 /// - `'NJ'`, `'Nj'`, `'nj'`
1364 ///
1365 /// Unicode additionally encodes a casing triad for the Dz digraph
1366 /// without the caron: `'DZ'`, `'Dz'`, `'dz'`.
1367 ///
1368 /// ## Iota-subscritped Greek vowels
1369 ///
1370 /// In ancient Greek, the long vowels alpha (α), eta (η), and omega (ω)
1371 /// were sometimes followed by an iota (ι), forming a diphthong. Over time,
1372 /// the diphthong pronunciation was slowly lost, with the iota becoming mute.
1373 /// Eventually, the ι disappeared from the spelling as well.
1374 /// However, there remains a need to represent ancient texts faithfully.
1375 ///
1376 /// Modern editions of ancient Greek texts commonly use a reduced-sized
1377 /// ι symbol to denote mute iotas, while distinguishing them from ιs
1378 /// which continued to affect pronunciation. The exact standard differs
1379 /// between different publications. Some render the mute ι below its associated
1380 /// vowel (subscript), while others place it to the right of said vowel (adscript).
1381 /// The interaction of mute ι symbols with casing also varies.
1382 ///
1383 /// The Unicode Standard, for its default casing rules, chose to make lowercase
1384 /// Greek vowels with iota subscipt (e.g. `'ᾠ'`) titlecase to the uppercase vowel
1385 /// with iota subscript (`'ᾨ'`) but uppercase to the uppercase vowel followed by
1386 /// full-size uppercase iota (`"ὨΙ"`). This is just one convention among many
1387 /// in common use, but it is the one Unicode settled on,
1388 /// so it is what this method does also.
1389 ///
1390 /// # Note on locale
1391 ///
1392 /// As stated above, this method is locale-insensitive.
1393 /// If you need locale support, consider using an external crate,
1394 /// like [`icu_casemap`](https://crates.io/crates/icu_casemap)
1395 /// which is developed by Unicode. A description of a common
1396 /// locale-dependent casing issue follows:
1397 ///
1398 /// In Turkish and Azeri, the equivalent of 'i' in Latin has five forms instead of two:
1399 ///
1400 /// * 'Dotless': I / ı, sometimes written ï
1401 /// * 'Dotted': İ / i
1402 ///
1403 /// Note that the lowercase dotted 'i' is the same as the Latin. Therefore:
1404 ///
1405 /// ```
1406 /// #![feature(titlecase)]
1407 /// let upper_i = 'i'.to_titlecase().to_string();
1408 /// ```
1409 ///
1410 /// The value of `upper_i` here relies on the language of the text: if we're
1411 /// in `en-US`, it should be `"I"`, but if we're in `tr-TR` or `az-AZ`, it should
1412 /// be `"İ"`. `to_titlecase()` does not take this into account, and so:
1413 ///
1414 /// ```
1415 /// #![feature(titlecase)]
1416 /// let upper_i = 'i'.to_titlecase().to_string();
1417 ///
1418 /// assert_eq!(upper_i, "I");
1419 /// ```
1420 ///
1421 /// holds across languages.
1422 ///
1423 /// [`to_uppercase()`]: Self::to_uppercase()
1424 #[must_use = "this returns the titlecased character as a new iterator, \
1425 without modifying the original"]
1426 #[unstable(feature = "titlecase", issue = "153892")]
1427 #[inline]
1428 pub fn to_titlecase(self) -> ToTitlecase {
1429 ToTitlecase(CaseMappingIter::new(conversions::to_title(self)))
1430 }
1431
1432 /// Returns an iterator that yields the uppercase mapping of this `char` as one or more
1433 /// `char`s.
1434 ///
1435 /// Prefer this method when converting a word into ALL CAPS, but consider [`to_titlecase()`]
1436 /// instead if you seek to capitalize Only The First Letter. See that method's documentation
1437 /// for more information on the difference between the two.
1438 ///
1439 /// If this `char` does not have an uppercase mapping, the iterator yields the same `char`.
1440 ///
1441 /// If this `char` has a one-to-one uppercase mapping given by the [Unicode Character
1442 /// Database][ucd] [`UnicodeData.txt`], the iterator yields that `char`.
1443 ///
1444 /// [ucd]: https://www.unicode.org/reports/tr44/
1445 /// [`UnicodeData.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/UnicodeData.txt
1446 ///
1447 /// If this `char` expands to multiple `char`s, the iterator yields the `char`s given by
1448 /// [`SpecialCasing.txt`]. The maximum number of `char`s in a case mapping is 3.
1449 ///
1450 /// [`SpecialCasing.txt`]: https://www.unicode.org/Public/UCD/latest/ucd/SpecialCasing.txt
1451 ///
1452 /// This operation performs an unconditional mapping without tailoring. That is, the conversion
1453 /// is independent of context and language. See [below](#note-on-locale)
1454 /// for more information.
1455 ///
1456 /// In the [Unicode Standard], Chapter 4 (Character Properties) discusses case mapping in
1457 /// general and Chapter 3 (Conformance) discusses the default algorithm for case conversion.
1458 ///
1459 /// [Unicode Standard]: https://www.unicode.org/versions/latest/
1460 ///
1461 /// # Examples
1462 ///
1463 /// `'ſt'` (U+FB05) is a single Unicode code point (a ligature) that maps to "ST" in uppercase.
1464 ///
1465 /// As an iterator:
1466 ///
1467 /// ```
1468 /// for c in 'ſt'.to_uppercase() {
1469 /// print!("{c}");
1470 /// }
1471 /// println!();
1472 /// ```
1473 ///
1474 /// Using `println!` directly:
1475 ///
1476 /// ```
1477 /// println!("{}", 'ſt'.to_uppercase());
1478 /// ```
1479 ///
1480 /// Both are equivalent to:
1481 ///
1482 /// ```
1483 /// println!("ST");
1484 /// ```
1485 ///
1486 /// Using [`to_string`](../std/string/trait.ToString.html#tymethod.to_string):
1487 ///
1488 /// ```
1489 /// assert_eq!('c'.to_uppercase().to_string(), "C");
1490 /// assert_eq!('ა'.to_uppercase().to_string(), "Ა");
1491 /// assert_eq!('dž'.to_uppercase().to_string(), "DŽ");
1492 ///
1493 /// // Sometimes the result is more than one character:
1494 /// assert_eq!('ſt'.to_uppercase().to_string(), "ST");
1495 /// assert_eq!('ᾨ'.to_uppercase().to_string(), "ὨΙ");
1496 ///
1497 /// // Characters that do not have both uppercase and lowercase
1498 /// // convert into themselves.
1499 /// assert_eq!('山'.to_uppercase().to_string(), "山");
1500 /// ```
1501 ///
1502 /// # Note on locale
1503 ///
1504 /// As stated above, this method is locale-insensitive.
1505 /// If you need locale support, consider using an external crate,
1506 /// like [`icu_casemap`](https://crates.io/crates/icu_casemap)
1507 /// which is developed by Unicode. A description of a common
1508 /// locale-dependent casing issue follows:
1509 ///
1510 /// In Turkish and Azeri, the equivalent of 'i' in Latin has five forms instead of two:
1511 ///
1512 /// * 'Dotless': I / ı, sometimes written ï
1513 /// * 'Dotted': İ / i
1514 ///
1515 /// Note that the lowercase dotted 'i' is the same as the Latin. Therefore:
1516 ///
1517 /// ```
1518 /// let upper_i = 'i'.to_uppercase().to_string();
1519 /// ```
1520 ///
1521 /// The value of `upper_i` here relies on the language of the text: if we're
1522 /// in `en-US`, it should be `"I"`, but if we're in `tr-TR` or `az-AZ`, it should
1523 /// be `"İ"`. `to_uppercase()` does not take this into account, and so:
1524 ///
1525 /// ```
1526 /// let upper_i = 'i'.to_uppercase().to_string();
1527 ///
1528 /// assert_eq!(upper_i, "I");
1529 /// ```
1530 ///
1531 /// holds across languages.
1532 ///
1533 /// [`to_titlecase()`]: Self::to_titlecase()
1534 #[must_use = "this returns the uppercased character as a new iterator, \
1535 without modifying the original"]
1536 #[stable(feature = "rust1", since = "1.0.0")]
1537 #[inline]
1538 pub fn to_uppercase(self) -> ToUppercase {
1539 ToUppercase(CaseMappingIter::new(conversions::to_upper(self)))
1540 }
1541
1542 /// Checks if the value is within the ASCII range.
1543 ///
1544 /// # Examples
1545 ///
1546 /// ```
1547 /// let ascii = 'a';
1548 /// let non_ascii = '❤';
1549 ///
1550 /// assert!(ascii.is_ascii());
1551 /// assert!(!non_ascii.is_ascii());
1552 /// ```
1553 #[must_use]
1554 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
1555 #[rustc_const_stable(feature = "const_char_is_ascii", since = "1.32.0")]
1556 #[rustc_diagnostic_item = "char_is_ascii"]
1557 #[inline]
1558 pub const fn is_ascii(&self) -> bool {
1559 *self as u32 <= 0x7F
1560 }
1561
1562 /// Returns `Some` if the value is within the ASCII range,
1563 /// or `None` if it's not.
1564 ///
1565 /// This is preferred to [`Self::is_ascii`] when you're passing the value
1566 /// along to something else that can take [`ascii::Char`] rather than
1567 /// needing to check again for itself whether the value is in ASCII.
1568 #[must_use]
1569 #[unstable(feature = "ascii_char", issue = "110998")]
1570 #[inline]
1571 pub const fn as_ascii(&self) -> Option<ascii::Char> {
1572 if self.is_ascii() {
1573 // SAFETY: Just checked that this is ASCII.
1574 Some(unsafe { ascii::Char::from_u8_unchecked(*self as u8) })
1575 } else {
1576 None
1577 }
1578 }
1579
1580 /// Converts this char into an [ASCII character](`ascii::Char`), without
1581 /// checking whether it is valid.
1582 ///
1583 /// # Safety
1584 ///
1585 /// This char must be within the ASCII range, or else this is UB.
1586 #[must_use]
1587 #[unstable(feature = "ascii_char", issue = "110998")]
1588 #[inline]
1589 pub const unsafe fn as_ascii_unchecked(&self) -> ascii::Char {
1590 assert_unsafe_precondition!(
1591 check_library_ub,
1592 "as_ascii_unchecked requires that the char is valid ASCII",
1593 (it: &char = self) => it.is_ascii()
1594 );
1595
1596 // SAFETY: the caller promised that this char is ASCII.
1597 unsafe { ascii::Char::from_u8_unchecked(*self as u8) }
1598 }
1599
1600 /// Makes a copy of the value in its ASCII upper case equivalent.
1601 ///
1602 /// ASCII letters 'a' to 'z' are mapped to 'A' to 'Z',
1603 /// but non-ASCII letters are unchanged.
1604 ///
1605 /// To uppercase the value in-place, use [`make_ascii_uppercase()`].
1606 ///
1607 /// To uppercase ASCII characters in addition to non-ASCII characters, use
1608 /// [`to_uppercase()`].
1609 ///
1610 /// # Examples
1611 ///
1612 /// ```
1613 /// let ascii = 'a';
1614 /// let non_ascii = '❤';
1615 ///
1616 /// assert_eq!('A', ascii.to_ascii_uppercase());
1617 /// assert_eq!('❤', non_ascii.to_ascii_uppercase());
1618 /// ```
1619 ///
1620 /// [`make_ascii_uppercase()`]: #method.make_ascii_uppercase
1621 /// [`to_uppercase()`]: #method.to_uppercase
1622 #[must_use = "to uppercase the value in-place, use `make_ascii_uppercase()`"]
1623 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
1624 #[rustc_const_stable(feature = "const_ascii_methods_on_intrinsics", since = "1.52.0")]
1625 #[inline]
1626 pub const fn to_ascii_uppercase(&self) -> char {
1627 if self.is_ascii_lowercase() {
1628 (*self as u8).ascii_change_case_unchecked() as char
1629 } else {
1630 *self
1631 }
1632 }
1633
1634 /// Makes a copy of the value in its ASCII lower case equivalent.
1635 ///
1636 /// ASCII letters 'A' to 'Z' are mapped to 'a' to 'z',
1637 /// but non-ASCII letters are unchanged.
1638 ///
1639 /// To lowercase the value in-place, use [`make_ascii_lowercase()`].
1640 ///
1641 /// To lowercase ASCII characters in addition to non-ASCII characters, use
1642 /// [`to_lowercase()`].
1643 ///
1644 /// # Examples
1645 ///
1646 /// ```
1647 /// let ascii = 'A';
1648 /// let non_ascii = '❤';
1649 ///
1650 /// assert_eq!('a', ascii.to_ascii_lowercase());
1651 /// assert_eq!('❤', non_ascii.to_ascii_lowercase());
1652 /// ```
1653 ///
1654 /// [`make_ascii_lowercase()`]: #method.make_ascii_lowercase
1655 /// [`to_lowercase()`]: #method.to_lowercase
1656 #[must_use = "to lowercase the value in-place, use `make_ascii_lowercase()`"]
1657 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
1658 #[rustc_const_stable(feature = "const_ascii_methods_on_intrinsics", since = "1.52.0")]
1659 #[inline]
1660 pub const fn to_ascii_lowercase(&self) -> char {
1661 if self.is_ascii_uppercase() {
1662 (*self as u8).ascii_change_case_unchecked() as char
1663 } else {
1664 *self
1665 }
1666 }
1667
1668 /// Checks that two values are an ASCII case-insensitive match.
1669 ///
1670 /// Equivalent to <code>[to_ascii_lowercase]\(a) == [to_ascii_lowercase]\(b)</code>.
1671 ///
1672 /// # Examples
1673 ///
1674 /// ```
1675 /// let upper_a = 'A';
1676 /// let lower_a = 'a';
1677 /// let lower_z = 'z';
1678 ///
1679 /// assert!(upper_a.eq_ignore_ascii_case(&lower_a));
1680 /// assert!(upper_a.eq_ignore_ascii_case(&upper_a));
1681 /// assert!(!upper_a.eq_ignore_ascii_case(&lower_z));
1682 /// ```
1683 ///
1684 /// [to_ascii_lowercase]: #method.to_ascii_lowercase
1685 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
1686 #[rustc_const_stable(feature = "const_ascii_methods_on_intrinsics", since = "1.52.0")]
1687 #[inline]
1688 pub const fn eq_ignore_ascii_case(&self, other: &char) -> bool {
1689 self.to_ascii_lowercase() == other.to_ascii_lowercase()
1690 }
1691
1692 /// Converts this type to its ASCII upper case equivalent in-place.
1693 ///
1694 /// ASCII letters 'a' to 'z' are mapped to 'A' to 'Z',
1695 /// but non-ASCII letters are unchanged.
1696 ///
1697 /// To return a new uppercased value without modifying the existing one, use
1698 /// [`to_ascii_uppercase()`].
1699 ///
1700 /// # Examples
1701 ///
1702 /// ```
1703 /// let mut ascii = 'a';
1704 ///
1705 /// ascii.make_ascii_uppercase();
1706 ///
1707 /// assert_eq!('A', ascii);
1708 /// ```
1709 ///
1710 /// [`to_ascii_uppercase()`]: #method.to_ascii_uppercase
1711 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
1712 #[rustc_const_stable(feature = "const_make_ascii", since = "1.84.0")]
1713 #[inline]
1714 pub const fn make_ascii_uppercase(&mut self) {
1715 *self = self.to_ascii_uppercase();
1716 }
1717
1718 /// Converts this type to its ASCII lower case equivalent in-place.
1719 ///
1720 /// ASCII letters 'A' to 'Z' are mapped to 'a' to 'z',
1721 /// but non-ASCII letters are unchanged.
1722 ///
1723 /// To return a new lowercased value without modifying the existing one, use
1724 /// [`to_ascii_lowercase()`].
1725 ///
1726 /// # Examples
1727 ///
1728 /// ```
1729 /// let mut ascii = 'A';
1730 ///
1731 /// ascii.make_ascii_lowercase();
1732 ///
1733 /// assert_eq!('a', ascii);
1734 /// ```
1735 ///
1736 /// [`to_ascii_lowercase()`]: #method.to_ascii_lowercase
1737 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
1738 #[rustc_const_stable(feature = "const_make_ascii", since = "1.84.0")]
1739 #[inline]
1740 pub const fn make_ascii_lowercase(&mut self) {
1741 *self = self.to_ascii_lowercase();
1742 }
1743
1744 /// Checks if the value is an ASCII alphabetic character:
1745 ///
1746 /// - U+0041 'A' ..= U+005A 'Z', or
1747 /// - U+0061 'a' ..= U+007A 'z'.
1748 ///
1749 /// # Examples
1750 ///
1751 /// ```
1752 /// let uppercase_a = 'A';
1753 /// let uppercase_g = 'G';
1754 /// let a = 'a';
1755 /// let g = 'g';
1756 /// let zero = '0';
1757 /// let percent = '%';
1758 /// let space = ' ';
1759 /// let lf = '\n';
1760 /// let esc = '\x1b';
1761 ///
1762 /// assert!(uppercase_a.is_ascii_alphabetic());
1763 /// assert!(uppercase_g.is_ascii_alphabetic());
1764 /// assert!(a.is_ascii_alphabetic());
1765 /// assert!(g.is_ascii_alphabetic());
1766 /// assert!(!zero.is_ascii_alphabetic());
1767 /// assert!(!percent.is_ascii_alphabetic());
1768 /// assert!(!space.is_ascii_alphabetic());
1769 /// assert!(!lf.is_ascii_alphabetic());
1770 /// assert!(!esc.is_ascii_alphabetic());
1771 /// ```
1772 #[must_use]
1773 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1774 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1775 #[inline]
1776 pub const fn is_ascii_alphabetic(&self) -> bool {
1777 matches!(*self, 'a'..='z' | 'A'..='Z')
1778 }
1779
1780 /// Checks if the value is an ASCII uppercase character:
1781 /// U+0041 'A' ..= U+005A 'Z'.
1782 ///
1783 /// # Examples
1784 ///
1785 /// ```
1786 /// let uppercase_a = 'A';
1787 /// let uppercase_g = 'G';
1788 /// let a = 'a';
1789 /// let g = 'g';
1790 /// let zero = '0';
1791 /// let percent = '%';
1792 /// let space = ' ';
1793 /// let lf = '\n';
1794 /// let esc = '\x1b';
1795 ///
1796 /// assert!(uppercase_a.is_ascii_uppercase());
1797 /// assert!(uppercase_g.is_ascii_uppercase());
1798 /// assert!(!a.is_ascii_uppercase());
1799 /// assert!(!g.is_ascii_uppercase());
1800 /// assert!(!zero.is_ascii_uppercase());
1801 /// assert!(!percent.is_ascii_uppercase());
1802 /// assert!(!space.is_ascii_uppercase());
1803 /// assert!(!lf.is_ascii_uppercase());
1804 /// assert!(!esc.is_ascii_uppercase());
1805 /// ```
1806 #[must_use]
1807 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1808 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1809 #[inline]
1810 pub const fn is_ascii_uppercase(&self) -> bool {
1811 matches!(*self, 'A'..='Z')
1812 }
1813
1814 /// Checks if the value is an ASCII lowercase character:
1815 /// U+0061 'a' ..= U+007A 'z'.
1816 ///
1817 /// # Examples
1818 ///
1819 /// ```
1820 /// let uppercase_a = 'A';
1821 /// let uppercase_g = 'G';
1822 /// let a = 'a';
1823 /// let g = 'g';
1824 /// let zero = '0';
1825 /// let percent = '%';
1826 /// let space = ' ';
1827 /// let lf = '\n';
1828 /// let esc = '\x1b';
1829 ///
1830 /// assert!(!uppercase_a.is_ascii_lowercase());
1831 /// assert!(!uppercase_g.is_ascii_lowercase());
1832 /// assert!(a.is_ascii_lowercase());
1833 /// assert!(g.is_ascii_lowercase());
1834 /// assert!(!zero.is_ascii_lowercase());
1835 /// assert!(!percent.is_ascii_lowercase());
1836 /// assert!(!space.is_ascii_lowercase());
1837 /// assert!(!lf.is_ascii_lowercase());
1838 /// assert!(!esc.is_ascii_lowercase());
1839 /// ```
1840 #[must_use]
1841 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1842 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1843 #[inline]
1844 pub const fn is_ascii_lowercase(&self) -> bool {
1845 matches!(*self, 'a'..='z')
1846 }
1847
1848 /// Checks if the value is an ASCII alphanumeric character:
1849 ///
1850 /// - U+0041 'A' ..= U+005A 'Z', or
1851 /// - U+0061 'a' ..= U+007A 'z', or
1852 /// - U+0030 '0' ..= U+0039 '9'.
1853 ///
1854 /// # Examples
1855 ///
1856 /// ```
1857 /// let uppercase_a = 'A';
1858 /// let uppercase_g = 'G';
1859 /// let a = 'a';
1860 /// let g = 'g';
1861 /// let zero = '0';
1862 /// let percent = '%';
1863 /// let space = ' ';
1864 /// let lf = '\n';
1865 /// let esc = '\x1b';
1866 ///
1867 /// assert!(uppercase_a.is_ascii_alphanumeric());
1868 /// assert!(uppercase_g.is_ascii_alphanumeric());
1869 /// assert!(a.is_ascii_alphanumeric());
1870 /// assert!(g.is_ascii_alphanumeric());
1871 /// assert!(zero.is_ascii_alphanumeric());
1872 /// assert!(!percent.is_ascii_alphanumeric());
1873 /// assert!(!space.is_ascii_alphanumeric());
1874 /// assert!(!lf.is_ascii_alphanumeric());
1875 /// assert!(!esc.is_ascii_alphanumeric());
1876 /// ```
1877 #[must_use]
1878 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1879 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1880 #[inline]
1881 pub const fn is_ascii_alphanumeric(&self) -> bool {
1882 matches!(*self, '0'..='9') | matches!(*self, 'A'..='Z') | matches!(*self, 'a'..='z')
1883 }
1884
1885 /// Checks if the value is an ASCII decimal digit:
1886 /// U+0030 '0' ..= U+0039 '9'.
1887 ///
1888 /// # Examples
1889 ///
1890 /// ```
1891 /// let uppercase_a = 'A';
1892 /// let uppercase_g = 'G';
1893 /// let a = 'a';
1894 /// let g = 'g';
1895 /// let zero = '0';
1896 /// let percent = '%';
1897 /// let space = ' ';
1898 /// let lf = '\n';
1899 /// let esc = '\x1b';
1900 ///
1901 /// assert!(!uppercase_a.is_ascii_digit());
1902 /// assert!(!uppercase_g.is_ascii_digit());
1903 /// assert!(!a.is_ascii_digit());
1904 /// assert!(!g.is_ascii_digit());
1905 /// assert!(zero.is_ascii_digit());
1906 /// assert!(!percent.is_ascii_digit());
1907 /// assert!(!space.is_ascii_digit());
1908 /// assert!(!lf.is_ascii_digit());
1909 /// assert!(!esc.is_ascii_digit());
1910 /// ```
1911 #[must_use]
1912 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1913 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1914 #[inline]
1915 pub const fn is_ascii_digit(&self) -> bool {
1916 matches!(*self, '0'..='9')
1917 }
1918
1919 /// Checks if the value is an ASCII octal digit:
1920 /// U+0030 '0' ..= U+0037 '7'.
1921 ///
1922 /// # Examples
1923 ///
1924 /// ```
1925 /// #![feature(is_ascii_octdigit)]
1926 ///
1927 /// let uppercase_a = 'A';
1928 /// let a = 'a';
1929 /// let zero = '0';
1930 /// let seven = '7';
1931 /// let nine = '9';
1932 /// let percent = '%';
1933 /// let lf = '\n';
1934 ///
1935 /// assert!(!uppercase_a.is_ascii_octdigit());
1936 /// assert!(!a.is_ascii_octdigit());
1937 /// assert!(zero.is_ascii_octdigit());
1938 /// assert!(seven.is_ascii_octdigit());
1939 /// assert!(!nine.is_ascii_octdigit());
1940 /// assert!(!percent.is_ascii_octdigit());
1941 /// assert!(!lf.is_ascii_octdigit());
1942 /// ```
1943 #[must_use]
1944 #[unstable(feature = "is_ascii_octdigit", issue = "101288")]
1945 #[inline]
1946 pub const fn is_ascii_octdigit(&self) -> bool {
1947 matches!(*self, '0'..='7')
1948 }
1949
1950 /// Checks if the value is an ASCII hexadecimal digit:
1951 ///
1952 /// - U+0030 '0' ..= U+0039 '9', or
1953 /// - U+0041 'A' ..= U+0046 'F', or
1954 /// - U+0061 'a' ..= U+0066 'f'.
1955 ///
1956 /// # Examples
1957 ///
1958 /// ```
1959 /// let uppercase_a = 'A';
1960 /// let uppercase_g = 'G';
1961 /// let a = 'a';
1962 /// let g = 'g';
1963 /// let zero = '0';
1964 /// let percent = '%';
1965 /// let space = ' ';
1966 /// let lf = '\n';
1967 /// let esc = '\x1b';
1968 ///
1969 /// assert!(uppercase_a.is_ascii_hexdigit());
1970 /// assert!(!uppercase_g.is_ascii_hexdigit());
1971 /// assert!(a.is_ascii_hexdigit());
1972 /// assert!(!g.is_ascii_hexdigit());
1973 /// assert!(zero.is_ascii_hexdigit());
1974 /// assert!(!percent.is_ascii_hexdigit());
1975 /// assert!(!space.is_ascii_hexdigit());
1976 /// assert!(!lf.is_ascii_hexdigit());
1977 /// assert!(!esc.is_ascii_hexdigit());
1978 /// ```
1979 #[must_use]
1980 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1981 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1982 #[inline]
1983 pub const fn is_ascii_hexdigit(&self) -> bool {
1984 matches!(*self, '0'..='9') | matches!(*self, 'A'..='F') | matches!(*self, 'a'..='f')
1985 }
1986
1987 /// Checks if the value is an ASCII punctuation or symbol character
1988 /// (i.e. not alphanumeric, whitespace, or control):
1989 ///
1990 /// - U+0021 ..= U+002F `! " # $ % & ' ( ) * + , - . /`, or
1991 /// - U+003A ..= U+0040 `: ; < = > ? @`, or
1992 /// - U+005B ..= U+0060 ``[ \ ] ^ _ ` ``, or
1993 /// - U+007B ..= U+007E `{ | } ~`
1994 ///
1995 /// # Examples
1996 ///
1997 /// ```
1998 /// let uppercase_a = 'A';
1999 /// let uppercase_g = 'G';
2000 /// let a = 'a';
2001 /// let g = 'g';
2002 /// let zero = '0';
2003 /// let percent = '%';
2004 /// let space = ' ';
2005 /// let lf = '\n';
2006 /// let esc = '\x1b';
2007 ///
2008 /// assert!(!uppercase_a.is_ascii_punctuation());
2009 /// assert!(!uppercase_g.is_ascii_punctuation());
2010 /// assert!(!a.is_ascii_punctuation());
2011 /// assert!(!g.is_ascii_punctuation());
2012 /// assert!(!zero.is_ascii_punctuation());
2013 /// assert!(percent.is_ascii_punctuation());
2014 /// assert!(!space.is_ascii_punctuation());
2015 /// assert!(!lf.is_ascii_punctuation());
2016 /// assert!(!esc.is_ascii_punctuation());
2017 /// ```
2018 #[must_use]
2019 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
2020 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
2021 #[inline]
2022 pub const fn is_ascii_punctuation(&self) -> bool {
2023 matches!(*self, '!'..='/')
2024 | matches!(*self, ':'..='@')
2025 | matches!(*self, '['..='`')
2026 | matches!(*self, '{'..='~')
2027 }
2028
2029 /// Checks if the value is an ASCII graphic character
2030 /// (i.e. not whitespace or control):
2031 /// U+0021 '!' ..= U+007E '~'.
2032 ///
2033 /// # Examples
2034 ///
2035 /// ```
2036 /// let uppercase_a = 'A';
2037 /// let uppercase_g = 'G';
2038 /// let a = 'a';
2039 /// let g = 'g';
2040 /// let zero = '0';
2041 /// let percent = '%';
2042 /// let space = ' ';
2043 /// let lf = '\n';
2044 /// let esc = '\x1b';
2045 ///
2046 /// assert!(uppercase_a.is_ascii_graphic());
2047 /// assert!(uppercase_g.is_ascii_graphic());
2048 /// assert!(a.is_ascii_graphic());
2049 /// assert!(g.is_ascii_graphic());
2050 /// assert!(zero.is_ascii_graphic());
2051 /// assert!(percent.is_ascii_graphic());
2052 /// assert!(!space.is_ascii_graphic());
2053 /// assert!(!lf.is_ascii_graphic());
2054 /// assert!(!esc.is_ascii_graphic());
2055 /// ```
2056 #[must_use]
2057 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
2058 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
2059 #[inline]
2060 pub const fn is_ascii_graphic(&self) -> bool {
2061 matches!(*self, '!'..='~')
2062 }
2063
2064 /// Checks if the value is an ASCII whitespace character:
2065 /// U+0020 SPACE, U+0009 HORIZONTAL TAB, U+000A LINE FEED,
2066 /// U+000C FORM FEED, or U+000D CARRIAGE RETURN.
2067 ///
2068 /// **Warning:** Because the list above excludes U+000B VERTICAL TAB,
2069 /// `c.is_ascii_whitespace()` is **not** equivalent to `c.is_ascii() && c.is_whitespace()`.
2070 ///
2071 /// Rust uses the WhatWG Infra Standard's [definition of ASCII
2072 /// whitespace][infra-aw]. There are several other definitions in
2073 /// wide use. For instance, [the POSIX locale][pct] includes
2074 /// U+000B VERTICAL TAB as well as all the above characters,
2075 /// but—from the very same specification—[the default rule for
2076 /// "field splitting" in the Bourne shell][bfs] considers *only*
2077 /// SPACE, HORIZONTAL TAB, and LINE FEED as whitespace.
2078 ///
2079 /// If you are writing a program that will process an existing
2080 /// file format, check what that format's definition of whitespace is
2081 /// before using this function.
2082 ///
2083 /// [infra-aw]: https://infra.spec.whatwg.org/#ascii-whitespace
2084 /// [pct]: https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap07.html#tag_07_03_01
2085 /// [bfs]: https://pubs.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html#tag_18_06_05
2086 ///
2087 /// # Examples
2088 ///
2089 /// ```
2090 /// let uppercase_a = 'A';
2091 /// let uppercase_g = 'G';
2092 /// let a = 'a';
2093 /// let g = 'g';
2094 /// let zero = '0';
2095 /// let percent = '%';
2096 /// let space = ' ';
2097 /// let lf = '\n';
2098 /// let esc = '\x1b';
2099 ///
2100 /// assert!(!uppercase_a.is_ascii_whitespace());
2101 /// assert!(!uppercase_g.is_ascii_whitespace());
2102 /// assert!(!a.is_ascii_whitespace());
2103 /// assert!(!g.is_ascii_whitespace());
2104 /// assert!(!zero.is_ascii_whitespace());
2105 /// assert!(!percent.is_ascii_whitespace());
2106 /// assert!(space.is_ascii_whitespace());
2107 /// assert!(lf.is_ascii_whitespace());
2108 /// assert!(!esc.is_ascii_whitespace());
2109 /// ```
2110 #[must_use]
2111 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
2112 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
2113 #[inline]
2114 pub const fn is_ascii_whitespace(&self) -> bool {
2115 matches!(*self, '\t' | '\n' | '\x0C' | '\r' | ' ')
2116 }
2117
2118 /// Checks if the value is an ASCII control character:
2119 /// U+0000 NUL ..= U+001F UNIT SEPARATOR, or U+007F DELETE.
2120 /// Note that most ASCII whitespace characters are control
2121 /// characters, but SPACE is not.
2122 ///
2123 /// # Examples
2124 ///
2125 /// ```
2126 /// let uppercase_a = 'A';
2127 /// let uppercase_g = 'G';
2128 /// let a = 'a';
2129 /// let g = 'g';
2130 /// let zero = '0';
2131 /// let percent = '%';
2132 /// let space = ' ';
2133 /// let lf = '\n';
2134 /// let esc = '\x1b';
2135 ///
2136 /// assert!(!uppercase_a.is_ascii_control());
2137 /// assert!(!uppercase_g.is_ascii_control());
2138 /// assert!(!a.is_ascii_control());
2139 /// assert!(!g.is_ascii_control());
2140 /// assert!(!zero.is_ascii_control());
2141 /// assert!(!percent.is_ascii_control());
2142 /// assert!(!space.is_ascii_control());
2143 /// assert!(lf.is_ascii_control());
2144 /// assert!(esc.is_ascii_control());
2145 /// ```
2146 #[must_use]
2147 #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
2148 #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
2149 #[inline]
2150 pub const fn is_ascii_control(&self) -> bool {
2151 matches!(*self, '\0'..='\x1F' | '\x7F')
2152 }
2153}
2154
2155pub(crate) struct EscapeDebugExtArgs {
2156 /// Escape Extended Grapheme codepoints?
2157 pub(crate) escape_grapheme_extended: bool,
2158
2159 /// Escape single quotes?
2160 pub(crate) escape_single_quote: bool,
2161
2162 /// Escape double quotes?
2163 pub(crate) escape_double_quote: bool,
2164}
2165
2166impl EscapeDebugExtArgs {
2167 pub(crate) const ESCAPE_ALL: Self = Self {
2168 escape_grapheme_extended: true,
2169 escape_single_quote: true,
2170 escape_double_quote: true,
2171 };
2172}
2173
2174#[inline]
2175#[must_use]
2176const fn len_utf8(code: u32) -> usize {
2177 match code {
2178 ..MAX_ONE_B => 1,
2179 ..MAX_TWO_B => 2,
2180 ..MAX_THREE_B => 3,
2181 _ => 4,
2182 }
2183}
2184
2185#[inline]
2186#[must_use]
2187const fn len_utf16(code: u32) -> usize {
2188 if (code & 0xFFFF) == code { 1 } else { 2 }
2189}
2190
2191/// Encodes a raw `u32` value as UTF-8 into the provided byte buffer,
2192/// and then returns the subslice of the buffer that contains the encoded character.
2193///
2194/// Unlike `char::encode_utf8`, this method also handles codepoints in the surrogate range.
2195/// (Creating a `char` in the surrogate range is UB.)
2196/// The result is valid [generalized UTF-8] but not valid UTF-8.
2197///
2198/// [generalized UTF-8]: https://simonsapin.github.io/wtf-8/#generalized-utf8
2199///
2200/// # Panics
2201///
2202/// Panics if the buffer is not large enough.
2203/// A buffer of length four is large enough to encode any `char`.
2204#[unstable(feature = "char_internals", reason = "exposed only for libstd", issue = "none")]
2205#[doc(hidden)]
2206#[inline]
2207pub const fn encode_utf8_raw(code: u32, dst: &mut [u8]) -> &mut [u8] {
2208 let len = len_utf8(code);
2209 if dst.len() < len {
2210 const_panic!(
2211 "encode_utf8: buffer does not have enough bytes to encode code point",
2212 "encode_utf8: need {len} bytes to encode U+{code:04X} but buffer has just {dst_len}",
2213 code: u32 = code,
2214 len: usize = len,
2215 dst_len: usize = dst.len(),
2216 );
2217 }
2218
2219 // SAFETY: `dst` is checked to be at least the length needed to encode the codepoint.
2220 unsafe { encode_utf8_raw_unchecked(code, dst.as_mut_ptr()) };
2221
2222 // SAFETY: `<&mut [u8]>::as_mut_ptr` is guaranteed to return a valid pointer and `len` has been tested to be within bounds.
2223 unsafe { slice::from_raw_parts_mut(dst.as_mut_ptr(), len) }
2224}
2225
2226/// Encodes a raw `u32` value as UTF-8 into the byte buffer pointed to by `dst`.
2227///
2228/// Unlike `char::encode_utf8`, this method also handles codepoints in the surrogate range.
2229/// (Creating a `char` in the surrogate range is UB.)
2230/// The result is valid [generalized UTF-8] but not valid UTF-8.
2231///
2232/// [generalized UTF-8]: https://simonsapin.github.io/wtf-8/#generalized-utf8
2233///
2234/// # Safety
2235///
2236/// The behavior is undefined if the buffer pointed to by `dst` is not
2237/// large enough to hold the encoded codepoint. A buffer of length four
2238/// is large enough to encode any `char`.
2239///
2240/// For a safe version of this function, see the [`encode_utf8_raw`] function.
2241#[unstable(feature = "char_internals", reason = "exposed only for libstd", issue = "none")]
2242#[doc(hidden)]
2243#[inline]
2244pub const unsafe fn encode_utf8_raw_unchecked(code: u32, dst: *mut u8) {
2245 let len = len_utf8(code);
2246 // SAFETY: The caller must guarantee that the buffer pointed to by `dst`
2247 // is at least `len` bytes long.
2248 unsafe {
2249 if len == 1 {
2250 *dst = code as u8;
2251 return;
2252 }
2253
2254 let last1 = (code >> 0 & 0x3F) as u8 | TAG_CONT;
2255 let last2 = (code >> 6 & 0x3F) as u8 | TAG_CONT;
2256 let last3 = (code >> 12 & 0x3F) as u8 | TAG_CONT;
2257 let last4 = (code >> 18 & 0x3F) as u8 | TAG_FOUR_B;
2258
2259 if len == 2 {
2260 *dst = last2 | TAG_TWO_B;
2261 *dst.add(1) = last1;
2262 return;
2263 }
2264
2265 if len == 3 {
2266 *dst = last3 | TAG_THREE_B;
2267 *dst.add(1) = last2;
2268 *dst.add(2) = last1;
2269 return;
2270 }
2271
2272 *dst = last4;
2273 *dst.add(1) = last3;
2274 *dst.add(2) = last2;
2275 *dst.add(3) = last1;
2276 }
2277}
2278
2279/// Encodes a raw `u32` value as native endian UTF-16 into the provided `u16` buffer,
2280/// and then returns the subslice of the buffer that contains the encoded character.
2281///
2282/// Unlike `char::encode_utf16`, this method also handles codepoints in the surrogate range.
2283/// (Creating a `char` in the surrogate range is UB.)
2284///
2285/// # Panics
2286///
2287/// Panics if the buffer is not large enough.
2288/// A buffer of length 2 is large enough to encode any `char`.
2289#[unstable(feature = "char_internals", reason = "exposed only for libstd", issue = "none")]
2290#[doc(hidden)]
2291#[inline]
2292pub const fn encode_utf16_raw(mut code: u32, dst: &mut [u16]) -> &mut [u16] {
2293 let len = len_utf16(code);
2294 match (len, &mut *dst) {
2295 (1, [a, ..]) => {
2296 *a = code as u16;
2297 }
2298 (2, [a, b, ..]) => {
2299 code -= 0x1_0000;
2300 *a = (code >> 10) as u16 | 0xD800;
2301 *b = (code & 0x3FF) as u16 | 0xDC00;
2302 }
2303 _ => {
2304 const_panic!(
2305 "encode_utf16: buffer does not have enough bytes to encode code point",
2306 "encode_utf16: need {len} bytes to encode U+{code:04X} but buffer has just {dst_len}",
2307 code: u32 = code,
2308 len: usize = len,
2309 dst_len: usize = dst.len(),
2310 )
2311 }
2312 };
2313 // SAFETY: `<&mut [u16]>::as_mut_ptr` is guaranteed to return a valid pointer and `len` has been tested to be within bounds.
2314 unsafe { slice::from_raw_parts_mut(dst.as_mut_ptr(), len) }
2315}