123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489 |
- // -*- C++ -*-
- //===----------------------------------------------------------------------===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- #ifndef _LIBCPP___FORMAT_UNICODE_H
- #define _LIBCPP___FORMAT_UNICODE_H
- #include <__assert>
- #include <__config>
- #include <__format/extended_grapheme_cluster_table.h>
- #include <__type_traits/make_unsigned.h>
- #include <__utility/unreachable.h>
- #include <bit>
- #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
- # pragma GCC system_header
- #endif
- _LIBCPP_BEGIN_NAMESPACE_STD
- #if _LIBCPP_STD_VER > 17
- namespace __unicode {
- # if _LIBCPP_STD_VER > 20
- /// The result of consuming a code point using P2286' semantics
- ///
- /// TODO FMT Combine __consume and __consume_p2286 in one function.
- struct __consume_p2286_result {
- // A size of 0 means well formed. This to differenciate between
- // a valid code point and a code unit that's invalid like 0b11111xxx.
- int __ill_formed_size;
- // If well formed the consumed code point.
- // Otherwise the ill-formed code units as unsigned 8-bit values. They are
- // stored in reverse order, to make it easier to extract the values.
- char32_t __value;
- };
- # endif // _LIBCPP_STD_VER > 20
- # ifndef _LIBCPP_HAS_NO_UNICODE
- /// Implements the grapheme cluster boundary rules
- ///
- /// These rules are used to implement format's width estimation as stated in
- /// [format.string.std]/11
- ///
- /// The Standard refers to UAX \#29 for Unicode 12.0.0
- /// https://www.unicode.org/reports/tr29/#Grapheme_Cluster_Boundary_Rules
- ///
- /// The data tables used are
- /// https://www.unicode.org/Public/UCD/latest/ucd/auxiliary/GraphemeBreakProperty.txt
- /// https://www.unicode.org/Public/UCD/latest/ucd/emoji/emoji-data.txt
- /// https://www.unicode.org/Public/UCD/latest/ucd/auxiliary/GraphemeBreakTest.txt (for testing only)
- inline constexpr char32_t __replacement_character = U'\ufffd';
- _LIBCPP_HIDE_FROM_ABI constexpr bool __is_continuation(const char* __char, int __count) {
- do {
- if ((*__char & 0b1000'0000) != 0b1000'0000)
- return false;
- --__count;
- ++__char;
- } while (__count);
- return true;
- }
- /// Helper class to extract a code unit from a Unicode character range.
- ///
- /// The stored range is a view. There are multiple specialization for different
- /// character types.
- template <class _CharT>
- class __code_point_view;
- /// UTF-8 specialization.
- template <>
- class __code_point_view<char> {
- public:
- _LIBCPP_HIDE_FROM_ABI constexpr explicit __code_point_view(const char* __first, const char* __last)
- : __first_(__first), __last_(__last) {}
- _LIBCPP_HIDE_FROM_ABI constexpr bool __at_end() const noexcept { return __first_ == __last_; }
- _LIBCPP_HIDE_FROM_ABI constexpr const char* __position() const noexcept { return __first_; }
- _LIBCPP_HIDE_FROM_ABI constexpr char32_t __consume() noexcept {
- _LIBCPP_ASSERT(__first_ != __last_, "can't move beyond the end of input");
- // Based on the number of leading 1 bits the number of code units in the
- // code point can be determined. See
- // https://en.wikipedia.org/wiki/UTF-8#Encoding
- switch (_VSTD::countl_one(static_cast<unsigned char>(*__first_))) {
- case 0:
- return *__first_++;
- case 2:
- if (__last_ - __first_ < 2 || !__unicode::__is_continuation(__first_ + 1, 1)) [[unlikely]]
- break;
- else {
- char32_t __value = static_cast<unsigned char>(*__first_++) & 0x1f;
- __value <<= 6;
- __value |= static_cast<unsigned char>(*__first_++) & 0x3f;
- return __value;
- }
- case 3:
- if (__last_ - __first_ < 3 || !__unicode::__is_continuation(__first_ + 1, 2)) [[unlikely]]
- break;
- else {
- char32_t __value = static_cast<unsigned char>(*__first_++) & 0x0f;
- __value <<= 6;
- __value |= static_cast<unsigned char>(*__first_++) & 0x3f;
- __value <<= 6;
- __value |= static_cast<unsigned char>(*__first_++) & 0x3f;
- return __value;
- }
- case 4:
- if (__last_ - __first_ < 4 || !__unicode::__is_continuation(__first_ + 1, 3)) [[unlikely]]
- break;
- else {
- char32_t __value = static_cast<unsigned char>(*__first_++) & 0x07;
- __value <<= 6;
- __value |= static_cast<unsigned char>(*__first_++) & 0x3f;
- __value <<= 6;
- __value |= static_cast<unsigned char>(*__first_++) & 0x3f;
- __value <<= 6;
- __value |= static_cast<unsigned char>(*__first_++) & 0x3f;
- return __value;
- }
- }
- // An invalid number of leading ones can be garbage or a code unit in the
- // middle of a code point. By consuming one code unit the parser may get
- // "in sync" after a few code units.
- ++__first_;
- return __replacement_character;
- }
- # if _LIBCPP_STD_VER > 20
- _LIBCPP_HIDE_FROM_ABI constexpr __consume_p2286_result __consume_p2286() noexcept {
- _LIBCPP_ASSERT(__first_ != __last_, "can't move beyond the end of input");
- // Based on the number of leading 1 bits the number of code units in the
- // code point can be determined. See
- // https://en.wikipedia.org/wiki/UTF-8#Encoding
- switch (std::countl_one(static_cast<unsigned char>(*__first_))) {
- case 0:
- return {0, static_cast<unsigned char>(*__first_++)};
- case 2:
- if (__last_ - __first_ < 2) [[unlikely]]
- break;
- if (__unicode::__is_continuation(__first_ + 1, 1)) {
- char32_t __value = static_cast<unsigned char>(*__first_++) & 0x1f;
- __value <<= 6;
- __value |= static_cast<unsigned char>(*__first_++) & 0x3f;
- return {0, __value};
- }
- break;
- case 3:
- if (__last_ - __first_ < 3) [[unlikely]]
- break;
- if (__unicode::__is_continuation(__first_ + 1, 2)) {
- char32_t __value = static_cast<unsigned char>(*__first_++) & 0x0f;
- __value <<= 6;
- __value |= static_cast<unsigned char>(*__first_++) & 0x3f;
- __value <<= 6;
- __value |= static_cast<unsigned char>(*__first_++) & 0x3f;
- return {0, __value};
- }
- break;
- case 4:
- if (__last_ - __first_ < 4) [[unlikely]]
- break;
- if (__unicode::__is_continuation(__first_ + 1, 3)) {
- char32_t __value = static_cast<unsigned char>(*__first_++) & 0x07;
- __value <<= 6;
- __value |= static_cast<unsigned char>(*__first_++) & 0x3f;
- __value <<= 6;
- __value |= static_cast<unsigned char>(*__first_++) & 0x3f;
- __value <<= 6;
- __value |= static_cast<unsigned char>(*__first_++) & 0x3f;
- if (__value > 0x10FFFF) // Outside the valid Unicode range?
- return {4, __value};
- return {0, __value};
- }
- break;
- }
- // An invalid number of leading ones can be garbage or a code unit in the
- // middle of a code point. By consuming one code unit the parser may get
- // "in sync" after a few code units.
- return {1, static_cast<unsigned char>(*__first_++)};
- }
- # endif // _LIBCPP_STD_VER > 20
- private:
- const char* __first_;
- const char* __last_;
- };
- # ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
- _LIBCPP_HIDE_FROM_ABI constexpr bool __is_surrogate_pair_high(wchar_t __value) {
- return __value >= 0xd800 && __value <= 0xdbff;
- }
- _LIBCPP_HIDE_FROM_ABI constexpr bool __is_surrogate_pair_low(wchar_t __value) {
- return __value >= 0xdc00 && __value <= 0xdfff;
- }
- /// This specialization depends on the size of wchar_t
- /// - 2 UTF-16 (for example Windows and AIX)
- /// - 4 UTF-32 (for example Linux)
- template <>
- class __code_point_view<wchar_t> {
- public:
- static_assert(sizeof(wchar_t) == 2 || sizeof(wchar_t) == 4, "sizeof(wchar_t) has a not implemented value");
- _LIBCPP_HIDE_FROM_ABI constexpr explicit __code_point_view(const wchar_t* __first, const wchar_t* __last)
- : __first_(__first), __last_(__last) {}
- _LIBCPP_HIDE_FROM_ABI constexpr const wchar_t* __position() const noexcept { return __first_; }
- _LIBCPP_HIDE_FROM_ABI constexpr bool __at_end() const noexcept { return __first_ == __last_; }
- _LIBCPP_HIDE_FROM_ABI constexpr char32_t __consume() noexcept {
- _LIBCPP_ASSERT(__first_ != __last_, "can't move beyond the end of input");
- if constexpr (sizeof(wchar_t) == 2) {
- char32_t __result = *__first_++;
- // Is the code unit part of a surrogate pair? See
- // https://en.wikipedia.org/wiki/UTF-16#U+D800_to_U+DFFF
- if (__result >= 0xd800 && __result <= 0xDfff) {
- // Malformed Unicode.
- if (__first_ == __last_) [[unlikely]]
- return __replacement_character;
- __result -= 0xd800;
- __result <<= 10;
- __result += *__first_++ - 0xdc00;
- __result += 0x10000;
- }
- return __result;
- } else if constexpr (sizeof(wchar_t) == 4) {
- char32_t __result = *__first_++;
- if (__result > 0x10FFFF) [[unlikely]]
- return __replacement_character;
- return __result;
- } else {
- __libcpp_unreachable();
- }
- }
- # if _LIBCPP_STD_VER > 20
- _LIBCPP_HIDE_FROM_ABI constexpr __consume_p2286_result __consume_p2286() noexcept {
- _LIBCPP_ASSERT(__first_ != __last_, "can't move beyond the end of input");
- char32_t __result = *__first_++;
- if constexpr (sizeof(wchar_t) == 2) {
- // https://en.wikipedia.org/wiki/UTF-16#U+D800_to_U+DFFF
- if (__is_surrogate_pair_high(__result)) {
- // Malformed Unicode.
- if (__first_ == __last_ || !__is_surrogate_pair_low(*(__first_ + 1))) [[unlikely]]
- return {1, __result};
- __result -= 0xd800;
- __result <<= 10;
- __result += *__first_++ - 0xdc00;
- __result += 0x10000;
- } else if (__is_surrogate_pair_low(__result))
- // A code point shouldn't start with the low surrogate pair
- return {1, __result};
- } else {
- if (__result > 0x10FFFF) [[unlikely]]
- return {1, __result};
- }
- return {0, __result};
- }
- # endif // _LIBCPP_STD_VER > 20
- private:
- const wchar_t* __first_;
- const wchar_t* __last_;
- };
- # endif // _LIBCPP_HAS_NO_WIDE_CHARACTERS
- _LIBCPP_HIDE_FROM_ABI constexpr bool __at_extended_grapheme_cluster_break(
- bool& __ri_break_allowed,
- bool __has_extened_pictographic,
- __extended_grapheme_custer_property_boundary::__property __prev,
- __extended_grapheme_custer_property_boundary::__property __next) {
- using __extended_grapheme_custer_property_boundary::__property;
- __has_extened_pictographic |= __prev == __property::__Extended_Pictographic;
- // https://www.unicode.org/reports/tr29/tr29-39.html#Grapheme_Cluster_Boundary_Rules
- // *** Break at the start and end of text, unless the text is empty. ***
- _LIBCPP_ASSERT(__prev != __property::__sot, "should be handled in the constructor"); // GB1
- _LIBCPP_ASSERT(__prev != __property::__eot, "should be handled by our caller"); // GB2
- // *** Do not break between a CR and LF. Otherwise, break before and after controls. ***
- if (__prev == __property::__CR && __next == __property::__LF) // GB3
- return false;
- if (__prev == __property::__Control || __prev == __property::__CR || __prev == __property::__LF) // GB4
- return true;
- if (__next == __property::__Control || __next == __property::__CR || __next == __property::__LF) // GB5
- return true;
- // *** Do not break Hangul syllable sequences. ***
- if (__prev == __property::__L &&
- (__next == __property::__L || __next == __property::__V || __next == __property::__LV ||
- __next == __property::__LVT)) // GB6
- return false;
- if ((__prev == __property::__LV || __prev == __property::__V) &&
- (__next == __property::__V || __next == __property::__T)) // GB7
- return false;
- if ((__prev == __property::__LVT || __prev == __property::__T) && __next == __property::__T) // GB8
- return false;
- // *** Do not break before extending characters or ZWJ. ***
- if (__next == __property::__Extend || __next == __property::__ZWJ)
- return false; // GB9
- // *** Do not break before SpacingMarks, or after Prepend characters. ***
- if (__next == __property::__SpacingMark) // GB9a
- return false;
- if (__prev == __property::__Prepend) // GB9b
- return false;
- // *** Do not break within emoji modifier sequences or emoji zwj sequences. ***
- // GB11 \p{Extended_Pictographic} Extend* ZWJ x \p{Extended_Pictographic}
- //
- // Note that several parts of this rule are matched by GB9: Any x (Extend | ZWJ)
- // - \p{Extended_Pictographic} x Extend
- // - Extend x Extend
- // - \p{Extended_Pictographic} x ZWJ
- // - Extend x ZWJ
- //
- // So the only case left to test is
- // - \p{Extended_Pictographic}' x ZWJ x \p{Extended_Pictographic}
- // where \p{Extended_Pictographic}' is stored in __has_extened_pictographic
- if (__has_extened_pictographic && __prev == __property::__ZWJ && __next == __property::__Extended_Pictographic)
- return false;
- // *** Do not break within emoji flag sequences ***
- // That is, do not break between regional indicator (RI) symbols if there
- // is an odd number of RI characters before the break point.
- if (__prev == __property::__Regional_Indicator && __next == __property::__Regional_Indicator) { // GB12 + GB13
- __ri_break_allowed = !__ri_break_allowed;
- return __ri_break_allowed;
- }
- // *** Otherwise, break everywhere. ***
- return true; // GB999
- }
- /// Helper class to extract an extended grapheme cluster from a Unicode character range.
- ///
- /// This function is used to determine the column width of an extended grapheme
- /// cluster. In order to do that only the first code point is evaluated.
- /// Therefore only this code point is extracted.
- template <class _CharT>
- class __extended_grapheme_cluster_view {
- public:
- _LIBCPP_HIDE_FROM_ABI constexpr explicit __extended_grapheme_cluster_view(const _CharT* __first, const _CharT* __last)
- : __code_point_view_(__first, __last),
- __next_code_point_(__code_point_view_.__consume()),
- __next_prop_(__extended_grapheme_custer_property_boundary::__get_property(__next_code_point_)) {}
- struct __cluster {
- /// The first code point of the extended grapheme cluster.
- ///
- /// The first code point is used to estimate the width of the extended
- /// grapheme cluster.
- char32_t __code_point_;
- /// Points one beyond the last code unit in the extended grapheme cluster.
- ///
- /// It's expected the caller has the start position and thus can determine
- /// the code unit range of the extended grapheme cluster.
- const _CharT* __last_;
- };
- _LIBCPP_HIDE_FROM_ABI constexpr __cluster __consume() {
- _LIBCPP_ASSERT(
- __next_prop_ != __extended_grapheme_custer_property_boundary::__property::__eot,
- "can't move beyond the end of input");
- char32_t __code_point = __next_code_point_;
- if (!__code_point_view_.__at_end())
- return {__code_point, __get_break()};
- __next_prop_ = __extended_grapheme_custer_property_boundary::__property::__eot;
- return {__code_point, __code_point_view_.__position()};
- }
- private:
- __code_point_view<_CharT> __code_point_view_;
- char32_t __next_code_point_;
- __extended_grapheme_custer_property_boundary::__property __next_prop_;
- _LIBCPP_HIDE_FROM_ABI constexpr const _CharT* __get_break() {
- bool __ri_break_allowed = true;
- bool __has_extened_pictographic = false;
- while (true) {
- const _CharT* __result = __code_point_view_.__position();
- __extended_grapheme_custer_property_boundary::__property __prev = __next_prop_;
- if (__code_point_view_.__at_end()) {
- __next_prop_ = __extended_grapheme_custer_property_boundary::__property::__eot;
- return __result;
- }
- __next_code_point_ = __code_point_view_.__consume();
- __next_prop_ = __extended_grapheme_custer_property_boundary::__get_property(__next_code_point_);
- __has_extened_pictographic |=
- __prev == __extended_grapheme_custer_property_boundary::__property::__Extended_Pictographic;
- if (__at_extended_grapheme_cluster_break(__ri_break_allowed, __has_extened_pictographic, __prev, __next_prop_))
- return __result;
- }
- }
- };
- template <class _CharT>
- __extended_grapheme_cluster_view(const _CharT*, const _CharT*) -> __extended_grapheme_cluster_view<_CharT>;
- # else // _LIBCPP_HAS_NO_UNICODE
- // For ASCII every character is a "code point".
- // This makes it easier to write code agnostic of the _LIBCPP_HAS_NO_UNICODE define.
- template <class _CharT>
- class __code_point_view {
- public:
- _LIBCPP_HIDE_FROM_ABI constexpr explicit __code_point_view(const _CharT* __first, const _CharT* __last)
- : __first_(__first), __last_(__last) {}
- _LIBCPP_HIDE_FROM_ABI constexpr bool __at_end() const noexcept { return __first_ == __last_; }
- _LIBCPP_HIDE_FROM_ABI constexpr const _CharT* __position() const noexcept { return __first_; }
- _LIBCPP_HIDE_FROM_ABI constexpr char32_t __consume() noexcept {
- _LIBCPP_ASSERT(__first_ != __last_, "can't move beyond the end of input");
- return *__first_++;
- }
- # if _LIBCPP_STD_VER > 20
- _LIBCPP_HIDE_FROM_ABI constexpr __consume_p2286_result __consume_p2286() noexcept {
- _LIBCPP_ASSERT(__first_ != __last_, "can't move beyond the end of input");
- return {0, std::make_unsigned_t<_CharT>(*__first_++)};
- }
- # endif // _LIBCPP_STD_VER > 20
- private:
- const _CharT* __first_;
- const _CharT* __last_;
- };
- # endif // _LIBCPP_HAS_NO_UNICODE
- } // namespace __unicode
- #endif //_LIBCPP_STD_VER > 17
- _LIBCPP_END_NAMESPACE_STD
- #endif // _LIBCPP___FORMAT_UNICODE_H
|