Line data Source code
1 : // Locale support -*- C++ -*-
2 :
3 : // Copyright (C) 1997-2013 Free Software Foundation, Inc.
4 : //
5 : // This file is part of the GNU ISO C++ Library. This library is free
6 : // software; you can redistribute it and/or modify it under the
7 : // terms of the GNU General Public License as published by the
8 : // Free Software Foundation; either version 3, or (at your option)
9 : // any later version.
10 :
11 : // This library is distributed in the hope that it will be useful,
12 : // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 : // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 : // GNU General Public License for more details.
15 :
16 : // Under Section 7 of GPL version 3, you are granted additional
17 : // permissions described in the GCC Runtime Library Exception, version
18 : // 3.1, as published by the Free Software Foundation.
19 :
20 : // You should have received a copy of the GNU General Public License and
21 : // a copy of the GCC Runtime Library Exception along with this program;
22 : // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23 : // <http://www.gnu.org/licenses/>.
24 :
25 : /** @file bits/locale_facets.h
26 : * This is an internal header file, included by other library headers.
27 : * Do not attempt to use it directly. @headername{locale}
28 : */
29 :
30 : //
31 : // ISO C++ 14882: 22.1 Locales
32 : //
33 :
34 : #ifndef _LOCALE_FACETS_H
35 : #define _LOCALE_FACETS_H 1
36 :
37 : #pragma GCC system_header
38 :
39 : #include <cwctype> // For wctype_t
40 : #include <cctype>
41 : #include <bits/ctype_base.h>
42 : #include <iosfwd>
43 : #include <bits/ios_base.h> // For ios_base, ios_base::iostate
44 : #include <streambuf>
45 : #include <bits/cpp_type_traits.h>
46 : #include <ext/type_traits.h>
47 : #include <ext/numeric_traits.h>
48 : #include <bits/streambuf_iterator.h>
49 :
50 : namespace std _GLIBCXX_VISIBILITY(default)
51 : {
52 : _GLIBCXX_BEGIN_NAMESPACE_VERSION
53 :
54 : // NB: Don't instantiate required wchar_t facets if no wchar_t support.
55 : #ifdef _GLIBCXX_USE_WCHAR_T
56 : # define _GLIBCXX_NUM_FACETS 28
57 : #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 0 : widen(char __c) const
866 : {
867 0 : if (_M_widen_ok)
868 0 : return _M_widen[static_cast<unsigned char>(__c)];
869 0 : this->_M_widen_init();
870 0 : 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 0 : do_widen(char __c) const
1076 0 : { 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 0 : do_widen(const char* __lo, const char* __hi, char_type* __to) const
1099 : {
1100 0 : __builtin_memcpy(__to, __lo, __hi - __lo);
1101 0 : 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 0 : do_narrow(char_type __c, char __dfault) const
1125 0 : { 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 0 : do_narrow(const char_type* __lo, const char_type* __hi,
1151 : char __dfault, char* __to) const
1152 : {
1153 0 : __builtin_memcpy(__to, __lo, __hi - __lo);
1154 0 : 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 :
1513 : namespace 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
|
