unicode_normalization/normalize.rs
1// Copyright 2012-2015 The Rust Project Developers. See the COPYRIGHT
2// file at the top-level directory of this distribution and at
3// http://rust-lang.org/COPYRIGHT.
4//
5// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8// option. This file may not be copied, modified, or distributed
9// except according to those terms.
10
11//! Functions for computing canonical and compatible decompositions for Unicode characters.
12use crate::lookups::{
13 canonical_fully_decomposed, cjk_compat_variants_fully_decomposed,
14 compatibility_fully_decomposed, composition_table,
15};
16
17use core::char;
18
19/// Compute canonical Unicode decomposition for character.
20/// See [Unicode Standard Annex #15](http://www.unicode.org/reports/tr15/)
21/// for more information.
22#[inline]
23pub fn decompose_canonical<F>(c: char, emit_char: F)
24where
25 F: FnMut(char),
26{
27 decompose(c, canonical_fully_decomposed, emit_char)
28}
29
30/// Compute canonical or compatible Unicode decomposition for character.
31/// See [Unicode Standard Annex #15](http://www.unicode.org/reports/tr15/)
32/// for more information.
33#[inline]
34pub fn decompose_compatible<F: FnMut(char)>(c: char, emit_char: F) {
35 let decompose_char =
36 |c| compatibility_fully_decomposed(c).or_else(|| canonical_fully_decomposed(c));
37 decompose(c, decompose_char, emit_char)
38}
39
40/// Compute standard-variation decomposition for character.
41///
42/// [Standardized Variation Sequences] are used instead of the standard canonical
43/// decompositions, notably for CJK codepoints with singleton canonical decompositions,
44/// to avoid losing information. See the [Unicode Variation Sequence FAQ] and the
45/// "Other Enhancements" section of the [Unicode 6.3 Release Summary] for more information.
46///
47/// [Standardized Variation Sequences]: https://www.unicode.org/glossary/#standardized_variation_sequence
48/// [Unicode Variation Sequence FAQ]: http://unicode.org/faq/vs.html
49/// [Unicode 6.3 Release Summary]: https://www.unicode.org/versions/Unicode6.3.0/#Summary
50#[inline]
51pub fn decompose_cjk_compat_variants<F>(c: char, mut emit_char: F)
52where
53 F: FnMut(char),
54{
55 // 7-bit ASCII never decomposes
56 if c <= '\x7f' {
57 emit_char(c);
58 return;
59 }
60
61 // Don't perform decomposition for Hangul
62
63 if let Some(decomposed) = cjk_compat_variants_fully_decomposed(c) {
64 for &d in decomposed {
65 emit_char(d);
66 }
67 return;
68 }
69
70 // Finally bottom out.
71 emit_char(c);
72}
73
74#[inline]
75#[allow(unsafe_code)]
76fn decompose<D, F>(c: char, decompose_char: D, mut emit_char: F)
77where
78 D: Fn(char) -> Option<&'static [char]>,
79 F: FnMut(char),
80{
81 // 7-bit ASCII never decomposes
82 if c <= '\x7f' {
83 emit_char(c);
84 return;
85 }
86
87 // Perform decomposition for Hangul
88 if is_hangul_syllable(c) {
89 // Safety: Hangul Syllables invariant checked by is_hangul_syllable above
90 unsafe {
91 decompose_hangul(c, emit_char);
92 }
93 return;
94 }
95
96 if let Some(decomposed) = decompose_char(c) {
97 for &d in decomposed {
98 emit_char(d);
99 }
100 return;
101 }
102
103 // Finally bottom out.
104 emit_char(c);
105}
106
107/// Compose two characters into a single character, if possible.
108/// See [Unicode Standard Annex #15](http://www.unicode.org/reports/tr15/)
109/// for more information.
110pub fn compose(a: char, b: char) -> Option<char> {
111 compose_hangul(a, b).or_else(|| composition_table(a, b))
112}
113
114// Constants from Unicode 9.0.0 Section 3.12 Conjoining Jamo Behavior
115// http://www.unicode.org/versions/Unicode9.0.0/ch03.pdf#M9.32468.Heading.310.Combining.Jamo.Behavior
116const S_BASE: u32 = 0xAC00;
117const L_BASE: u32 = 0x1100;
118const V_BASE: u32 = 0x1161;
119const T_BASE: u32 = 0x11A7;
120const L_COUNT: u32 = 19;
121const V_COUNT: u32 = 21;
122const T_COUNT: u32 = 28;
123const N_COUNT: u32 = V_COUNT * T_COUNT;
124const S_COUNT: u32 = L_COUNT * N_COUNT;
125
126const S_LAST: u32 = S_BASE + S_COUNT - 1;
127const L_LAST: u32 = L_BASE + L_COUNT - 1;
128const V_LAST: u32 = V_BASE + V_COUNT - 1;
129const T_LAST: u32 = T_BASE + T_COUNT - 1;
130
131// Composition only occurs for `TPart`s in `U+11A8 ..= U+11C2`,
132// i.e. `T_BASE + 1 ..= T_LAST`.
133const T_FIRST: u32 = T_BASE + 1;
134
135// Safety-usable invariant: This ensures that c is a valid Hangul Syllable character (U+AC00..U+D7AF)
136pub(crate) fn is_hangul_syllable(c: char) -> bool {
137 // Safety: This checks the range 0xAC00 (S_BASE) to 0xD7A4 (S_BASE + S_COUNT), upholding the safety-usable invariant
138 (c as u32) >= S_BASE && (c as u32) < (S_BASE + S_COUNT)
139}
140
141// Decompose a precomposed Hangul syllable
142// Safety: `s` MUST be a valid Hangul Syllable character, between U+AC00..U+D7AF
143#[allow(unsafe_code, unused_unsafe)]
144#[inline(always)]
145unsafe fn decompose_hangul<F>(s: char, mut emit_char: F)
146where
147 F: FnMut(char),
148{
149 // This will be at most 0x2baf, the size of the Hangul Syllables block
150 let s_index = s as u32 - S_BASE;
151 // This will be at most 0x2baf / (21 * 28), 19
152 let l_index = s_index / N_COUNT;
153 unsafe {
154 // Safety: L_BASE (0x1100) plus at most 19 is still going to be in range for a valid Unicode code point in the BMP (< 0xD800)
155 emit_char(char::from_u32_unchecked(L_BASE + l_index));
156
157 // Safety: This will be at most (N_COUNT - 1) / T_COUNT = (V*T - 1) / T, which gives us an upper bound of V_COUNT = 21
158 let v_index = (s_index % N_COUNT) / T_COUNT;
159 // Safety: V_BASE (0x1161) plus at most 21 is still going to be in range for a valid Unicode code point in the BMP (< 0xD800)
160 emit_char(char::from_u32_unchecked(V_BASE + v_index));
161
162 // Safety: This will be at most T_COUNT - 1 (27)
163 let t_index = s_index % T_COUNT;
164 if t_index > 0 {
165 // Safety: T_BASE (0x11A7) plus at most 27 is still going to be in range for a valid Unicode code point in the BMP (< 0xD800)
166 emit_char(char::from_u32_unchecked(T_BASE + t_index));
167 }
168 }
169}
170
171#[inline]
172pub(crate) fn hangul_decomposition_length(s: char) -> usize {
173 let si = s as u32 - S_BASE;
174 let ti = si % T_COUNT;
175 if ti > 0 {
176 3
177 } else {
178 2
179 }
180}
181
182// Compose a pair of Hangul Jamo
183#[allow(unsafe_code)]
184#[inline(always)]
185#[allow(ellipsis_inclusive_range_patterns)]
186fn compose_hangul(a: char, b: char) -> Option<char> {
187 let (a, b) = (a as u32, b as u32);
188 match (a, b) {
189 // Compose a leading consonant and a vowel together into an LV_Syllable
190 (L_BASE..=L_LAST, V_BASE..=V_LAST) => {
191 // Safety: based on the above bounds, l_index will be less than or equal to L_COUNT (19)
192 // and v_index will be <= V_COUNT (21)
193 let l_index = a - L_BASE;
194 let v_index = b - V_BASE;
195 // Safety: This will be <= 19 * (20 * 21) + (21 * 20), which is 8400.
196 let lv_index = l_index * N_COUNT + v_index * T_COUNT;
197 // Safety: This is between 0xAC00 and 0xCCD0, which are in range for Hangul Syllables (U+AC00..U+D7AF) and also in range
198 // for BMP unicode
199 let s = S_BASE + lv_index;
200 // Safety: We've verified this is in-range
201 Some(unsafe { char::from_u32_unchecked(s) })
202 }
203 // Compose an LV_Syllable and a trailing consonant into an LVT_Syllable
204 (S_BASE..=S_LAST, T_FIRST..=T_LAST) if (a - S_BASE) % T_COUNT == 0 => {
205 // Safety: a is between 0xAC00 and (0xAC00 + 19 * 21 * 28). b - T_BASE is between 0 and 19.
206 // Adding a number 0 to 19 to a number that is at largest 0xD7A4 will not go out of bounds to 0xD800 (where the
207 // surrogates start), so this is safe.
208 Some(unsafe { char::from_u32_unchecked(a + (b - T_BASE)) })
209 }
210 _ => None,
211 }
212}
213
214#[cfg(test)]
215mod tests {
216 use super::compose_hangul;
217
218 // Regression test from a bugfix where we were composing an LV_Syllable with
219 // T_BASE directly. (We should only compose an LV_Syllable with a character
220 // in the range `T_BASE + 1 ..= T_LAST`.)
221 #[test]
222 fn test_hangul_composition() {
223 assert_eq!(compose_hangul('\u{c8e0}', '\u{11a7}'), None);
224 }
225}