Skip to main content

core/char/
mod.rs

1//! Utilities for the `char` primitive type.
2//!
3//! *[See also the `char` primitive type](primitive@char).*
4//!
5//! The `char` type represents a single character. More specifically, since
6//! 'character' isn't a well-defined concept in Unicode, `char` is a '[Unicode
7//! scalar value]', which is similar to, but not the same as, a '[Unicode code
8//! point]'.
9//!
10//! [Unicode scalar value]: https://www.unicode.org/glossary/#unicode_scalar_value
11//! [Unicode code point]: https://www.unicode.org/glossary/#code_point
12//!
13//! This module exists for technical reasons, the primary documentation for
14//! `char` is directly on [the `char` primitive type][char] itself.
15//!
16//! This module is the home of the iterator implementations for the iterators
17//! implemented on `char`, as well as some useful constants and conversion
18//! functions that convert various types to `char`.
19
20#![allow(non_snake_case)]
21#![stable(feature = "rust1", since = "1.0.0")]
22
23mod convert;
24mod decode;
25mod methods;
26
27// stable re-exports
28#[rustfmt::skip]
29#[stable(feature = "try_from", since = "1.34.0")]
30pub use self::convert::CharTryFromError;
31#[stable(feature = "char_from_str", since = "1.20.0")]
32pub use self::convert::ParseCharError;
33#[stable(feature = "decode_utf16", since = "1.9.0")]
34pub use self::decode::{DecodeUtf16, DecodeUtf16Error};
35
36// perma-unstable re-exports
37#[rustfmt::skip]
38#[unstable(feature = "char_internals", reason = "exposed only for libstd", issue = "none")]
39pub use self::methods::encode_utf16_raw; // perma-unstable
40#[unstable(feature = "char_internals", reason = "exposed only for libstd", issue = "none")]
41pub use self::methods::{encode_utf8_raw, encode_utf8_raw_unchecked}; // perma-unstable
42
43#[rustfmt::skip]
44use crate::ascii;
45pub(crate) use self::methods::EscapeDebugExtArgs;
46use crate::error::Error;
47use crate::escape::{AlwaysEscaped, EscapeIterInner, MaybeEscaped};
48use crate::fmt::{self, Write};
49use crate::iter::{FusedIterator, TrustedLen, TrustedRandomAccess, TrustedRandomAccessNoCoerce};
50use crate::num::NonZero;
51
52// UTF-8 ranges and tags for encoding characters
53const TAG_CONT: u8 = 0b1000_0000;
54const TAG_TWO_B: u8 = 0b1100_0000;
55const TAG_THREE_B: u8 = 0b1110_0000;
56const TAG_FOUR_B: u8 = 0b1111_0000;
57const MAX_ONE_B: u32 = 0x80;
58const MAX_TWO_B: u32 = 0x800;
59const MAX_THREE_B: u32 = 0x10000;
60
61/*
62    Lu  Uppercase_Letter        an uppercase letter
63    Ll  Lowercase_Letter        a lowercase letter
64    Lt  Titlecase_Letter        a digraphic character, with first part uppercase
65    Lm  Modifier_Letter         a modifier letter
66    Lo  Other_Letter            other letters, including syllables and ideographs
67    Mn  Nonspacing_Mark         a nonspacing combining mark (zero advance width)
68    Mc  Spacing_Mark            a spacing combining mark (positive advance width)
69    Me  Enclosing_Mark          an enclosing combining mark
70    Nd  Decimal_Number          a decimal digit
71    Nl  Letter_Number           a letterlike numeric character
72    No  Other_Number            a numeric character of other type
73    Pc  Connector_Punctuation   a connecting punctuation mark, like a tie
74    Pd  Dash_Punctuation        a dash or hyphen punctuation mark
75    Ps  Open_Punctuation        an opening punctuation mark (of a pair)
76    Pe  Close_Punctuation       a closing punctuation mark (of a pair)
77    Pi  Initial_Punctuation     an initial quotation mark
78    Pf  Final_Punctuation       a final quotation mark
79    Po  Other_Punctuation       a punctuation mark of other type
80    Sm  Math_Symbol             a symbol of primarily mathematical use
81    Sc  Currency_Symbol         a currency sign
82    Sk  Modifier_Symbol         a non-letterlike modifier symbol
83    So  Other_Symbol            a symbol of other type
84    Zs  Space_Separator         a space character (of various non-zero widths)
85    Zl  Line_Separator          U+2028 LINE SEPARATOR only
86    Zp  Paragraph_Separator     U+2029 PARAGRAPH SEPARATOR only
87    Cc  Control                 a C0 or C1 control code
88    Cf  Format                  a format control character
89    Cs  Surrogate               a surrogate code point
90    Co  Private_Use             a private-use character
91    Cn  Unassigned              a reserved unassigned code point or a noncharacter
92*/
93
94/// The highest valid code point a `char` can have, `'\u{10FFFF}'`. Use [`char::MAX`] instead.
95#[stable(feature = "rust1", since = "1.0.0")]
96pub const MAX: char = char::MAX;
97
98/// The maximum number of bytes required to [encode](char::encode_utf8) a `char` to
99/// UTF-8 encoding.
100#[unstable(feature = "char_max_len", issue = "121714")]
101pub const MAX_LEN_UTF8: usize = char::MAX_LEN_UTF8;
102
103/// The maximum number of two-byte units required to [encode](char::encode_utf16) a `char`
104/// to UTF-16 encoding.
105#[unstable(feature = "char_max_len", issue = "121714")]
106pub const MAX_LEN_UTF16: usize = char::MAX_LEN_UTF16;
107
108/// `U+FFFD REPLACEMENT CHARACTER` (�) is used in Unicode to represent a
109/// decoding error. Use [`char::REPLACEMENT_CHARACTER`] instead.
110#[stable(feature = "decode_utf16", since = "1.9.0")]
111pub const REPLACEMENT_CHARACTER: char = char::REPLACEMENT_CHARACTER;
112
113/// The version of [Unicode](https://www.unicode.org/) that the Unicode parts of
114/// `char` and `str` methods are based on. Use [`char::UNICODE_VERSION`] instead.
115#[stable(feature = "unicode_version", since = "1.45.0")]
116pub const UNICODE_VERSION: (u8, u8, u8) = char::UNICODE_VERSION;
117
118/// Creates an iterator over the UTF-16 encoded code points in `iter`, returning
119/// unpaired surrogates as `Err`s. Use [`char::decode_utf16`] instead.
120#[stable(feature = "decode_utf16", since = "1.9.0")]
121#[inline]
122pub fn decode_utf16<I: IntoIterator<Item = u16>>(iter: I) -> DecodeUtf16<I::IntoIter> {
123    self::decode::decode_utf16(iter)
124}
125
126/// Converts a `u32` to a `char`. Use [`char::from_u32`] instead.
127#[stable(feature = "rust1", since = "1.0.0")]
128#[rustc_const_stable(feature = "const_char_convert", since = "1.67.0")]
129#[must_use]
130#[inline]
131pub const fn from_u32(i: u32) -> Option<char> {
132    self::convert::from_u32(i)
133}
134
135/// Converts a `u32` to a `char`, ignoring validity. Use [`char::from_u32_unchecked`]
136/// instead.
137#[stable(feature = "char_from_unchecked", since = "1.5.0")]
138#[rustc_const_stable(feature = "const_char_from_u32_unchecked", since = "1.81.0")]
139#[must_use]
140#[inline]
141pub const unsafe fn from_u32_unchecked(i: u32) -> char {
142    // SAFETY: the safety contract must be upheld by the caller.
143    unsafe { self::convert::from_u32_unchecked(i) }
144}
145
146/// Converts a digit in the given radix to a `char`. Use [`char::from_digit`] instead.
147#[stable(feature = "rust1", since = "1.0.0")]
148#[rustc_const_stable(feature = "const_char_convert", since = "1.67.0")]
149#[must_use]
150#[inline]
151pub const fn from_digit(num: u32, radix: u32) -> Option<char> {
152    self::convert::from_digit(num, radix)
153}
154
155/// Returns an iterator that yields the hexadecimal Unicode escape of a
156/// character, as `char`s.
157///
158/// This `struct` is created by the [`escape_unicode`] method on [`char`]. See
159/// its documentation for more.
160///
161/// [`escape_unicode`]: char::escape_unicode
162#[derive(Clone, Debug)]
163#[stable(feature = "rust1", since = "1.0.0")]
164pub struct EscapeUnicode(EscapeIterInner<10, AlwaysEscaped>);
165
166impl EscapeUnicode {
167    #[inline]
168    const fn new(c: char) -> Self {
169        Self(EscapeIterInner::unicode(c))
170    }
171}
172
173#[stable(feature = "rust1", since = "1.0.0")]
174impl Iterator for EscapeUnicode {
175    type Item = char;
176
177    #[inline]
178    fn next(&mut self) -> Option<char> {
179        self.0.next().map(char::from)
180    }
181
182    #[inline]
183    fn size_hint(&self) -> (usize, Option<usize>) {
184        let n = self.0.len();
185        (n, Some(n))
186    }
187
188    #[inline]
189    fn count(self) -> usize {
190        self.0.len()
191    }
192
193    #[inline]
194    fn last(mut self) -> Option<char> {
195        self.0.next_back().map(char::from)
196    }
197
198    #[inline]
199    fn advance_by(&mut self, n: usize) -> Result<(), NonZero<usize>> {
200        self.0.advance_by(n)
201    }
202}
203
204#[stable(feature = "exact_size_escape", since = "1.11.0")]
205impl ExactSizeIterator for EscapeUnicode {
206    #[inline]
207    fn len(&self) -> usize {
208        self.0.len()
209    }
210}
211
212#[stable(feature = "fused", since = "1.26.0")]
213impl FusedIterator for EscapeUnicode {}
214
215#[stable(feature = "char_struct_display", since = "1.16.0")]
216impl fmt::Display for EscapeUnicode {
217    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
218        fmt::Display::fmt(&self.0, f)
219    }
220}
221
222/// An iterator that yields the literal escape code of a `char`.
223///
224/// This `struct` is created by the [`escape_default`] method on [`char`]. See
225/// its documentation for more.
226///
227/// [`escape_default`]: char::escape_default
228#[derive(Clone, Debug)]
229#[stable(feature = "rust1", since = "1.0.0")]
230pub struct EscapeDefault(EscapeIterInner<10, AlwaysEscaped>);
231
232impl EscapeDefault {
233    #[inline]
234    const fn printable(c: ascii::Char) -> Self {
235        Self(EscapeIterInner::ascii(c.to_u8()))
236    }
237
238    #[inline]
239    const fn backslash(c: ascii::Char) -> Self {
240        Self(EscapeIterInner::backslash(c))
241    }
242
243    #[inline]
244    const fn unicode(c: char) -> Self {
245        Self(EscapeIterInner::unicode(c))
246    }
247}
248
249#[stable(feature = "rust1", since = "1.0.0")]
250impl Iterator for EscapeDefault {
251    type Item = char;
252
253    #[inline]
254    fn next(&mut self) -> Option<char> {
255        self.0.next().map(char::from)
256    }
257
258    #[inline]
259    fn size_hint(&self) -> (usize, Option<usize>) {
260        let n = self.0.len();
261        (n, Some(n))
262    }
263
264    #[inline]
265    fn count(self) -> usize {
266        self.0.len()
267    }
268
269    #[inline]
270    fn last(mut self) -> Option<char> {
271        self.0.next_back().map(char::from)
272    }
273
274    #[inline]
275    fn advance_by(&mut self, n: usize) -> Result<(), NonZero<usize>> {
276        self.0.advance_by(n)
277    }
278}
279
280#[stable(feature = "exact_size_escape", since = "1.11.0")]
281impl ExactSizeIterator for EscapeDefault {
282    #[inline]
283    fn len(&self) -> usize {
284        self.0.len()
285    }
286}
287
288#[stable(feature = "fused", since = "1.26.0")]
289impl FusedIterator for EscapeDefault {}
290
291#[stable(feature = "char_struct_display", since = "1.16.0")]
292impl fmt::Display for EscapeDefault {
293    #[inline]
294    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
295        fmt::Display::fmt(&self.0, f)
296    }
297}
298
299/// An iterator that yields the literal escape code of a `char`.
300///
301/// This `struct` is created by the [`escape_debug`] method on [`char`]. See its
302/// documentation for more.
303///
304/// [`escape_debug`]: char::escape_debug
305#[stable(feature = "char_escape_debug", since = "1.20.0")]
306#[derive(Clone, Debug)]
307pub struct EscapeDebug(EscapeIterInner<10, MaybeEscaped>);
308
309impl EscapeDebug {
310    #[inline]
311    const fn printable(chr: char) -> Self {
312        Self(EscapeIterInner::printable(chr))
313    }
314
315    #[inline]
316    const fn backslash(c: ascii::Char) -> Self {
317        Self(EscapeIterInner::backslash(c))
318    }
319
320    #[inline]
321    const fn unicode(c: char) -> Self {
322        Self(EscapeIterInner::unicode(c))
323    }
324}
325
326#[stable(feature = "char_escape_debug", since = "1.20.0")]
327impl Iterator for EscapeDebug {
328    type Item = char;
329
330    #[inline]
331    fn next(&mut self) -> Option<char> {
332        self.0.next()
333    }
334
335    #[inline]
336    fn size_hint(&self) -> (usize, Option<usize>) {
337        let n = self.len();
338        (n, Some(n))
339    }
340
341    #[inline]
342    fn count(self) -> usize {
343        self.len()
344    }
345}
346
347#[stable(feature = "char_escape_debug", since = "1.20.0")]
348impl ExactSizeIterator for EscapeDebug {
349    fn len(&self) -> usize {
350        self.0.len()
351    }
352}
353
354#[stable(feature = "fused", since = "1.26.0")]
355impl FusedIterator for EscapeDebug {}
356
357#[stable(feature = "char_escape_debug", since = "1.20.0")]
358impl fmt::Display for EscapeDebug {
359    #[inline]
360    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
361        fmt::Display::fmt(&self.0, f)
362    }
363}
364
365macro_rules! casemappingiter_impls {
366    (
367        #[$stab:meta]
368        #[$dendstab:meta]
369        #[$fusedstab:meta]
370        #[$exactstab:meta]
371        #[$displaystab:meta]
372        $(#[$attr:meta])*
373        $ITER_NAME:ident
374    ) => {
375        $(#[$attr])*
376        #[$stab]
377        #[derive(Debug, Clone)]
378        pub struct $ITER_NAME(CaseMappingIter);
379
380        #[$stab]
381        impl Iterator for $ITER_NAME {
382            type Item = char;
383            fn next(&mut self) -> Option<char> {
384                self.0.next()
385            }
386
387            fn size_hint(&self) -> (usize, Option<usize>) {
388                self.0.size_hint()
389            }
390
391            fn fold<Acc, Fold>(self, init: Acc, fold: Fold) -> Acc
392            where
393                Fold: FnMut(Acc, Self::Item) -> Acc,
394            {
395                self.0.fold(init, fold)
396            }
397
398            fn count(self) -> usize {
399                self.0.count()
400            }
401
402            fn last(self) -> Option<Self::Item> {
403                self.0.last()
404            }
405
406            fn advance_by(&mut self, n: usize) -> Result<(), NonZero<usize>> {
407                self.0.advance_by(n)
408            }
409
410            unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> Self::Item {
411                // SAFETY: just forwarding requirements to caller
412                unsafe { self.0.__iterator_get_unchecked(idx) }
413            }
414        }
415
416        #[$dendstab]
417        impl DoubleEndedIterator for $ITER_NAME {
418            fn next_back(&mut self) -> Option<char> {
419                self.0.next_back()
420            }
421
422            fn rfold<Acc, Fold>(self, init: Acc, rfold: Fold) -> Acc
423            where
424                Fold: FnMut(Acc, Self::Item) -> Acc,
425            {
426                self.0.rfold(init, rfold)
427            }
428
429            fn advance_back_by(&mut self, n: usize) -> Result<(), NonZero<usize>> {
430                self.0.advance_back_by(n)
431            }
432        }
433
434        #[$fusedstab]
435        impl FusedIterator for $ITER_NAME {}
436
437        #[$exactstab]
438        impl ExactSizeIterator for $ITER_NAME {
439            fn len(&self) -> usize {
440                self.0.len()
441            }
442
443            fn is_empty(&self) -> bool {
444                self.0.is_empty()
445            }
446        }
447
448        // SAFETY: forwards to inner `array::IntoIter`
449        #[unstable(feature = "trusted_len", issue = "37572")]
450        unsafe impl TrustedLen for $ITER_NAME {}
451
452        // SAFETY: forwards to inner `array::IntoIter`
453        #[doc(hidden)]
454        #[unstable(feature = "std_internals", issue = "none")]
455        unsafe impl TrustedRandomAccessNoCoerce for $ITER_NAME {
456            const MAY_HAVE_SIDE_EFFECT: bool = false;
457        }
458
459        // SAFETY: this iter has no subtypes/supertypes
460        #[doc(hidden)]
461        #[unstable(feature = "std_internals", issue = "none")]
462        unsafe impl TrustedRandomAccess for $ITER_NAME {}
463
464        #[$displaystab]
465        impl fmt::Display for $ITER_NAME {
466            #[inline]
467            fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
468                fmt::Display::fmt(&self.0, f)
469            }
470        }
471    }
472}
473
474casemappingiter_impls! {
475    #[stable(feature = "rust1", since = "1.0.0")]
476    #[stable(feature = "case_mapping_double_ended", since = "1.59.0")]
477    #[stable(feature = "fused", since = "1.26.0")]
478    #[stable(feature = "exact_size_case_mapping_iter", since = "1.35.0")]
479    #[stable(feature = "char_struct_display", since = "1.16.0")]
480    /// Returns an iterator that yields the uppercase equivalent of a `char`.
481    ///
482    /// This `struct` is created by the [`to_uppercase`] method on [`char`]. See
483    /// its documentation for more.
484    ///
485    /// [`to_uppercase`]: char::to_uppercase
486    ToUppercase
487}
488
489casemappingiter_impls! {
490    #[unstable(feature = "titlecase", issue = "153892")]
491    #[unstable(feature = "titlecase", issue = "153892")]
492    #[unstable(feature = "titlecase", issue = "153892")]
493    #[unstable(feature = "titlecase", issue = "153892")]
494    #[unstable(feature = "titlecase", issue = "153892")]
495    /// Returns an iterator that yields the titlecase equivalent of a `char`.
496    ///
497    /// This `struct` is created by the [`to_titlecase`] method on [`char`]. See
498    /// its documentation for more.
499    ///
500    /// [`to_titlecase`]: char::to_titlecase
501    ToTitlecase
502}
503
504casemappingiter_impls! {
505    #[stable(feature = "rust1", since = "1.0.0")]
506    #[stable(feature = "case_mapping_double_ended", since = "1.59.0")]
507    #[stable(feature = "fused", since = "1.26.0")]
508    #[stable(feature = "exact_size_case_mapping_iter", since = "1.35.0")]
509    #[stable(feature = "char_struct_display", since = "1.16.0")]
510    /// Returns an iterator that yields the lowercase equivalent of a `char`.
511    ///
512    /// This `struct` is created by the [`to_lowercase`] method on [`char`]. See
513    /// its documentation for more.
514    ///
515    /// [`to_lowercase`]: char::to_lowercase
516    ToLowercase
517}
518
519#[derive(Debug, Clone)]
520struct CaseMappingIter(core::array::IntoIter<char, 3>);
521
522impl CaseMappingIter {
523    #[inline]
524    fn new(chars: [char; 3]) -> CaseMappingIter {
525        let mut iter = chars.into_iter();
526        if chars[2] == '\0' {
527            iter.next_back();
528            if chars[1] == '\0' {
529                iter.next_back();
530
531                // Deliberately don't check `chars[0]`,
532                // as '\0' lowercases to itself
533            }
534        }
535        CaseMappingIter(iter)
536    }
537}
538
539impl Iterator for CaseMappingIter {
540    type Item = char;
541
542    fn next(&mut self) -> Option<char> {
543        self.0.next()
544    }
545
546    fn size_hint(&self) -> (usize, Option<usize>) {
547        self.0.size_hint()
548    }
549
550    fn fold<Acc, Fold>(self, init: Acc, fold: Fold) -> Acc
551    where
552        Fold: FnMut(Acc, Self::Item) -> Acc,
553    {
554        self.0.fold(init, fold)
555    }
556
557    fn count(self) -> usize {
558        self.0.count()
559    }
560
561    fn last(self) -> Option<Self::Item> {
562        self.0.last()
563    }
564
565    fn advance_by(&mut self, n: usize) -> Result<(), NonZero<usize>> {
566        self.0.advance_by(n)
567    }
568
569    unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> Self::Item {
570        // SAFETY: just forwarding requirements to caller
571        unsafe { self.0.__iterator_get_unchecked(idx) }
572    }
573}
574
575impl DoubleEndedIterator for CaseMappingIter {
576    fn next_back(&mut self) -> Option<char> {
577        self.0.next_back()
578    }
579
580    fn rfold<Acc, Fold>(self, init: Acc, rfold: Fold) -> Acc
581    where
582        Fold: FnMut(Acc, Self::Item) -> Acc,
583    {
584        self.0.rfold(init, rfold)
585    }
586
587    fn advance_back_by(&mut self, n: usize) -> Result<(), NonZero<usize>> {
588        self.0.advance_back_by(n)
589    }
590}
591
592impl ExactSizeIterator for CaseMappingIter {
593    fn len(&self) -> usize {
594        self.0.len()
595    }
596
597    fn is_empty(&self) -> bool {
598        self.0.is_empty()
599    }
600}
601
602impl FusedIterator for CaseMappingIter {}
603
604// SAFETY: forwards to inner `array::IntoIter`
605unsafe impl TrustedLen for CaseMappingIter {}
606
607// SAFETY: forwards to inner `array::IntoIter`
608unsafe impl TrustedRandomAccessNoCoerce for CaseMappingIter {
609    const MAY_HAVE_SIDE_EFFECT: bool = false;
610}
611
612// SAFETY: `CaseMappingIter` has no subtypes/supertypes
613unsafe impl TrustedRandomAccess for CaseMappingIter {}
614
615impl fmt::Display for CaseMappingIter {
616    #[inline]
617    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
618        for c in self.0.clone() {
619            f.write_char(c)?;
620        }
621        Ok(())
622    }
623}
624
625/// The error type returned when a checked char conversion fails.
626#[stable(feature = "u8_from_char", since = "1.59.0")]
627#[derive(Debug, Copy, Clone, PartialEq, Eq)]
628pub struct TryFromCharError(pub(crate) ());
629
630#[stable(feature = "u8_from_char", since = "1.59.0")]
631impl fmt::Display for TryFromCharError {
632    fn fmt(&self, fmt: &mut fmt::Formatter<'_>) -> fmt::Result {
633        "unicode code point out of range".fmt(fmt)
634    }
635}
636
637#[stable(feature = "u8_from_char", since = "1.59.0")]
638impl Error for TryFromCharError {}
639
640/// The case of a cased character,
641/// as returned by [`char::case`].
642///
643/// Titlecase characters conceptually are composed of an uppercase portion
644/// followed by a lowercase portion.
645/// The variant discriminants represent this:
646/// the most significant bit represents whether the case
647/// conceptually starts as uppercase, while the least significant bit
648/// represents whether it conceptually ends as uppercase.
649#[unstable(feature = "titlecase", issue = "153892")]
650#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash, PartialOrd, Ord)]
651pub enum CharCase {
652    /// Lowercase. Corresponds to the `Lowercase` Unicode property.
653    Lower = 0b00,
654    /// Titlecase. Corresponds to the `Titlecase_Letter` Unicode general category.
655    Title = 0b10,
656    /// Uppercase. Corresponds to the `Uppercase` Unicode property.
657    Upper = 0b11,
658}