1 | // Locale support -*- C++ -*- |
2 | |
3 | // Copyright (C) 1997-2017 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 bits/locale_facets.h |
26 | * This is an internal header file, included by other library headers. |
27 | * Do not attempt to use it directly. @headername{locale} |
28 | */ |
29 | |
30 | // |
31 | // ISO C++ 14882: 22.1 Locales |
32 | // |
33 | |
34 | #ifndef _LOCALE_FACETS_H |
35 | #define _LOCALE_FACETS_H 1 |
36 | |
37 | #pragma GCC system_header |
38 | |
39 | #include <cwctype> // For wctype_t |
40 | #include <cctype> |
41 | #include <bits/ctype_base.h> |
42 | #include <iosfwd> |
43 | #include <bits/ios_base.h> // For ios_base, ios_base::iostate |
44 | #include <streambuf> |
45 | #include <bits/cpp_type_traits.h> |
46 | #include <ext/type_traits.h> |
47 | #include <ext/numeric_traits.h> |
48 | #include <bits/streambuf_iterator.h> |
49 | |
50 | namespace std _GLIBCXX_VISIBILITY(default) |
51 | { |
52 | _GLIBCXX_BEGIN_NAMESPACE_VERSION |
53 | |
54 | // NB: Don't instantiate required wchar_t facets if no wchar_t support. |
55 | #ifdef _GLIBCXX_USE_WCHAR_T |
56 | # define _GLIBCXX_NUM_FACETS 28 |
57 | # define _GLIBCXX_NUM_CXX11_FACETS 16 |
58 | #else |
59 | # define _GLIBCXX_NUM_FACETS 14 |
60 | # define _GLIBCXX_NUM_CXX11_FACETS 8 |
61 | #endif |
62 | #ifdef _GLIBCXX_USE_C99_STDINT_TR1 |
63 | # define _GLIBCXX_NUM_UNICODE_FACETS 2 |
64 | #else |
65 | # define _GLIBCXX_NUM_UNICODE_FACETS 0 |
66 | #endif |
67 | |
68 | // Convert string to numeric value of type _Tp and store results. |
69 | // NB: This is specialized for all required types, there is no |
70 | // generic definition. |
71 | template<typename _Tp> |
72 | void |
73 | __convert_to_v(const char*, _Tp&, ios_base::iostate&, |
74 | const __c_locale&) throw(); |
75 | |
76 | // Explicit specializations for required types. |
77 | template<> |
78 | void |
79 | __convert_to_v(const char*, float&, ios_base::iostate&, |
80 | const __c_locale&) throw(); |
81 | |
82 | template<> |
83 | void |
84 | __convert_to_v(const char*, double&, ios_base::iostate&, |
85 | const __c_locale&) throw(); |
86 | |
87 | template<> |
88 | void |
89 | __convert_to_v(const char*, long double&, ios_base::iostate&, |
90 | const __c_locale&) throw(); |
91 | |
92 | // NB: __pad is a struct, rather than a function, so it can be |
93 | // partially-specialized. |
94 | template<typename _CharT, typename _Traits> |
95 | struct __pad |
96 | { |
97 | static void |
98 | _S_pad(ios_base& __io, _CharT __fill, _CharT* __news, |
99 | const _CharT* __olds, streamsize __newlen, streamsize __oldlen); |
100 | }; |
101 | |
102 | // Used by both numeric and monetary facets. |
103 | // Inserts "group separator" characters into an array of characters. |
104 | // It's recursive, one iteration per group. It moves the characters |
105 | // in the buffer this way: "xxxx12345" -> "12,345xxx". Call this |
106 | // only with __gsize != 0. |
107 | template<typename _CharT> |
108 | _CharT* |
109 | __add_grouping(_CharT* __s, _CharT __sep, |
110 | const char* __gbeg, size_t __gsize, |
111 | const _CharT* __first, const _CharT* __last); |
112 | |
113 | // This template permits specializing facet output code for |
114 | // ostreambuf_iterator. For ostreambuf_iterator, sputn is |
115 | // significantly more efficient than incrementing iterators. |
116 | template<typename _CharT> |
117 | inline |
118 | ostreambuf_iterator<_CharT> |
119 | __write(ostreambuf_iterator<_CharT> __s, const _CharT* __ws, int __len) |
120 | { |
121 | __s._M_put(__ws, __len); |
122 | return __s; |
123 | } |
124 | |
125 | // This is the unspecialized form of the template. |
126 | template<typename _CharT, typename _OutIter> |
127 | inline |
128 | _OutIter |
129 | __write(_OutIter __s, const _CharT* __ws, int __len) |
130 | { |
131 | for (int __j = 0; __j < __len; __j++, ++__s) |
132 | *__s = __ws[__j]; |
133 | return __s; |
134 | } |
135 | |
136 | |
137 | // 22.2.1.1 Template class ctype |
138 | // Include host and configuration specific ctype enums for ctype_base. |
139 | |
140 | /** |
141 | * @brief Common base for ctype facet |
142 | * |
143 | * This template class provides implementations of the public functions |
144 | * that forward to the protected virtual functions. |
145 | * |
146 | * This template also provides abstract stubs for the protected virtual |
147 | * functions. |
148 | */ |
149 | template<typename _CharT> |
150 | class __ctype_abstract_base : public locale::facet, public ctype_base |
151 | { |
152 | public: |
153 | // Types: |
154 | /// Typedef for the template parameter |
155 | typedef _CharT char_type; |
156 | |
157 | /** |
158 | * @brief Test char_type classification. |
159 | * |
160 | * This function finds a mask M for @a __c and compares it to |
161 | * mask @a __m. It does so by returning the value of |
162 | * ctype<char_type>::do_is(). |
163 | * |
164 | * @param __c The char_type to compare the mask of. |
165 | * @param __m The mask to compare against. |
166 | * @return (M & __m) != 0. |
167 | */ |
168 | bool |
169 | is(mask __m, char_type __c) const |
170 | { return this->do_is(__m, __c); } |
171 | |
172 | /** |
173 | * @brief Return a mask array. |
174 | * |
175 | * This function finds the mask for each char_type in the range [lo,hi) |
176 | * and successively writes it to vec. vec must have as many elements |
177 | * as the char array. It does so by returning the value of |
178 | * ctype<char_type>::do_is(). |
179 | * |
180 | * @param __lo Pointer to start of range. |
181 | * @param __hi Pointer to end of range. |
182 | * @param __vec Pointer to an array of mask storage. |
183 | * @return @a __hi. |
184 | */ |
185 | const char_type* |
186 | is(const char_type *__lo, const char_type *__hi, mask *__vec) const |
187 | { return this->do_is(__lo, __hi, __vec); } |
188 | |
189 | /** |
190 | * @brief Find char_type matching a mask |
191 | * |
192 | * This function searches for and returns the first char_type c in |
193 | * [lo,hi) for which is(m,c) is true. It does so by returning |
194 | * ctype<char_type>::do_scan_is(). |
195 | * |
196 | * @param __m The mask to compare against. |
197 | * @param __lo Pointer to start of range. |
198 | * @param __hi Pointer to end of range. |
199 | * @return Pointer to matching char_type if found, else @a __hi. |
200 | */ |
201 | const char_type* |
202 | scan_is(mask __m, const char_type* __lo, const char_type* __hi) const |
203 | { return this->do_scan_is(__m, __lo, __hi); } |
204 | |
205 | /** |
206 | * @brief Find char_type not matching a mask |
207 | * |
208 | * This function searches for and returns the first char_type c in |
209 | * [lo,hi) for which is(m,c) is false. It does so by returning |
210 | * ctype<char_type>::do_scan_not(). |
211 | * |
212 | * @param __m The mask to compare against. |
213 | * @param __lo Pointer to first char in range. |
214 | * @param __hi Pointer to end of range. |
215 | * @return Pointer to non-matching char if found, else @a __hi. |
216 | */ |
217 | const char_type* |
218 | scan_not(mask __m, const char_type* __lo, const char_type* __hi) const |
219 | { return this->do_scan_not(__m, __lo, __hi); } |
220 | |
221 | /** |
222 | * @brief Convert to uppercase. |
223 | * |
224 | * This function converts the argument to uppercase if possible. |
225 | * If not possible (for example, '2'), returns the argument. It does |
226 | * so by returning ctype<char_type>::do_toupper(). |
227 | * |
228 | * @param __c The char_type to convert. |
229 | * @return The uppercase char_type if convertible, else @a __c. |
230 | */ |
231 | char_type |
232 | toupper(char_type __c) const |
233 | { return this->do_toupper(__c); } |
234 | |
235 | /** |
236 | * @brief Convert array to uppercase. |
237 | * |
238 | * This function converts each char_type in the range [lo,hi) to |
239 | * uppercase if possible. Other elements remain untouched. It does so |
240 | * by returning ctype<char_type>:: do_toupper(lo, hi). |
241 | * |
242 | * @param __lo Pointer to start of range. |
243 | * @param __hi Pointer to end of range. |
244 | * @return @a __hi. |
245 | */ |
246 | const char_type* |
247 | toupper(char_type *__lo, const char_type* __hi) const |
248 | { return this->do_toupper(__lo, __hi); } |
249 | |
250 | /** |
251 | * @brief Convert to lowercase. |
252 | * |
253 | * This function converts the argument to lowercase if possible. If |
254 | * not possible (for example, '2'), returns the argument. It does so |
255 | * by returning ctype<char_type>::do_tolower(c). |
256 | * |
257 | * @param __c The char_type to convert. |
258 | * @return The lowercase char_type if convertible, else @a __c. |
259 | */ |
260 | char_type |
261 | tolower(char_type __c) const |
262 | { return this->do_tolower(__c); } |
263 | |
264 | /** |
265 | * @brief Convert array to lowercase. |
266 | * |
267 | * This function converts each char_type in the range [__lo,__hi) to |
268 | * lowercase if possible. Other elements remain untouched. It does so |
269 | * by returning ctype<char_type>:: do_tolower(__lo, __hi). |
270 | * |
271 | * @param __lo Pointer to start of range. |
272 | * @param __hi Pointer to end of range. |
273 | * @return @a __hi. |
274 | */ |
275 | const char_type* |
276 | tolower(char_type* __lo, const char_type* __hi) const |
277 | { return this->do_tolower(__lo, __hi); } |
278 | |
279 | /** |
280 | * @brief Widen char to char_type |
281 | * |
282 | * This function converts the char argument to char_type using the |
283 | * simplest reasonable transformation. It does so by returning |
284 | * ctype<char_type>::do_widen(c). |
285 | * |
286 | * Note: this is not what you want for codepage conversions. See |
287 | * codecvt for that. |
288 | * |
289 | * @param __c The char to convert. |
290 | * @return The converted char_type. |
291 | */ |
292 | char_type |
293 | widen(char __c) const |
294 | { return this->do_widen(__c); } |
295 | |
296 | /** |
297 | * @brief Widen array to char_type |
298 | * |
299 | * This function converts each char in the input to char_type using the |
300 | * simplest reasonable transformation. It does so by returning |
301 | * ctype<char_type>::do_widen(c). |
302 | * |
303 | * Note: this is not what you want for codepage conversions. See |
304 | * codecvt for that. |
305 | * |
306 | * @param __lo Pointer to start of range. |
307 | * @param __hi Pointer to end of range. |
308 | * @param __to Pointer to the destination array. |
309 | * @return @a __hi. |
310 | */ |
311 | const char* |
312 | widen(const char* __lo, const char* __hi, char_type* __to) const |
313 | { return this->do_widen(__lo, __hi, __to); } |
314 | |
315 | /** |
316 | * @brief Narrow char_type to char |
317 | * |
318 | * This function converts the char_type to char using the simplest |
319 | * reasonable transformation. If the conversion fails, dfault is |
320 | * returned instead. It does so by returning |
321 | * ctype<char_type>::do_narrow(__c). |
322 | * |
323 | * Note: this is not what you want for codepage conversions. See |
324 | * codecvt for that. |
325 | * |
326 | * @param __c The char_type to convert. |
327 | * @param __dfault Char to return if conversion fails. |
328 | * @return The converted char. |
329 | */ |
330 | char |
331 | narrow(char_type __c, char __dfault) const |
332 | { return this->do_narrow(__c, __dfault); } |
333 | |
334 | /** |
335 | * @brief Narrow array to char array |
336 | * |
337 | * This function converts each char_type in the input to char using the |
338 | * simplest reasonable transformation and writes the results to the |
339 | * destination array. For any char_type in the input that cannot be |
340 | * converted, @a dfault is used instead. It does so by returning |
341 | * ctype<char_type>::do_narrow(__lo, __hi, __dfault, __to). |
342 | * |
343 | * Note: this is not what you want for codepage conversions. See |
344 | * codecvt for that. |
345 | * |
346 | * @param __lo Pointer to start of range. |
347 | * @param __hi Pointer to end of range. |
348 | * @param __dfault Char to use if conversion fails. |
349 | * @param __to Pointer to the destination array. |
350 | * @return @a __hi. |
351 | */ |
352 | const char_type* |
353 | narrow(const char_type* __lo, const char_type* __hi, |
354 | char __dfault, char* __to) const |
355 | { return this->do_narrow(__lo, __hi, __dfault, __to); } |
356 | |
357 | protected: |
358 | explicit |
359 | __ctype_abstract_base(size_t __refs = 0): facet(__refs) { } |
360 | |
361 | virtual |
362 | ~__ctype_abstract_base() { } |
363 | |
364 | /** |
365 | * @brief Test char_type classification. |
366 | * |
367 | * This function finds a mask M for @a c and compares it to mask @a m. |
368 | * |
369 | * do_is() is a hook for a derived facet to change the behavior of |
370 | * classifying. do_is() must always return the same result for the |
371 | * same input. |
372 | * |
373 | * @param __c The char_type to find the mask of. |
374 | * @param __m The mask to compare against. |
375 | * @return (M & __m) != 0. |
376 | */ |
377 | virtual bool |
378 | do_is(mask __m, char_type __c) const = 0; |
379 | |
380 | /** |
381 | * @brief Return a mask array. |
382 | * |
383 | * This function finds the mask for each char_type in the range [lo,hi) |
384 | * and successively writes it to vec. vec must have as many elements |
385 | * as the input. |
386 | * |
387 | * do_is() is a hook for a derived facet to change the behavior of |
388 | * classifying. do_is() must always return the same result for the |
389 | * same input. |
390 | * |
391 | * @param __lo Pointer to start of range. |
392 | * @param __hi Pointer to end of range. |
393 | * @param __vec Pointer to an array of mask storage. |
394 | * @return @a __hi. |
395 | */ |
396 | virtual const char_type* |
397 | do_is(const char_type* __lo, const char_type* __hi, |
398 | mask* __vec) const = 0; |
399 | |
400 | /** |
401 | * @brief Find char_type matching mask |
402 | * |
403 | * This function searches for and returns the first char_type c in |
404 | * [__lo,__hi) for which is(__m,c) is true. |
405 | * |
406 | * do_scan_is() is a hook for a derived facet to change the behavior of |
407 | * match searching. do_is() must always return the same result for the |
408 | * same input. |
409 | * |
410 | * @param __m The mask to compare against. |
411 | * @param __lo Pointer to start of range. |
412 | * @param __hi Pointer to end of range. |
413 | * @return Pointer to a matching char_type if found, else @a __hi. |
414 | */ |
415 | virtual const char_type* |
416 | do_scan_is(mask __m, const char_type* __lo, |
417 | const char_type* __hi) const = 0; |
418 | |
419 | /** |
420 | * @brief Find char_type not matching mask |
421 | * |
422 | * This function searches for and returns a pointer to the first |
423 | * char_type c of [lo,hi) for which is(m,c) is false. |
424 | * |
425 | * do_scan_is() is a hook for a derived facet to change the behavior of |
426 | * match searching. do_is() must always return the same result for the |
427 | * same input. |
428 | * |
429 | * @param __m The mask to compare against. |
430 | * @param __lo Pointer to start of range. |
431 | * @param __hi Pointer to end of range. |
432 | * @return Pointer to a non-matching char_type if found, else @a __hi. |
433 | */ |
434 | virtual const char_type* |
435 | do_scan_not(mask __m, const char_type* __lo, |
436 | const char_type* __hi) const = 0; |
437 | |
438 | /** |
439 | * @brief Convert to uppercase. |
440 | * |
441 | * This virtual function converts the char_type argument to uppercase |
442 | * if possible. If not possible (for example, '2'), returns the |
443 | * argument. |
444 | * |
445 | * do_toupper() is a hook for a derived facet to change the behavior of |
446 | * uppercasing. do_toupper() must always return the same result for |
447 | * the same input. |
448 | * |
449 | * @param __c The char_type to convert. |
450 | * @return The uppercase char_type if convertible, else @a __c. |
451 | */ |
452 | virtual char_type |
453 | do_toupper(char_type __c) const = 0; |
454 | |
455 | /** |
456 | * @brief Convert array to uppercase. |
457 | * |
458 | * This virtual function converts each char_type in the range [__lo,__hi) |
459 | * to uppercase if possible. Other elements remain untouched. |
460 | * |
461 | * do_toupper() is a hook for a derived facet to change the behavior of |
462 | * uppercasing. do_toupper() must always return the same result for |
463 | * the same input. |
464 | * |
465 | * @param __lo Pointer to start of range. |
466 | * @param __hi Pointer to end of range. |
467 | * @return @a __hi. |
468 | */ |
469 | virtual const char_type* |
470 | do_toupper(char_type* __lo, const char_type* __hi) const = 0; |
471 | |
472 | /** |
473 | * @brief Convert to lowercase. |
474 | * |
475 | * This virtual function converts the argument to lowercase if |
476 | * possible. If not possible (for example, '2'), returns the argument. |
477 | * |
478 | * do_tolower() is a hook for a derived facet to change the behavior of |
479 | * lowercasing. do_tolower() must always return the same result for |
480 | * the same input. |
481 | * |
482 | * @param __c The char_type to convert. |
483 | * @return The lowercase char_type if convertible, else @a __c. |
484 | */ |
485 | virtual char_type |
486 | do_tolower(char_type __c) const = 0; |
487 | |
488 | /** |
489 | * @brief Convert array to lowercase. |
490 | * |
491 | * This virtual function converts each char_type in the range [__lo,__hi) |
492 | * to lowercase if possible. Other elements remain untouched. |
493 | * |
494 | * do_tolower() is a hook for a derived facet to change the behavior of |
495 | * lowercasing. do_tolower() must always return the same result for |
496 | * the same input. |
497 | * |
498 | * @param __lo Pointer to start of range. |
499 | * @param __hi Pointer to end of range. |
500 | * @return @a __hi. |
501 | */ |
502 | virtual const char_type* |
503 | do_tolower(char_type* __lo, const char_type* __hi) const = 0; |
504 | |
505 | /** |
506 | * @brief Widen char |
507 | * |
508 | * This virtual function converts the char to char_type using the |
509 | * simplest reasonable transformation. |
510 | * |
511 | * do_widen() is a hook for a derived facet to change the behavior of |
512 | * widening. do_widen() must always return the same result for the |
513 | * same input. |
514 | * |
515 | * Note: this is not what you want for codepage conversions. See |
516 | * codecvt for that. |
517 | * |
518 | * @param __c The char to convert. |
519 | * @return The converted char_type |
520 | */ |
521 | virtual char_type |
522 | do_widen(char __c) const = 0; |
523 | |
524 | /** |
525 | * @brief Widen char array |
526 | * |
527 | * This function converts each char in the input to char_type using the |
528 | * simplest reasonable transformation. |
529 | * |
530 | * do_widen() is a hook for a derived facet to change the behavior of |
531 | * widening. do_widen() must always return the same result for the |
532 | * same input. |
533 | * |
534 | * Note: this is not what you want for codepage conversions. See |
535 | * codecvt for that. |
536 | * |
537 | * @param __lo Pointer to start range. |
538 | * @param __hi Pointer to end of range. |
539 | * @param __to Pointer to the destination array. |
540 | * @return @a __hi. |
541 | */ |
542 | virtual const char* |
543 | do_widen(const char* __lo, const char* __hi, char_type* __to) const = 0; |
544 | |
545 | /** |
546 | * @brief Narrow char_type to char |
547 | * |
548 | * This virtual function converts the argument to char using the |
549 | * simplest reasonable transformation. If the conversion fails, dfault |
550 | * is returned instead. |
551 | * |
552 | * do_narrow() is a hook for a derived facet to change the behavior of |
553 | * narrowing. do_narrow() must always return the same result for the |
554 | * same input. |
555 | * |
556 | * Note: this is not what you want for codepage conversions. See |
557 | * codecvt for that. |
558 | * |
559 | * @param __c The char_type to convert. |
560 | * @param __dfault Char to return if conversion fails. |
561 | * @return The converted char. |
562 | */ |
563 | virtual char |
564 | do_narrow(char_type __c, char __dfault) const = 0; |
565 | |
566 | /** |
567 | * @brief Narrow char_type array to char |
568 | * |
569 | * This virtual function converts each char_type in the range |
570 | * [__lo,__hi) to char using the simplest reasonable |
571 | * transformation and writes the results to the destination |
572 | * array. For any element in the input that cannot be |
573 | * converted, @a __dfault is used instead. |
574 | * |
575 | * do_narrow() is a hook for a derived facet to change the behavior of |
576 | * narrowing. do_narrow() must always return the same result for the |
577 | * same input. |
578 | * |
579 | * Note: this is not what you want for codepage conversions. See |
580 | * codecvt for that. |
581 | * |
582 | * @param __lo Pointer to start of range. |
583 | * @param __hi Pointer to end of range. |
584 | * @param __dfault Char to use if conversion fails. |
585 | * @param __to Pointer to the destination array. |
586 | * @return @a __hi. |
587 | */ |
588 | virtual const char_type* |
589 | do_narrow(const char_type* __lo, const char_type* __hi, |
590 | char __dfault, char* __to) const = 0; |
591 | }; |
592 | |
593 | /** |
594 | * @brief Primary class template ctype facet. |
595 | * @ingroup locales |
596 | * |
597 | * This template class defines classification and conversion functions for |
598 | * character sets. It wraps cctype functionality. Ctype gets used by |
599 | * streams for many I/O operations. |
600 | * |
601 | * This template provides the protected virtual functions the developer |
602 | * will have to replace in a derived class or specialization to make a |
603 | * working facet. The public functions that access them are defined in |
604 | * __ctype_abstract_base, to allow for implementation flexibility. See |
605 | * ctype<wchar_t> for an example. The functions are documented in |
606 | * __ctype_abstract_base. |
607 | * |
608 | * Note: implementations are provided for all the protected virtual |
609 | * functions, but will likely not be useful. |
610 | */ |
611 | template<typename _CharT> |
612 | class ctype : public __ctype_abstract_base<_CharT> |
613 | { |
614 | public: |
615 | // Types: |
616 | typedef _CharT char_type; |
617 | typedef typename __ctype_abstract_base<_CharT>::mask mask; |
618 | |
619 | /// The facet id for ctype<char_type> |
620 | static locale::id id; |
621 | |
622 | explicit |
623 | ctype(size_t __refs = 0) : __ctype_abstract_base<_CharT>(__refs) { } |
624 | |
625 | protected: |
626 | virtual |
627 | ~ctype(); |
628 | |
629 | virtual bool |
630 | do_is(mask __m, char_type __c) const; |
631 | |
632 | virtual const char_type* |
633 | do_is(const char_type* __lo, const char_type* __hi, mask* __vec) const; |
634 | |
635 | virtual const char_type* |
636 | do_scan_is(mask __m, const char_type* __lo, const char_type* __hi) const; |
637 | |
638 | virtual const char_type* |
639 | do_scan_not(mask __m, const char_type* __lo, |
640 | const char_type* __hi) const; |
641 | |
642 | virtual char_type |
643 | do_toupper(char_type __c) const; |
644 | |
645 | virtual const char_type* |
646 | do_toupper(char_type* __lo, const char_type* __hi) const; |
647 | |
648 | virtual char_type |
649 | do_tolower(char_type __c) const; |
650 | |
651 | virtual const char_type* |
652 | do_tolower(char_type* __lo, const char_type* __hi) const; |
653 | |
654 | virtual char_type |
655 | do_widen(char __c) const; |
656 | |
657 | virtual const char* |
658 | do_widen(const char* __lo, const char* __hi, char_type* __dest) const; |
659 | |
660 | virtual char |
661 | do_narrow(char_type, char __dfault) const; |
662 | |
663 | virtual const char_type* |
664 | do_narrow(const char_type* __lo, const char_type* __hi, |
665 | char __dfault, char* __to) const; |
666 | }; |
667 | |
668 | template<typename _CharT> |
669 | locale::id ctype<_CharT>::id; |
670 | |
671 | /** |
672 | * @brief The ctype<char> specialization. |
673 | * @ingroup locales |
674 | * |
675 | * This class defines classification and conversion functions for |
676 | * the char type. It gets used by char streams for many I/O |
677 | * operations. The char specialization provides a number of |
678 | * optimizations as well. |
679 | */ |
680 | template<> |
681 | class ctype<char> : public locale::facet, public ctype_base |
682 | { |
683 | public: |
684 | // Types: |
685 | /// Typedef for the template parameter char. |
686 | typedef char char_type; |
687 | |
688 | protected: |
689 | // Data Members: |
690 | __c_locale _M_c_locale_ctype; |
691 | bool _M_del; |
692 | __to_type _M_toupper; |
693 | __to_type _M_tolower; |
694 | const mask* _M_table; |
695 | mutable char _M_widen_ok; |
696 | mutable char _M_widen[1 + static_cast<unsigned char>(-1)]; |
697 | mutable char _M_narrow[1 + static_cast<unsigned char>(-1)]; |
698 | mutable char _M_narrow_ok; // 0 uninitialized, 1 init, |
699 | // 2 memcpy can't be used |
700 | |
701 | public: |
702 | /// The facet id for ctype<char> |
703 | static locale::id id; |
704 | /// The size of the mask table. It is SCHAR_MAX + 1. |
705 | static const size_t table_size = 1 + static_cast<unsigned char>(-1); |
706 | |
707 | /** |
708 | * @brief Constructor performs initialization. |
709 | * |
710 | * This is the constructor provided by the standard. |
711 | * |
712 | * @param __table If non-zero, table is used as the per-char mask. |
713 | * Else classic_table() is used. |
714 | * @param __del If true, passes ownership of table to this facet. |
715 | * @param __refs Passed to the base facet class. |
716 | */ |
717 | explicit |
718 | ctype(const mask* __table = 0, bool __del = false, size_t __refs = 0); |
719 | |
720 | /** |
721 | * @brief Constructor performs static initialization. |
722 | * |
723 | * This constructor is used to construct the initial C locale facet. |
724 | * |
725 | * @param __cloc Handle to C locale data. |
726 | * @param __table If non-zero, table is used as the per-char mask. |
727 | * @param __del If true, passes ownership of table to this facet. |
728 | * @param __refs Passed to the base facet class. |
729 | */ |
730 | explicit |
731 | ctype(__c_locale __cloc, const mask* __table = 0, bool __del = false, |
732 | size_t __refs = 0); |
733 | |
734 | /** |
735 | * @brief Test char classification. |
736 | * |
737 | * This function compares the mask table[c] to @a __m. |
738 | * |
739 | * @param __c The char to compare the mask of. |
740 | * @param __m The mask to compare against. |
741 | * @return True if __m & table[__c] is true, false otherwise. |
742 | */ |
743 | inline bool |
744 | is(mask __m, char __c) const; |
745 | |
746 | /** |
747 | * @brief Return a mask array. |
748 | * |
749 | * This function finds the mask for each char in the range [lo, hi) and |
750 | * successively writes it to vec. vec must have as many elements as |
751 | * the char array. |
752 | * |
753 | * @param __lo Pointer to start of range. |
754 | * @param __hi Pointer to end of range. |
755 | * @param __vec Pointer to an array of mask storage. |
756 | * @return @a __hi. |
757 | */ |
758 | inline const char* |
759 | is(const char* __lo, const char* __hi, mask* __vec) const; |
760 | |
761 | /** |
762 | * @brief Find char matching a mask |
763 | * |
764 | * This function searches for and returns the first char in [lo,hi) for |
765 | * which is(m,char) is true. |
766 | * |
767 | * @param __m The mask to compare against. |
768 | * @param __lo Pointer to start of range. |
769 | * @param __hi Pointer to end of range. |
770 | * @return Pointer to a matching char if found, else @a __hi. |
771 | */ |
772 | inline const char* |
773 | scan_is(mask __m, const char* __lo, const char* __hi) const; |
774 | |
775 | /** |
776 | * @brief Find char not matching a mask |
777 | * |
778 | * This function searches for and returns a pointer to the first char |
779 | * in [__lo,__hi) for which is(m,char) is false. |
780 | * |
781 | * @param __m The mask to compare against. |
782 | * @param __lo Pointer to start of range. |
783 | * @param __hi Pointer to end of range. |
784 | * @return Pointer to a non-matching char if found, else @a __hi. |
785 | */ |
786 | inline const char* |
787 | scan_not(mask __m, const char* __lo, const char* __hi) const; |
788 | |
789 | /** |
790 | * @brief Convert to uppercase. |
791 | * |
792 | * This function converts the char argument to uppercase if possible. |
793 | * If not possible (for example, '2'), returns the argument. |
794 | * |
795 | * toupper() acts as if it returns ctype<char>::do_toupper(c). |
796 | * do_toupper() must always return the same result for the same input. |
797 | * |
798 | * @param __c The char to convert. |
799 | * @return The uppercase char if convertible, else @a __c. |
800 | */ |
801 | char_type |
802 | toupper(char_type __c) const |
803 | { return this->do_toupper(__c); } |
804 | |
805 | /** |
806 | * @brief Convert array to uppercase. |
807 | * |
808 | * This function converts each char in the range [__lo,__hi) to uppercase |
809 | * if possible. Other chars remain untouched. |
810 | * |
811 | * toupper() acts as if it returns ctype<char>:: do_toupper(__lo, __hi). |
812 | * do_toupper() must always return the same result for the same input. |
813 | * |
814 | * @param __lo Pointer to first char in range. |
815 | * @param __hi Pointer to end of range. |
816 | * @return @a __hi. |
817 | */ |
818 | const char_type* |
819 | toupper(char_type *__lo, const char_type* __hi) const |
820 | { return this->do_toupper(__lo, __hi); } |
821 | |
822 | /** |
823 | * @brief Convert to lowercase. |
824 | * |
825 | * This function converts the char argument to lowercase if possible. |
826 | * If not possible (for example, '2'), returns the argument. |
827 | * |
828 | * tolower() acts as if it returns ctype<char>::do_tolower(__c). |
829 | * do_tolower() must always return the same result for the same input. |
830 | * |
831 | * @param __c The char to convert. |
832 | * @return The lowercase char if convertible, else @a __c. |
833 | */ |
834 | char_type |
835 | tolower(char_type __c) const |
836 | { return this->do_tolower(__c); } |
837 | |
838 | /** |
839 | * @brief Convert array to lowercase. |
840 | * |
841 | * This function converts each char in the range [lo,hi) to lowercase |
842 | * if possible. Other chars remain untouched. |
843 | * |
844 | * tolower() acts as if it returns ctype<char>:: do_tolower(__lo, __hi). |
845 | * do_tolower() must always return the same result for the same input. |
846 | * |
847 | * @param __lo Pointer to first char in range. |
848 | * @param __hi Pointer to end of range. |
849 | * @return @a __hi. |
850 | */ |
851 | const char_type* |
852 | tolower(char_type* __lo, const char_type* __hi) const |
853 | { return this->do_tolower(__lo, __hi); } |
854 | |
855 | /** |
856 | * @brief Widen char |
857 | * |
858 | * This function converts the char to char_type using the simplest |
859 | * reasonable transformation. For an underived ctype<char> facet, the |
860 | * argument will be returned unchanged. |
861 | * |
862 | * This function works as if it returns ctype<char>::do_widen(c). |
863 | * do_widen() must always return the same result for the same input. |
864 | * |
865 | * Note: this is not what you want for codepage conversions. See |
866 | * codecvt for that. |
867 | * |
868 | * @param __c The char to convert. |
869 | * @return The converted character. |
870 | */ |
871 | char_type |
872 | widen(char __c) const |
873 | { |
874 | if (_M_widen_ok) |
875 | return _M_widen[static_cast<unsigned char>(__c)]; |
876 | this->_M_widen_init(); |
877 | return this->do_widen(__c); |
878 | } |
879 | |
880 | /** |
881 | * @brief Widen char array |
882 | * |
883 | * This function converts each char in the input to char using the |
884 | * simplest reasonable transformation. For an underived ctype<char> |
885 | * facet, the argument will be copied unchanged. |
886 | * |
887 | * This function works as if it returns ctype<char>::do_widen(c). |
888 | * do_widen() must always return the same result for the same input. |
889 | * |
890 | * Note: this is not what you want for codepage conversions. See |
891 | * codecvt for that. |
892 | * |
893 | * @param __lo Pointer to first char in range. |
894 | * @param __hi Pointer to end of range. |
895 | * @param __to Pointer to the destination array. |
896 | * @return @a __hi. |
897 | */ |
898 | const char* |
899 | widen(const char* __lo, const char* __hi, char_type* __to) const |
900 | { |
901 | if (_M_widen_ok == 1) |
902 | { |
903 | __builtin_memcpy(__to, __lo, __hi - __lo); |
904 | return __hi; |
905 | } |
906 | if (!_M_widen_ok) |
907 | _M_widen_init(); |
908 | return this->do_widen(__lo, __hi, __to); |
909 | } |
910 | |
911 | /** |
912 | * @brief Narrow char |
913 | * |
914 | * This function converts the char to char using the simplest |
915 | * reasonable transformation. If the conversion fails, dfault is |
916 | * returned instead. For an underived ctype<char> facet, @a c |
917 | * will be returned unchanged. |
918 | * |
919 | * This function works as if it returns ctype<char>::do_narrow(c). |
920 | * do_narrow() must always return the same result for the same input. |
921 | * |
922 | * Note: this is not what you want for codepage conversions. See |
923 | * codecvt for that. |
924 | * |
925 | * @param __c The char to convert. |
926 | * @param __dfault Char to return if conversion fails. |
927 | * @return The converted character. |
928 | */ |
929 | char |
930 | narrow(char_type __c, char __dfault) const |
931 | { |
932 | if (_M_narrow[static_cast<unsigned char>(__c)]) |
933 | return _M_narrow[static_cast<unsigned char>(__c)]; |
934 | const char __t = do_narrow(__c, __dfault); |
935 | if (__t != __dfault) |
936 | _M_narrow[static_cast<unsigned char>(__c)] = __t; |
937 | return __t; |
938 | } |
939 | |
940 | /** |
941 | * @brief Narrow char array |
942 | * |
943 | * This function converts each char in the input to char using the |
944 | * simplest reasonable transformation and writes the results to the |
945 | * destination array. For any char in the input that cannot be |
946 | * converted, @a dfault is used instead. For an underived ctype<char> |
947 | * facet, the argument will be copied unchanged. |
948 | * |
949 | * This function works as if it returns ctype<char>::do_narrow(lo, hi, |
950 | * dfault, to). do_narrow() must always return the same result for the |
951 | * same input. |
952 | * |
953 | * Note: this is not what you want for codepage conversions. See |
954 | * codecvt for that. |
955 | * |
956 | * @param __lo Pointer to start of range. |
957 | * @param __hi Pointer to end of range. |
958 | * @param __dfault Char to use if conversion fails. |
959 | * @param __to Pointer to the destination array. |
960 | * @return @a __hi. |
961 | */ |
962 | const char_type* |
963 | narrow(const char_type* __lo, const char_type* __hi, |
964 | char __dfault, char* __to) const |
965 | { |
966 | if (__builtin_expect(_M_narrow_ok == 1, true)) |
967 | { |
968 | __builtin_memcpy(__to, __lo, __hi - __lo); |
969 | return __hi; |
970 | } |
971 | if (!_M_narrow_ok) |
972 | _M_narrow_init(); |
973 | return this->do_narrow(__lo, __hi, __dfault, __to); |
974 | } |
975 | |
976 | // _GLIBCXX_RESOLVE_LIB_DEFECTS |
977 | // DR 695. ctype<char>::classic_table() not accessible. |
978 | /// Returns a pointer to the mask table provided to the constructor, or |
979 | /// the default from classic_table() if none was provided. |
980 | const mask* |
981 | table() const throw() |
982 | { return _M_table; } |
983 | |
984 | /// Returns a pointer to the C locale mask table. |
985 | static const mask* |
986 | classic_table() throw(); |
987 | protected: |
988 | |
989 | /** |
990 | * @brief Destructor. |
991 | * |
992 | * This function deletes table() if @a del was true in the |
993 | * constructor. |
994 | */ |
995 | virtual |
996 | ~ctype(); |
997 | |
998 | /** |
999 | * @brief Convert to uppercase. |
1000 | * |
1001 | * This virtual function converts the char argument to uppercase if |
1002 | * possible. If not possible (for example, '2'), returns the argument. |
1003 | * |
1004 | * do_toupper() is a hook for a derived facet to change the behavior of |
1005 | * uppercasing. do_toupper() must always return the same result for |
1006 | * the same input. |
1007 | * |
1008 | * @param __c The char to convert. |
1009 | * @return The uppercase char if convertible, else @a __c. |
1010 | */ |
1011 | virtual char_type |
1012 | do_toupper(char_type __c) const; |
1013 | |
1014 | /** |
1015 | * @brief Convert array to uppercase. |
1016 | * |
1017 | * This virtual function converts each char in the range [lo,hi) to |
1018 | * uppercase if possible. Other chars remain untouched. |
1019 | * |
1020 | * do_toupper() is a hook for a derived facet to change the behavior of |
1021 | * uppercasing. do_toupper() must always return the same result for |
1022 | * the same input. |
1023 | * |
1024 | * @param __lo Pointer to start of range. |
1025 | * @param __hi Pointer to end of range. |
1026 | * @return @a __hi. |
1027 | */ |
1028 | virtual const char_type* |
1029 | do_toupper(char_type* __lo, const char_type* __hi) const; |
1030 | |
1031 | /** |
1032 | * @brief Convert to lowercase. |
1033 | * |
1034 | * This virtual function converts the char argument to lowercase if |
1035 | * possible. If not possible (for example, '2'), returns the argument. |
1036 | * |
1037 | * do_tolower() is a hook for a derived facet to change the behavior of |
1038 | * lowercasing. do_tolower() must always return the same result for |
1039 | * the same input. |
1040 | * |
1041 | * @param __c The char to convert. |
1042 | * @return The lowercase char if convertible, else @a __c. |
1043 | */ |
1044 | virtual char_type |
1045 | do_tolower(char_type __c) const; |
1046 | |
1047 | /** |
1048 | * @brief Convert array to lowercase. |
1049 | * |
1050 | * This virtual function converts each char in the range [lo,hi) to |
1051 | * lowercase if possible. Other chars remain untouched. |
1052 | * |
1053 | * do_tolower() is a hook for a derived facet to change the behavior of |
1054 | * lowercasing. do_tolower() must always return the same result for |
1055 | * the same input. |
1056 | * |
1057 | * @param __lo Pointer to first char in range. |
1058 | * @param __hi Pointer to end of range. |
1059 | * @return @a __hi. |
1060 | */ |
1061 | virtual const char_type* |
1062 | do_tolower(char_type* __lo, const char_type* __hi) const; |
1063 | |
1064 | /** |
1065 | * @brief Widen char |
1066 | * |
1067 | * This virtual function converts the char to char using the simplest |
1068 | * reasonable transformation. For an underived ctype<char> facet, the |
1069 | * argument will be returned unchanged. |
1070 | * |
1071 | * do_widen() is a hook for a derived facet to change the behavior of |
1072 | * widening. do_widen() must always return the same result for the |
1073 | * same input. |
1074 | * |
1075 | * Note: this is not what you want for codepage conversions. See |
1076 | * codecvt for that. |
1077 | * |
1078 | * @param __c The char to convert. |
1079 | * @return The converted character. |
1080 | */ |
1081 | virtual char_type |
1082 | do_widen(char __c) const |
1083 | { return __c; } |
1084 | |
1085 | /** |
1086 | * @brief Widen char array |
1087 | * |
1088 | * This function converts each char in the range [lo,hi) to char using |
1089 | * the simplest reasonable transformation. For an underived |
1090 | * ctype<char> facet, the argument will be copied unchanged. |
1091 | * |
1092 | * do_widen() is a hook for a derived facet to change the behavior of |
1093 | * widening. do_widen() must always return the same result for the |
1094 | * same input. |
1095 | * |
1096 | * Note: this is not what you want for codepage conversions. See |
1097 | * codecvt for that. |
1098 | * |
1099 | * @param __lo Pointer to start of range. |
1100 | * @param __hi Pointer to end of range. |
1101 | * @param __to Pointer to the destination array. |
1102 | * @return @a __hi. |
1103 | */ |
1104 | virtual const char* |
1105 | do_widen(const char* __lo, const char* __hi, char_type* __to) const |
1106 | { |
1107 | __builtin_memcpy(__to, __lo, __hi - __lo); |
1108 | return __hi; |
1109 | } |
1110 | |
1111 | /** |
1112 | * @brief Narrow char |
1113 | * |
1114 | * This virtual function converts the char to char using the simplest |
1115 | * reasonable transformation. If the conversion fails, dfault is |
1116 | * returned instead. For an underived ctype<char> facet, @a c will be |
1117 | * returned unchanged. |
1118 | * |
1119 | * do_narrow() is a hook for a derived facet to change the behavior of |
1120 | * narrowing. do_narrow() must always return the same result for the |
1121 | * same input. |
1122 | * |
1123 | * Note: this is not what you want for codepage conversions. See |
1124 | * codecvt for that. |
1125 | * |
1126 | * @param __c The char to convert. |
1127 | * @param __dfault Char to return if conversion fails. |
1128 | * @return The converted char. |
1129 | */ |
1130 | virtual char |
1131 | do_narrow(char_type __c, char __dfault __attribute__((__unused__))) const |
1132 | { return __c; } |
1133 | |
1134 | /** |
1135 | * @brief Narrow char array to char array |
1136 | * |
1137 | * This virtual function converts each char in the range [lo,hi) to |
1138 | * char using the simplest reasonable transformation and writes the |
1139 | * results to the destination array. For any char in the input that |
1140 | * cannot be converted, @a dfault is used instead. For an underived |
1141 | * ctype<char> facet, the argument will be copied unchanged. |
1142 | * |
1143 | * do_narrow() is a hook for a derived facet to change the behavior of |
1144 | * narrowing. do_narrow() must always return the same result for the |
1145 | * same input. |
1146 | * |
1147 | * Note: this is not what you want for codepage conversions. See |
1148 | * codecvt for that. |
1149 | * |
1150 | * @param __lo Pointer to start of range. |
1151 | * @param __hi Pointer to end of range. |
1152 | * @param __dfault Char to use if conversion fails. |
1153 | * @param __to Pointer to the destination array. |
1154 | * @return @a __hi. |
1155 | */ |
1156 | virtual const char_type* |
1157 | do_narrow(const char_type* __lo, const char_type* __hi, |
1158 | char __dfault __attribute__((__unused__)), char* __to) const |
1159 | { |
1160 | __builtin_memcpy(__to, __lo, __hi - __lo); |
1161 | return __hi; |
1162 | } |
1163 | |
1164 | private: |
1165 | void _M_narrow_init() const; |
1166 | void _M_widen_init() const; |
1167 | }; |
1168 | |
1169 | #ifdef _GLIBCXX_USE_WCHAR_T |
1170 | /** |
1171 | * @brief The ctype<wchar_t> specialization. |
1172 | * @ingroup locales |
1173 | * |
1174 | * This class defines classification and conversion functions for the |
1175 | * wchar_t type. It gets used by wchar_t streams for many I/O operations. |
1176 | * The wchar_t specialization provides a number of optimizations as well. |
1177 | * |
1178 | * ctype<wchar_t> inherits its public methods from |
1179 | * __ctype_abstract_base<wchar_t>. |
1180 | */ |
1181 | template<> |
1182 | class ctype<wchar_t> : public __ctype_abstract_base<wchar_t> |
1183 | { |
1184 | public: |
1185 | // Types: |
1186 | /// Typedef for the template parameter wchar_t. |
1187 | typedef wchar_t char_type; |
1188 | typedef wctype_t __wmask_type; |
1189 | |
1190 | protected: |
1191 | __c_locale _M_c_locale_ctype; |
1192 | |
1193 | // Pre-computed narrowed and widened chars. |
1194 | bool _M_narrow_ok; |
1195 | char _M_narrow[128]; |
1196 | wint_t _M_widen[1 + static_cast<unsigned char>(-1)]; |
1197 | |
1198 | // Pre-computed elements for do_is. |
1199 | mask _M_bit[16]; |
1200 | __wmask_type _M_wmask[16]; |
1201 | |
1202 | public: |
1203 | // Data Members: |
1204 | /// The facet id for ctype<wchar_t> |
1205 | static locale::id id; |
1206 | |
1207 | /** |
1208 | * @brief Constructor performs initialization. |
1209 | * |
1210 | * This is the constructor provided by the standard. |
1211 | * |
1212 | * @param __refs Passed to the base facet class. |
1213 | */ |
1214 | explicit |
1215 | ctype(size_t __refs = 0); |
1216 | |
1217 | /** |
1218 | * @brief Constructor performs static initialization. |
1219 | * |
1220 | * This constructor is used to construct the initial C locale facet. |
1221 | * |
1222 | * @param __cloc Handle to C locale data. |
1223 | * @param __refs Passed to the base facet class. |
1224 | */ |
1225 | explicit |
1226 | ctype(__c_locale __cloc, size_t __refs = 0); |
1227 | |
1228 | protected: |
1229 | __wmask_type |
1230 | _M_convert_to_wmask(const mask __m) const throw(); |
1231 | |
1232 | /// Destructor |
1233 | virtual |
1234 | ~ctype(); |
1235 | |
1236 | /** |
1237 | * @brief Test wchar_t classification. |
1238 | * |
1239 | * This function finds a mask M for @a c and compares it to mask @a m. |
1240 | * |
1241 | * do_is() is a hook for a derived facet to change the behavior of |
1242 | * classifying. do_is() must always return the same result for the |
1243 | * same input. |
1244 | * |
1245 | * @param __c The wchar_t to find the mask of. |
1246 | * @param __m The mask to compare against. |
1247 | * @return (M & __m) != 0. |
1248 | */ |
1249 | virtual bool |
1250 | do_is(mask __m, char_type __c) const; |
1251 | |
1252 | /** |
1253 | * @brief Return a mask array. |
1254 | * |
1255 | * This function finds the mask for each wchar_t in the range [lo,hi) |
1256 | * and successively writes it to vec. vec must have as many elements |
1257 | * as the input. |
1258 | * |
1259 | * do_is() is a hook for a derived facet to change the behavior of |
1260 | * classifying. do_is() must always return the same result for the |
1261 | * same input. |
1262 | * |
1263 | * @param __lo Pointer to start of range. |
1264 | * @param __hi Pointer to end of range. |
1265 | * @param __vec Pointer to an array of mask storage. |
1266 | * @return @a __hi. |
1267 | */ |
1268 | virtual const char_type* |
1269 | do_is(const char_type* __lo, const char_type* __hi, mask* __vec) const; |
1270 | |
1271 | /** |
1272 | * @brief Find wchar_t matching mask |
1273 | * |
1274 | * This function searches for and returns the first wchar_t c in |
1275 | * [__lo,__hi) for which is(__m,c) is true. |
1276 | * |
1277 | * do_scan_is() is a hook for a derived facet to change the behavior of |
1278 | * match searching. do_is() must always return the same result for the |
1279 | * same input. |
1280 | * |
1281 | * @param __m The mask to compare against. |
1282 | * @param __lo Pointer to start of range. |
1283 | * @param __hi Pointer to end of range. |
1284 | * @return Pointer to a matching wchar_t if found, else @a __hi. |
1285 | */ |
1286 | virtual const char_type* |
1287 | do_scan_is(mask __m, const char_type* __lo, const char_type* __hi) const; |
1288 | |
1289 | /** |
1290 | * @brief Find wchar_t not matching mask |
1291 | * |
1292 | * This function searches for and returns a pointer to the first |
1293 | * wchar_t c of [__lo,__hi) for which is(__m,c) is false. |
1294 | * |
1295 | * do_scan_is() is a hook for a derived facet to change the behavior of |
1296 | * match searching. do_is() must always return the same result for the |
1297 | * same input. |
1298 | * |
1299 | * @param __m The mask to compare against. |
1300 | * @param __lo Pointer to start of range. |
1301 | * @param __hi Pointer to end of range. |
1302 | * @return Pointer to a non-matching wchar_t if found, else @a __hi. |
1303 | */ |
1304 | virtual const char_type* |
1305 | do_scan_not(mask __m, const char_type* __lo, |
1306 | const char_type* __hi) const; |
1307 | |
1308 | /** |
1309 | * @brief Convert to uppercase. |
1310 | * |
1311 | * This virtual function converts the wchar_t argument to uppercase if |
1312 | * possible. If not possible (for example, '2'), returns the argument. |
1313 | * |
1314 | * do_toupper() is a hook for a derived facet to change the behavior of |
1315 | * uppercasing. do_toupper() must always return the same result for |
1316 | * the same input. |
1317 | * |
1318 | * @param __c The wchar_t to convert. |
1319 | * @return The uppercase wchar_t if convertible, else @a __c. |
1320 | */ |
1321 | virtual char_type |
1322 | do_toupper(char_type __c) const; |
1323 | |
1324 | /** |
1325 | * @brief Convert array to uppercase. |
1326 | * |
1327 | * This virtual function converts each wchar_t in the range [lo,hi) to |
1328 | * uppercase if possible. Other elements remain untouched. |
1329 | * |
1330 | * do_toupper() is a hook for a derived facet to change the behavior of |
1331 | * uppercasing. do_toupper() must always return the same result for |
1332 | * the same input. |
1333 | * |
1334 | * @param __lo Pointer to start of range. |
1335 | * @param __hi Pointer to end of range. |
1336 | * @return @a __hi. |
1337 | */ |
1338 | virtual const char_type* |
1339 | do_toupper(char_type* __lo, const char_type* __hi) const; |
1340 | |
1341 | /** |
1342 | * @brief Convert to lowercase. |
1343 | * |
1344 | * This virtual function converts the argument to lowercase if |
1345 | * possible. If not possible (for example, '2'), returns the argument. |
1346 | * |
1347 | * do_tolower() is a hook for a derived facet to change the behavior of |
1348 | * lowercasing. do_tolower() must always return the same result for |
1349 | * the same input. |
1350 | * |
1351 | * @param __c The wchar_t to convert. |
1352 | * @return The lowercase wchar_t if convertible, else @a __c. |
1353 | */ |
1354 | virtual char_type |
1355 | do_tolower(char_type __c) const; |
1356 | |
1357 | /** |
1358 | * @brief Convert array to lowercase. |
1359 | * |
1360 | * This virtual function converts each wchar_t in the range [lo,hi) to |
1361 | * lowercase if possible. Other elements remain untouched. |
1362 | * |
1363 | * do_tolower() is a hook for a derived facet to change the behavior of |
1364 | * lowercasing. do_tolower() must always return the same result for |
1365 | * the same input. |
1366 | * |
1367 | * @param __lo Pointer to start of range. |
1368 | * @param __hi Pointer to end of range. |
1369 | * @return @a __hi. |
1370 | */ |
1371 | virtual const char_type* |
1372 | do_tolower(char_type* __lo, const char_type* __hi) const; |
1373 | |
1374 | /** |
1375 | * @brief Widen char to wchar_t |
1376 | * |
1377 | * This virtual function converts the char to wchar_t using the |
1378 | * simplest reasonable transformation. For an underived ctype<wchar_t> |
1379 | * facet, the argument will be cast to wchar_t. |
1380 | * |
1381 | * do_widen() is a hook for a derived facet to change the behavior of |
1382 | * widening. do_widen() must always return the same result for the |
1383 | * same input. |
1384 | * |
1385 | * Note: this is not what you want for codepage conversions. See |
1386 | * codecvt for that. |
1387 | * |
1388 | * @param __c The char to convert. |
1389 | * @return The converted wchar_t. |
1390 | */ |
1391 | virtual char_type |
1392 | do_widen(char __c) const; |
1393 | |
1394 | /** |
1395 | * @brief Widen char array to wchar_t array |
1396 | * |
1397 | * This function converts each char in the input to wchar_t using the |
1398 | * simplest reasonable transformation. For an underived ctype<wchar_t> |
1399 | * facet, the argument will be copied, casting each element to wchar_t. |
1400 | * |
1401 | * do_widen() is a hook for a derived facet to change the behavior of |
1402 | * widening. do_widen() must always return the same result for the |
1403 | * same input. |
1404 | * |
1405 | * Note: this is not what you want for codepage conversions. See |
1406 | * codecvt for that. |
1407 | * |
1408 | * @param __lo Pointer to start range. |
1409 | * @param __hi Pointer to end of range. |
1410 | * @param __to Pointer to the destination array. |
1411 | * @return @a __hi. |
1412 | */ |
1413 | virtual const char* |
1414 | do_widen(const char* __lo, const char* __hi, char_type* __to) const; |
1415 | |
1416 | /** |
1417 | * @brief Narrow wchar_t to char |
1418 | * |
1419 | * This virtual function converts the argument to char using |
1420 | * the simplest reasonable transformation. If the conversion |
1421 | * fails, dfault is returned instead. For an underived |
1422 | * ctype<wchar_t> facet, @a c will be cast to char and |
1423 | * returned. |
1424 | * |
1425 | * do_narrow() is a hook for a derived facet to change the |
1426 | * behavior of narrowing. do_narrow() must always return the |
1427 | * same result for the same input. |
1428 | * |
1429 | * Note: this is not what you want for codepage conversions. See |
1430 | * codecvt for that. |
1431 | * |
1432 | * @param __c The wchar_t to convert. |
1433 | * @param __dfault Char to return if conversion fails. |
1434 | * @return The converted char. |
1435 | */ |
1436 | virtual char |
1437 | do_narrow(char_type __c, char __dfault) const; |
1438 | |
1439 | /** |
1440 | * @brief Narrow wchar_t array to char array |
1441 | * |
1442 | * This virtual function converts each wchar_t in the range [lo,hi) to |
1443 | * char using the simplest reasonable transformation and writes the |
1444 | * results to the destination array. For any wchar_t in the input that |
1445 | * cannot be converted, @a dfault is used instead. For an underived |
1446 | * ctype<wchar_t> facet, the argument will be copied, casting each |
1447 | * element to char. |
1448 | * |
1449 | * do_narrow() is a hook for a derived facet to change the behavior of |
1450 | * narrowing. do_narrow() must always return the same result for the |
1451 | * same input. |
1452 | * |
1453 | * Note: this is not what you want for codepage conversions. See |
1454 | * codecvt for that. |
1455 | * |
1456 | * @param __lo Pointer to start of range. |
1457 | * @param __hi Pointer to end of range. |
1458 | * @param __dfault Char to use if conversion fails. |
1459 | * @param __to Pointer to the destination array. |
1460 | * @return @a __hi. |
1461 | */ |
1462 | virtual const char_type* |
1463 | do_narrow(const char_type* __lo, const char_type* __hi, |
1464 | char __dfault, char* __to) const; |
1465 | |
1466 | // For use at construction time only. |
1467 | void |
1468 | _M_initialize_ctype() throw(); |
1469 | }; |
1470 | #endif //_GLIBCXX_USE_WCHAR_T |
1471 | |
1472 | /// class ctype_byname [22.2.1.2]. |
1473 | template<typename _CharT> |
1474 | class ctype_byname : public ctype<_CharT> |
1475 | { |
1476 | public: |
1477 | typedef typename ctype<_CharT>::mask mask; |
1478 | |
1479 | explicit |
1480 | ctype_byname(const char* __s, size_t __refs = 0); |
1481 | |
1482 | #if __cplusplus >= 201103L |
1483 | explicit |
1484 | ctype_byname(const string& __s, size_t __refs = 0) |
1485 | : ctype_byname(__s.c_str(), __refs) { } |
1486 | #endif |
1487 | |
1488 | protected: |
1489 | virtual |
1490 | ~ctype_byname() { }; |
1491 | }; |
1492 | |
1493 | /// 22.2.1.4 Class ctype_byname specializations. |
1494 | template<> |
1495 | class ctype_byname<char> : public ctype<char> |
1496 | { |
1497 | public: |
1498 | explicit |
1499 | ctype_byname(const char* __s, size_t __refs = 0); |
1500 | |
1501 | #if __cplusplus >= 201103L |
1502 | explicit |
1503 | ctype_byname(const string& __s, size_t __refs = 0); |
1504 | #endif |
1505 | |
1506 | protected: |
1507 | virtual |
1508 | ~ctype_byname(); |
1509 | }; |
1510 | |
1511 | #ifdef _GLIBCXX_USE_WCHAR_T |
1512 | template<> |
1513 | class ctype_byname<wchar_t> : public ctype<wchar_t> |
1514 | { |
1515 | public: |
1516 | explicit |
1517 | ctype_byname(const char* __s, size_t __refs = 0); |
1518 | |
1519 | #if __cplusplus >= 201103L |
1520 | explicit |
1521 | ctype_byname(const string& __s, size_t __refs = 0); |
1522 | #endif |
1523 | |
1524 | protected: |
1525 | virtual |
1526 | ~ctype_byname(); |
1527 | }; |
1528 | #endif |
1529 | |
1530 | _GLIBCXX_END_NAMESPACE_VERSION |
1531 | } // namespace |
1532 | |
1533 | // Include host and configuration specific ctype inlines. |
1534 | #include <bits/ctype_inline.h> |
1535 | |
1536 | namespace std _GLIBCXX_VISIBILITY(default) |
1537 | { |
1538 | _GLIBCXX_BEGIN_NAMESPACE_VERSION |
1539 | |
1540 | // 22.2.2 The numeric category. |
1541 | class __num_base |
1542 | { |
1543 | public: |
1544 | // NB: Code depends on the order of _S_atoms_out elements. |
1545 | // Below are the indices into _S_atoms_out. |
1546 | enum |
1547 | { |
1548 | _S_ominus, |
1549 | _S_oplus, |
1550 | _S_ox, |
1551 | _S_oX, |
1552 | _S_odigits, |
1553 | _S_odigits_end = _S_odigits + 16, |
1554 | _S_oudigits = _S_odigits_end, |
1555 | _S_oudigits_end = _S_oudigits + 16, |
1556 | _S_oe = _S_odigits + 14, // For scientific notation, 'e' |
1557 | _S_oE = _S_oudigits + 14, // For scientific notation, 'E' |
1558 | _S_oend = _S_oudigits_end |
1559 | }; |
1560 | |
1561 | // A list of valid numeric literals for output. This array |
1562 | // contains chars that will be passed through the current locale's |
1563 | // ctype<_CharT>.widen() and then used to render numbers. |
1564 | // For the standard "C" locale, this is |
1565 | // "-+xX0123456789abcdef0123456789ABCDEF". |
1566 | static const char* _S_atoms_out; |
1567 | |
1568 | // String literal of acceptable (narrow) input, for num_get. |
1569 | // "-+xX0123456789abcdefABCDEF" |
1570 | static const char* _S_atoms_in; |
1571 | |
1572 | enum |
1573 | { |
1574 | _S_iminus, |
1575 | _S_iplus, |
1576 | _S_ix, |
1577 | _S_iX, |
1578 | _S_izero, |
1579 | _S_ie = _S_izero + 14, |
1580 | _S_iE = _S_izero + 20, |
1581 | _S_iend = 26 |
1582 | }; |
1583 | |
1584 | // num_put |
1585 | // Construct and return valid scanf format for floating point types. |
1586 | static void |
1587 | _S_format_float(const ios_base& __io, char* __fptr, char __mod) throw(); |
1588 | }; |
1589 | |
1590 | template<typename _CharT> |
1591 | struct __numpunct_cache : public locale::facet |
1592 | { |
1593 | const char* _M_grouping; |
1594 | size_t _M_grouping_size; |
1595 | bool _M_use_grouping; |
1596 | const _CharT* _M_truename; |
1597 | size_t _M_truename_size; |
1598 | const _CharT* _M_falsename; |
1599 | size_t _M_falsename_size; |
1600 | _CharT _M_decimal_point; |
1601 | _CharT _M_thousands_sep; |
1602 | |
1603 | // A list of valid numeric literals for output: in the standard |
1604 | // "C" locale, this is "-+xX0123456789abcdef0123456789ABCDEF". |
1605 | // This array contains the chars after having been passed |
1606 | // through the current locale's ctype<_CharT>.widen(). |
1607 | _CharT _M_atoms_out[__num_base::_S_oend]; |
1608 | |
1609 | // A list of valid numeric literals for input: in the standard |
1610 | // "C" locale, this is "-+xX0123456789abcdefABCDEF" |
1611 | // This array contains the chars after having been passed |
1612 | // through the current locale's ctype<_CharT>.widen(). |
1613 | _CharT _M_atoms_in[__num_base::_S_iend]; |
1614 | |
1615 | bool _M_allocated; |
1616 | |
1617 | __numpunct_cache(size_t __refs = 0) |
1618 | : facet(__refs), _M_grouping(0), _M_grouping_size(0), |
1619 | _M_use_grouping(false), |
1620 | _M_truename(0), _M_truename_size(0), _M_falsename(0), |
1621 | _M_falsename_size(0), _M_decimal_point(_CharT()), |
1622 | _M_thousands_sep(_CharT()), _M_allocated(false) |
1623 | { } |
1624 | |
1625 | ~__numpunct_cache(); |
1626 | |
1627 | void |
1628 | _M_cache(const locale& __loc); |
1629 | |
1630 | private: |
1631 | __numpunct_cache& |
1632 | operator=(const __numpunct_cache&); |
1633 | |
1634 | explicit |
1635 | __numpunct_cache(const __numpunct_cache&); |
1636 | }; |
1637 | |
1638 | template<typename _CharT> |
1639 | __numpunct_cache<_CharT>::~__numpunct_cache() |
1640 | { |
1641 | if (_M_allocated) |
1642 | { |
1643 | delete [] _M_grouping; |
1644 | delete [] _M_truename; |
1645 | delete [] _M_falsename; |
1646 | } |
1647 | } |
1648 | |
1649 | _GLIBCXX_BEGIN_NAMESPACE_CXX11 |
1650 | |
1651 | /** |
1652 | * @brief Primary class template numpunct. |
1653 | * @ingroup locales |
1654 | * |
1655 | * This facet stores several pieces of information related to printing and |
1656 | * scanning numbers, such as the decimal point character. It takes a |
1657 | * template parameter specifying the char type. The numpunct facet is |
1658 | * used by streams for many I/O operations involving numbers. |
1659 | * |
1660 | * The numpunct template uses protected virtual functions to provide the |
1661 | * actual results. The public accessors forward the call to the virtual |
1662 | * functions. These virtual functions are hooks for developers to |
1663 | * implement the behavior they require from a numpunct facet. |
1664 | */ |
1665 | template<typename _CharT> |
1666 | class numpunct : public locale::facet |
1667 | { |
1668 | public: |
1669 | // Types: |
1670 | //@{ |
1671 | /// Public typedefs |
1672 | typedef _CharT char_type; |
1673 | typedef basic_string<_CharT> string_type; |
1674 | //@} |
1675 | typedef __numpunct_cache<_CharT> __cache_type; |
1676 | |
1677 | protected: |
1678 | __cache_type* _M_data; |
1679 | |
1680 | public: |
1681 | /// Numpunct facet id. |
1682 | static locale::id id; |
1683 | |
1684 | /** |
1685 | * @brief Numpunct constructor. |
1686 | * |
1687 | * @param __refs Refcount to pass to the base class. |
1688 | */ |
1689 | explicit |
1690 | numpunct(size_t __refs = 0) |
1691 | : facet(__refs), _M_data(0) |
1692 | { _M_initialize_numpunct(); } |
1693 | |
1694 | /** |
1695 | * @brief Internal constructor. Not for general use. |
1696 | * |
1697 | * This is a constructor for use by the library itself to set up the |
1698 | * predefined locale facets. |
1699 | * |
1700 | * @param __cache __numpunct_cache object. |
1701 | * @param __refs Refcount to pass to the base class. |
1702 | */ |
1703 | explicit |
1704 | numpunct(__cache_type* __cache, size_t __refs = 0) |
1705 | : facet(__refs), _M_data(__cache) |
1706 | { _M_initialize_numpunct(); } |
1707 | |
1708 | /** |
1709 | * @brief Internal constructor. Not for general use. |
1710 | * |
1711 | * This is a constructor for use by the library itself to set up new |
1712 | * locales. |
1713 | * |
1714 | * @param __cloc The C locale. |
1715 | * @param __refs Refcount to pass to the base class. |
1716 | */ |
1717 | explicit |
1718 | numpunct(__c_locale __cloc, size_t __refs = 0) |
1719 | : facet(__refs), _M_data(0) |
1720 | { _M_initialize_numpunct(__cloc); } |
1721 | |
1722 | /** |
1723 | * @brief Return decimal point character. |
1724 | * |
1725 | * This function returns a char_type to use as a decimal point. It |
1726 | * does so by returning returning |
1727 | * numpunct<char_type>::do_decimal_point(). |
1728 | * |
1729 | * @return @a char_type representing a decimal point. |
1730 | */ |
1731 | char_type |
1732 | decimal_point() const |
1733 | { return this->do_decimal_point(); } |
1734 | |
1735 | /** |
1736 | * @brief Return thousands separator character. |
1737 | * |
1738 | * This function returns a char_type to use as a thousands |
1739 | * separator. It does so by returning returning |
1740 | * numpunct<char_type>::do_thousands_sep(). |
1741 | * |
1742 | * @return char_type representing a thousands separator. |
1743 | */ |
1744 | char_type |
1745 | thousands_sep() const |
1746 | { return this->do_thousands_sep(); } |
1747 | |
1748 | /** |
1749 | * @brief Return grouping specification. |
1750 | * |
1751 | * This function returns a string representing groupings for the |
1752 | * integer part of a number. Groupings indicate where thousands |
1753 | * separators should be inserted in the integer part of a number. |
1754 | * |
1755 | * Each char in the return string is interpret as an integer |
1756 | * rather than a character. These numbers represent the number |
1757 | * of digits in a group. The first char in the string |
1758 | * represents the number of digits in the least significant |
1759 | * group. If a char is negative, it indicates an unlimited |
1760 | * number of digits for the group. If more chars from the |
1761 | * string are required to group a number, the last char is used |
1762 | * repeatedly. |
1763 | * |
1764 | * For example, if the grouping() returns "\003\002" and is |
1765 | * applied to the number 123456789, this corresponds to |
1766 | * 12,34,56,789. Note that if the string was "32", this would |
1767 | * put more than 50 digits into the least significant group if |
1768 | * the character set is ASCII. |
1769 | * |
1770 | * The string is returned by calling |
1771 | * numpunct<char_type>::do_grouping(). |
1772 | * |
1773 | * @return string representing grouping specification. |
1774 | */ |
1775 | string |
1776 | grouping() const |
1777 | { return this->do_grouping(); } |
1778 | |
1779 | /** |
1780 | * @brief Return string representation of bool true. |
1781 | * |
1782 | * This function returns a string_type containing the text |
1783 | * representation for true bool variables. It does so by calling |
1784 | * numpunct<char_type>::do_truename(). |
1785 | * |
1786 | * @return string_type representing printed form of true. |
1787 | */ |
1788 | string_type |
1789 | truename() const |
1790 | { return this->do_truename(); } |
1791 | |
1792 | /** |
1793 | * @brief Return string representation of bool false. |
1794 | * |
1795 | * This function returns a string_type containing the text |
1796 | * representation for false bool variables. It does so by calling |
1797 | * numpunct<char_type>::do_falsename(). |
1798 | * |
1799 | * @return string_type representing printed form of false. |
1800 | */ |
1801 | string_type |
1802 | falsename() const |
1803 | { return this->do_falsename(); } |
1804 | |
1805 | protected: |
1806 | /// Destructor. |
1807 | virtual |
1808 | ~numpunct(); |
1809 | |
1810 | /** |
1811 | * @brief Return decimal point character. |
1812 | * |
1813 | * Returns a char_type to use as a decimal point. This function is a |
1814 | * hook for derived classes to change the value returned. |
1815 | * |
1816 | * @return @a char_type representing a decimal point. |
1817 | */ |
1818 | virtual char_type |
1819 | do_decimal_point() const |
1820 | { return _M_data->_M_decimal_point; } |
1821 | |
1822 | /** |
1823 | * @brief Return thousands separator character. |
1824 | * |
1825 | * Returns a char_type to use as a thousands separator. This function |
1826 | * is a hook for derived classes to change the value returned. |
1827 | * |
1828 | * @return @a char_type representing a thousands separator. |
1829 | */ |
1830 | virtual char_type |
1831 | do_thousands_sep() const |
1832 | { return _M_data->_M_thousands_sep; } |
1833 | |
1834 | /** |
1835 | * @brief Return grouping specification. |
1836 | * |
1837 | * Returns a string representing groupings for the integer part of a |
1838 | * number. This function is a hook for derived classes to change the |
1839 | * value returned. @see grouping() for details. |
1840 | * |
1841 | * @return String representing grouping specification. |
1842 | */ |
1843 | virtual string |
1844 | do_grouping() const |
1845 | { return _M_data->_M_grouping; } |
1846 | |
1847 | /** |
1848 | * @brief Return string representation of bool true. |
1849 | * |
1850 | * Returns a string_type containing the text representation for true |
1851 | * bool variables. This function is a hook for derived classes to |
1852 | * change the value returned. |
1853 | * |
1854 | * @return string_type representing printed form of true. |
1855 | */ |
1856 | virtual string_type |
1857 | do_truename() const |
1858 | { return _M_data->_M_truename; } |
1859 | |
1860 | /** |
1861 | * @brief Return string representation of bool false. |
1862 | * |
1863 | * Returns a string_type containing the text representation for false |
1864 | * bool variables. This function is a hook for derived classes to |
1865 | * change the value returned. |
1866 | * |
1867 | * @return string_type representing printed form of false. |
1868 | */ |
1869 | virtual string_type |
1870 | do_falsename() const |
1871 | { return _M_data->_M_falsename; } |
1872 | |
1873 | // For use at construction time only. |
1874 | void |
1875 | _M_initialize_numpunct(__c_locale __cloc = 0); |
1876 | }; |
1877 | |
1878 | template<typename _CharT> |
1879 | locale::id numpunct<_CharT>::id; |
1880 | |
1881 | template<> |
1882 | numpunct<char>::~numpunct(); |
1883 | |
1884 | template<> |
1885 | void |
1886 | numpunct<char>::_M_initialize_numpunct(__c_locale __cloc); |
1887 | |
1888 | #ifdef _GLIBCXX_USE_WCHAR_T |
1889 | template<> |
1890 | numpunct<wchar_t>::~numpunct(); |
1891 | |
1892 | template<> |
1893 | void |
1894 | numpunct<wchar_t>::_M_initialize_numpunct(__c_locale __cloc); |
1895 | #endif |
1896 | |
1897 | /// class numpunct_byname [22.2.3.2]. |
1898 | template<typename _CharT> |
1899 | class numpunct_byname : public numpunct<_CharT> |
1900 | { |
1901 | public: |
1902 | typedef _CharT char_type; |
1903 | typedef basic_string<_CharT> string_type; |
1904 | |
1905 | explicit |
1906 | numpunct_byname(const char* __s, size_t __refs = 0) |
1907 | : numpunct<_CharT>(__refs) |
1908 | { |
1909 | if (__builtin_strcmp(__s, "C" ) != 0 |
1910 | && __builtin_strcmp(__s, "POSIX" ) != 0) |
1911 | { |
1912 | __c_locale __tmp; |
1913 | this->_S_create_c_locale(__tmp, __s); |
1914 | this->_M_initialize_numpunct(__tmp); |
1915 | this->_S_destroy_c_locale(__tmp); |
1916 | } |
1917 | } |
1918 | |
1919 | #if __cplusplus >= 201103L |
1920 | explicit |
1921 | numpunct_byname(const string& __s, size_t __refs = 0) |
1922 | : numpunct_byname(__s.c_str(), __refs) { } |
1923 | #endif |
1924 | |
1925 | protected: |
1926 | virtual |
1927 | ~numpunct_byname() { } |
1928 | }; |
1929 | |
1930 | _GLIBCXX_END_NAMESPACE_CXX11 |
1931 | |
1932 | _GLIBCXX_BEGIN_NAMESPACE_LDBL |
1933 | |
1934 | /** |
1935 | * @brief Primary class template num_get. |
1936 | * @ingroup locales |
1937 | * |
1938 | * This facet encapsulates the code to parse and return a number |
1939 | * from a string. It is used by the istream numeric extraction |
1940 | * operators. |
1941 | * |
1942 | * The num_get template uses protected virtual functions to provide the |
1943 | * actual results. The public accessors forward the call to the virtual |
1944 | * functions. These virtual functions are hooks for developers to |
1945 | * implement the behavior they require from the num_get facet. |
1946 | */ |
1947 | template<typename _CharT, typename _InIter> |
1948 | class num_get : public locale::facet |
1949 | { |
1950 | public: |
1951 | // Types: |
1952 | //@{ |
1953 | /// Public typedefs |
1954 | typedef _CharT char_type; |
1955 | typedef _InIter iter_type; |
1956 | //@} |
1957 | |
1958 | /// Numpunct facet id. |
1959 | static locale::id id; |
1960 | |
1961 | /** |
1962 | * @brief Constructor performs initialization. |
1963 | * |
1964 | * This is the constructor provided by the standard. |
1965 | * |
1966 | * @param __refs Passed to the base facet class. |
1967 | */ |
1968 | explicit |
1969 | num_get(size_t __refs = 0) : facet(__refs) { } |
1970 | |
1971 | /** |
1972 | * @brief Numeric parsing. |
1973 | * |
1974 | * Parses the input stream into the bool @a v. It does so by calling |
1975 | * num_get::do_get(). |
1976 | * |
1977 | * If ios_base::boolalpha is set, attempts to read |
1978 | * ctype<CharT>::truename() or ctype<CharT>::falsename(). Sets |
1979 | * @a v to true or false if successful. Sets err to |
1980 | * ios_base::failbit if reading the string fails. Sets err to |
1981 | * ios_base::eofbit if the stream is emptied. |
1982 | * |
1983 | * If ios_base::boolalpha is not set, proceeds as with reading a long, |
1984 | * except if the value is 1, sets @a v to true, if the value is 0, sets |
1985 | * @a v to false, and otherwise set err to ios_base::failbit. |
1986 | * |
1987 | * @param __in Start of input stream. |
1988 | * @param __end End of input stream. |
1989 | * @param __io Source of locale and flags. |
1990 | * @param __err Error flags to set. |
1991 | * @param __v Value to format and insert. |
1992 | * @return Iterator after reading. |
1993 | */ |
1994 | iter_type |
1995 | get(iter_type __in, iter_type __end, ios_base& __io, |
1996 | ios_base::iostate& __err, bool& __v) const |
1997 | { return this->do_get(__in, __end, __io, __err, __v); } |
1998 | |
1999 | //@{ |
2000 | /** |
2001 | * @brief Numeric parsing. |
2002 | * |
2003 | * Parses the input stream into the integral variable @a v. It does so |
2004 | * by calling num_get::do_get(). |
2005 | * |
2006 | * Parsing is affected by the flag settings in @a io. |
2007 | * |
2008 | * The basic parse is affected by the value of io.flags() & |
2009 | * ios_base::basefield. If equal to ios_base::oct, parses like the |
2010 | * scanf %o specifier. Else if equal to ios_base::hex, parses like %X |
2011 | * specifier. Else if basefield equal to 0, parses like the %i |
2012 | * specifier. Otherwise, parses like %d for signed and %u for unsigned |
2013 | * types. The matching type length modifier is also used. |
2014 | * |
2015 | * Digit grouping is interpreted according to |
2016 | * numpunct::grouping() and numpunct::thousands_sep(). If the |
2017 | * pattern of digit groups isn't consistent, sets err to |
2018 | * ios_base::failbit. |
2019 | * |
2020 | * If parsing the string yields a valid value for @a v, @a v is set. |
2021 | * Otherwise, sets err to ios_base::failbit and leaves @a v unaltered. |
2022 | * Sets err to ios_base::eofbit if the stream is emptied. |
2023 | * |
2024 | * @param __in Start of input stream. |
2025 | * @param __end End of input stream. |
2026 | * @param __io Source of locale and flags. |
2027 | * @param __err Error flags to set. |
2028 | * @param __v Value to format and insert. |
2029 | * @return Iterator after reading. |
2030 | */ |
2031 | iter_type |
2032 | get(iter_type __in, iter_type __end, ios_base& __io, |
2033 | ios_base::iostate& __err, long& __v) const |
2034 | { return this->do_get(__in, __end, __io, __err, __v); } |
2035 | |
2036 | iter_type |
2037 | get(iter_type __in, iter_type __end, ios_base& __io, |
2038 | ios_base::iostate& __err, unsigned short& __v) const |
2039 | { return this->do_get(__in, __end, __io, __err, __v); } |
2040 | |
2041 | iter_type |
2042 | get(iter_type __in, iter_type __end, ios_base& __io, |
2043 | ios_base::iostate& __err, unsigned int& __v) const |
2044 | { return this->do_get(__in, __end, __io, __err, __v); } |
2045 | |
2046 | iter_type |
2047 | get(iter_type __in, iter_type __end, ios_base& __io, |
2048 | ios_base::iostate& __err, unsigned long& __v) const |
2049 | { return this->do_get(__in, __end, __io, __err, __v); } |
2050 | |
2051 | #ifdef _GLIBCXX_USE_LONG_LONG |
2052 | iter_type |
2053 | get(iter_type __in, iter_type __end, ios_base& __io, |
2054 | ios_base::iostate& __err, long long& __v) const |
2055 | { return this->do_get(__in, __end, __io, __err, __v); } |
2056 | |
2057 | iter_type |
2058 | get(iter_type __in, iter_type __end, ios_base& __io, |
2059 | ios_base::iostate& __err, unsigned long long& __v) const |
2060 | { return this->do_get(__in, __end, __io, __err, __v); } |
2061 | #endif |
2062 | //@} |
2063 | |
2064 | //@{ |
2065 | /** |
2066 | * @brief Numeric parsing. |
2067 | * |
2068 | * Parses the input stream into the integral variable @a v. It does so |
2069 | * by calling num_get::do_get(). |
2070 | * |
2071 | * The input characters are parsed like the scanf %g specifier. The |
2072 | * matching type length modifier is also used. |
2073 | * |
2074 | * The decimal point character used is numpunct::decimal_point(). |
2075 | * Digit grouping is interpreted according to |
2076 | * numpunct::grouping() and numpunct::thousands_sep(). If the |
2077 | * pattern of digit groups isn't consistent, sets err to |
2078 | * ios_base::failbit. |
2079 | * |
2080 | * If parsing the string yields a valid value for @a v, @a v is set. |
2081 | * Otherwise, sets err to ios_base::failbit and leaves @a v unaltered. |
2082 | * Sets err to ios_base::eofbit if the stream is emptied. |
2083 | * |
2084 | * @param __in Start of input stream. |
2085 | * @param __end End of input stream. |
2086 | * @param __io Source of locale and flags. |
2087 | * @param __err Error flags to set. |
2088 | * @param __v Value to format and insert. |
2089 | * @return Iterator after reading. |
2090 | */ |
2091 | iter_type |
2092 | get(iter_type __in, iter_type __end, ios_base& __io, |
2093 | ios_base::iostate& __err, float& __v) const |
2094 | { return this->do_get(__in, __end, __io, __err, __v); } |
2095 | |
2096 | iter_type |
2097 | get(iter_type __in, iter_type __end, ios_base& __io, |
2098 | ios_base::iostate& __err, double& __v) const |
2099 | { return this->do_get(__in, __end, __io, __err, __v); } |
2100 | |
2101 | iter_type |
2102 | get(iter_type __in, iter_type __end, ios_base& __io, |
2103 | ios_base::iostate& __err, long double& __v) const |
2104 | { return this->do_get(__in, __end, __io, __err, __v); } |
2105 | //@} |
2106 | |
2107 | /** |
2108 | * @brief Numeric parsing. |
2109 | * |
2110 | * Parses the input stream into the pointer variable @a v. It does so |
2111 | * by calling num_get::do_get(). |
2112 | * |
2113 | * The input characters are parsed like the scanf %p specifier. |
2114 | * |
2115 | * Digit grouping is interpreted according to |
2116 | * numpunct::grouping() and numpunct::thousands_sep(). If the |
2117 | * pattern of digit groups isn't consistent, sets err to |
2118 | * ios_base::failbit. |
2119 | * |
2120 | * Note that the digit grouping effect for pointers is a bit ambiguous |
2121 | * in the standard and shouldn't be relied on. See DR 344. |
2122 | * |
2123 | * If parsing the string yields a valid value for @a v, @a v is set. |
2124 | * Otherwise, sets err to ios_base::failbit and leaves @a v unaltered. |
2125 | * Sets err to ios_base::eofbit if the stream is emptied. |
2126 | * |
2127 | * @param __in Start of input stream. |
2128 | * @param __end End of input stream. |
2129 | * @param __io Source of locale and flags. |
2130 | * @param __err Error flags to set. |
2131 | * @param __v Value to format and insert. |
2132 | * @return Iterator after reading. |
2133 | */ |
2134 | iter_type |
2135 | get(iter_type __in, iter_type __end, ios_base& __io, |
2136 | ios_base::iostate& __err, void*& __v) const |
2137 | { return this->do_get(__in, __end, __io, __err, __v); } |
2138 | |
2139 | protected: |
2140 | /// Destructor. |
2141 | virtual ~num_get() { } |
2142 | |
2143 | _GLIBCXX_DEFAULT_ABI_TAG |
2144 | iter_type |
2145 | (iter_type, iter_type, ios_base&, ios_base::iostate&, |
2146 | string&) const; |
2147 | |
2148 | template<typename _ValueT> |
2149 | _GLIBCXX_DEFAULT_ABI_TAG |
2150 | iter_type |
2151 | (iter_type, iter_type, ios_base&, ios_base::iostate&, |
2152 | _ValueT&) const; |
2153 | |
2154 | template<typename _CharT2> |
2155 | typename __gnu_cxx::__enable_if<__is_char<_CharT2>::__value, int>::__type |
2156 | _M_find(const _CharT2*, size_t __len, _CharT2 __c) const |
2157 | { |
2158 | int __ret = -1; |
2159 | if (__len <= 10) |
2160 | { |
2161 | if (__c >= _CharT2('0') && __c < _CharT2(_CharT2('0') + __len)) |
2162 | __ret = __c - _CharT2('0'); |
2163 | } |
2164 | else |
2165 | { |
2166 | if (__c >= _CharT2('0') && __c <= _CharT2('9')) |
2167 | __ret = __c - _CharT2('0'); |
2168 | else if (__c >= _CharT2('a') && __c <= _CharT2('f')) |
2169 | __ret = 10 + (__c - _CharT2('a')); |
2170 | else if (__c >= _CharT2('A') && __c <= _CharT2('F')) |
2171 | __ret = 10 + (__c - _CharT2('A')); |
2172 | } |
2173 | return __ret; |
2174 | } |
2175 | |
2176 | template<typename _CharT2> |
2177 | typename __gnu_cxx::__enable_if<!__is_char<_CharT2>::__value, |
2178 | int>::__type |
2179 | _M_find(const _CharT2* __zero, size_t __len, _CharT2 __c) const |
2180 | { |
2181 | int __ret = -1; |
2182 | const char_type* __q = char_traits<_CharT2>::find(__zero, __len, __c); |
2183 | if (__q) |
2184 | { |
2185 | __ret = __q - __zero; |
2186 | if (__ret > 15) |
2187 | __ret -= 6; |
2188 | } |
2189 | return __ret; |
2190 | } |
2191 | |
2192 | //@{ |
2193 | /** |
2194 | * @brief Numeric parsing. |
2195 | * |
2196 | * Parses the input stream into the variable @a v. This function is a |
2197 | * hook for derived classes to change the value returned. @see get() |
2198 | * for more details. |
2199 | * |
2200 | * @param __beg Start of input stream. |
2201 | * @param __end End of input stream. |
2202 | * @param __io Source of locale and flags. |
2203 | * @param __err Error flags to set. |
2204 | * @param __v Value to format and insert. |
2205 | * @return Iterator after reading. |
2206 | */ |
2207 | virtual iter_type |
2208 | do_get(iter_type, iter_type, ios_base&, ios_base::iostate&, bool&) const; |
2209 | |
2210 | virtual iter_type |
2211 | do_get(iter_type __beg, iter_type __end, ios_base& __io, |
2212 | ios_base::iostate& __err, long& __v) const |
2213 | { return _M_extract_int(__beg, __end, __io, __err, __v); } |
2214 | |
2215 | virtual iter_type |
2216 | do_get(iter_type __beg, iter_type __end, ios_base& __io, |
2217 | ios_base::iostate& __err, unsigned short& __v) const |
2218 | { return _M_extract_int(__beg, __end, __io, __err, __v); } |
2219 | |
2220 | virtual iter_type |
2221 | do_get(iter_type __beg, iter_type __end, ios_base& __io, |
2222 | ios_base::iostate& __err, unsigned int& __v) const |
2223 | { return _M_extract_int(__beg, __end, __io, __err, __v); } |
2224 | |
2225 | virtual iter_type |
2226 | do_get(iter_type __beg, iter_type __end, ios_base& __io, |
2227 | ios_base::iostate& __err, unsigned long& __v) const |
2228 | { return _M_extract_int(__beg, __end, __io, __err, __v); } |
2229 | |
2230 | #ifdef _GLIBCXX_USE_LONG_LONG |
2231 | virtual iter_type |
2232 | do_get(iter_type __beg, iter_type __end, ios_base& __io, |
2233 | ios_base::iostate& __err, long long& __v) const |
2234 | { return _M_extract_int(__beg, __end, __io, __err, __v); } |
2235 | |
2236 | virtual iter_type |
2237 | do_get(iter_type __beg, iter_type __end, ios_base& __io, |
2238 | ios_base::iostate& __err, unsigned long long& __v) const |
2239 | { return _M_extract_int(__beg, __end, __io, __err, __v); } |
2240 | #endif |
2241 | |
2242 | virtual iter_type |
2243 | do_get(iter_type, iter_type, ios_base&, ios_base::iostate&, float&) const; |
2244 | |
2245 | virtual iter_type |
2246 | do_get(iter_type, iter_type, ios_base&, ios_base::iostate&, |
2247 | double&) const; |
2248 | |
2249 | // XXX GLIBCXX_ABI Deprecated |
2250 | #if defined _GLIBCXX_LONG_DOUBLE_COMPAT && defined __LONG_DOUBLE_128__ |
2251 | virtual iter_type |
2252 | __do_get(iter_type, iter_type, ios_base&, ios_base::iostate&, |
2253 | double&) const; |
2254 | #else |
2255 | virtual iter_type |
2256 | do_get(iter_type, iter_type, ios_base&, ios_base::iostate&, |
2257 | long double&) const; |
2258 | #endif |
2259 | |
2260 | virtual iter_type |
2261 | do_get(iter_type, iter_type, ios_base&, ios_base::iostate&, void*&) const; |
2262 | |
2263 | // XXX GLIBCXX_ABI Deprecated |
2264 | #if defined _GLIBCXX_LONG_DOUBLE_COMPAT && defined __LONG_DOUBLE_128__ |
2265 | virtual iter_type |
2266 | do_get(iter_type, iter_type, ios_base&, ios_base::iostate&, |
2267 | long double&) const; |
2268 | #endif |
2269 | //@} |
2270 | }; |
2271 | |
2272 | template<typename _CharT, typename _InIter> |
2273 | locale::id num_get<_CharT, _InIter>::id; |
2274 | |
2275 | |
2276 | /** |
2277 | * @brief Primary class template num_put. |
2278 | * @ingroup locales |
2279 | * |
2280 | * This facet encapsulates the code to convert a number to a string. It is |
2281 | * used by the ostream numeric insertion operators. |
2282 | * |
2283 | * The num_put template uses protected virtual functions to provide the |
2284 | * actual results. The public accessors forward the call to the virtual |
2285 | * functions. These virtual functions are hooks for developers to |
2286 | * implement the behavior they require from the num_put facet. |
2287 | */ |
2288 | template<typename _CharT, typename _OutIter> |
2289 | class num_put : public locale::facet |
2290 | { |
2291 | public: |
2292 | // Types: |
2293 | //@{ |
2294 | /// Public typedefs |
2295 | typedef _CharT char_type; |
2296 | typedef _OutIter iter_type; |
2297 | //@} |
2298 | |
2299 | /// Numpunct facet id. |
2300 | static locale::id id; |
2301 | |
2302 | /** |
2303 | * @brief Constructor performs initialization. |
2304 | * |
2305 | * This is the constructor provided by the standard. |
2306 | * |
2307 | * @param __refs Passed to the base facet class. |
2308 | */ |
2309 | explicit |
2310 | num_put(size_t __refs = 0) : facet(__refs) { } |
2311 | |
2312 | /** |
2313 | * @brief Numeric formatting. |
2314 | * |
2315 | * Formats the boolean @a v and inserts it into a stream. It does so |
2316 | * by calling num_put::do_put(). |
2317 | * |
2318 | * If ios_base::boolalpha is set, writes ctype<CharT>::truename() or |
2319 | * ctype<CharT>::falsename(). Otherwise formats @a v as an int. |
2320 | * |
2321 | * @param __s Stream to write to. |
2322 | * @param __io Source of locale and flags. |
2323 | * @param __fill Char_type to use for filling. |
2324 | * @param __v Value to format and insert. |
2325 | * @return Iterator after writing. |
2326 | */ |
2327 | iter_type |
2328 | put(iter_type __s, ios_base& __io, char_type __fill, bool __v) const |
2329 | { return this->do_put(__s, __io, __fill, __v); } |
2330 | |
2331 | //@{ |
2332 | /** |
2333 | * @brief Numeric formatting. |
2334 | * |
2335 | * Formats the integral value @a v and inserts it into a |
2336 | * stream. It does so by calling num_put::do_put(). |
2337 | * |
2338 | * Formatting is affected by the flag settings in @a io. |
2339 | * |
2340 | * The basic format is affected by the value of io.flags() & |
2341 | * ios_base::basefield. If equal to ios_base::oct, formats like the |
2342 | * printf %o specifier. Else if equal to ios_base::hex, formats like |
2343 | * %x or %X with ios_base::uppercase unset or set respectively. |
2344 | * Otherwise, formats like %d, %ld, %lld for signed and %u, %lu, %llu |
2345 | * for unsigned values. Note that if both oct and hex are set, neither |
2346 | * will take effect. |
2347 | * |
2348 | * If ios_base::showpos is set, '+' is output before positive values. |
2349 | * If ios_base::showbase is set, '0' precedes octal values (except 0) |
2350 | * and '0[xX]' precedes hex values. |
2351 | * |
2352 | * The decimal point character used is numpunct::decimal_point(). |
2353 | * Thousands separators are inserted according to |
2354 | * numpunct::grouping() and numpunct::thousands_sep(). |
2355 | * |
2356 | * If io.width() is non-zero, enough @a fill characters are inserted to |
2357 | * make the result at least that wide. If |
2358 | * (io.flags() & ios_base::adjustfield) == ios_base::left, result is |
2359 | * padded at the end. If ios_base::internal, then padding occurs |
2360 | * immediately after either a '+' or '-' or after '0x' or '0X'. |
2361 | * Otherwise, padding occurs at the beginning. |
2362 | * |
2363 | * @param __s Stream to write to. |
2364 | * @param __io Source of locale and flags. |
2365 | * @param __fill Char_type to use for filling. |
2366 | * @param __v Value to format and insert. |
2367 | * @return Iterator after writing. |
2368 | */ |
2369 | iter_type |
2370 | put(iter_type __s, ios_base& __io, char_type __fill, long __v) const |
2371 | { return this->do_put(__s, __io, __fill, __v); } |
2372 | |
2373 | iter_type |
2374 | put(iter_type __s, ios_base& __io, char_type __fill, |
2375 | unsigned long __v) const |
2376 | { return this->do_put(__s, __io, __fill, __v); } |
2377 | |
2378 | #ifdef _GLIBCXX_USE_LONG_LONG |
2379 | iter_type |
2380 | put(iter_type __s, ios_base& __io, char_type __fill, long long __v) const |
2381 | { return this->do_put(__s, __io, __fill, __v); } |
2382 | |
2383 | iter_type |
2384 | put(iter_type __s, ios_base& __io, char_type __fill, |
2385 | unsigned long long __v) const |
2386 | { return this->do_put(__s, __io, __fill, __v); } |
2387 | #endif |
2388 | //@} |
2389 | |
2390 | //@{ |
2391 | /** |
2392 | * @brief Numeric formatting. |
2393 | * |
2394 | * Formats the floating point value @a v and inserts it into a stream. |
2395 | * It does so by calling num_put::do_put(). |
2396 | * |
2397 | * Formatting is affected by the flag settings in @a io. |
2398 | * |
2399 | * The basic format is affected by the value of io.flags() & |
2400 | * ios_base::floatfield. If equal to ios_base::fixed, formats like the |
2401 | * printf %f specifier. Else if equal to ios_base::scientific, formats |
2402 | * like %e or %E with ios_base::uppercase unset or set respectively. |
2403 | * Otherwise, formats like %g or %G depending on uppercase. Note that |
2404 | * if both fixed and scientific are set, the effect will also be like |
2405 | * %g or %G. |
2406 | * |
2407 | * The output precision is given by io.precision(). This precision is |
2408 | * capped at numeric_limits::digits10 + 2 (different for double and |
2409 | * long double). The default precision is 6. |
2410 | * |
2411 | * If ios_base::showpos is set, '+' is output before positive values. |
2412 | * If ios_base::showpoint is set, a decimal point will always be |
2413 | * output. |
2414 | * |
2415 | * The decimal point character used is numpunct::decimal_point(). |
2416 | * Thousands separators are inserted according to |
2417 | * numpunct::grouping() and numpunct::thousands_sep(). |
2418 | * |
2419 | * If io.width() is non-zero, enough @a fill characters are inserted to |
2420 | * make the result at least that wide. If |
2421 | * (io.flags() & ios_base::adjustfield) == ios_base::left, result is |
2422 | * padded at the end. If ios_base::internal, then padding occurs |
2423 | * immediately after either a '+' or '-' or after '0x' or '0X'. |
2424 | * Otherwise, padding occurs at the beginning. |
2425 | * |
2426 | * @param __s Stream to write to. |
2427 | * @param __io Source of locale and flags. |
2428 | * @param __fill Char_type to use for filling. |
2429 | * @param __v Value to format and insert. |
2430 | * @return Iterator after writing. |
2431 | */ |
2432 | iter_type |
2433 | put(iter_type __s, ios_base& __io, char_type __fill, double __v) const |
2434 | { return this->do_put(__s, __io, __fill, __v); } |
2435 | |
2436 | iter_type |
2437 | put(iter_type __s, ios_base& __io, char_type __fill, |
2438 | long double __v) const |
2439 | { return this->do_put(__s, __io, __fill, __v); } |
2440 | //@} |
2441 | |
2442 | /** |
2443 | * @brief Numeric formatting. |
2444 | * |
2445 | * Formats the pointer value @a v and inserts it into a stream. It |
2446 | * does so by calling num_put::do_put(). |
2447 | * |
2448 | * This function formats @a v as an unsigned long with ios_base::hex |
2449 | * and ios_base::showbase set. |
2450 | * |
2451 | * @param __s Stream to write to. |
2452 | * @param __io Source of locale and flags. |
2453 | * @param __fill Char_type to use for filling. |
2454 | * @param __v Value to format and insert. |
2455 | * @return Iterator after writing. |
2456 | */ |
2457 | iter_type |
2458 | put(iter_type __s, ios_base& __io, char_type __fill, |
2459 | const void* __v) const |
2460 | { return this->do_put(__s, __io, __fill, __v); } |
2461 | |
2462 | protected: |
2463 | template<typename _ValueT> |
2464 | iter_type |
2465 | _M_insert_float(iter_type, ios_base& __io, char_type __fill, |
2466 | char __mod, _ValueT __v) const; |
2467 | |
2468 | void |
2469 | _M_group_float(const char* __grouping, size_t __grouping_size, |
2470 | char_type __sep, const char_type* __p, char_type* __new, |
2471 | char_type* __cs, int& __len) const; |
2472 | |
2473 | template<typename _ValueT> |
2474 | iter_type |
2475 | _M_insert_int(iter_type, ios_base& __io, char_type __fill, |
2476 | _ValueT __v) const; |
2477 | |
2478 | void |
2479 | _M_group_int(const char* __grouping, size_t __grouping_size, |
2480 | char_type __sep, ios_base& __io, char_type* __new, |
2481 | char_type* __cs, int& __len) const; |
2482 | |
2483 | void |
2484 | _M_pad(char_type __fill, streamsize __w, ios_base& __io, |
2485 | char_type* __new, const char_type* __cs, int& __len) const; |
2486 | |
2487 | /// Destructor. |
2488 | virtual |
2489 | ~num_put() { }; |
2490 | |
2491 | //@{ |
2492 | /** |
2493 | * @brief Numeric formatting. |
2494 | * |
2495 | * These functions do the work of formatting numeric values and |
2496 | * inserting them into a stream. This function is a hook for derived |
2497 | * classes to change the value returned. |
2498 | * |
2499 | * @param __s Stream to write to. |
2500 | * @param __io Source of locale and flags. |
2501 | * @param __fill Char_type to use for filling. |
2502 | * @param __v Value to format and insert. |
2503 | * @return Iterator after writing. |
2504 | */ |
2505 | virtual iter_type |
2506 | do_put(iter_type __s, ios_base& __io, char_type __fill, bool __v) const; |
2507 | |
2508 | virtual iter_type |
2509 | do_put(iter_type __s, ios_base& __io, char_type __fill, long __v) const |
2510 | { return _M_insert_int(__s, __io, __fill, __v); } |
2511 | |
2512 | virtual iter_type |
2513 | do_put(iter_type __s, ios_base& __io, char_type __fill, |
2514 | unsigned long __v) const |
2515 | { return _M_insert_int(__s, __io, __fill, __v); } |
2516 | |
2517 | #ifdef _GLIBCXX_USE_LONG_LONG |
2518 | virtual iter_type |
2519 | do_put(iter_type __s, ios_base& __io, char_type __fill, |
2520 | long long __v) const |
2521 | { return _M_insert_int(__s, __io, __fill, __v); } |
2522 | |
2523 | virtual iter_type |
2524 | do_put(iter_type __s, ios_base& __io, char_type __fill, |
2525 | unsigned long long __v) const |
2526 | { return _M_insert_int(__s, __io, __fill, __v); } |
2527 | #endif |
2528 | |
2529 | virtual iter_type |
2530 | do_put(iter_type, ios_base&, char_type, double) const; |
2531 | |
2532 | // XXX GLIBCXX_ABI Deprecated |
2533 | #if defined _GLIBCXX_LONG_DOUBLE_COMPAT && defined __LONG_DOUBLE_128__ |
2534 | virtual iter_type |
2535 | __do_put(iter_type, ios_base&, char_type, double) const; |
2536 | #else |
2537 | virtual iter_type |
2538 | do_put(iter_type, ios_base&, char_type, long double) const; |
2539 | #endif |
2540 | |
2541 | virtual iter_type |
2542 | do_put(iter_type, ios_base&, char_type, const void*) const; |
2543 | |
2544 | // XXX GLIBCXX_ABI Deprecated |
2545 | #if defined _GLIBCXX_LONG_DOUBLE_COMPAT && defined __LONG_DOUBLE_128__ |
2546 | virtual iter_type |
2547 | do_put(iter_type, ios_base&, char_type, long double) const; |
2548 | #endif |
2549 | //@} |
2550 | }; |
2551 | |
2552 | template <typename _CharT, typename _OutIter> |
2553 | locale::id num_put<_CharT, _OutIter>::id; |
2554 | |
2555 | _GLIBCXX_END_NAMESPACE_LDBL |
2556 | |
2557 | // Subclause convenience interfaces, inlines. |
2558 | // NB: These are inline because, when used in a loop, some compilers |
2559 | // can hoist the body out of the loop; then it's just as fast as the |
2560 | // C is*() function. |
2561 | |
2562 | /// Convenience interface to ctype.is(ctype_base::space, __c). |
2563 | template<typename _CharT> |
2564 | inline bool |
2565 | isspace(_CharT __c, const locale& __loc) |
2566 | { return use_facet<ctype<_CharT> >(__loc).is(ctype_base::space, __c); } |
2567 | |
2568 | /// Convenience interface to ctype.is(ctype_base::print, __c). |
2569 | template<typename _CharT> |
2570 | inline bool |
2571 | isprint(_CharT __c, const locale& __loc) |
2572 | { return use_facet<ctype<_CharT> >(__loc).is(ctype_base::print, __c); } |
2573 | |
2574 | /// Convenience interface to ctype.is(ctype_base::cntrl, __c). |
2575 | template<typename _CharT> |
2576 | inline bool |
2577 | iscntrl(_CharT __c, const locale& __loc) |
2578 | { return use_facet<ctype<_CharT> >(__loc).is(ctype_base::cntrl, __c); } |
2579 | |
2580 | /// Convenience interface to ctype.is(ctype_base::upper, __c). |
2581 | template<typename _CharT> |
2582 | inline bool |
2583 | isupper(_CharT __c, const locale& __loc) |
2584 | { return use_facet<ctype<_CharT> >(__loc).is(ctype_base::upper, __c); } |
2585 | |
2586 | /// Convenience interface to ctype.is(ctype_base::lower, __c). |
2587 | template<typename _CharT> |
2588 | inline bool |
2589 | islower(_CharT __c, const locale& __loc) |
2590 | { return use_facet<ctype<_CharT> >(__loc).is(ctype_base::lower, __c); } |
2591 | |
2592 | /// Convenience interface to ctype.is(ctype_base::alpha, __c). |
2593 | template<typename _CharT> |
2594 | inline bool |
2595 | isalpha(_CharT __c, const locale& __loc) |
2596 | { return use_facet<ctype<_CharT> >(__loc).is(ctype_base::alpha, __c); } |
2597 | |
2598 | /// Convenience interface to ctype.is(ctype_base::digit, __c). |
2599 | template<typename _CharT> |
2600 | inline bool |
2601 | isdigit(_CharT __c, const locale& __loc) |
2602 | { return use_facet<ctype<_CharT> >(__loc).is(ctype_base::digit, __c); } |
2603 | |
2604 | /// Convenience interface to ctype.is(ctype_base::punct, __c). |
2605 | template<typename _CharT> |
2606 | inline bool |
2607 | ispunct(_CharT __c, const locale& __loc) |
2608 | { return use_facet<ctype<_CharT> >(__loc).is(ctype_base::punct, __c); } |
2609 | |
2610 | /// Convenience interface to ctype.is(ctype_base::xdigit, __c). |
2611 | template<typename _CharT> |
2612 | inline bool |
2613 | isxdigit(_CharT __c, const locale& __loc) |
2614 | { return use_facet<ctype<_CharT> >(__loc).is(ctype_base::xdigit, __c); } |
2615 | |
2616 | /// Convenience interface to ctype.is(ctype_base::alnum, __c). |
2617 | template<typename _CharT> |
2618 | inline bool |
2619 | isalnum(_CharT __c, const locale& __loc) |
2620 | { return use_facet<ctype<_CharT> >(__loc).is(ctype_base::alnum, __c); } |
2621 | |
2622 | /// Convenience interface to ctype.is(ctype_base::graph, __c). |
2623 | template<typename _CharT> |
2624 | inline bool |
2625 | isgraph(_CharT __c, const locale& __loc) |
2626 | { return use_facet<ctype<_CharT> >(__loc).is(ctype_base::graph, __c); } |
2627 | |
2628 | #if __cplusplus >= 201103L |
2629 | /// Convenience interface to ctype.is(ctype_base::blank, __c). |
2630 | template<typename _CharT> |
2631 | inline bool |
2632 | isblank(_CharT __c, const locale& __loc) |
2633 | { return use_facet<ctype<_CharT> >(__loc).is(ctype_base::blank, __c); } |
2634 | #endif |
2635 | |
2636 | /// Convenience interface to ctype.toupper(__c). |
2637 | template<typename _CharT> |
2638 | inline _CharT |
2639 | toupper(_CharT __c, const locale& __loc) |
2640 | { return use_facet<ctype<_CharT> >(__loc).toupper(__c); } |
2641 | |
2642 | /// Convenience interface to ctype.tolower(__c). |
2643 | template<typename _CharT> |
2644 | inline _CharT |
2645 | tolower(_CharT __c, const locale& __loc) |
2646 | { return use_facet<ctype<_CharT> >(__loc).tolower(__c); } |
2647 | |
2648 | _GLIBCXX_END_NAMESPACE_VERSION |
2649 | } // namespace std |
2650 | |
2651 | # include <bits/locale_facets.tcc> |
2652 | |
2653 | #endif |
2654 | |