1 // POD character, std::char_traits specialization -*- C++ -*-
2
3 // Copyright (C) 2002-2018 Free Software Foundation, Inc.
4 //
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
9 // any later version.
10
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
15
16 // Under Section 7 of GPL version 3, you are granted additional
17 // permissions described in the GCC Runtime Library Exception, version
18 // 3.1, as published by the Free Software Foundation.
19
20 // You should have received a copy of the GNU General Public License and
21 // a copy of the GCC Runtime Library Exception along with this program;
22 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23 // <http://www.gnu.org/licenses/>.
24
25 /** @file ext/pod_char_traits.h
26 * This file is a GNU extension to the Standard C++ Library.
27 */
28
29 // Gabriel Dos Reis <gdr@integrable-solutions.net>
30 // Benjamin Kosnik <bkoz@redhat.com>
31
32 #ifndef _POD_CHAR_TRAITS_H
33 #define _POD_CHAR_TRAITS_H 1
34
35 #pragma GCC system_header
36
37 #include <string>
38
_GLIBCXX_VISIBILITY(default)39 namespace __gnu_cxx _GLIBCXX_VISIBILITY(default)
40 {
41 _GLIBCXX_BEGIN_NAMESPACE_VERSION
42
43 // POD character abstraction.
44 // NB: The char_type parameter is a subset of int_type, as to allow
45 // int_type to properly hold the full range of char_type values as
46 // well as EOF.
47 /// @brief A POD class that serves as a character abstraction class.
48 template<typename _Value, typename _Int, typename _St = std::mbstate_t>
49 struct character
50 {
51 typedef _Value value_type;
52 typedef _Int int_type;
53 typedef _St state_type;
54 typedef character<_Value, _Int, _St> char_type;
55
56 value_type value;
57
58 template<typename V2>
59 static char_type
60 from(const V2& v)
61 {
62 char_type ret = { static_cast<value_type>(v) };
63 return ret;
64 }
65
66 template<typename V2>
67 static V2
68 to(const char_type& c)
69 {
70 V2 ret = { static_cast<V2>(c.value) };
71 return ret;
72 }
73
74 };
75
76 template<typename _Value, typename _Int, typename _St>
77 inline bool
78 operator==(const character<_Value, _Int, _St>& lhs,
79 const character<_Value, _Int, _St>& rhs)
80 { return lhs.value == rhs.value; }
81
82 template<typename _Value, typename _Int, typename _St>
83 inline bool
84 operator<(const character<_Value, _Int, _St>& lhs,
85 const character<_Value, _Int, _St>& rhs)
86 { return lhs.value < rhs.value; }
87
88 _GLIBCXX_END_NAMESPACE_VERSION
89 } // namespace
90
_GLIBCXX_VISIBILITY(default)91 namespace std _GLIBCXX_VISIBILITY(default)
92 {
93 _GLIBCXX_BEGIN_NAMESPACE_VERSION
94
95 /// char_traits<__gnu_cxx::character> specialization.
96 template<typename _Value, typename _Int, typename _St>
97 struct char_traits<__gnu_cxx::character<_Value, _Int, _St> >
98 {
99 typedef __gnu_cxx::character<_Value, _Int, _St> char_type;
100 typedef typename char_type::int_type int_type;
101 typedef typename char_type::state_type state_type;
102 typedef fpos<state_type> pos_type;
103 typedef streamoff off_type;
104
105 static void
106 assign(char_type& __c1, const char_type& __c2)
107 { __c1 = __c2; }
108
109 static bool
110 eq(const char_type& __c1, const char_type& __c2)
111 { return __c1 == __c2; }
112
113 static bool
114 lt(const char_type& __c1, const char_type& __c2)
115 { return __c1 < __c2; }
116
117 static int
118 compare(const char_type* __s1, const char_type* __s2, size_t __n)
119 {
120 for (size_t __i = 0; __i < __n; ++__i)
121 if (!eq(__s1[__i], __s2[__i]))
122 return lt(__s1[__i], __s2[__i]) ? -1 : 1;
123 return 0;
124 }
125
126 static size_t
127 length(const char_type* __s)
128 {
129 const char_type* __p = __s;
130 while (__p->value)
131 ++__p;
132 return (__p - __s);
133 }
134
135 static const char_type*
136 find(const char_type* __s, size_t __n, const char_type& __a)
137 {
138 for (const char_type* __p = __s; size_t(__p - __s) < __n; ++__p)
139 if (*__p == __a)
140 return __p;
141 return 0;
142 }
143
144 static char_type*
145 move(char_type* __s1, const char_type* __s2, size_t __n)
146 {
147 if (__n == 0)
148 return __s1;
149 return static_cast<char_type*>
150 (__builtin_memmove(__s1, __s2, __n * sizeof(char_type)));
151 }
152
153 static char_type*
154 copy(char_type* __s1, const char_type* __s2, size_t __n)
155 {
156 if (__n == 0)
157 return __s1;
158 std::copy(__s2, __s2 + __n, __s1);
159 return __s1;
160 }
161
162 static char_type*
163 assign(char_type* __s, size_t __n, char_type __a)
164 {
165 std::fill_n(__s, __n, __a);
166 return __s;
167 }
168
169 static char_type
170 to_char_type(const int_type& __i)
171 { return char_type::template from(__i); }
172
173 static int_type
174 to_int_type(const char_type& __c)
175 { return char_type::template to<int_type>(__c); }
176
177 static bool
178 eq_int_type(const int_type& __c1, const int_type& __c2)
179 { return __c1 == __c2; }
180
181 static int_type
182 eof()
183 {
184 int_type __r = { static_cast<typename __gnu_cxx::__conditional_type
185 <std::__is_integer<int_type>::__value,
186 int_type, int>::__type>(-1) };
187 return __r;
188 }
189
190 static int_type
191 not_eof(const int_type& __c)
192 { return eq_int_type(__c, eof()) ? int_type() : __c; }
193 };
194
195 _GLIBCXX_END_NAMESPACE_VERSION
196 } // namespace
197
198 #endif
199