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