123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005 |
- // Character Traits for use by standard string and iostream -*- C++ -*-
- // Copyright (C) 1997-2022 Free Software Foundation, Inc.
- //
- // This file is part of the GNU ISO C++ Library. This library is free
- // software; you can redistribute it and/or modify it under the
- // terms of the GNU General Public License as published by the
- // Free Software Foundation; either version 3, or (at your option)
- // any later version.
- // This library is distributed in the hope that it will be useful,
- // but WITHOUT ANY WARRANTY; without even the implied warranty of
- // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- // GNU General Public License for more details.
- // Under Section 7 of GPL version 3, you are granted additional
- // permissions described in the GCC Runtime Library Exception, version
- // 3.1, as published by the Free Software Foundation.
- // You should have received a copy of the GNU General Public License and
- // a copy of the GCC Runtime Library Exception along with this program;
- // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
- // <http://www.gnu.org/licenses/>.
- /** @file bits/char_traits.h
- * This is an internal header file, included by other library headers.
- * Do not attempt to use it directly. @headername{string}
- */
- //
- // ISO C++ 14882: 21 Strings library
- //
- #ifndef _CHAR_TRAITS_H
- #define _CHAR_TRAITS_H 1
- #pragma GCC system_header
- #include <bits/postypes.h> // For streampos
- #include <cwchar> // For WEOF, wmemmove, wmemset, etc.
- #if __cplusplus >= 201103L
- # include <type_traits>
- #endif
- #if __cplusplus >= 202002L
- # include <compare>
- # include <bits/stl_construct.h>
- #endif
- #ifndef _GLIBCXX_ALWAYS_INLINE
- # define _GLIBCXX_ALWAYS_INLINE inline __attribute__((__always_inline__))
- #endif
- namespace __gnu_cxx _GLIBCXX_VISIBILITY(default)
- {
- _GLIBCXX_BEGIN_NAMESPACE_VERSION
- #pragma GCC diagnostic push
- #pragma GCC diagnostic ignored "-Wstringop-overflow"
- #pragma GCC diagnostic ignored "-Wstringop-overread"
- #pragma GCC diagnostic ignored "-Warray-bounds"
- /**
- * @brief Mapping from character type to associated types.
- *
- * @note This is an implementation class for the generic version
- * of char_traits. It defines int_type, off_type, pos_type, and
- * state_type. By default these are unsigned long, streamoff,
- * streampos, and mbstate_t. Users who need a different set of
- * types, but who don't need to change the definitions of any function
- * defined in char_traits, can specialize __gnu_cxx::_Char_types
- * while leaving __gnu_cxx::char_traits alone. */
- template<typename _CharT>
- struct _Char_types
- {
- typedef unsigned long int_type;
- typedef std::streampos pos_type;
- typedef std::streamoff off_type;
- typedef std::mbstate_t state_type;
- };
- /**
- * @brief Base class used to implement std::char_traits.
- *
- * @note For any given actual character type, this definition is
- * probably wrong. (Most of the member functions are likely to be
- * right, but the int_type and state_type typedefs, and the eof()
- * member function, are likely to be wrong.) The reason this class
- * exists is so users can specialize it. Classes in namespace std
- * may not be specialized for fundamental types, but classes in
- * namespace __gnu_cxx may be.
- *
- * See https://gcc.gnu.org/onlinedocs/libstdc++/manual/strings.html#strings.string.character_types
- * for advice on how to make use of this class for @a unusual character
- * types. Also, check out include/ext/pod_char_traits.h.
- */
- template<typename _CharT>
- struct char_traits
- {
- typedef _CharT char_type;
- typedef typename _Char_types<_CharT>::int_type int_type;
- typedef typename _Char_types<_CharT>::pos_type pos_type;
- typedef typename _Char_types<_CharT>::off_type off_type;
- typedef typename _Char_types<_CharT>::state_type state_type;
- #if __cpp_lib_three_way_comparison
- using comparison_category = std::strong_ordering;
- #endif
- static _GLIBCXX14_CONSTEXPR void
- assign(char_type& __c1, const char_type& __c2)
- {
- #if __cpp_constexpr_dynamic_alloc
- if (std::__is_constant_evaluated())
- std::construct_at(__builtin_addressof(__c1), __c2);
- else
- #endif
- __c1 = __c2;
- }
- static _GLIBCXX_CONSTEXPR bool
- eq(const char_type& __c1, const char_type& __c2)
- { return __c1 == __c2; }
- static _GLIBCXX_CONSTEXPR bool
- lt(const char_type& __c1, const char_type& __c2)
- { return __c1 < __c2; }
- static _GLIBCXX14_CONSTEXPR int
- compare(const char_type* __s1, const char_type* __s2, std::size_t __n);
- static _GLIBCXX14_CONSTEXPR std::size_t
- length(const char_type* __s);
- static _GLIBCXX14_CONSTEXPR const char_type*
- find(const char_type* __s, std::size_t __n, const char_type& __a);
- static _GLIBCXX20_CONSTEXPR char_type*
- move(char_type* __s1, const char_type* __s2, std::size_t __n);
- static _GLIBCXX20_CONSTEXPR char_type*
- copy(char_type* __s1, const char_type* __s2, std::size_t __n);
- static _GLIBCXX20_CONSTEXPR char_type*
- assign(char_type* __s, std::size_t __n, char_type __a);
- static _GLIBCXX_CONSTEXPR char_type
- to_char_type(const int_type& __c)
- { return static_cast<char_type>(__c); }
- static _GLIBCXX_CONSTEXPR int_type
- to_int_type(const char_type& __c)
- { return static_cast<int_type>(__c); }
- static _GLIBCXX_CONSTEXPR bool
- eq_int_type(const int_type& __c1, const int_type& __c2)
- { return __c1 == __c2; }
- static _GLIBCXX_CONSTEXPR int_type
- eof()
- { return static_cast<int_type>(_GLIBCXX_STDIO_EOF); }
- static _GLIBCXX_CONSTEXPR int_type
- not_eof(const int_type& __c)
- { return !eq_int_type(__c, eof()) ? __c : to_int_type(char_type()); }
- };
- template<typename _CharT>
- _GLIBCXX14_CONSTEXPR int
- char_traits<_CharT>::
- compare(const char_type* __s1, const char_type* __s2, std::size_t __n)
- {
- for (std::size_t __i = 0; __i < __n; ++__i)
- if (lt(__s1[__i], __s2[__i]))
- return -1;
- else if (lt(__s2[__i], __s1[__i]))
- return 1;
- return 0;
- }
- template<typename _CharT>
- _GLIBCXX14_CONSTEXPR std::size_t
- char_traits<_CharT>::
- length(const char_type* __p)
- {
- std::size_t __i = 0;
- while (!eq(__p[__i], char_type()))
- ++__i;
- return __i;
- }
- template<typename _CharT>
- _GLIBCXX14_CONSTEXPR const typename char_traits<_CharT>::char_type*
- char_traits<_CharT>::
- find(const char_type* __s, std::size_t __n, const char_type& __a)
- {
- for (std::size_t __i = 0; __i < __n; ++__i)
- if (eq(__s[__i], __a))
- return __s + __i;
- return 0;
- }
- template<typename _CharT>
- _GLIBCXX20_CONSTEXPR
- typename char_traits<_CharT>::char_type*
- char_traits<_CharT>::
- move(char_type* __s1, const char_type* __s2, std::size_t __n)
- {
- if (__n == 0)
- return __s1;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- {
- if (__s1 == __s2) // unlikely, but saves a lot of work
- return __s1;
- #if __cpp_constexpr_dynamic_alloc
- // The overlap detection below fails due to PR c++/89074,
- // so use a temporary buffer instead.
- char_type* __tmp = new char_type[__n];
- copy(__tmp, __s2, __n);
- copy(__s1, __tmp, __n);
- delete[] __tmp;
- #else
- const auto __end = __s2 + __n - 1;
- bool __overlap = false;
- for (std::size_t __i = 0; __i < __n - 1; ++__i)
- {
- if (__s1 + __i == __end)
- {
- __overlap = true;
- break;
- }
- }
- if (__overlap)
- {
- do
- {
- --__n;
- assign(__s1[__n], __s2[__n]);
- }
- while (__n > 0);
- }
- else
- copy(__s1, __s2, __n);
- #endif
- return __s1;
- }
- #endif
- __builtin_memmove(__s1, __s2, __n * sizeof(char_type));
- return __s1;
- }
- template<typename _CharT>
- _GLIBCXX20_CONSTEXPR
- typename char_traits<_CharT>::char_type*
- char_traits<_CharT>::
- copy(char_type* __s1, const char_type* __s2, std::size_t __n)
- {
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- {
- for (std::size_t __i = 0; __i < __n; ++__i)
- std::construct_at(__s1 + __i, __s2[__i]);
- return __s1;
- }
- #endif
- __builtin_memcpy(__s1, __s2, __n * sizeof(char_type));
- return __s1;
- }
- template<typename _CharT>
- _GLIBCXX20_CONSTEXPR
- typename char_traits<_CharT>::char_type*
- char_traits<_CharT>::
- assign(char_type* __s, std::size_t __n, char_type __a)
- {
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- {
- for (std::size_t __i = 0; __i < __n; ++__i)
- std::construct_at(__s + __i, __a);
- return __s;
- }
- #endif
- if _GLIBCXX17_CONSTEXPR (sizeof(_CharT) == 1 && __is_trivial(_CharT))
- {
- unsigned char __c;
- __builtin_memcpy(&__c, __builtin_addressof(__a), 1);
- __builtin_memset(__s, __c, __n);
- }
- else
- {
- for (std::size_t __i = 0; __i < __n; ++__i)
- __s[__i] = __a;
- }
- return __s;
- }
- _GLIBCXX_END_NAMESPACE_VERSION
- } // namespace
- namespace std _GLIBCXX_VISIBILITY(default)
- {
- _GLIBCXX_BEGIN_NAMESPACE_VERSION
- #ifdef __cpp_lib_is_constant_evaluated
- // Unofficial macro indicating P1032R1 support in C++20
- # define __cpp_lib_constexpr_char_traits 201811L
- #elif __cplusplus >= 201703L && _GLIBCXX_HAVE_IS_CONSTANT_EVALUATED
- // Unofficial macro indicating P0426R1 support in C++17
- # define __cpp_lib_constexpr_char_traits 201611L
- #endif
- // 21.1
- /**
- * @brief Basis for explicit traits specializations.
- *
- * @note For any given actual character type, this definition is
- * probably wrong. Since this is just a thin wrapper around
- * __gnu_cxx::char_traits, it is possible to achieve a more
- * appropriate definition by specializing __gnu_cxx::char_traits.
- *
- * See https://gcc.gnu.org/onlinedocs/libstdc++/manual/strings.html#strings.string.character_types
- * for advice on how to make use of this class for @a unusual character
- * types. Also, check out include/ext/pod_char_traits.h.
- */
- template<typename _CharT>
- struct char_traits : public __gnu_cxx::char_traits<_CharT>
- { };
- /// 21.1.3.1 char_traits specializations
- template<>
- struct char_traits<char>
- {
- typedef char char_type;
- typedef int int_type;
- typedef streampos pos_type;
- typedef streamoff off_type;
- typedef mbstate_t state_type;
- #if __cpp_lib_three_way_comparison
- using comparison_category = strong_ordering;
- #endif
- static _GLIBCXX17_CONSTEXPR void
- assign(char_type& __c1, const char_type& __c2) _GLIBCXX_NOEXCEPT
- {
- #if __cpp_constexpr_dynamic_alloc
- if (std::__is_constant_evaluated())
- std::construct_at(__builtin_addressof(__c1), __c2);
- else
- #endif
- __c1 = __c2;
- }
- static _GLIBCXX_CONSTEXPR bool
- eq(const char_type& __c1, const char_type& __c2) _GLIBCXX_NOEXCEPT
- { return __c1 == __c2; }
- static _GLIBCXX_CONSTEXPR bool
- lt(const char_type& __c1, const char_type& __c2) _GLIBCXX_NOEXCEPT
- {
- // LWG 467.
- return (static_cast<unsigned char>(__c1)
- < static_cast<unsigned char>(__c2));
- }
- static _GLIBCXX17_CONSTEXPR int
- compare(const char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return 0;
- #if __cplusplus >= 201703L
- if (std::__is_constant_evaluated())
- {
- for (size_t __i = 0; __i < __n; ++__i)
- if (lt(__s1[__i], __s2[__i]))
- return -1;
- else if (lt(__s2[__i], __s1[__i]))
- return 1;
- return 0;
- }
- #endif
- return __builtin_memcmp(__s1, __s2, __n);
- }
- static _GLIBCXX17_CONSTEXPR size_t
- length(const char_type* __s)
- {
- #if __cplusplus >= 201703L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::length(__s);
- #endif
- return __builtin_strlen(__s);
- }
- static _GLIBCXX17_CONSTEXPR const char_type*
- find(const char_type* __s, size_t __n, const char_type& __a)
- {
- if (__n == 0)
- return 0;
- #if __cplusplus >= 201703L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::find(__s, __n, __a);
- #endif
- return static_cast<const char_type*>(__builtin_memchr(__s, __a, __n));
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- move(char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return __s1;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::move(__s1, __s2, __n);
- #endif
- return static_cast<char_type*>(__builtin_memmove(__s1, __s2, __n));
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- copy(char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return __s1;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::copy(__s1, __s2, __n);
- #endif
- return static_cast<char_type*>(__builtin_memcpy(__s1, __s2, __n));
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- assign(char_type* __s, size_t __n, char_type __a)
- {
- if (__n == 0)
- return __s;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::assign(__s, __n, __a);
- #endif
- return static_cast<char_type*>(__builtin_memset(__s, __a, __n));
- }
- static _GLIBCXX_CONSTEXPR char_type
- to_char_type(const int_type& __c) _GLIBCXX_NOEXCEPT
- { return static_cast<char_type>(__c); }
- // To keep both the byte 0xff and the eof symbol 0xffffffff
- // from ending up as 0xffffffff.
- static _GLIBCXX_CONSTEXPR int_type
- to_int_type(const char_type& __c) _GLIBCXX_NOEXCEPT
- { return static_cast<int_type>(static_cast<unsigned char>(__c)); }
- static _GLIBCXX_CONSTEXPR bool
- eq_int_type(const int_type& __c1, const int_type& __c2) _GLIBCXX_NOEXCEPT
- { return __c1 == __c2; }
- static _GLIBCXX_CONSTEXPR int_type
- eof() _GLIBCXX_NOEXCEPT
- { return static_cast<int_type>(_GLIBCXX_STDIO_EOF); }
- static _GLIBCXX_CONSTEXPR int_type
- not_eof(const int_type& __c) _GLIBCXX_NOEXCEPT
- { return (__c == eof()) ? 0 : __c; }
- };
- #ifdef _GLIBCXX_USE_WCHAR_T
- /// 21.1.3.2 char_traits specializations
- template<>
- struct char_traits<wchar_t>
- {
- typedef wchar_t char_type;
- typedef wint_t int_type;
- typedef streamoff off_type;
- typedef wstreampos pos_type;
- typedef mbstate_t state_type;
- #if __cpp_lib_three_way_comparison
- using comparison_category = strong_ordering;
- #endif
- static _GLIBCXX17_CONSTEXPR void
- assign(char_type& __c1, const char_type& __c2) _GLIBCXX_NOEXCEPT
- {
- #if __cpp_constexpr_dynamic_alloc
- if (std::__is_constant_evaluated())
- std::construct_at(__builtin_addressof(__c1), __c2);
- else
- #endif
- __c1 = __c2;
- }
- static _GLIBCXX_CONSTEXPR bool
- eq(const char_type& __c1, const char_type& __c2) _GLIBCXX_NOEXCEPT
- { return __c1 == __c2; }
- static _GLIBCXX_CONSTEXPR bool
- lt(const char_type& __c1, const char_type& __c2) _GLIBCXX_NOEXCEPT
- { return __c1 < __c2; }
- static _GLIBCXX17_CONSTEXPR int
- compare(const char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return 0;
- #if __cplusplus >= 201703L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::compare(__s1, __s2, __n);
- #endif
- return wmemcmp(__s1, __s2, __n);
- }
- static _GLIBCXX17_CONSTEXPR size_t
- length(const char_type* __s)
- {
- #if __cplusplus >= 201703L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::length(__s);
- #endif
- return wcslen(__s);
- }
- static _GLIBCXX17_CONSTEXPR const char_type*
- find(const char_type* __s, size_t __n, const char_type& __a)
- {
- if (__n == 0)
- return 0;
- #if __cplusplus >= 201703L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::find(__s, __n, __a);
- #endif
- return wmemchr(__s, __a, __n);
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- move(char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return __s1;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::move(__s1, __s2, __n);
- #endif
- return wmemmove(__s1, __s2, __n);
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- copy(char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return __s1;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::copy(__s1, __s2, __n);
- #endif
- return wmemcpy(__s1, __s2, __n);
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- assign(char_type* __s, size_t __n, char_type __a)
- {
- if (__n == 0)
- return __s;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::assign(__s, __n, __a);
- #endif
- return wmemset(__s, __a, __n);
- }
- static _GLIBCXX_CONSTEXPR char_type
- to_char_type(const int_type& __c) _GLIBCXX_NOEXCEPT
- { return char_type(__c); }
- static _GLIBCXX_CONSTEXPR int_type
- to_int_type(const char_type& __c) _GLIBCXX_NOEXCEPT
- { return int_type(__c); }
- static _GLIBCXX_CONSTEXPR bool
- eq_int_type(const int_type& __c1, const int_type& __c2) _GLIBCXX_NOEXCEPT
- { return __c1 == __c2; }
- static _GLIBCXX_CONSTEXPR int_type
- eof() _GLIBCXX_NOEXCEPT
- { return static_cast<int_type>(WEOF); }
- static _GLIBCXX_CONSTEXPR int_type
- not_eof(const int_type& __c) _GLIBCXX_NOEXCEPT
- { return eq_int_type(__c, eof()) ? 0 : __c; }
- };
- #else // _GLIBCXX_USE_WCHAR_T
- template<>
- struct char_traits<wchar_t> : public __gnu_cxx::char_traits<wchar_t>
- { };
- #endif //_GLIBCXX_USE_WCHAR_T
- #ifdef _GLIBCXX_USE_CHAR8_T
- template<>
- struct char_traits<char8_t>
- {
- typedef char8_t char_type;
- typedef unsigned int int_type;
- typedef u8streampos pos_type;
- typedef streamoff off_type;
- typedef mbstate_t state_type;
- #if __cpp_lib_three_way_comparison
- using comparison_category = strong_ordering;
- #endif
- static _GLIBCXX17_CONSTEXPR void
- assign(char_type& __c1, const char_type& __c2) _GLIBCXX_NOEXCEPT
- {
- #if __cpp_constexpr_dynamic_alloc
- if (std::__is_constant_evaluated())
- std::construct_at(__builtin_addressof(__c1), __c2);
- else
- #endif
- __c1 = __c2;
- }
- static _GLIBCXX_CONSTEXPR bool
- eq(const char_type& __c1, const char_type& __c2) _GLIBCXX_NOEXCEPT
- { return __c1 == __c2; }
- static _GLIBCXX_CONSTEXPR bool
- lt(const char_type& __c1, const char_type& __c2) _GLIBCXX_NOEXCEPT
- { return __c1 < __c2; }
- static _GLIBCXX17_CONSTEXPR int
- compare(const char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return 0;
- #if __cplusplus >= 201703L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::compare(__s1, __s2, __n);
- #endif
- return __builtin_memcmp(__s1, __s2, __n);
- }
- static _GLIBCXX17_CONSTEXPR size_t
- length(const char_type* __s)
- {
- #if __cplusplus >= 201703L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::length(__s);
- #endif
- size_t __i = 0;
- while (!eq(__s[__i], char_type()))
- ++__i;
- return __i;
- }
- static _GLIBCXX17_CONSTEXPR const char_type*
- find(const char_type* __s, size_t __n, const char_type& __a)
- {
- if (__n == 0)
- return 0;
- #if __cplusplus >= 201703L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::find(__s, __n, __a);
- #endif
- return static_cast<const char_type*>(__builtin_memchr(__s, __a, __n));
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- move(char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return __s1;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::move(__s1, __s2, __n);
- #endif
- return static_cast<char_type*>(__builtin_memmove(__s1, __s2, __n));
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- copy(char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return __s1;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::copy(__s1, __s2, __n);
- #endif
- return static_cast<char_type*>(__builtin_memcpy(__s1, __s2, __n));
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- assign(char_type* __s, size_t __n, char_type __a)
- {
- if (__n == 0)
- return __s;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::assign(__s, __n, __a);
- #endif
- return static_cast<char_type*>(__builtin_memset(__s, __a, __n));
- }
- static _GLIBCXX_CONSTEXPR char_type
- to_char_type(const int_type& __c) _GLIBCXX_NOEXCEPT
- { return char_type(__c); }
- static _GLIBCXX_CONSTEXPR int_type
- to_int_type(const char_type& __c) _GLIBCXX_NOEXCEPT
- { return int_type(__c); }
- static _GLIBCXX_CONSTEXPR bool
- eq_int_type(const int_type& __c1, const int_type& __c2) _GLIBCXX_NOEXCEPT
- { return __c1 == __c2; }
- static _GLIBCXX_CONSTEXPR int_type
- eof() _GLIBCXX_NOEXCEPT
- { return static_cast<int_type>(-1); }
- static _GLIBCXX_CONSTEXPR int_type
- not_eof(const int_type& __c) _GLIBCXX_NOEXCEPT
- { return eq_int_type(__c, eof()) ? 0 : __c; }
- };
- #endif //_GLIBCXX_USE_CHAR8_T
- _GLIBCXX_END_NAMESPACE_VERSION
- } // namespace
- #if __cplusplus >= 201103L
- #include <cstdint>
- namespace std _GLIBCXX_VISIBILITY(default)
- {
- _GLIBCXX_BEGIN_NAMESPACE_VERSION
- template<>
- struct char_traits<char16_t>
- {
- typedef char16_t char_type;
- #ifdef _GLIBCXX_USE_C99_STDINT_TR1
- typedef uint_least16_t int_type;
- #elif defined __UINT_LEAST16_TYPE__
- typedef __UINT_LEAST16_TYPE__ int_type;
- #else
- typedef make_unsigned<char16_t>::type int_type;
- #endif
- typedef streamoff off_type;
- typedef u16streampos pos_type;
- typedef mbstate_t state_type;
- #if __cpp_lib_three_way_comparison
- using comparison_category = strong_ordering;
- #endif
- static _GLIBCXX17_CONSTEXPR void
- assign(char_type& __c1, const char_type& __c2) noexcept
- {
- #if __cpp_constexpr_dynamic_alloc
- if (std::__is_constant_evaluated())
- std::construct_at(__builtin_addressof(__c1), __c2);
- else
- #endif
- __c1 = __c2;
- }
- static constexpr bool
- eq(const char_type& __c1, const char_type& __c2) noexcept
- { return __c1 == __c2; }
- static constexpr bool
- lt(const char_type& __c1, const char_type& __c2) noexcept
- { return __c1 < __c2; }
- static _GLIBCXX17_CONSTEXPR int
- compare(const char_type* __s1, const char_type* __s2, size_t __n)
- {
- for (size_t __i = 0; __i < __n; ++__i)
- if (lt(__s1[__i], __s2[__i]))
- return -1;
- else if (lt(__s2[__i], __s1[__i]))
- return 1;
- return 0;
- }
- static _GLIBCXX17_CONSTEXPR size_t
- length(const char_type* __s)
- {
- size_t __i = 0;
- while (!eq(__s[__i], char_type()))
- ++__i;
- return __i;
- }
- static _GLIBCXX17_CONSTEXPR const char_type*
- find(const char_type* __s, size_t __n, const char_type& __a)
- {
- for (size_t __i = 0; __i < __n; ++__i)
- if (eq(__s[__i], __a))
- return __s + __i;
- return 0;
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- move(char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return __s1;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::move(__s1, __s2, __n);
- #endif
- return (static_cast<char_type*>
- (__builtin_memmove(__s1, __s2, __n * sizeof(char_type))));
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- copy(char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return __s1;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::copy(__s1, __s2, __n);
- #endif
- return (static_cast<char_type*>
- (__builtin_memcpy(__s1, __s2, __n * sizeof(char_type))));
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- assign(char_type* __s, size_t __n, char_type __a)
- {
- for (size_t __i = 0; __i < __n; ++__i)
- assign(__s[__i], __a);
- return __s;
- }
- static constexpr char_type
- to_char_type(const int_type& __c) noexcept
- { return char_type(__c); }
- static constexpr int_type
- to_int_type(const char_type& __c) noexcept
- { return __c == eof() ? int_type(0xfffd) : int_type(__c); }
- static constexpr bool
- eq_int_type(const int_type& __c1, const int_type& __c2) noexcept
- { return __c1 == __c2; }
- static constexpr int_type
- eof() noexcept
- { return static_cast<int_type>(-1); }
- static constexpr int_type
- not_eof(const int_type& __c) noexcept
- { return eq_int_type(__c, eof()) ? 0 : __c; }
- };
- template<>
- struct char_traits<char32_t>
- {
- typedef char32_t char_type;
- #ifdef _GLIBCXX_USE_C99_STDINT_TR1
- typedef uint_least32_t int_type;
- #elif defined __UINT_LEAST32_TYPE__
- typedef __UINT_LEAST32_TYPE__ int_type;
- #else
- typedef make_unsigned<char32_t>::type int_type;
- #endif
- typedef streamoff off_type;
- typedef u32streampos pos_type;
- typedef mbstate_t state_type;
- #if __cpp_lib_three_way_comparison
- using comparison_category = strong_ordering;
- #endif
- static _GLIBCXX17_CONSTEXPR void
- assign(char_type& __c1, const char_type& __c2) noexcept
- {
- #if __cpp_constexpr_dynamic_alloc
- if (std::__is_constant_evaluated())
- std::construct_at(__builtin_addressof(__c1), __c2);
- else
- #endif
- __c1 = __c2;
- }
- static constexpr bool
- eq(const char_type& __c1, const char_type& __c2) noexcept
- { return __c1 == __c2; }
- static constexpr bool
- lt(const char_type& __c1, const char_type& __c2) noexcept
- { return __c1 < __c2; }
- static _GLIBCXX17_CONSTEXPR int
- compare(const char_type* __s1, const char_type* __s2, size_t __n)
- {
- for (size_t __i = 0; __i < __n; ++__i)
- if (lt(__s1[__i], __s2[__i]))
- return -1;
- else if (lt(__s2[__i], __s1[__i]))
- return 1;
- return 0;
- }
- static _GLIBCXX17_CONSTEXPR size_t
- length(const char_type* __s)
- {
- size_t __i = 0;
- while (!eq(__s[__i], char_type()))
- ++__i;
- return __i;
- }
- static _GLIBCXX17_CONSTEXPR const char_type*
- find(const char_type* __s, size_t __n, const char_type& __a)
- {
- for (size_t __i = 0; __i < __n; ++__i)
- if (eq(__s[__i], __a))
- return __s + __i;
- return 0;
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- move(char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return __s1;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::move(__s1, __s2, __n);
- #endif
- return (static_cast<char_type*>
- (__builtin_memmove(__s1, __s2, __n * sizeof(char_type))));
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- copy(char_type* __s1, const char_type* __s2, size_t __n)
- {
- if (__n == 0)
- return __s1;
- #if __cplusplus >= 202002L
- if (std::__is_constant_evaluated())
- return __gnu_cxx::char_traits<char_type>::copy(__s1, __s2, __n);
- #endif
- return (static_cast<char_type*>
- (__builtin_memcpy(__s1, __s2, __n * sizeof(char_type))));
- }
- static _GLIBCXX20_CONSTEXPR char_type*
- assign(char_type* __s, size_t __n, char_type __a)
- {
- for (size_t __i = 0; __i < __n; ++__i)
- assign(__s[__i], __a);
- return __s;
- }
- static constexpr char_type
- to_char_type(const int_type& __c) noexcept
- { return char_type(__c); }
- static constexpr int_type
- to_int_type(const char_type& __c) noexcept
- { return int_type(__c); }
- static constexpr bool
- eq_int_type(const int_type& __c1, const int_type& __c2) noexcept
- { return __c1 == __c2; }
- static constexpr int_type
- eof() noexcept
- { return static_cast<int_type>(-1); }
- static constexpr int_type
- not_eof(const int_type& __c) noexcept
- { return eq_int_type(__c, eof()) ? 0 : __c; }
- };
- #if __cpp_lib_three_way_comparison
- namespace __detail
- {
- template<typename _ChTraits>
- constexpr auto
- __char_traits_cmp_cat(int __cmp) noexcept
- {
- if constexpr (requires { typename _ChTraits::comparison_category; })
- {
- using _Cat = typename _ChTraits::comparison_category;
- static_assert( !is_void_v<common_comparison_category_t<_Cat>> );
- return static_cast<_Cat>(__cmp <=> 0);
- }
- else
- return static_cast<weak_ordering>(__cmp <=> 0);
- }
- } // namespace __detail
- #endif // C++20
- #pragma GCC diagnostic pop
- _GLIBCXX_END_NAMESPACE_VERSION
- } // namespace
- #endif // C++11
- #endif // _CHAR_TRAITS_H
|