libstdc++
locale_facets.tcc
Go to the documentation of this file.
1 // Locale support -*- C++ -*-
2 
3 // Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
4 // 2006, 2007, 2008, 2009, 2010, 2011
5 // Free Software Foundation, Inc.
6 //
7 // This file is part of the GNU ISO C++ Library. This library is free
8 // software; you can redistribute it and/or modify it under the
9 // terms of the GNU General Public License as published by the
10 // Free Software Foundation; either version 3, or (at your option)
11 // any later version.
12 
13 // This library is distributed in the hope that it will be useful,
14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 // GNU General Public License for more details.
17 
18 // Under Section 7 of GPL version 3, you are granted additional
19 // permissions described in the GCC Runtime Library Exception, version
20 // 3.1, as published by the Free Software Foundation.
21 
22 // You should have received a copy of the GNU General Public License and
23 // a copy of the GCC Runtime Library Exception along with this program;
24 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
25 // <http://www.gnu.org/licenses/>.
26 
27 /** @file bits/locale_facets.tcc
28  * This is an internal header file, included by other library headers.
29  * Do not attempt to use it directly. @headername{locale}
30  */
31 
32 #ifndef _LOCALE_FACETS_TCC
33 #define _LOCALE_FACETS_TCC 1
34 
35 #pragma GCC system_header
36 
37 namespace std _GLIBCXX_VISIBILITY(default)
38 {
39 _GLIBCXX_BEGIN_NAMESPACE_VERSION
40 
41  // Routine to access a cache for the facet. If the cache didn't
42  // exist before, it gets constructed on the fly.
43  template<typename _Facet>
44  struct __use_cache
45  {
46  const _Facet*
47  operator() (const locale& __loc) const;
48  };
49 
50  // Specializations.
51  template<typename _CharT>
52  struct __use_cache<__numpunct_cache<_CharT> >
53  {
54  const __numpunct_cache<_CharT>*
55  operator() (const locale& __loc) const
56  {
57  const size_t __i = numpunct<_CharT>::id._M_id();
58  const locale::facet** __caches = __loc._M_impl->_M_caches;
59  if (!__caches[__i])
60  {
61  __numpunct_cache<_CharT>* __tmp = 0;
62  __try
63  {
64  __tmp = new __numpunct_cache<_CharT>;
65  __tmp->_M_cache(__loc);
66  }
67  __catch(...)
68  {
69  delete __tmp;
70  __throw_exception_again;
71  }
72  __loc._M_impl->_M_install_cache(__tmp, __i);
73  }
74  return static_cast<const __numpunct_cache<_CharT>*>(__caches[__i]);
75  }
76  };
77 
78  template<typename _CharT>
79  void
80  __numpunct_cache<_CharT>::_M_cache(const locale& __loc)
81  {
82  _M_allocated = true;
83 
84  const numpunct<_CharT>& __np = use_facet<numpunct<_CharT> >(__loc);
85 
86  char* __grouping = 0;
87  _CharT* __truename = 0;
88  _CharT* __falsename = 0;
89  __try
90  {
91  _M_grouping_size = __np.grouping().size();
92  __grouping = new char[_M_grouping_size];
93  __np.grouping().copy(__grouping, _M_grouping_size);
94  _M_grouping = __grouping;
95  _M_use_grouping = (_M_grouping_size
96  && static_cast<signed char>(_M_grouping[0]) > 0
97  && (_M_grouping[0]
98  != __gnu_cxx::__numeric_traits<char>::__max));
99 
100  _M_truename_size = __np.truename().size();
101  __truename = new _CharT[_M_truename_size];
102  __np.truename().copy(__truename, _M_truename_size);
103  _M_truename = __truename;
104 
105  _M_falsename_size = __np.falsename().size();
106  __falsename = new _CharT[_M_falsename_size];
107  __np.falsename().copy(__falsename, _M_falsename_size);
108  _M_falsename = __falsename;
109 
110  _M_decimal_point = __np.decimal_point();
111  _M_thousands_sep = __np.thousands_sep();
112 
113  const ctype<_CharT>& __ct = use_facet<ctype<_CharT> >(__loc);
114  __ct.widen(__num_base::_S_atoms_out,
115  __num_base::_S_atoms_out
116  + __num_base::_S_oend, _M_atoms_out);
117  __ct.widen(__num_base::_S_atoms_in,
118  __num_base::_S_atoms_in
119  + __num_base::_S_iend, _M_atoms_in);
120  }
121  __catch(...)
122  {
123  delete [] __grouping;
124  delete [] __truename;
125  delete [] __falsename;
126  __throw_exception_again;
127  }
128  }
129 
130  // Used by both numeric and monetary facets.
131  // Check to make sure that the __grouping_tmp string constructed in
132  // money_get or num_get matches the canonical grouping for a given
133  // locale.
134  // __grouping_tmp is parsed L to R
135  // 1,222,444 == __grouping_tmp of "\1\3\3"
136  // __grouping is parsed R to L
137  // 1,222,444 == __grouping of "\3" == "\3\3\3"
138  _GLIBCXX_PURE bool
139  __verify_grouping(const char* __grouping, size_t __grouping_size,
140  const string& __grouping_tmp) throw ();
141 
142 _GLIBCXX_BEGIN_NAMESPACE_LDBL
143 
144  template<typename _CharT, typename _InIter>
145  _InIter
146  num_get<_CharT, _InIter>::
147  _M_extract_float(_InIter __beg, _InIter __end, ios_base& __io,
148  ios_base::iostate& __err, string& __xtrc) const
149  {
150  typedef char_traits<_CharT> __traits_type;
151  typedef __numpunct_cache<_CharT> __cache_type;
152  __use_cache<__cache_type> __uc;
153  const locale& __loc = __io._M_getloc();
154  const __cache_type* __lc = __uc(__loc);
155  const _CharT* __lit = __lc->_M_atoms_in;
156  char_type __c = char_type();
157 
158  // True if __beg becomes equal to __end.
159  bool __testeof = __beg == __end;
160 
161  // First check for sign.
162  if (!__testeof)
163  {
164  __c = *__beg;
165  const bool __plus = __c == __lit[__num_base::_S_iplus];
166  if ((__plus || __c == __lit[__num_base::_S_iminus])
167  && !(__lc->_M_use_grouping && __c == __lc->_M_thousands_sep)
168  && !(__c == __lc->_M_decimal_point))
169  {
170  __xtrc += __plus ? '+' : '-';
171  if (++__beg != __end)
172  __c = *__beg;
173  else
174  __testeof = true;
175  }
176  }
177 
178  // Next, look for leading zeros.
179  bool __found_mantissa = false;
180  int __sep_pos = 0;
181  while (!__testeof)
182  {
183  if ((__lc->_M_use_grouping && __c == __lc->_M_thousands_sep)
184  || __c == __lc->_M_decimal_point)
185  break;
186  else if (__c == __lit[__num_base::_S_izero])
187  {
188  if (!__found_mantissa)
189  {
190  __xtrc += '0';
191  __found_mantissa = true;
192  }
193  ++__sep_pos;
194 
195  if (++__beg != __end)
196  __c = *__beg;
197  else
198  __testeof = true;
199  }
200  else
201  break;
202  }
203 
204  // Only need acceptable digits for floating point numbers.
205  bool __found_dec = false;
206  bool __found_sci = false;
207  string __found_grouping;
208  if (__lc->_M_use_grouping)
209  __found_grouping.reserve(32);
210  const char_type* __lit_zero = __lit + __num_base::_S_izero;
211 
212  if (!__lc->_M_allocated)
213  // "C" locale
214  while (!__testeof)
215  {
216  const int __digit = _M_find(__lit_zero, 10, __c);
217  if (__digit != -1)
218  {
219  __xtrc += '0' + __digit;
220  __found_mantissa = true;
221  }
222  else if (__c == __lc->_M_decimal_point
223  && !__found_dec && !__found_sci)
224  {
225  __xtrc += '.';
226  __found_dec = true;
227  }
228  else if ((__c == __lit[__num_base::_S_ie]
229  || __c == __lit[__num_base::_S_iE])
230  && !__found_sci && __found_mantissa)
231  {
232  // Scientific notation.
233  __xtrc += 'e';
234  __found_sci = true;
235 
236  // Remove optional plus or minus sign, if they exist.
237  if (++__beg != __end)
238  {
239  __c = *__beg;
240  const bool __plus = __c == __lit[__num_base::_S_iplus];
241  if (__plus || __c == __lit[__num_base::_S_iminus])
242  __xtrc += __plus ? '+' : '-';
243  else
244  continue;
245  }
246  else
247  {
248  __testeof = true;
249  break;
250  }
251  }
252  else
253  break;
254 
255  if (++__beg != __end)
256  __c = *__beg;
257  else
258  __testeof = true;
259  }
260  else
261  while (!__testeof)
262  {
263  // According to 22.2.2.1.2, p8-9, first look for thousands_sep
264  // and decimal_point.
265  if (__lc->_M_use_grouping && __c == __lc->_M_thousands_sep)
266  {
267  if (!__found_dec && !__found_sci)
268  {
269  // NB: Thousands separator at the beginning of a string
270  // is a no-no, as is two consecutive thousands separators.
271  if (__sep_pos)
272  {
273  __found_grouping += static_cast<char>(__sep_pos);
274  __sep_pos = 0;
275  }
276  else
277  {
278  // NB: __convert_to_v will not assign __v and will
279  // set the failbit.
280  __xtrc.clear();
281  break;
282  }
283  }
284  else
285  break;
286  }
287  else if (__c == __lc->_M_decimal_point)
288  {
289  if (!__found_dec && !__found_sci)
290  {
291  // If no grouping chars are seen, no grouping check
292  // is applied. Therefore __found_grouping is adjusted
293  // only if decimal_point comes after some thousands_sep.
294  if (__found_grouping.size())
295  __found_grouping += static_cast<char>(__sep_pos);
296  __xtrc += '.';
297  __found_dec = true;
298  }
299  else
300  break;
301  }
302  else
303  {
304  const char_type* __q =
305  __traits_type::find(__lit_zero, 10, __c);
306  if (__q)
307  {
308  __xtrc += '0' + (__q - __lit_zero);
309  __found_mantissa = true;
310  ++__sep_pos;
311  }
312  else if ((__c == __lit[__num_base::_S_ie]
313  || __c == __lit[__num_base::_S_iE])
314  && !__found_sci && __found_mantissa)
315  {
316  // Scientific notation.
317  if (__found_grouping.size() && !__found_dec)
318  __found_grouping += static_cast<char>(__sep_pos);
319  __xtrc += 'e';
320  __found_sci = true;
321 
322  // Remove optional plus or minus sign, if they exist.
323  if (++__beg != __end)
324  {
325  __c = *__beg;
326  const bool __plus = __c == __lit[__num_base::_S_iplus];
327  if ((__plus || __c == __lit[__num_base::_S_iminus])
328  && !(__lc->_M_use_grouping
329  && __c == __lc->_M_thousands_sep)
330  && !(__c == __lc->_M_decimal_point))
331  __xtrc += __plus ? '+' : '-';
332  else
333  continue;
334  }
335  else
336  {
337  __testeof = true;
338  break;
339  }
340  }
341  else
342  break;
343  }
344 
345  if (++__beg != __end)
346  __c = *__beg;
347  else
348  __testeof = true;
349  }
350 
351  // Digit grouping is checked. If grouping and found_grouping don't
352  // match, then get very very upset, and set failbit.
353  if (__found_grouping.size())
354  {
355  // Add the ending grouping if a decimal or 'e'/'E' wasn't found.
356  if (!__found_dec && !__found_sci)
357  __found_grouping += static_cast<char>(__sep_pos);
358 
359  if (!std::__verify_grouping(__lc->_M_grouping,
360  __lc->_M_grouping_size,
361  __found_grouping))
362  __err = ios_base::failbit;
363  }
364 
365  return __beg;
366  }
367 
368  template<typename _CharT, typename _InIter>
369  template<typename _ValueT>
370  _InIter
371  num_get<_CharT, _InIter>::
372  _M_extract_int(_InIter __beg, _InIter __end, ios_base& __io,
373  ios_base::iostate& __err, _ValueT& __v) const
374  {
375  typedef char_traits<_CharT> __traits_type;
376  using __gnu_cxx::__add_unsigned;
377  typedef typename __add_unsigned<_ValueT>::__type __unsigned_type;
378  typedef __numpunct_cache<_CharT> __cache_type;
379  __use_cache<__cache_type> __uc;
380  const locale& __loc = __io._M_getloc();
381  const __cache_type* __lc = __uc(__loc);
382  const _CharT* __lit = __lc->_M_atoms_in;
383  char_type __c = char_type();
384 
385  // NB: Iff __basefield == 0, __base can change based on contents.
386  const ios_base::fmtflags __basefield = __io.flags()
388  const bool __oct = __basefield == ios_base::oct;
389  int __base = __oct ? 8 : (__basefield == ios_base::hex ? 16 : 10);
390 
391  // True if __beg becomes equal to __end.
392  bool __testeof = __beg == __end;
393 
394  // First check for sign.
395  bool __negative = false;
396  if (!__testeof)
397  {
398  __c = *__beg;
399  __negative = __c == __lit[__num_base::_S_iminus];
400  if ((__negative || __c == __lit[__num_base::_S_iplus])
401  && !(__lc->_M_use_grouping && __c == __lc->_M_thousands_sep)
402  && !(__c == __lc->_M_decimal_point))
403  {
404  if (++__beg != __end)
405  __c = *__beg;
406  else
407  __testeof = true;
408  }
409  }
410 
411  // Next, look for leading zeros and check required digits
412  // for base formats.
413  bool __found_zero = false;
414  int __sep_pos = 0;
415  while (!__testeof)
416  {
417  if ((__lc->_M_use_grouping && __c == __lc->_M_thousands_sep)
418  || __c == __lc->_M_decimal_point)
419  break;
420  else if (__c == __lit[__num_base::_S_izero]
421  && (!__found_zero || __base == 10))
422  {
423  __found_zero = true;
424  ++__sep_pos;
425  if (__basefield == 0)
426  __base = 8;
427  if (__base == 8)
428  __sep_pos = 0;
429  }
430  else if (__found_zero
431  && (__c == __lit[__num_base::_S_ix]
432  || __c == __lit[__num_base::_S_iX]))
433  {
434  if (__basefield == 0)
435  __base = 16;
436  if (__base == 16)
437  {
438  __found_zero = false;
439  __sep_pos = 0;
440  }
441  else
442  break;
443  }
444  else
445  break;
446 
447  if (++__beg != __end)
448  {
449  __c = *__beg;
450  if (!__found_zero)
451  break;
452  }
453  else
454  __testeof = true;
455  }
456 
457  // At this point, base is determined. If not hex, only allow
458  // base digits as valid input.
459  const size_t __len = (__base == 16 ? __num_base::_S_iend
460  - __num_base::_S_izero : __base);
461 
462  // Extract.
463  string __found_grouping;
464  if (__lc->_M_use_grouping)
465  __found_grouping.reserve(32);
466  bool __testfail = false;
467  bool __testoverflow = false;
468  const __unsigned_type __max =
469  (__negative && __gnu_cxx::__numeric_traits<_ValueT>::__is_signed)
470  ? -__gnu_cxx::__numeric_traits<_ValueT>::__min
471  : __gnu_cxx::__numeric_traits<_ValueT>::__max;
472  const __unsigned_type __smax = __max / __base;
473  __unsigned_type __result = 0;
474  int __digit = 0;
475  const char_type* __lit_zero = __lit + __num_base::_S_izero;
476 
477  if (!__lc->_M_allocated)
478  // "C" locale
479  while (!__testeof)
480  {
481  __digit = _M_find(__lit_zero, __len, __c);
482  if (__digit == -1)
483  break;
484 
485  if (__result > __smax)
486  __testoverflow = true;
487  else
488  {
489  __result *= __base;
490  __testoverflow |= __result > __max - __digit;
491  __result += __digit;
492  ++__sep_pos;
493  }
494 
495  if (++__beg != __end)
496  __c = *__beg;
497  else
498  __testeof = true;
499  }
500  else
501  while (!__testeof)
502  {
503  // According to 22.2.2.1.2, p8-9, first look for thousands_sep
504  // and decimal_point.
505  if (__lc->_M_use_grouping && __c == __lc->_M_thousands_sep)
506  {
507  // NB: Thousands separator at the beginning of a string
508  // is a no-no, as is two consecutive thousands separators.
509  if (__sep_pos)
510  {
511  __found_grouping += static_cast<char>(__sep_pos);
512  __sep_pos = 0;
513  }
514  else
515  {
516  __testfail = true;
517  break;
518  }
519  }
520  else if (__c == __lc->_M_decimal_point)
521  break;
522  else
523  {
524  const char_type* __q =
525  __traits_type::find(__lit_zero, __len, __c);
526  if (!__q)
527  break;
528 
529  __digit = __q - __lit_zero;
530  if (__digit > 15)
531  __digit -= 6;
532  if (__result > __smax)
533  __testoverflow = true;
534  else
535  {
536  __result *= __base;
537  __testoverflow |= __result > __max - __digit;
538  __result += __digit;
539  ++__sep_pos;
540  }
541  }
542 
543  if (++__beg != __end)
544  __c = *__beg;
545  else
546  __testeof = true;
547  }
548 
549  // Digit grouping is checked. If grouping and found_grouping don't
550  // match, then get very very upset, and set failbit.
551  if (__found_grouping.size())
552  {
553  // Add the ending grouping.
554  __found_grouping += static_cast<char>(__sep_pos);
555 
556  if (!std::__verify_grouping(__lc->_M_grouping,
557  __lc->_M_grouping_size,
558  __found_grouping))
559  __err = ios_base::failbit;
560  }
561 
562  // _GLIBCXX_RESOLVE_LIB_DEFECTS
563  // 23. Num_get overflow result.
564  if ((!__sep_pos && !__found_zero && !__found_grouping.size())
565  || __testfail)
566  {
567  __v = 0;
568  __err = ios_base::failbit;
569  }
570  else if (__testoverflow)
571  {
572  if (__negative
573  && __gnu_cxx::__numeric_traits<_ValueT>::__is_signed)
574  __v = __gnu_cxx::__numeric_traits<_ValueT>::__min;
575  else
576  __v = __gnu_cxx::__numeric_traits<_ValueT>::__max;
577  __err = ios_base::failbit;
578  }
579  else
580  __v = __negative ? -__result : __result;
581 
582  if (__testeof)
583  __err |= ios_base::eofbit;
584  return __beg;
585  }
586 
587  // _GLIBCXX_RESOLVE_LIB_DEFECTS
588  // 17. Bad bool parsing
589  template<typename _CharT, typename _InIter>
590  _InIter
592  do_get(iter_type __beg, iter_type __end, ios_base& __io,
593  ios_base::iostate& __err, bool& __v) const
594  {
595  if (!(__io.flags() & ios_base::boolalpha))
596  {
597  // Parse bool values as long.
598  // NB: We can't just call do_get(long) here, as it might
599  // refer to a derived class.
600  long __l = -1;
601  __beg = _M_extract_int(__beg, __end, __io, __err, __l);
602  if (__l == 0 || __l == 1)
603  __v = bool(__l);
604  else
605  {
606  // _GLIBCXX_RESOLVE_LIB_DEFECTS
607  // 23. Num_get overflow result.
608  __v = true;
609  __err = ios_base::failbit;
610  if (__beg == __end)
611  __err |= ios_base::eofbit;
612  }
613  }
614  else
615  {
616  // Parse bool values as alphanumeric.
617  typedef __numpunct_cache<_CharT> __cache_type;
618  __use_cache<__cache_type> __uc;
619  const locale& __loc = __io._M_getloc();
620  const __cache_type* __lc = __uc(__loc);
621 
622  bool __testf = true;
623  bool __testt = true;
624  bool __donef = __lc->_M_falsename_size == 0;
625  bool __donet = __lc->_M_truename_size == 0;
626  bool __testeof = false;
627  size_t __n = 0;
628  while (!__donef || !__donet)
629  {
630  if (__beg == __end)
631  {
632  __testeof = true;
633  break;
634  }
635 
636  const char_type __c = *__beg;
637 
638  if (!__donef)
639  __testf = __c == __lc->_M_falsename[__n];
640 
641  if (!__testf && __donet)
642  break;
643 
644  if (!__donet)
645  __testt = __c == __lc->_M_truename[__n];
646 
647  if (!__testt && __donef)
648  break;
649 
650  if (!__testt && !__testf)
651  break;
652 
653  ++__n;
654  ++__beg;
655 
656  __donef = !__testf || __n >= __lc->_M_falsename_size;
657  __donet = !__testt || __n >= __lc->_M_truename_size;
658  }
659  if (__testf && __n == __lc->_M_falsename_size && __n)
660  {
661  __v = false;
662  if (__testt && __n == __lc->_M_truename_size)
663  __err = ios_base::failbit;
664  else
665  __err = __testeof ? ios_base::eofbit : ios_base::goodbit;
666  }
667  else if (__testt && __n == __lc->_M_truename_size && __n)
668  {
669  __v = true;
670  __err = __testeof ? ios_base::eofbit : ios_base::goodbit;
671  }
672  else
673  {
674  // _GLIBCXX_RESOLVE_LIB_DEFECTS
675  // 23. Num_get overflow result.
676  __v = false;
677  __err = ios_base::failbit;
678  if (__testeof)
679  __err |= ios_base::eofbit;
680  }
681  }
682  return __beg;
683  }
684 
685  template<typename _CharT, typename _InIter>
686  _InIter
688  do_get(iter_type __beg, iter_type __end, ios_base& __io,
689  ios_base::iostate& __err, float& __v) const
690  {
691  string __xtrc;
692  __xtrc.reserve(32);
693  __beg = _M_extract_float(__beg, __end, __io, __err, __xtrc);
694  std::__convert_to_v(__xtrc.c_str(), __v, __err, _S_get_c_locale());
695  if (__beg == __end)
696  __err |= ios_base::eofbit;
697  return __beg;
698  }
699 
700  template<typename _CharT, typename _InIter>
701  _InIter
703  do_get(iter_type __beg, iter_type __end, ios_base& __io,
704  ios_base::iostate& __err, double& __v) const
705  {
706  string __xtrc;
707  __xtrc.reserve(32);
708  __beg = _M_extract_float(__beg, __end, __io, __err, __xtrc);
709  std::__convert_to_v(__xtrc.c_str(), __v, __err, _S_get_c_locale());
710  if (__beg == __end)
711  __err |= ios_base::eofbit;
712  return __beg;
713  }
714 
715 #if defined _GLIBCXX_LONG_DOUBLE_COMPAT && defined __LONG_DOUBLE_128__
716  template<typename _CharT, typename _InIter>
717  _InIter
719  __do_get(iter_type __beg, iter_type __end, ios_base& __io,
720  ios_base::iostate& __err, double& __v) const
721  {
722  string __xtrc;
723  __xtrc.reserve(32);
724  __beg = _M_extract_float(__beg, __end, __io, __err, __xtrc);
725  std::__convert_to_v(__xtrc.c_str(), __v, __err, _S_get_c_locale());
726  if (__beg == __end)
727  __err |= ios_base::eofbit;
728  return __beg;
729  }
730 #endif
731 
732  template<typename _CharT, typename _InIter>
733  _InIter
735  do_get(iter_type __beg, iter_type __end, ios_base& __io,
736  ios_base::iostate& __err, long double& __v) const
737  {
738  string __xtrc;
739  __xtrc.reserve(32);
740  __beg = _M_extract_float(__beg, __end, __io, __err, __xtrc);
741  std::__convert_to_v(__xtrc.c_str(), __v, __err, _S_get_c_locale());
742  if (__beg == __end)
743  __err |= ios_base::eofbit;
744  return __beg;
745  }
746 
747  template<typename _CharT, typename _InIter>
748  _InIter
750  do_get(iter_type __beg, iter_type __end, ios_base& __io,
751  ios_base::iostate& __err, void*& __v) const
752  {
753  // Prepare for hex formatted input.
754  typedef ios_base::fmtflags fmtflags;
755  const fmtflags __fmt = __io.flags();
756  __io.flags((__fmt & ~ios_base::basefield) | ios_base::hex);
757 
758  typedef __gnu_cxx::__conditional_type<(sizeof(void*)
759  <= sizeof(unsigned long)),
760  unsigned long, unsigned long long>::__type _UIntPtrType;
761 
762  _UIntPtrType __ul;
763  __beg = _M_extract_int(__beg, __end, __io, __err, __ul);
764 
765  // Reset from hex formatted input.
766  __io.flags(__fmt);
767 
768  __v = reinterpret_cast<void*>(__ul);
769  return __beg;
770  }
771 
772  // For use by integer and floating-point types after they have been
773  // converted into a char_type string.
774  template<typename _CharT, typename _OutIter>
775  void
777  _M_pad(_CharT __fill, streamsize __w, ios_base& __io,
778  _CharT* __new, const _CharT* __cs, int& __len) const
779  {
780  // [22.2.2.2.2] Stage 3.
781  // If necessary, pad.
782  __pad<_CharT, char_traits<_CharT> >::_S_pad(__io, __fill, __new,
783  __cs, __w, __len);
784  __len = static_cast<int>(__w);
785  }
786 
787 _GLIBCXX_END_NAMESPACE_LDBL
788 
789  template<typename _CharT, typename _ValueT>
790  int
791  __int_to_char(_CharT* __bufend, _ValueT __v, const _CharT* __lit,
792  ios_base::fmtflags __flags, bool __dec)
793  {
794  _CharT* __buf = __bufend;
795  if (__builtin_expect(__dec, true))
796  {
797  // Decimal.
798  do
799  {
800  *--__buf = __lit[(__v % 10) + __num_base::_S_odigits];
801  __v /= 10;
802  }
803  while (__v != 0);
804  }
805  else if ((__flags & ios_base::basefield) == ios_base::oct)
806  {
807  // Octal.
808  do
809  {
810  *--__buf = __lit[(__v & 0x7) + __num_base::_S_odigits];
811  __v >>= 3;
812  }
813  while (__v != 0);
814  }
815  else
816  {
817  // Hex.
818  const bool __uppercase = __flags & ios_base::uppercase;
819  const int __case_offset = __uppercase ? __num_base::_S_oudigits
820  : __num_base::_S_odigits;
821  do
822  {
823  *--__buf = __lit[(__v & 0xf) + __case_offset];
824  __v >>= 4;
825  }
826  while (__v != 0);
827  }
828  return __bufend - __buf;
829  }
830 
831 _GLIBCXX_BEGIN_NAMESPACE_LDBL
832 
833  template<typename _CharT, typename _OutIter>
834  void
835  num_put<_CharT, _OutIter>::
836  _M_group_int(const char* __grouping, size_t __grouping_size, _CharT __sep,
837  ios_base&, _CharT* __new, _CharT* __cs, int& __len) const
838  {
839  _CharT* __p = std::__add_grouping(__new, __sep, __grouping,
840  __grouping_size, __cs, __cs + __len);
841  __len = __p - __new;
842  }
843 
844  template<typename _CharT, typename _OutIter>
845  template<typename _ValueT>
846  _OutIter
847  num_put<_CharT, _OutIter>::
848  _M_insert_int(_OutIter __s, ios_base& __io, _CharT __fill,
849  _ValueT __v) const
850  {
851  using __gnu_cxx::__add_unsigned;
852  typedef typename __add_unsigned<_ValueT>::__type __unsigned_type;
853  typedef __numpunct_cache<_CharT> __cache_type;
854  __use_cache<__cache_type> __uc;
855  const locale& __loc = __io._M_getloc();
856  const __cache_type* __lc = __uc(__loc);
857  const _CharT* __lit = __lc->_M_atoms_out;
858  const ios_base::fmtflags __flags = __io.flags();
859 
860  // Long enough to hold hex, dec, and octal representations.
861  const int __ilen = 5 * sizeof(_ValueT);
862  _CharT* __cs = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
863  * __ilen));
864 
865  // [22.2.2.2.2] Stage 1, numeric conversion to character.
866  // Result is returned right-justified in the buffer.
867  const ios_base::fmtflags __basefield = __flags & ios_base::basefield;
868  const bool __dec = (__basefield != ios_base::oct
869  && __basefield != ios_base::hex);
870  const __unsigned_type __u = ((__v > 0 || !__dec)
871  ? __unsigned_type(__v)
872  : -__unsigned_type(__v));
873  int __len = __int_to_char(__cs + __ilen, __u, __lit, __flags, __dec);
874  __cs += __ilen - __len;
875 
876  // Add grouping, if necessary.
877  if (__lc->_M_use_grouping)
878  {
879  // Grouping can add (almost) as many separators as the number
880  // of digits + space is reserved for numeric base or sign.
881  _CharT* __cs2 = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
882  * (__len + 1)
883  * 2));
884  _M_group_int(__lc->_M_grouping, __lc->_M_grouping_size,
885  __lc->_M_thousands_sep, __io, __cs2 + 2, __cs, __len);
886  __cs = __cs2 + 2;
887  }
888 
889  // Complete Stage 1, prepend numeric base or sign.
890  if (__builtin_expect(__dec, true))
891  {
892  // Decimal.
893  if (__v >= 0)
894  {
895  if (bool(__flags & ios_base::showpos)
896  && __gnu_cxx::__numeric_traits<_ValueT>::__is_signed)
897  *--__cs = __lit[__num_base::_S_oplus], ++__len;
898  }
899  else
900  *--__cs = __lit[__num_base::_S_ominus], ++__len;
901  }
902  else if (bool(__flags & ios_base::showbase) && __v)
903  {
904  if (__basefield == ios_base::oct)
905  *--__cs = __lit[__num_base::_S_odigits], ++__len;
906  else
907  {
908  // 'x' or 'X'
909  const bool __uppercase = __flags & ios_base::uppercase;
910  *--__cs = __lit[__num_base::_S_ox + __uppercase];
911  // '0'
912  *--__cs = __lit[__num_base::_S_odigits];
913  __len += 2;
914  }
915  }
916 
917  // Pad.
918  const streamsize __w = __io.width();
919  if (__w > static_cast<streamsize>(__len))
920  {
921  _CharT* __cs3 = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
922  * __w));
923  _M_pad(__fill, __w, __io, __cs3, __cs, __len);
924  __cs = __cs3;
925  }
926  __io.width(0);
927 
928  // [22.2.2.2.2] Stage 4.
929  // Write resulting, fully-formatted string to output iterator.
930  return std::__write(__s, __cs, __len);
931  }
932 
933  template<typename _CharT, typename _OutIter>
934  void
935  num_put<_CharT, _OutIter>::
936  _M_group_float(const char* __grouping, size_t __grouping_size,
937  _CharT __sep, const _CharT* __p, _CharT* __new,
938  _CharT* __cs, int& __len) const
939  {
940  // _GLIBCXX_RESOLVE_LIB_DEFECTS
941  // 282. What types does numpunct grouping refer to?
942  // Add grouping, if necessary.
943  const int __declen = __p ? __p - __cs : __len;
944  _CharT* __p2 = std::__add_grouping(__new, __sep, __grouping,
945  __grouping_size,
946  __cs, __cs + __declen);
947 
948  // Tack on decimal part.
949  int __newlen = __p2 - __new;
950  if (__p)
951  {
952  char_traits<_CharT>::copy(__p2, __p, __len - __declen);
953  __newlen += __len - __declen;
954  }
955  __len = __newlen;
956  }
957 
958  // The following code uses vsnprintf (or vsprintf(), when
959  // _GLIBCXX_USE_C99 is not defined) to convert floating point values
960  // for insertion into a stream. An optimization would be to replace
961  // them with code that works directly on a wide buffer and then use
962  // __pad to do the padding. It would be good to replace them anyway
963  // to gain back the efficiency that C++ provides by knowing up front
964  // the type of the values to insert. Also, sprintf is dangerous
965  // since may lead to accidental buffer overruns. This
966  // implementation follows the C++ standard fairly directly as
967  // outlined in 22.2.2.2 [lib.locale.num.put]
968  template<typename _CharT, typename _OutIter>
969  template<typename _ValueT>
970  _OutIter
971  num_put<_CharT, _OutIter>::
972  _M_insert_float(_OutIter __s, ios_base& __io, _CharT __fill, char __mod,
973  _ValueT __v) const
974  {
975  typedef __numpunct_cache<_CharT> __cache_type;
976  __use_cache<__cache_type> __uc;
977  const locale& __loc = __io._M_getloc();
978  const __cache_type* __lc = __uc(__loc);
979 
980  // Use default precision if out of range.
981  const streamsize __prec = __io.precision() < 0 ? 6 : __io.precision();
982 
983  const int __max_digits =
984  __gnu_cxx::__numeric_traits<_ValueT>::__digits10;
985 
986  // [22.2.2.2.2] Stage 1, numeric conversion to character.
987  int __len;
988  // Long enough for the max format spec.
989  char __fbuf[16];
990  __num_base::_S_format_float(__io, __fbuf, __mod);
991 
992 #ifdef _GLIBCXX_USE_C99
993  // First try a buffer perhaps big enough (most probably sufficient
994  // for non-ios_base::fixed outputs)
995  int __cs_size = __max_digits * 3;
996  char* __cs = static_cast<char*>(__builtin_alloca(__cs_size));
997  __len = std::__convert_from_v(_S_get_c_locale(), __cs, __cs_size,
998  __fbuf, __prec, __v);
999 
1000  // If the buffer was not large enough, try again with the correct size.
1001  if (__len >= __cs_size)
1002  {
1003  __cs_size = __len + 1;
1004  __cs = static_cast<char*>(__builtin_alloca(__cs_size));
1005  __len = std::__convert_from_v(_S_get_c_locale(), __cs, __cs_size,
1006  __fbuf, __prec, __v);
1007  }
1008 #else
1009  // Consider the possibility of long ios_base::fixed outputs
1010  const bool __fixed = __io.flags() & ios_base::fixed;
1011  const int __max_exp =
1012  __gnu_cxx::__numeric_traits<_ValueT>::__max_exponent10;
1013 
1014  // The size of the output string is computed as follows.
1015  // ios_base::fixed outputs may need up to __max_exp + 1 chars
1016  // for the integer part + __prec chars for the fractional part
1017  // + 3 chars for sign, decimal point, '\0'. On the other hand,
1018  // for non-fixed outputs __max_digits * 2 + __prec chars are
1019  // largely sufficient.
1020  const int __cs_size = __fixed ? __max_exp + __prec + 4
1021  : __max_digits * 2 + __prec;
1022  char* __cs = static_cast<char*>(__builtin_alloca(__cs_size));
1023  __len = std::__convert_from_v(_S_get_c_locale(), __cs, 0, __fbuf,
1024  __prec, __v);
1025 #endif
1026 
1027  // [22.2.2.2.2] Stage 2, convert to char_type, using correct
1028  // numpunct.decimal_point() values for '.' and adding grouping.
1029  const ctype<_CharT>& __ctype = use_facet<ctype<_CharT> >(__loc);
1030 
1031  _CharT* __ws = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
1032  * __len));
1033  __ctype.widen(__cs, __cs + __len, __ws);
1034 
1035  // Replace decimal point.
1036  _CharT* __wp = 0;
1037  const char* __p = char_traits<char>::find(__cs, __len, '.');
1038  if (__p)
1039  {
1040  __wp = __ws + (__p - __cs);
1041  *__wp = __lc->_M_decimal_point;
1042  }
1043 
1044  // Add grouping, if necessary.
1045  // N.B. Make sure to not group things like 2e20, i.e., no decimal
1046  // point, scientific notation.
1047  if (__lc->_M_use_grouping
1048  && (__wp || __len < 3 || (__cs[1] <= '9' && __cs[2] <= '9'
1049  && __cs[1] >= '0' && __cs[2] >= '0')))
1050  {
1051  // Grouping can add (almost) as many separators as the
1052  // number of digits, but no more.
1053  _CharT* __ws2 = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
1054  * __len * 2));
1055 
1056  streamsize __off = 0;
1057  if (__cs[0] == '-' || __cs[0] == '+')
1058  {
1059  __off = 1;
1060  __ws2[0] = __ws[0];
1061  __len -= 1;
1062  }
1063 
1064  _M_group_float(__lc->_M_grouping, __lc->_M_grouping_size,
1065  __lc->_M_thousands_sep, __wp, __ws2 + __off,
1066  __ws + __off, __len);
1067  __len += __off;
1068 
1069  __ws = __ws2;
1070  }
1071 
1072  // Pad.
1073  const streamsize __w = __io.width();
1074  if (__w > static_cast<streamsize>(__len))
1075  {
1076  _CharT* __ws3 = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
1077  * __w));
1078  _M_pad(__fill, __w, __io, __ws3, __ws, __len);
1079  __ws = __ws3;
1080  }
1081  __io.width(0);
1082 
1083  // [22.2.2.2.2] Stage 4.
1084  // Write resulting, fully-formatted string to output iterator.
1085  return std::__write(__s, __ws, __len);
1086  }
1087 
1088  template<typename _CharT, typename _OutIter>
1089  _OutIter
1091  do_put(iter_type __s, ios_base& __io, char_type __fill, bool __v) const
1092  {
1093  const ios_base::fmtflags __flags = __io.flags();
1094  if ((__flags & ios_base::boolalpha) == 0)
1095  {
1096  const long __l = __v;
1097  __s = _M_insert_int(__s, __io, __fill, __l);
1098  }
1099  else
1100  {
1101  typedef __numpunct_cache<_CharT> __cache_type;
1102  __use_cache<__cache_type> __uc;
1103  const locale& __loc = __io._M_getloc();
1104  const __cache_type* __lc = __uc(__loc);
1105 
1106  const _CharT* __name = __v ? __lc->_M_truename
1107  : __lc->_M_falsename;
1108  int __len = __v ? __lc->_M_truename_size
1109  : __lc->_M_falsename_size;
1110 
1111  const streamsize __w = __io.width();
1112  if (__w > static_cast<streamsize>(__len))
1113  {
1114  const streamsize __plen = __w - __len;
1115  _CharT* __ps
1116  = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
1117  * __plen));
1118 
1119  char_traits<_CharT>::assign(__ps, __plen, __fill);
1120  __io.width(0);
1121 
1122  if ((__flags & ios_base::adjustfield) == ios_base::left)
1123  {
1124  __s = std::__write(__s, __name, __len);
1125  __s = std::__write(__s, __ps, __plen);
1126  }
1127  else
1128  {
1129  __s = std::__write(__s, __ps, __plen);
1130  __s = std::__write(__s, __name, __len);
1131  }
1132  return __s;
1133  }
1134  __io.width(0);
1135  __s = std::__write(__s, __name, __len);
1136  }
1137  return __s;
1138  }
1139 
1140  template<typename _CharT, typename _OutIter>
1141  _OutIter
1143  do_put(iter_type __s, ios_base& __io, char_type __fill, double __v) const
1144  { return _M_insert_float(__s, __io, __fill, char(), __v); }
1145 
1146 #if defined _GLIBCXX_LONG_DOUBLE_COMPAT && defined __LONG_DOUBLE_128__
1147  template<typename _CharT, typename _OutIter>
1148  _OutIter
1150  __do_put(iter_type __s, ios_base& __io, char_type __fill, double __v) const
1151  { return _M_insert_float(__s, __io, __fill, char(), __v); }
1152 #endif
1153 
1154  template<typename _CharT, typename _OutIter>
1155  _OutIter
1158  long double __v) const
1159  { return _M_insert_float(__s, __io, __fill, 'L', __v); }
1160 
1161  template<typename _CharT, typename _OutIter>
1162  _OutIter
1165  const void* __v) const
1166  {
1167  const ios_base::fmtflags __flags = __io.flags();
1168  const ios_base::fmtflags __fmt = ~(ios_base::basefield
1170  __io.flags((__flags & __fmt) | (ios_base::hex | ios_base::showbase));
1171 
1172  typedef __gnu_cxx::__conditional_type<(sizeof(const void*)
1173  <= sizeof(unsigned long)),
1174  unsigned long, unsigned long long>::__type _UIntPtrType;
1175 
1176  __s = _M_insert_int(__s, __io, __fill,
1177  reinterpret_cast<_UIntPtrType>(__v));
1178  __io.flags(__flags);
1179  return __s;
1180  }
1181 
1182 _GLIBCXX_END_NAMESPACE_LDBL
1183 
1184  // Construct correctly padded string, as per 22.2.2.2.2
1185  // Assumes
1186  // __newlen > __oldlen
1187  // __news is allocated for __newlen size
1188 
1189  // NB: Of the two parameters, _CharT can be deduced from the
1190  // function arguments. The other (_Traits) has to be explicitly specified.
1191  template<typename _CharT, typename _Traits>
1192  void
1193  __pad<_CharT, _Traits>::_S_pad(ios_base& __io, _CharT __fill,
1194  _CharT* __news, const _CharT* __olds,
1195  streamsize __newlen, streamsize __oldlen)
1196  {
1197  const size_t __plen = static_cast<size_t>(__newlen - __oldlen);
1198  const ios_base::fmtflags __adjust = __io.flags() & ios_base::adjustfield;
1199 
1200  // Padding last.
1201  if (__adjust == ios_base::left)
1202  {
1203  _Traits::copy(__news, __olds, __oldlen);
1204  _Traits::assign(__news + __oldlen, __plen, __fill);
1205  return;
1206  }
1207 
1208  size_t __mod = 0;
1209  if (__adjust == ios_base::internal)
1210  {
1211  // Pad after the sign, if there is one.
1212  // Pad after 0[xX], if there is one.
1213  // Who came up with these rules, anyway? Jeeze.
1214  const locale& __loc = __io._M_getloc();
1215  const ctype<_CharT>& __ctype = use_facet<ctype<_CharT> >(__loc);
1216 
1217  if (__ctype.widen('-') == __olds[0]
1218  || __ctype.widen('+') == __olds[0])
1219  {
1220  __news[0] = __olds[0];
1221  __mod = 1;
1222  ++__news;
1223  }
1224  else if (__ctype.widen('0') == __olds[0]
1225  && __oldlen > 1
1226  && (__ctype.widen('x') == __olds[1]
1227  || __ctype.widen('X') == __olds[1]))
1228  {
1229  __news[0] = __olds[0];
1230  __news[1] = __olds[1];
1231  __mod = 2;
1232  __news += 2;
1233  }
1234  // else Padding first.
1235  }
1236  _Traits::assign(__news, __plen, __fill);
1237  _Traits::copy(__news + __plen, __olds + __mod, __oldlen - __mod);
1238  }
1239 
1240  template<typename _CharT>
1241  _CharT*
1242  __add_grouping(_CharT* __s, _CharT __sep,
1243  const char* __gbeg, size_t __gsize,
1244  const _CharT* __first, const _CharT* __last)
1245  {
1246  size_t __idx = 0;
1247  size_t __ctr = 0;
1248 
1249  while (__last - __first > __gbeg[__idx]
1250  && static_cast<signed char>(__gbeg[__idx]) > 0
1251  && __gbeg[__idx] != __gnu_cxx::__numeric_traits<char>::__max)
1252  {
1253  __last -= __gbeg[__idx];
1254  __idx < __gsize - 1 ? ++__idx : ++__ctr;
1255  }
1256 
1257  while (__first != __last)
1258  *__s++ = *__first++;
1259 
1260  while (__ctr--)
1261  {
1262  *__s++ = __sep;
1263  for (char __i = __gbeg[__idx]; __i > 0; --__i)
1264  *__s++ = *__first++;
1265  }
1266 
1267  while (__idx--)
1268  {
1269  *__s++ = __sep;
1270  for (char __i = __gbeg[__idx]; __i > 0; --__i)
1271  *__s++ = *__first++;
1272  }
1273 
1274  return __s;
1275  }
1276 
1277  // Inhibit implicit instantiations for required instantiations,
1278  // which are defined via explicit instantiations elsewhere.
1279 #if _GLIBCXX_EXTERN_TEMPLATE
1280  extern template class numpunct<char>;
1281  extern template class numpunct_byname<char>;
1282  extern template class _GLIBCXX_NAMESPACE_LDBL num_get<char>;
1283  extern template class _GLIBCXX_NAMESPACE_LDBL num_put<char>;
1284  extern template class ctype_byname<char>;
1285 
1286  extern template
1287  const ctype<char>&
1288  use_facet<ctype<char> >(const locale&);
1289 
1290  extern template
1291  const numpunct<char>&
1292  use_facet<numpunct<char> >(const locale&);
1293 
1294  extern template
1295  const num_put<char>&
1296  use_facet<num_put<char> >(const locale&);
1297 
1298  extern template
1299  const num_get<char>&
1300  use_facet<num_get<char> >(const locale&);
1301 
1302  extern template
1303  bool
1304  has_facet<ctype<char> >(const locale&);
1305 
1306  extern template
1307  bool
1308  has_facet<numpunct<char> >(const locale&);
1309 
1310  extern template
1311  bool
1312  has_facet<num_put<char> >(const locale&);
1313 
1314  extern template
1315  bool
1316  has_facet<num_get<char> >(const locale&);
1317 
1318 #ifdef _GLIBCXX_USE_WCHAR_T
1319  extern template class numpunct<wchar_t>;
1320  extern template class numpunct_byname<wchar_t>;
1321  extern template class _GLIBCXX_NAMESPACE_LDBL num_get<wchar_t>;
1322  extern template class _GLIBCXX_NAMESPACE_LDBL num_put<wchar_t>;
1323  extern template class ctype_byname<wchar_t>;
1324 
1325  extern template
1326  const ctype<wchar_t>&
1327  use_facet<ctype<wchar_t> >(const locale&);
1328 
1329  extern template
1330  const numpunct<wchar_t>&
1331  use_facet<numpunct<wchar_t> >(const locale&);
1332 
1333  extern template
1334  const num_put<wchar_t>&
1335  use_facet<num_put<wchar_t> >(const locale&);
1336 
1337  extern template
1338  const num_get<wchar_t>&
1339  use_facet<num_get<wchar_t> >(const locale&);
1340 
1341  extern template
1342  bool
1343  has_facet<ctype<wchar_t> >(const locale&);
1344 
1345  extern template
1346  bool
1347  has_facet<numpunct<wchar_t> >(const locale&);
1348 
1349  extern template
1350  bool
1351  has_facet<num_put<wchar_t> >(const locale&);
1352 
1353  extern template
1354  bool
1355  has_facet<num_get<wchar_t> >(const locale&);
1356 #endif
1357 #endif
1358 
1359 _GLIBCXX_END_NAMESPACE_VERSION
1360 } // namespace
1361 
1362 #endif