source: Daodan/MSYS2/mingw32/include/c++/11.2.0/bits/locale_facets.h@ 1171

Last change on this file since 1171 was 1166, checked in by rossy, 3 years ago

Daodan: Replace MinGW build env with an up-to-date MSYS2 env

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