OSDN Git Service

7ccb946f36c75efe8f23a91236a8c2a3dbe61ba9
[pf3gnuchains/gcc-fork.git] / libstdc++-v3 / include / bits / locale_facets.tcc
1 // Locale support -*- C++ -*-
2
3 // Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004
4 // Free Software Foundation, Inc.
5 //
6 // This file is part of the GNU ISO C++ Library.  This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 2, or (at your option)
10 // any later version.
11
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 // GNU General Public License for more details.
16
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING.  If not, write to the Free
19 // Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
20 // USA.
21
22 // As a special exception, you may use this file as part of a free software
23 // library without restriction.  Specifically, if other files instantiate
24 // templates or use macros or inline functions from this file, or you compile
25 // this file and link it with other files to produce an executable, this
26 // file does not by itself cause the resulting executable to be covered by
27 // the GNU General Public License.  This exception does not however
28 // invalidate any other reasons why the executable file might be covered by
29 // the GNU General Public License.
30
31 // Warning: this file is not meant for user inclusion. Use <locale>.
32
33 #ifndef _LOCALE_FACETS_TCC
34 #define _LOCALE_FACETS_TCC 1
35
36 #pragma GCC system_header
37
38 #include <limits>               // For numeric_limits
39 #include <typeinfo>             // For bad_cast.
40 #include <bits/streambuf_iterator.h>
41
42 namespace std
43 {
44   template<typename _Facet>
45     locale
46     locale::combine(const locale& __other) const
47     {
48       _Impl* __tmp = new _Impl(*_M_impl, 1);
49       try
50         {
51           __tmp->_M_replace_facet(__other._M_impl, &_Facet::id);
52         }
53       catch(...)
54         {
55           __tmp->_M_remove_reference();
56           __throw_exception_again;
57         }
58       return locale(__tmp);
59     }
60
61   template<typename _CharT, typename _Traits, typename _Alloc>
62     bool
63     locale::operator()(const basic_string<_CharT, _Traits, _Alloc>& __s1,
64                        const basic_string<_CharT, _Traits, _Alloc>& __s2) const
65     {
66       typedef std::collate<_CharT> __collate_type;
67       const __collate_type& __collate = use_facet<__collate_type>(*this);
68       return (__collate.compare(__s1.data(), __s1.data() + __s1.length(),
69                                 __s2.data(), __s2.data() + __s2.length()) < 0);
70     }
71
72   /**
73    *  @brief  Test for the presence of a facet.
74    *
75    *  has_facet tests the locale argument for the presence of the facet type
76    *  provided as the template parameter.  Facets derived from the facet
77    *  parameter will also return true.
78    *
79    *  @param  Facet  The facet type to test the presence of.
80    *  @param  locale  The locale to test.
81    *  @return  true if locale contains a facet of type Facet, else false.
82    *  @throw  std::bad_cast if locale doesn't contain the facet.
83   */
84   template<typename _Facet>
85     inline bool
86     has_facet(const locale& __loc) throw()
87     {
88       const size_t __i = _Facet::id._M_id();
89       const locale::facet** __facets = __loc._M_impl->_M_facets;
90       return (__i < __loc._M_impl->_M_facets_size && __facets[__i]);
91     }
92
93   /**
94    *  @brief  Return a facet.
95    *
96    *  use_facet looks for and returns a reference to a facet of type Facet
97    *  where Facet is the template parameter.  If has_facet(locale) is true,
98    *  there is a suitable facet to return.  It throws std::bad_cast if the
99    *  locale doesn't contain a facet of type Facet.
100    *
101    *  @param  Facet  The facet type to access.
102    *  @param  locale  The locale to use.
103    *  @return  Reference to facet of type Facet.
104    *  @throw  std::bad_cast if locale doesn't contain a facet of type Facet.
105   */
106   template<typename _Facet>
107     inline const _Facet&
108     use_facet(const locale& __loc)
109     {
110       const size_t __i = _Facet::id._M_id();
111       const locale::facet** __facets = __loc._M_impl->_M_facets;
112       if (!(__i < __loc._M_impl->_M_facets_size && __facets[__i]))
113         __throw_bad_cast();
114       return static_cast<const _Facet&>(*__facets[__i]);
115     }
116
117   // Routine to access a cache for the facet.  If the cache didn't
118   // exist before, it gets constructed on the fly.
119   template<typename _Facet>
120     struct __use_cache
121     {
122       const _Facet*
123       operator() (const locale& __loc) const;
124     };
125
126   template<typename _CharT>
127     struct __use_cache<__numpunct_cache<_CharT> >
128     {
129       const __numpunct_cache<_CharT>*
130       operator() (const locale& __loc) const
131       {
132         const size_t __i = numpunct<_CharT>::id._M_id();
133         const locale::facet** __caches = __loc._M_impl->_M_caches;
134         if (!__caches[__i])
135           {
136             __numpunct_cache<_CharT>* __tmp = NULL;
137             try
138               {
139                 __tmp = new __numpunct_cache<_CharT>;
140                 __tmp->_M_cache(__loc);
141               }
142             catch(...)
143               {
144                 delete __tmp;
145                 __throw_exception_again;
146               }
147             __loc._M_impl->_M_install_cache(__tmp, __i);
148           }
149         return static_cast<const __numpunct_cache<_CharT>*>(__caches[__i]);
150       }
151     };
152
153   // Used by both numeric and monetary facets.
154   // Check to make sure that the __grouping_tmp string constructed in
155   // money_get or num_get matches the canonical grouping for a given
156   // locale.
157   // __grouping_tmp is parsed L to R
158   // 1,222,444 == __grouping_tmp of "\1\3\3"
159   // __grouping is parsed R to L
160   // 1,222,444 == __grouping of "\3" == "\3\3\3"
161   static bool
162   __verify_grouping(const char* __grouping, size_t __grouping_size,
163                     const string& __grouping_tmp);
164
165   template<typename _CharT, typename _InIter>
166     _InIter
167     num_get<_CharT, _InIter>::
168     _M_extract_float(_InIter __beg, _InIter __end, ios_base& __io,
169                      ios_base::iostate& __err, string& __xtrc) const
170     {
171       typedef char_traits<_CharT>                       __traits_type;
172       typedef typename numpunct<_CharT>::__cache_type   __cache_type;
173       __use_cache<__cache_type> __uc;
174       const locale& __loc = __io._M_getloc();
175       const __cache_type* __lc = __uc(__loc);
176       const _CharT* __lit = __lc->_M_atoms_in;
177
178       // True if a mantissa is found.
179       bool __found_mantissa = false;
180
181       // First check for sign.
182       if (__beg != __end)
183         {
184           const char_type __c = *__beg;
185           const bool __plus = __traits_type::eq(__c, __lit[_S_iplus]);
186           if ((__plus || __traits_type::eq(__c, __lit[_S_iminus]))
187               && !__traits_type::eq(__c, __lc->_M_decimal_point)
188               && (!__lc->_M_use_grouping
189                   || !__traits_type::eq(__c, __lc->_M_thousands_sep)))
190             {
191               __xtrc += __plus ? _S_atoms_in[_S_iplus]
192                                : _S_atoms_in[_S_iminus];
193               ++__beg;
194             }
195         }
196
197       // Next, look for leading zeros.
198       while (__beg != __end)
199         {
200           const char_type __c = *__beg;
201           if (__traits_type::eq(__c, __lc->_M_decimal_point)
202               || (__lc->_M_use_grouping
203                   && __traits_type::eq(__c, __lc->_M_thousands_sep)))
204             break;
205           else if (__traits_type::eq(__c, __lit[_S_izero]))
206             {
207               if (!__found_mantissa)
208                 {
209                   __xtrc += _S_atoms_in[_S_izero];
210                   __found_mantissa = true;
211                 }
212               ++__beg;
213             }
214           else
215             break;
216         }
217
218       // Only need acceptable digits for floating point numbers.
219       bool __found_dec = false;
220       bool __found_sci = false;
221       string __found_grouping;
222       int __sep_pos = 0;
223       bool __e;
224       const char_type* __p;
225       while (__beg != __end)
226         {
227           // According to 22.2.2.1.2, p8-9, first look for thousands_sep
228           // and decimal_point.
229           const char_type __c = *__beg;
230           if (__lc->_M_use_grouping
231               && __traits_type::eq(__c, __lc->_M_thousands_sep))
232             {
233               if (!__found_dec && !__found_sci)
234                 {
235                   // NB: Thousands separator at the beginning of a string
236                   // is a no-no, as is two consecutive thousands separators.
237                   if (__sep_pos)
238                     {
239                       __found_grouping += static_cast<char>(__sep_pos);
240                       __sep_pos = 0;
241                       ++__beg;
242                     }
243                   else
244                     {
245                       __err |= ios_base::failbit;
246                       break;
247                     }
248                 }
249               else
250                 break;
251             }
252           else if (__traits_type::eq(__c, __lc->_M_decimal_point))
253             {
254               if (!__found_dec && !__found_sci)
255                 {
256                   // If no grouping chars are seen, no grouping check
257                   // is applied. Therefore __found_grouping is adjusted
258                   // only if decimal_point comes after some thousands_sep.
259                   if (__found_grouping.size())
260                     __found_grouping += static_cast<char>(__sep_pos);
261                   __xtrc += '.';
262                   __found_dec = true;
263                   ++__beg;
264                 }
265               else
266                 break;
267             }
268           else if (__p = __traits_type::find(__lit + _S_izero, 10, __c))
269             {
270               __xtrc += _S_atoms_in[__p - __lit];
271               __found_mantissa = true;
272               ++__sep_pos;
273               ++__beg;
274             }
275           else if ((__e = __traits_type::eq(__c, __lit[_S_ie])
276                     || __traits_type::eq(__c, __lit[_S_iE]))
277                    && __found_mantissa && !__found_sci)
278             {
279               // Scientific notation.
280               __xtrc += __e ? _S_atoms_in[_S_ie] : _S_atoms_in[_S_iE];
281               __found_sci = true;
282
283               // Remove optional plus or minus sign, if they exist.
284               if (++__beg != __end)
285                 {
286                   const bool __plus = __traits_type::eq(*__beg, __lit[_S_iplus]);
287                   if (__plus || __traits_type::eq(*__beg, __lit[_S_iminus]))
288                     {
289                       __xtrc += __plus ? _S_atoms_in[_S_iplus]
290                                        : _S_atoms_in[_S_iminus];
291                       ++__beg;
292                     }
293                 }
294             }
295           else
296             // Not a valid input item.
297             break;
298         }
299
300       // Digit grouping is checked. If grouping and found_grouping don't
301       // match, then get very very upset, and set failbit.
302       if (__found_grouping.size())
303         {
304           // Add the ending grouping if a decimal wasn't found.
305           if (!__found_dec)
306             __found_grouping += static_cast<char>(__sep_pos);
307
308           if (!std::__verify_grouping(__lc->_M_grouping, __lc->_M_grouping_size,
309                                       __found_grouping))
310             __err |= ios_base::failbit;
311         }
312
313       // Finish up.
314       __xtrc += char();
315       if (__beg == __end)
316         __err |= ios_base::eofbit;
317       return __beg;
318     }
319
320   template<typename _CharT, typename _InIter>
321     template<typename _ValueT>
322       _InIter
323       num_get<_CharT, _InIter>::
324       _M_extract_int(_InIter __beg, _InIter __end, ios_base& __io,
325                      ios_base::iostate& __err, _ValueT& __v) const
326       {
327         typedef char_traits<_CharT>                     __traits_type;
328         typedef typename numpunct<_CharT>::__cache_type __cache_type;
329         __use_cache<__cache_type> __uc;
330         const locale& __loc = __io._M_getloc();
331         const __cache_type* __lc = __uc(__loc);
332         const _CharT* __lit = __lc->_M_atoms_in;
333
334         // NB: Iff __basefield == 0, __base can change based on contents.
335         const ios_base::fmtflags __basefield = __io.flags() & ios_base::basefield;
336         const bool __oct = __basefield == ios_base::oct;
337         int __base = __oct ? 8 : (__basefield == ios_base::hex ? 16 : 10);
338
339         // True if numeric digits are found.
340         bool __found_num = false;
341
342         // First check for sign.
343         bool __negative = false;
344         if (__beg != __end)
345           {
346             const char_type __c = *__beg;
347             if (numeric_limits<_ValueT>::is_signed)
348               __negative = __traits_type::eq(__c, __lit[_S_iminus]);
349             if ((__negative || __traits_type::eq(__c, __lit[_S_iplus]))
350                 && !__traits_type::eq(__c, __lc->_M_decimal_point)
351                 && (!__lc->_M_use_grouping
352                     || !__traits_type::eq(__c, __lc->_M_thousands_sep)))
353               ++__beg;
354           }
355
356         // Next, look for leading zeros and check required digits
357         // for base formats.
358         while (__beg != __end)
359           {
360             const char_type __c = *__beg;
361             if (__traits_type::eq(__c, __lc->_M_decimal_point)
362                 || (__lc->_M_use_grouping
363                     && __traits_type::eq(__c, __lc->_M_thousands_sep)))
364               break;
365             else if (__traits_type::eq(__c, __lit[_S_izero])
366                      && (!__found_num || __base == 10))
367               {
368                 __found_num = true;
369                 ++__beg;
370               }
371             else if (__found_num)
372               {
373                 if (__traits_type::eq(__c, __lit[_S_ix])
374                     || __traits_type::eq(__c, __lit[_S_iX]))
375                   {
376                     if (__basefield == 0)
377                       __base = 16;
378                     if (__base == 16)
379                       {
380                         __found_num = false;
381                         ++__beg;
382                       }
383                   }
384                 else if (__basefield == 0)
385                   __base = 8;
386                 break;
387               }
388             else
389               break;
390           }
391
392         // At this point, base is determined. If not hex, only allow
393         // base digits as valid input.
394         const size_t __len = __base == 16 ? _S_iend : __base;
395
396         // Extract.
397         string __found_grouping;
398         int __sep_pos = 0;
399         bool __overflow = false;
400         _ValueT __result = 0;
401         const char_type* __lit_zero = __lit + _S_izero;
402         const char_type* __p;
403         if (__negative)
404           {
405             const _ValueT __min = numeric_limits<_ValueT>::min() / __base;
406             for (; __beg != __end; ++__beg)
407               {
408                 // According to 22.2.2.1.2, p8-9, first look for thousands_sep
409                 // and decimal_point.
410                 const char_type __c = *__beg;
411                 if (__lc->_M_use_grouping
412                     && __traits_type::eq(__c, __lc->_M_thousands_sep))
413                   {
414                     // NB: Thousands separator at the beginning of a string
415                     // is a no-no, as is two consecutive thousands separators.
416                     if (__sep_pos)
417                       {
418                         __found_grouping += static_cast<char>(__sep_pos);
419                         __sep_pos = 0;
420                       }
421                     else
422                       {
423                         __err |= ios_base::failbit;
424                         break;
425                       }
426                   }
427                 else if (__traits_type::eq(__c, __lc->_M_decimal_point))
428                   break;
429                 else if (__p = __traits_type::find(__lit_zero, __len, __c))
430                   {
431                     int __digit = __p - __lit_zero;
432                     if (__digit > 15)
433                       __digit -= 6;
434                     if (__result < __min)
435                       __overflow = true;
436                     else
437                       {
438                         const _ValueT __new_result = __result * __base - __digit;
439                         __overflow |= __new_result > __result;
440                         __result = __new_result;
441                         ++__sep_pos;
442                         __found_num = true;
443                       }
444                   }
445                 else
446                   // Not a valid input item.
447                   break;
448               }
449           }
450         else
451           {
452             const _ValueT __max = numeric_limits<_ValueT>::max() / __base;
453             for (; __beg != __end; ++__beg)
454               {
455                 const char_type __c = *__beg;
456                 if (__lc->_M_use_grouping
457                     && __traits_type::eq(__c, __lc->_M_thousands_sep))
458                   {
459                     if (__sep_pos)
460                       {
461                         __found_grouping += static_cast<char>(__sep_pos);
462                         __sep_pos = 0;
463                       }
464                     else
465                       {
466                         __err |= ios_base::failbit;
467                         break;
468                       }
469                   }
470                 else if (__traits_type::eq(__c, __lc->_M_decimal_point))
471                   break;
472                 else if (__p = __traits_type::find(__lit_zero, __len, __c))
473                   {
474                     int __digit = __p - __lit_zero;
475                     if (__digit > 15)
476                       __digit -= 6;
477                     if (__result > __max)
478                       __overflow = true;
479                     else
480                       {
481                         const _ValueT __new_result = __result * __base + __digit;
482                         __overflow |= __new_result < __result;
483                         __result = __new_result;
484                         ++__sep_pos;
485                         __found_num = true;
486                       }
487                   }
488                 else
489                   break;
490               }
491           }
492
493         // Digit grouping is checked. If grouping and found_grouping don't
494         // match, then get very very upset, and set failbit.
495         if (__found_grouping.size())
496           {
497             // Add the ending grouping.
498             __found_grouping += static_cast<char>(__sep_pos);
499
500             if (!std::__verify_grouping(__lc->_M_grouping, __lc->_M_grouping_size,
501                                         __found_grouping))
502               __err |= ios_base::failbit;
503           }
504
505         if (!(__err & ios_base::failbit) && !__overflow
506             && __found_num)
507           __v = __result;
508         else
509           __err |= ios_base::failbit;
510
511         if (__beg == __end)
512           __err |= ios_base::eofbit;
513         return __beg;
514       }
515
516   // _GLIBCXX_RESOLVE_LIB_DEFECTS
517   // 17.  Bad bool parsing
518   template<typename _CharT, typename _InIter>
519     _InIter
520     num_get<_CharT, _InIter>::
521     do_get(iter_type __beg, iter_type __end, ios_base& __io,
522            ios_base::iostate& __err, bool& __v) const
523     {
524       if (!(__io.flags() & ios_base::boolalpha))
525         {
526           // Parse bool values as long.
527           // NB: We can't just call do_get(long) here, as it might
528           // refer to a derived class.
529           long __l = -1;
530           __beg = _M_extract_int(__beg, __end, __io, __err, __l);
531           if (__l == 0 || __l == 1)
532             __v = __l;
533           else
534             __err |= ios_base::failbit;
535         }
536       else
537         {
538           // Parse bool values as alphanumeric.
539           typedef char_traits<_CharT>                     __traits_type;
540           typedef typename numpunct<_CharT>::__cache_type __cache_type;
541           __use_cache<__cache_type> __uc;
542           const locale& __loc = __io._M_getloc();
543           const __cache_type* __lc = __uc(__loc);
544
545           bool __testf = true;
546           bool __testt = true;
547           size_t __n;
548           for (__n = 0; __beg != __end; ++__n, ++__beg)
549             {
550               if (__testf)
551                 if (__n < __lc->_M_falsename_size)
552                   __testf = __traits_type::eq(*__beg, __lc->_M_falsename[__n]);
553                 else
554                   break;
555
556               if (__testt)
557                 if (__n < __lc->_M_truename_size)
558                   __testt = __traits_type::eq(*__beg, __lc->_M_truename[__n]);
559                 else
560                   break;
561
562               if (!__testf && !__testt)
563                 break;
564             }
565           if (__testf && __n == __lc->_M_falsename_size)
566             __v = 0;
567           else if (__testt && __n == __lc->_M_truename_size)
568             __v = 1;
569           else
570             __err |= ios_base::failbit;
571
572           if (__beg == __end)
573             __err |= ios_base::eofbit;
574         }
575       return __beg;
576     }
577
578   template<typename _CharT, typename _InIter>
579     _InIter
580     num_get<_CharT, _InIter>::
581     do_get(iter_type __beg, iter_type __end, ios_base& __io,
582            ios_base::iostate& __err, long& __v) const
583     { return _M_extract_int(__beg, __end, __io, __err, __v); }
584
585   template<typename _CharT, typename _InIter>
586     _InIter
587     num_get<_CharT, _InIter>::
588     do_get(iter_type __beg, iter_type __end, ios_base& __io,
589            ios_base::iostate& __err, unsigned short& __v) const
590     { return _M_extract_int(__beg, __end, __io, __err, __v); }
591
592   template<typename _CharT, typename _InIter>
593     _InIter
594     num_get<_CharT, _InIter>::
595     do_get(iter_type __beg, iter_type __end, ios_base& __io,
596            ios_base::iostate& __err, unsigned int& __v) const
597     { return _M_extract_int(__beg, __end, __io, __err, __v); }
598
599   template<typename _CharT, typename _InIter>
600     _InIter
601     num_get<_CharT, _InIter>::
602     do_get(iter_type __beg, iter_type __end, ios_base& __io,
603            ios_base::iostate& __err, unsigned long& __v) const
604     { return _M_extract_int(__beg, __end, __io, __err, __v); }
605
606 #ifdef _GLIBCXX_USE_LONG_LONG
607   template<typename _CharT, typename _InIter>
608     _InIter
609     num_get<_CharT, _InIter>::
610     do_get(iter_type __beg, iter_type __end, ios_base& __io,
611            ios_base::iostate& __err, long long& __v) const
612     { return _M_extract_int(__beg, __end, __io, __err, __v); }
613
614   template<typename _CharT, typename _InIter>
615     _InIter
616     num_get<_CharT, _InIter>::
617     do_get(iter_type __beg, iter_type __end, ios_base& __io,
618            ios_base::iostate& __err, unsigned long long& __v) const
619     { return _M_extract_int(__beg, __end, __io, __err, __v); }
620 #endif
621
622   template<typename _CharT, typename _InIter>
623     _InIter
624     num_get<_CharT, _InIter>::
625     do_get(iter_type __beg, iter_type __end, ios_base& __io,
626            ios_base::iostate& __err, float& __v) const
627     {
628       string __xtrc;
629       __xtrc.reserve(32);
630       __beg = _M_extract_float(__beg, __end, __io, __err, __xtrc);
631       std::__convert_to_v(__xtrc.c_str(), __v, __err, _S_get_c_locale());
632       return __beg;
633     }
634
635   template<typename _CharT, typename _InIter>
636     _InIter
637     num_get<_CharT, _InIter>::
638     do_get(iter_type __beg, iter_type __end, ios_base& __io,
639            ios_base::iostate& __err, double& __v) const
640     {
641       string __xtrc;
642       __xtrc.reserve(32);
643       __beg = _M_extract_float(__beg, __end, __io, __err, __xtrc);
644       std::__convert_to_v(__xtrc.c_str(), __v, __err, _S_get_c_locale());
645       return __beg;
646     }
647
648   template<typename _CharT, typename _InIter>
649     _InIter
650     num_get<_CharT, _InIter>::
651     do_get(iter_type __beg, iter_type __end, ios_base& __io,
652            ios_base::iostate& __err, long double& __v) const
653     {
654       string __xtrc;
655       __xtrc.reserve(32);
656       __beg = _M_extract_float(__beg, __end, __io, __err, __xtrc);
657       std::__convert_to_v(__xtrc.c_str(), __v, __err, _S_get_c_locale());
658       return __beg;
659     }
660
661   template<typename _CharT, typename _InIter>
662     _InIter
663     num_get<_CharT, _InIter>::
664     do_get(iter_type __beg, iter_type __end, ios_base& __io,
665            ios_base::iostate& __err, void*& __v) const
666     {
667       // Prepare for hex formatted input.
668       typedef ios_base::fmtflags        fmtflags;
669       const fmtflags __fmt = __io.flags();
670       __io.flags(__fmt & ~ios_base::basefield | ios_base::hex);
671
672       unsigned long __ul;
673       __beg = _M_extract_int(__beg, __end, __io, __err, __ul);
674
675       // Reset from hex formatted input.
676       __io.flags(__fmt);
677
678       if (!(__err & ios_base::failbit))
679         __v = reinterpret_cast<void*>(__ul);
680       else
681         __err |= ios_base::failbit;
682       return __beg;
683     }
684
685   // For use by integer and floating-point types after they have been
686   // converted into a char_type string.
687   template<typename _CharT, typename _OutIter>
688     void
689     num_put<_CharT, _OutIter>::
690     _M_pad(_CharT __fill, streamsize __w, ios_base& __io,
691            _CharT* __new, const _CharT* __cs, int& __len) const
692     {
693       // [22.2.2.2.2] Stage 3.
694       // If necessary, pad.
695       __pad<_CharT, char_traits<_CharT> >::_S_pad(__io, __fill, __new, __cs,
696                                                   __w, __len, true);
697       __len = static_cast<int>(__w);
698     }
699
700   // Forwarding functions to peel signed from unsigned integer types.
701   template<typename _CharT>
702     inline int
703     __int_to_char(_CharT* __bufend, long __v, const _CharT* __lit,
704                   ios_base::fmtflags __flags)
705     {
706       unsigned long __ul = static_cast<unsigned long>(__v);
707       bool __neg = false;
708       if (__v < 0)
709         {
710           __ul = -__ul;
711           __neg = true;
712         }
713       return __int_to_char(__bufend, __ul, __lit, __flags, __neg);
714     }
715
716   template<typename _CharT>
717     inline int
718     __int_to_char(_CharT* __bufend, unsigned long __v, const _CharT* __lit,
719                   ios_base::fmtflags __flags)
720     { return __int_to_char(__bufend, __v, __lit, __flags, false); }
721
722 #ifdef _GLIBCXX_USE_LONG_LONG
723   template<typename _CharT>
724     inline int
725     __int_to_char(_CharT* __bufend, long long __v, const _CharT* __lit,
726                   ios_base::fmtflags __flags)
727     {
728       unsigned long long __ull = static_cast<unsigned long long>(__v);
729       bool __neg = false;
730       if (__v < 0)
731         {
732           __ull = -__ull;
733           __neg = true;
734         }
735       return __int_to_char(__bufend, __ull, __lit, __flags, __neg);
736     }
737
738   template<typename _CharT>
739     inline int
740     __int_to_char(_CharT* __bufend, unsigned long long __v, const _CharT* __lit,
741                   ios_base::fmtflags __flags)
742     { return __int_to_char(__bufend, __v, __lit, __flags, false); }
743 #endif
744
745   template<typename _CharT, typename _ValueT>
746     int
747     __int_to_char(_CharT* __bufend, _ValueT __v, const _CharT* __lit,
748                   ios_base::fmtflags __flags, bool __neg)
749     {
750       // Don't write base if already 0.
751       const bool __showbase = (__flags & ios_base::showbase) && __v;
752       const ios_base::fmtflags __basefield = __flags & ios_base::basefield;
753       _CharT* __buf = __bufend - 1;
754
755       if (__builtin_expect(__basefield != ios_base::oct &&
756                            __basefield != ios_base::hex, true))
757         {
758           // Decimal.
759           do
760             {
761               *__buf-- = __lit[(__v % 10) + __num_base::_S_odigits];
762               __v /= 10;
763             }
764           while (__v != 0);
765           if (__neg)
766             *__buf-- = __lit[__num_base::_S_ominus];
767           else if (__flags & ios_base::showpos)
768             *__buf-- = __lit[__num_base::_S_oplus];
769         }
770       else if (__basefield == ios_base::oct)
771         {
772           // Octal.
773           do
774             {
775               *__buf-- = __lit[(__v & 0x7) + __num_base::_S_odigits];
776               __v >>= 3;
777             }
778           while (__v != 0);
779           if (__showbase)
780             *__buf-- = __lit[__num_base::_S_odigits];
781         }
782       else
783         {
784           // Hex.
785           const bool __uppercase = __flags & ios_base::uppercase;
786           const int __case_offset = __uppercase ? __num_base::_S_oudigits
787                                                 : __num_base::_S_odigits;
788           do
789             {
790               *__buf-- = __lit[(__v & 0xf) + __case_offset];
791               __v >>= 4;
792             }
793           while (__v != 0);
794           if (__showbase)
795             {
796               // 'x' or 'X'
797               *__buf-- = __lit[__num_base::_S_ox + __uppercase];
798               // '0'
799               *__buf-- = __lit[__num_base::_S_odigits];
800             }
801         }
802       return __bufend - __buf - 1;
803     }
804
805   template<typename _CharT, typename _OutIter>
806     void
807     num_put<_CharT, _OutIter>::
808     _M_group_int(const char* __grouping, size_t __grouping_size, _CharT __sep,
809                  ios_base& __io, _CharT* __new, _CharT* __cs, int& __len) const
810     {
811       // By itself __add_grouping cannot deal correctly with __cs when
812       // ios::showbase is set and ios_base::oct || ios_base::hex.
813       // Therefore we take care "by hand" of the initial 0, 0x or 0X.
814       // However, remember that the latter do not occur if the number
815       // printed is '0' (__len == 1).
816       streamsize __off = 0;
817       const ios_base::fmtflags __basefield = __io.flags()
818                                              & ios_base::basefield;
819       if ((__io.flags() & ios_base::showbase) && __len > 1)
820         if (__basefield == ios_base::oct)
821           {
822             __off = 1;
823             __new[0] = __cs[0];
824           }
825         else if (__basefield == ios_base::hex)
826           {
827             __off = 2;
828             __new[0] = __cs[0];
829             __new[1] = __cs[1];
830           }
831       _CharT* __p;
832       __p = std::__add_grouping(__new + __off, __sep, __grouping,
833                                 __grouping_size, __cs + __off,
834                                 __cs + __len);
835       __len = __p - __new;
836     }
837
838   template<typename _CharT, typename _OutIter>
839     template<typename _ValueT>
840       _OutIter
841       num_put<_CharT, _OutIter>::
842       _M_insert_int(_OutIter __s, ios_base& __io, _CharT __fill,
843                     _ValueT __v) const
844       {
845         typedef typename numpunct<_CharT>::__cache_type __cache_type;
846         __use_cache<__cache_type> __uc;
847         const locale& __loc = __io._M_getloc();
848         const __cache_type* __lc = __uc(__loc);
849         const _CharT* __lit = __lc->_M_atoms_out;
850
851         // Long enough to hold hex, dec, and octal representations.
852         const int __ilen = 4 * sizeof(_ValueT);
853         _CharT* __cs = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
854                                                              * __ilen));
855
856         // [22.2.2.2.2] Stage 1, numeric conversion to character.
857         // Result is returned right-justified in the buffer.
858         int __len;
859         __len = __int_to_char(__cs + __ilen, __v, __lit, __io.flags());
860         __cs += __ilen - __len;
861
862         // Add grouping, if necessary.
863         if (__lc->_M_use_grouping)
864           {
865             // Grouping can add (almost) as many separators as the
866             // number of digits, but no more.
867             _CharT* __cs2 = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
868                                                                   * __len * 2));
869             _M_group_int(__lc->_M_grouping, __lc->_M_grouping_size,
870                          __lc->_M_thousands_sep, __io, __cs2, __cs, __len);
871             __cs = __cs2;
872           }
873
874         // Pad.
875         const streamsize __w = __io.width();
876         if (__w > static_cast<streamsize>(__len))
877           {
878             _CharT* __cs3 = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
879                                                                   * __w));
880             _M_pad(__fill, __w, __io, __cs3, __cs, __len);
881             __cs = __cs3;
882           }
883         __io.width(0);
884
885         // [22.2.2.2.2] Stage 4.
886         // Write resulting, fully-formatted string to output iterator.
887         return std::__write(__s, __cs, __len);
888       }
889
890   template<typename _CharT, typename _OutIter>
891     void
892     num_put<_CharT, _OutIter>::
893     _M_group_float(const char* __grouping, size_t __grouping_size, _CharT __sep,
894                    const _CharT* __p, _CharT* __new, _CharT* __cs, int& __len) const
895     {
896       // _GLIBCXX_RESOLVE_LIB_DEFECTS
897       // 282. What types does numpunct grouping refer to?
898       // Add grouping, if necessary.
899       _CharT* __p2;
900       const int __declen = __p ? __p - __cs : __len;
901       __p2 = std::__add_grouping(__new, __sep, __grouping, __grouping_size,
902                                  __cs, __cs + __declen);
903
904       // Tack on decimal part.
905       int __newlen = __p2 - __new;
906       if (__p)
907         {
908           char_traits<_CharT>::copy(__p2, __p, __len - __declen);
909           __newlen += __len - __declen;
910         }
911       __len = __newlen;
912     }
913
914   // The following code uses snprintf (or sprintf(), when
915   // _GLIBCXX_USE_C99 is not defined) to convert floating point values
916   // for insertion into a stream.  An optimization would be to replace
917   // them with code that works directly on a wide buffer and then use
918   // __pad to do the padding.  It would be good to replace them anyway
919   // to gain back the efficiency that C++ provides by knowing up front
920   // the type of the values to insert.  Also, sprintf is dangerous
921   // since may lead to accidental buffer overruns.  This
922   // implementation follows the C++ standard fairly directly as
923   // outlined in 22.2.2.2 [lib.locale.num.put]
924   template<typename _CharT, typename _OutIter>
925     template<typename _ValueT>
926       _OutIter
927       num_put<_CharT, _OutIter>::
928       _M_insert_float(_OutIter __s, ios_base& __io, _CharT __fill, char __mod,
929                        _ValueT __v) const
930       {
931         typedef typename numpunct<_CharT>::__cache_type __cache_type;
932         __use_cache<__cache_type> __uc;
933         const locale& __loc = __io._M_getloc();
934         const __cache_type* __lc = __uc(__loc);
935
936         // Note: digits10 is rounded down: add 1 to ensure the maximum
937         // available precision.  Then, in general, one more 1 needs to
938         // be added since, when the %{g,G} conversion specifiers are
939         // chosen inside _S_format_float, the precision field is "the
940         // maximum number of significant digits", *not* the "number of
941         // digits to appear after the decimal point", as happens for
942         // %{e,E,f,F} (C99, 7.19.6.1,4).
943         const int __max_digits = numeric_limits<_ValueT>::digits10 + 2;
944
945         // Use default precision if out of range.
946         streamsize __prec = __io.precision();
947         if (__prec > static_cast<streamsize>(__max_digits))
948           __prec = static_cast<streamsize>(__max_digits);
949         else if (__prec < static_cast<streamsize>(0))
950           __prec = static_cast<streamsize>(6);
951
952         // [22.2.2.2.2] Stage 1, numeric conversion to character.
953         int __len;
954         // Long enough for the max format spec.
955         char __fbuf[16];
956
957 #ifdef _GLIBCXX_USE_C99
958         // First try a buffer perhaps big enough (for sure sufficient
959         // for non-ios_base::fixed outputs)
960         int __cs_size = __max_digits * 3;
961         char* __cs = static_cast<char*>(__builtin_alloca(__cs_size));
962
963         _S_format_float(__io, __fbuf, __mod);
964         __len = std::__convert_from_v(__cs, __cs_size, __fbuf, __v,
965                                       _S_get_c_locale(), __prec);
966
967         // If the buffer was not large enough, try again with the correct size.
968         if (__len >= __cs_size)
969           {
970             __cs_size = __len + 1;
971             __cs = static_cast<char*>(__builtin_alloca(__cs_size));
972             __len = std::__convert_from_v(__cs, __cs_size, __fbuf, __v,
973                                           _S_get_c_locale(), __prec);
974           }
975 #else
976         // Consider the possibility of long ios_base::fixed outputs
977         const bool __fixed = __io.flags() & ios_base::fixed;
978         const int __max_exp = numeric_limits<_ValueT>::max_exponent10;
979
980         // The size of the output string is computed as follows.
981         // ios_base::fixed outputs may need up to __max_exp+1 chars
982         // for the integer part + up to __max_digits chars for the
983         // fractional part + 3 chars for sign, decimal point, '\0'. On
984         // the other hand, for non-fixed outputs __max_digits*3 chars
985         // are largely sufficient.
986         const int __cs_size = __fixed ? __max_exp + __max_digits + 4
987                                       : __max_digits * 3;
988         char* __cs = static_cast<char*>(__builtin_alloca(__cs_size));
989
990         _S_format_float(__io, __fbuf, __mod);
991         __len = std::__convert_from_v(__cs, 0, __fbuf, __v,
992                                       _S_get_c_locale(), __prec);
993 #endif
994
995       // [22.2.2.2.2] Stage 2, convert to char_type, using correct
996       // numpunct.decimal_point() values for '.' and adding grouping.
997       const ctype<_CharT>& __ctype = use_facet<ctype<_CharT> >(__loc);
998
999       _CharT* __ws = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
1000                                                            * __len));
1001       __ctype.widen(__cs, __cs + __len, __ws);
1002
1003       // Replace decimal point.
1004       const _CharT __cdec = __ctype.widen('.');
1005       const _CharT __dec = __lc->_M_decimal_point;
1006       const _CharT* __p;
1007       if (__p = char_traits<_CharT>::find(__ws, __len, __cdec))
1008         __ws[__p - __ws] = __dec;
1009
1010       // Add grouping, if necessary.
1011       if (__lc->_M_use_grouping)
1012         {
1013           // Grouping can add (almost) as many separators as the
1014           // number of digits, but no more.
1015           _CharT* __ws2 = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
1016                                                                 * __len * 2));
1017           _M_group_float(__lc->_M_grouping, __lc->_M_grouping_size,
1018                          __lc->_M_thousands_sep, __p, __ws2, __ws, __len);
1019           __ws = __ws2;
1020         }
1021
1022       // Pad.
1023       const streamsize __w = __io.width();
1024       if (__w > static_cast<streamsize>(__len))
1025         {
1026           _CharT* __ws3 = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
1027                                                                 * __w));
1028           _M_pad(__fill, __w, __io, __ws3, __ws, __len);
1029           __ws = __ws3;
1030         }
1031       __io.width(0);
1032
1033       // [22.2.2.2.2] Stage 4.
1034       // Write resulting, fully-formatted string to output iterator.
1035       return std::__write(__s, __ws, __len);
1036       }
1037
1038   template<typename _CharT, typename _OutIter>
1039     _OutIter
1040     num_put<_CharT, _OutIter>::
1041     do_put(iter_type __s, ios_base& __io, char_type __fill, bool __v) const
1042     {
1043       const ios_base::fmtflags __flags = __io.flags();
1044       if ((__flags & ios_base::boolalpha) == 0)
1045         {
1046           unsigned long __uv = __v;
1047           __s = _M_insert_int(__s, __io, __fill, __uv);
1048         }
1049       else
1050         {
1051           typedef typename numpunct<_CharT>::__cache_type __cache_type;
1052           __use_cache<__cache_type> __uc;
1053           const locale& __loc = __io._M_getloc();
1054           const __cache_type* __lc = __uc(__loc);
1055
1056           const _CharT* __name = __v ? __lc->_M_truename
1057                                      : __lc->_M_falsename;
1058           int __len = __v ? __lc->_M_truename_size
1059                           : __lc->_M_falsename_size;
1060
1061           const streamsize __w = __io.width();
1062           if (__w > static_cast<streamsize>(__len))
1063             {
1064               _CharT* __cs = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
1065                                                                    * __w));
1066               _M_pad(__fill, __w, __io, __cs, __name, __len);
1067               __name = __cs;
1068             }
1069           __io.width(0);
1070           __s = std::__write(__s, __name, __len);
1071         }
1072       return __s;
1073     }
1074
1075   template<typename _CharT, typename _OutIter>
1076     _OutIter
1077     num_put<_CharT, _OutIter>::
1078     do_put(iter_type __s, ios_base& __io, char_type __fill, long __v) const
1079     { return _M_insert_int(__s, __io, __fill, __v); }
1080
1081   template<typename _CharT, typename _OutIter>
1082     _OutIter
1083     num_put<_CharT, _OutIter>::
1084     do_put(iter_type __s, ios_base& __io, char_type __fill,
1085            unsigned long __v) const
1086     { return _M_insert_int(__s, __io, __fill, __v); }
1087
1088 #ifdef _GLIBCXX_USE_LONG_LONG
1089   template<typename _CharT, typename _OutIter>
1090     _OutIter
1091     num_put<_CharT, _OutIter>::
1092     do_put(iter_type __s, ios_base& __b, char_type __fill, long long __v) const
1093     { return _M_insert_int(__s, __b, __fill, __v); }
1094
1095   template<typename _CharT, typename _OutIter>
1096     _OutIter
1097     num_put<_CharT, _OutIter>::
1098     do_put(iter_type __s, ios_base& __io, char_type __fill,
1099            unsigned long long __v) const
1100     { return _M_insert_int(__s, __io, __fill, __v); }
1101 #endif
1102
1103   template<typename _CharT, typename _OutIter>
1104     _OutIter
1105     num_put<_CharT, _OutIter>::
1106     do_put(iter_type __s, ios_base& __io, char_type __fill, double __v) const
1107     { return _M_insert_float(__s, __io, __fill, char(), __v); }
1108
1109   template<typename _CharT, typename _OutIter>
1110     _OutIter
1111     num_put<_CharT, _OutIter>::
1112     do_put(iter_type __s, ios_base& __io, char_type __fill,
1113            long double __v) const
1114     { return _M_insert_float(__s, __io, __fill, 'L', __v); }
1115
1116   template<typename _CharT, typename _OutIter>
1117     _OutIter
1118     num_put<_CharT, _OutIter>::
1119     do_put(iter_type __s, ios_base& __io, char_type __fill,
1120            const void* __v) const
1121     {
1122       const ios_base::fmtflags __flags = __io.flags();
1123       const ios_base::fmtflags __fmt = ~(ios_base::showpos | ios_base::basefield
1124                                          | ios_base::uppercase | ios_base::internal);
1125       __io.flags(__flags & __fmt | (ios_base::hex | ios_base::showbase));
1126
1127       __s = _M_insert_int(__s, __io, __fill,
1128                           reinterpret_cast<unsigned long>(__v));
1129       __io.flags(__flags);
1130       return __s;
1131     }
1132
1133   template<typename _CharT, typename _InIter>
1134     _InIter
1135     money_get<_CharT, _InIter>::
1136     _M_extract(iter_type __beg, iter_type __end, bool __intl, ios_base& __io,
1137                ios_base::iostate& __err, string_type& __units) const
1138     {
1139       // These contortions are quite unfortunate.
1140       typedef moneypunct<_CharT, true>          __money_true;
1141       typedef moneypunct<_CharT, false>         __money_false;
1142       typedef money_base::part                  part;
1143       typedef typename string_type::size_type   size_type;
1144
1145       const locale __loc = __io.getloc();
1146       const __money_true& __mpt = use_facet<__money_true>(__loc);
1147       const __money_false& __mpf = use_facet<__money_false>(__loc);
1148       const ctype<_CharT>& __ctype = use_facet<ctype<_CharT> >(__loc);
1149
1150       const money_base::pattern __p = __intl ? __mpt.neg_format()
1151                                              : __mpf.neg_format();
1152
1153       const string_type __pos_sign = __intl ? __mpt.positive_sign()
1154                                             : __mpf.positive_sign();
1155       const string_type __neg_sign = __intl ? __mpt.negative_sign()
1156                                             : __mpf.negative_sign();
1157       const char_type __d = __intl ? __mpt.decimal_point()
1158                                    : __mpf.decimal_point();
1159       const char_type __sep = __intl ? __mpt.thousands_sep()
1160                                      : __mpf.thousands_sep();
1161
1162       const string __grouping = __intl ? __mpt.grouping() : __mpf.grouping();
1163
1164       // Set to deduced positive or negative sign, depending.
1165       string_type __sign;
1166       // String of grouping info from thousands_sep plucked from __units.
1167       string __grouping_tmp;
1168       // Marker for thousands_sep position.
1169       int __sep_pos = 0;
1170       // If input iterator is in a valid state.
1171       bool __testvalid = true;
1172       // Flag marking when a decimal point is found.
1173       bool __testdecfound = false;
1174
1175       // The tentative returned string is stored here.
1176       string_type __tmp_units;
1177
1178       for (int __i = 0; __beg != __end && __i < 4 && __testvalid; ++__i)
1179         {
1180           char_type __c;
1181           const part __which = static_cast<part>(__p.field[__i]);
1182           switch (__which)
1183             {
1184             case money_base::symbol:
1185               if (__io.flags() & ios_base::showbase
1186                   || __i < 2 || __sign.size() > 1
1187                   || ((static_cast<part>(__p.field[3]) != money_base::none)
1188                       && __i == 2))
1189                 {
1190                   // According to 22.2.6.1.2, p2, symbol is required
1191                   // if (__io.flags() & ios_base::showbase),
1192                   // otherwise is optional and consumed only if
1193                   // other characters are needed to complete the
1194                   // format.
1195                   const string_type __symbol = __intl ? __mpt.curr_symbol()
1196                                                       : __mpf.curr_symbol();
1197                   const size_type __len = __symbol.size();
1198                   size_type __j = 0;
1199                   for (; __beg != __end && __j < __len
1200                          && *__beg == __symbol[__j]; ++__beg, ++__j);
1201                   // When (__io.flags() & ios_base::showbase)
1202                   // symbol is required.
1203                   if (__j != __len && (__io.flags() & ios_base::showbase))
1204                     __testvalid = false;
1205                 }
1206               break;
1207             case money_base::sign:
1208               // Sign might not exist, or be more than one character long.
1209               if (__pos_sign.size() && *__beg == __pos_sign[0])
1210                 {
1211                   __sign = __pos_sign;
1212                   ++__beg;
1213                 }
1214               else if (__neg_sign.size() && *__beg == __neg_sign[0])
1215                 {
1216                   __sign = __neg_sign;
1217                   ++__beg;
1218                 }
1219               else if (__pos_sign.size() && __neg_sign.size())
1220                 {
1221                   // Sign is mandatory.
1222                   __testvalid = false;
1223                 }
1224               break;
1225             case money_base::value:
1226               // Extract digits, remove and stash away the
1227               // grouping of found thousands separators.
1228               for (; __beg != __end; ++__beg)
1229                 if (__ctype.is(ctype_base::digit, __c = *__beg))
1230                   {
1231                     __tmp_units += __c;
1232                     ++__sep_pos;
1233                   }
1234                 else if (__c == __d && !__testdecfound)
1235                   {
1236                     // If no grouping chars are seen, no grouping check
1237                     // is applied. Therefore __grouping_tmp is adjusted
1238                     // only if decimal_point comes after some thousands_sep.
1239                     if (__grouping_tmp.size())
1240                       __grouping_tmp += static_cast<char>(__sep_pos);
1241                     __sep_pos = 0;
1242                     __testdecfound = true;
1243                   }
1244                 else if (__c == __sep && !__testdecfound)
1245                   {
1246                     if (__grouping.size())
1247                       {
1248                         // Mark position for later analysis.
1249                         __grouping_tmp += static_cast<char>(__sep_pos);
1250                         __sep_pos = 0;
1251                       }
1252                     else
1253                       {
1254                         __testvalid = false;
1255                         break;
1256                       }
1257                   }
1258                 else
1259                   break;
1260               break;
1261             case money_base::space:
1262             case money_base::none:
1263               // Only if not at the end of the pattern.
1264               if (__i != 3)
1265                 for (; __beg != __end
1266                        && __ctype.is(ctype_base::space, *__beg); ++__beg);
1267               break;
1268             }
1269         }
1270
1271       // Need to get the rest of the sign characters, if they exist.
1272       if (__sign.size() > 1)
1273         {
1274           const size_type __len = __sign.size();
1275           size_type __i = 1;
1276           for (; __beg != __end && __i < __len
1277                  && *__beg == __sign[__i]; ++__beg, ++__i);
1278
1279           if (__i != __len)
1280             __testvalid = false;
1281         }
1282
1283       if (__testvalid && __tmp_units.size())
1284         {
1285           const char_type __zero = __ctype.widen('0');
1286
1287           // Strip leading zeros.
1288           if (__tmp_units.size() > 1)
1289             {
1290               const size_type __first = __tmp_units.find_first_not_of(__zero);
1291               const bool __only_zeros = __first == string_type::npos;
1292               if (__first)
1293                 __tmp_units.erase(0, __only_zeros ? __tmp_units.size() - 1
1294                                                   : __first);
1295             }
1296
1297           // 22.2.6.1.2, p4
1298           if (__sign.size() && __sign == __neg_sign
1299               && __tmp_units[0] != __zero)
1300             __tmp_units.insert(__tmp_units.begin(), __ctype.widen('-'));
1301
1302           // Test for grouping fidelity.
1303           if (__grouping_tmp.size())
1304             {
1305               // Add the ending grouping if a decimal wasn't found.
1306               if (!__testdecfound)
1307                 __grouping_tmp += static_cast<char>(__sep_pos);
1308
1309               if (!std::__verify_grouping(__grouping.data(),
1310                                           __grouping.size(),
1311                                           __grouping_tmp))
1312                 __testvalid = false;
1313             }
1314
1315           // Iff not enough digits were supplied after the decimal-point.
1316           if (__testdecfound)
1317             {
1318               const int __frac = __intl ? __mpt.frac_digits()
1319                                         : __mpf.frac_digits();
1320               if (__frac > 0 && __sep_pos != __frac)
1321                 __testvalid = false;
1322             }
1323         }
1324       else
1325         __testvalid = false;
1326
1327       // Iff no more characters are available.
1328       if (__beg == __end)
1329         __err |= ios_base::eofbit;
1330
1331       // Iff valid sequence is not recognized.
1332       if (!__testvalid)
1333         __err |= ios_base::failbit;
1334       else
1335         // Use the "swap trick" to copy __tmp_units into __units.
1336         __tmp_units.swap(__units);
1337
1338       return __beg;
1339     }
1340
1341   template<typename _CharT, typename _InIter>
1342     _InIter
1343     money_get<_CharT, _InIter>::
1344     do_get(iter_type __beg, iter_type __end, bool __intl, ios_base& __io,
1345            ios_base::iostate& __err, long double& __units) const
1346     {
1347       string_type __str;
1348       __beg = _M_extract(__beg, __end, __intl, __io, __err, __str);
1349
1350       const int __cs_size = __str.size() + 1;
1351       char* __cs = static_cast<char*>(__builtin_alloca(__cs_size));
1352       const locale __loc = __io.getloc();
1353       const ctype<_CharT>& __ctype = use_facet<ctype<_CharT> >(__loc);
1354       const _CharT* __wcs = __str.c_str();
1355       __ctype.narrow(__wcs, __wcs + __cs_size, char(), __cs);
1356       std::__convert_to_v(__cs, __units, __err, _S_get_c_locale());
1357       return __beg;
1358     }
1359
1360   template<typename _CharT, typename _InIter>
1361     _InIter
1362     money_get<_CharT, _InIter>::
1363     do_get(iter_type __beg, iter_type __end, bool __intl, ios_base& __io,
1364            ios_base::iostate& __err, string_type& __units) const
1365     { return _M_extract(__beg, __end, __intl, __io, __err, __units); }
1366
1367   template<typename _CharT, typename _OutIter>
1368     _OutIter
1369     money_put<_CharT, _OutIter>::
1370     _M_insert(iter_type __s, bool __intl, ios_base& __io, char_type __fill,
1371               const string_type& __digits) const
1372     {
1373       typedef typename string_type::size_type   size_type;
1374       typedef money_base::part                  part;
1375       
1376       const locale __loc = __io.getloc();
1377       const size_type __width = static_cast<size_type>(__io.width());
1378
1379       // These contortions are quite unfortunate.
1380       typedef moneypunct<_CharT, true> __money_true;
1381       typedef moneypunct<_CharT, false> __money_false;
1382       const __money_true& __mpt = use_facet<__money_true>(__loc);
1383       const __money_false& __mpf = use_facet<__money_false>(__loc);
1384       const ctype<_CharT>& __ctype = use_facet<ctype<_CharT> >(__loc);
1385
1386       // Determine if negative or positive formats are to be used, and
1387       // discard leading negative_sign if it is present.
1388       const char_type* __beg = __digits.data();
1389       const char_type* __end = __beg + __digits.size();
1390       money_base::pattern __p;
1391       string_type __sign;
1392       if (*__beg != __ctype.widen('-'))
1393         {
1394           __p = __intl ? __mpt.pos_format() : __mpf.pos_format();
1395           __sign = __intl ? __mpt.positive_sign() : __mpf.positive_sign();
1396         }
1397       else
1398         {
1399           __p = __intl ? __mpt.neg_format() : __mpf.neg_format();
1400           __sign = __intl ? __mpt.negative_sign() : __mpf.negative_sign();
1401           ++__beg;
1402         }
1403
1404       // Look for valid numbers in the current ctype facet within input digits.
1405       __end = __ctype.scan_not(ctype_base::digit, __beg, __end);
1406       if (__beg != __end)
1407         {
1408           // Assume valid input, and attempt to format.
1409           // Break down input numbers into base components, as follows:
1410           //   final_value = grouped units + (decimal point) + (digits)
1411           string_type __res;
1412           string_type __value;
1413           const string_type __symbol = __intl ? __mpt.curr_symbol()
1414                                               : __mpf.curr_symbol();
1415
1416           // Deal with decimal point, decimal digits.
1417           const int __frac = __intl ? __mpt.frac_digits()
1418                                     : __mpf.frac_digits();
1419           if (__frac > 0)
1420             {
1421               const char_type __d = __intl ? __mpt.decimal_point()
1422                                            : __mpf.decimal_point();
1423               if (__end - __beg >= __frac)
1424                 {
1425                   __value = string_type(__end - __frac, __end);
1426                   __value.insert(__value.begin(), __d);
1427                   __end -= __frac;
1428                 }
1429               else
1430                 {
1431                   // Have to pad zeros in the decimal position.
1432                   __value = string_type(__beg, __end);
1433                   const int __paddec = __frac - (__end - __beg);
1434                   const char_type __zero = __ctype.widen('0');
1435                   __value.insert(__value.begin(), __paddec, __zero);
1436                   __value.insert(__value.begin(), __d);
1437                   __beg = __end;
1438                 }
1439             }
1440
1441           // Add thousands separators to non-decimal digits, per
1442           // grouping rules.
1443           if (__beg != __end)
1444             {
1445               const string __grouping = __intl ? __mpt.grouping()
1446                                                : __mpf.grouping();
1447               if (__grouping.size())
1448                 {
1449                   const char_type __sep = __intl ? __mpt.thousands_sep()
1450                                                  : __mpf.thousands_sep();
1451                   const char* __gbeg = __grouping.data();
1452                   const size_t __glen = __grouping.size();
1453                   const int __n = (__end - __beg) * 2;
1454                   _CharT* __ws2 =
1455                   static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT) * __n));
1456                   _CharT* __ws_end = std::__add_grouping(__ws2, __sep, __gbeg,
1457                                                          __glen, __beg, __end);
1458                   __value.insert(0, __ws2, __ws_end - __ws2);
1459                 }
1460               else
1461                 __value.insert(0, string_type(__beg, __end));
1462             }
1463
1464           // Calculate length of resulting string.
1465           const ios_base::fmtflags __f = __io.flags() & ios_base::adjustfield;
1466           size_type __len = __value.size() + __sign.size();
1467           __len += (__io.flags() & ios_base::showbase) ? __symbol.size() : 0;
1468           const bool __testipad = __f == ios_base::internal && __len < __width;
1469
1470           // Fit formatted digits into the required pattern.
1471           for (int __i = 0; __i < 4; ++__i)
1472             {
1473               const part __which = static_cast<part>(__p.field[__i]);
1474               switch (__which)
1475                 {
1476                 case money_base::symbol:
1477                   if (__io.flags() & ios_base::showbase)
1478                     __res += __symbol;
1479                   break;
1480                 case money_base::sign:
1481                   // Sign might not exist, or be more than one
1482                   // charater long. In that case, add in the rest
1483                   // below.
1484                   if (__sign.size())
1485                     __res += __sign[0];
1486                   break;
1487                 case money_base::value:
1488                   __res += __value;
1489                   break;
1490                 case money_base::space:
1491                   // At least one space is required, but if internal
1492                   // formatting is required, an arbitrary number of
1493                   // fill spaces will be necessary.
1494                   if (__testipad)
1495                     __res += string_type(__width - __len, __fill);
1496                   else
1497                     __res += __ctype.widen(__fill);
1498                   break;
1499                 case money_base::none:
1500                   if (__testipad)
1501                     __res += string_type(__width - __len, __fill);
1502                   break;
1503                 }
1504             }
1505
1506           // Special case of multi-part sign parts.
1507           if (__sign.size() > 1)
1508             __res += string_type(__sign.begin() + 1, __sign.end());
1509
1510           // Pad, if still necessary.
1511           __len = __res.size();
1512           if (__width > __len)
1513             {
1514               if (__f == ios_base::left)
1515                 // After.
1516                 __res.append(__width - __len, __fill);
1517               else
1518                 // Before.
1519                 __res.insert(0, string_type(__width - __len, __fill));
1520               __len = __width;
1521             }
1522
1523           // Write resulting, fully-formatted string to output iterator.
1524           __s = std::__write(__s, __res.data(), __len);
1525         }
1526       __io.width(0);
1527       return __s;    
1528     }
1529
1530   template<typename _CharT, typename _OutIter>
1531     _OutIter
1532     money_put<_CharT, _OutIter>::
1533     do_put(iter_type __s, bool __intl, ios_base& __io, char_type __fill,
1534            long double __units) const
1535     {
1536       const locale __loc = __io.getloc();
1537       const ctype<_CharT>& __ctype = use_facet<ctype<_CharT> >(__loc);
1538 #ifdef _GLIBCXX_USE_C99
1539       // First try a buffer perhaps big enough.
1540       int __cs_size = 64;
1541       char* __cs = static_cast<char*>(__builtin_alloca(__cs_size));
1542       // _GLIBCXX_RESOLVE_LIB_DEFECTS
1543       // 328. Bad sprintf format modifier in money_put<>::do_put()
1544       int __len = std::__convert_from_v(__cs, __cs_size, "%.0Lf", __units,
1545                                         _S_get_c_locale());
1546       // If the buffer was not large enough, try again with the correct size.
1547       if (__len >= __cs_size)
1548         {
1549           __cs_size = __len + 1;
1550           __cs = static_cast<char*>(__builtin_alloca(__cs_size));
1551           __len = std::__convert_from_v(__cs, __cs_size, "%.0Lf", __units,
1552                                         _S_get_c_locale());
1553         }
1554 #else
1555       // max_exponent10 + 1 for the integer part, + 2 for sign and '\0'.
1556       const int __cs_size = numeric_limits<long double>::max_exponent10 + 3;
1557       char* __cs = static_cast<char*>(__builtin_alloca(__cs_size));
1558       int __len = std::__convert_from_v(__cs, 0, "%.0Lf", __units,
1559                                         _S_get_c_locale());
1560 #endif
1561       _CharT* __ws = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
1562                                                            * __cs_size));
1563       __ctype.widen(__cs, __cs + __len, __ws);
1564       const string_type __digits(__ws, __len);
1565       return _M_insert(__s, __intl, __io, __fill, __digits);
1566     }
1567
1568   template<typename _CharT, typename _OutIter>
1569     _OutIter
1570     money_put<_CharT, _OutIter>::
1571     do_put(iter_type __s, bool __intl, ios_base& __io, char_type __fill,
1572            const string_type& __digits) const
1573     { return _M_insert(__s, __intl, __io, __fill, __digits); }
1574
1575   // NB: Not especially useful. Without an ios_base object or some
1576   // kind of locale reference, we are left clawing at the air where
1577   // the side of the mountain used to be...
1578   template<typename _CharT, typename _InIter>
1579     time_base::dateorder
1580     time_get<_CharT, _InIter>::do_date_order() const
1581     { return time_base::no_order; }
1582
1583   // Recursively expand a strftime format string and parse it.  Starts w/ %x
1584   // and %X from do_get_time() and do_get_date(), which translate to a more
1585   // specific string, which may contain yet more strings.  I.e. %x => %r =>
1586   // %H:%M:%S => extracted characters.
1587   template<typename _CharT, typename _InIter>
1588     void
1589     time_get<_CharT, _InIter>::
1590     _M_extract_via_format(iter_type& __beg, iter_type& __end, ios_base& __io,
1591                           ios_base::iostate& __err, tm* __tm,
1592                           const _CharT* __format) const
1593     {
1594       const locale __loc = __io.getloc();
1595       const __timepunct<_CharT>& __tp = use_facet<__timepunct<_CharT> >(__loc);
1596       const ctype<_CharT>& __ctype = use_facet<ctype<_CharT> >(__loc);
1597       const size_t __len = char_traits<_CharT>::length(__format);
1598
1599       for (size_t __i = 0; __beg != __end && __i < __len && !__err; ++__i)
1600         {
1601           if (__ctype.narrow(__format[__i], 0) == '%')
1602             {
1603               // Verify valid formatting code, attempt to extract.
1604               char __c = __ctype.narrow(__format[++__i], 0);
1605               int __mem = 0;
1606               if (__c == 'E' || __c == 'O')
1607                 __c = __ctype.narrow(__format[++__i], 0);
1608               switch (__c)
1609                 {
1610                   const char* __cs;
1611                   _CharT __wcs[10];
1612                 case 'a':
1613                   // Abbreviated weekday name [tm_wday]
1614                   const char_type*  __days1[7];
1615                   __tp._M_days_abbreviated(__days1);
1616                   _M_extract_name(__beg, __end, __tm->tm_wday, __days1, 7,
1617                                   __ctype, __err);
1618                   break;
1619                 case 'A':
1620                   // Weekday name [tm_wday].
1621                   const char_type*  __days2[7];
1622                   __tp._M_days(__days2);
1623                   _M_extract_name(__beg, __end, __tm->tm_wday, __days2, 7,
1624                                   __ctype, __err);
1625                   break;
1626                 case 'h':
1627                 case 'b':
1628                   // Abbreviated month name [tm_mon]
1629                   const char_type*  __months1[12];
1630                   __tp._M_months_abbreviated(__months1);
1631                   _M_extract_name(__beg, __end, __tm->tm_mon, __months1, 12,
1632                                   __ctype, __err);
1633                   break;
1634                 case 'B':
1635                   // Month name [tm_mon].
1636                   const char_type*  __months2[12];
1637                   __tp._M_months(__months2);
1638                   _M_extract_name(__beg, __end, __tm->tm_mon, __months2, 12,
1639                                   __ctype, __err);
1640                   break;
1641                 case 'c':
1642                   // Default time and date representation.
1643                   const char_type*  __dt[2];
1644                   __tp._M_date_time_formats(__dt);
1645                   _M_extract_via_format(__beg, __end, __io, __err, __tm,
1646                                         __dt[0]);
1647                   break;
1648                 case 'd':
1649                   // Day [01, 31]. [tm_mday]
1650                   _M_extract_num(__beg, __end, __tm->tm_mday, 1, 31, 2,
1651                                  __ctype, __err);
1652                   break;
1653                 case 'e':
1654                   // Day [1, 31], with single digits preceded by
1655                   // space. [tm_mday]
1656                   if (__ctype.is(ctype_base::space, *__beg))
1657                     _M_extract_num(++__beg, __end, __tm->tm_mday, 1, 9, 1,
1658                                    __ctype, __err);
1659                   else
1660                     _M_extract_num(__beg, __end, __tm->tm_mday, 10, 31, 2,
1661                                    __ctype, __err);
1662                   break;
1663                 case 'D':
1664                   // Equivalent to %m/%d/%y.[tm_mon, tm_mday, tm_year]
1665                   __cs = "%m/%d/%y";
1666                   __ctype.widen(__cs, __cs + 9, __wcs);
1667                   _M_extract_via_format(__beg, __end, __io, __err, __tm,
1668                                         __wcs);
1669                   break;
1670                 case 'H':
1671                   // Hour [00, 23]. [tm_hour]
1672                   _M_extract_num(__beg, __end, __tm->tm_hour, 0, 23, 2,
1673                                  __ctype, __err);
1674                   break;
1675                 case 'I':
1676                   // Hour [01, 12]. [tm_hour]
1677                   _M_extract_num(__beg, __end, __tm->tm_hour, 1, 12, 2,
1678                                  __ctype, __err);
1679                   break;
1680                 case 'm':
1681                   // Month [01, 12]. [tm_mon]
1682                   _M_extract_num(__beg, __end, __mem, 1, 12, 2, __ctype,
1683                                  __err);
1684                   if (!__err)
1685                     __tm->tm_mon = __mem - 1;
1686                   break;
1687                 case 'M':
1688                   // Minute [00, 59]. [tm_min]
1689                   _M_extract_num(__beg, __end, __tm->tm_min, 0, 59, 2,
1690                                  __ctype, __err);
1691                   break;
1692                 case 'n':
1693                   if (__ctype.narrow(*__beg, 0) == '\n')
1694                     ++__beg;
1695                   else
1696                     __err |= ios_base::failbit;
1697                   break;
1698                 case 'R':
1699                   // Equivalent to (%H:%M).
1700                   __cs = "%H:%M";
1701                   __ctype.widen(__cs, __cs + 6, __wcs);
1702                   _M_extract_via_format(__beg, __end, __io, __err, __tm,
1703                                         __wcs);
1704                   break;
1705                 case 'S':
1706                   // Seconds.
1707                   _M_extract_num(__beg, __end, __tm->tm_sec, 0, 59, 2,
1708                                  __ctype, __err);
1709                   break;
1710                 case 't':
1711                   if (__ctype.narrow(*__beg, 0) == '\t')
1712                     ++__beg;
1713                   else
1714                     __err |= ios_base::failbit;
1715                   break;
1716                 case 'T':
1717                   // Equivalent to (%H:%M:%S).
1718                   __cs = "%H:%M:%S";
1719                   __ctype.widen(__cs, __cs + 9, __wcs);
1720                   _M_extract_via_format(__beg, __end, __io, __err, __tm,
1721                                         __wcs);
1722                   break;
1723                 case 'x':
1724                   // Locale's date.
1725                   const char_type*  __dates[2];
1726                   __tp._M_date_formats(__dates);
1727                   _M_extract_via_format(__beg, __end, __io, __err, __tm,
1728                                         __dates[0]);
1729                   break;
1730                 case 'X':
1731                   // Locale's time.
1732                   const char_type*  __times[2];
1733                   __tp._M_time_formats(__times);
1734                   _M_extract_via_format(__beg, __end, __io, __err, __tm,
1735                                         __times[0]);
1736                   break;
1737                 case 'y':
1738                 case 'C': // C99
1739                   // Two digit year. [tm_year]
1740                   _M_extract_num(__beg, __end, __tm->tm_year, 0, 99, 2,
1741                                  __ctype, __err);
1742                   break;
1743                 case 'Y':
1744                   // Year [1900). [tm_year]
1745                   _M_extract_num(__beg, __end, __mem, 0, 9999, 4,
1746                                  __ctype, __err);
1747                   if (!__err)
1748                     __tm->tm_year = __mem - 1900;
1749                   break;
1750                 case 'Z':
1751                   // Timezone info.
1752                   if (__ctype.is(ctype_base::upper, *__beg))
1753                     {
1754                       int __tmp;
1755                       _M_extract_name(__beg, __end, __tmp,
1756                                       __timepunct_cache<_CharT>::_S_timezones,
1757                                       14, __ctype, __err);
1758
1759                       // GMT requires special effort.
1760                       if (__beg != __end && !__err && __tmp == 0
1761                           && (*__beg == __ctype.widen('-')
1762                               || *__beg == __ctype.widen('+')))
1763                         {
1764                           _M_extract_num(__beg, __end, __tmp, 0, 23, 2,
1765                                           __ctype, __err);
1766                           _M_extract_num(__beg, __end, __tmp, 0, 59, 2,
1767                                           __ctype, __err);
1768                         }
1769                     }
1770                   else
1771                     __err |= ios_base::failbit;
1772                   break;
1773                 default:
1774                   // Not recognized.
1775                   __err |= ios_base::failbit;
1776                 }
1777             }
1778           else
1779             {
1780               // Verify format and input match, extract and discard.
1781               if (__format[__i] == *__beg)
1782                 ++__beg;
1783               else
1784                 __err |= ios_base::failbit;
1785             }
1786         }
1787     }
1788
1789   template<typename _CharT, typename _InIter>
1790     void
1791     time_get<_CharT, _InIter>::
1792     _M_extract_num(iter_type& __beg, iter_type& __end, int& __member,
1793                    int __min, int __max, size_t __len,
1794                    const ctype<_CharT>& __ctype,
1795                    ios_base::iostate& __err) const
1796     {
1797       // As-is works for __len = 1, 2, 4, the values actually used.
1798       int __mult = __len == 2 ? 10 : (__len == 4 ? 1000 : 1);
1799
1800       ++__min;
1801       size_t __i = 0;
1802       int __value = 0;
1803       for (; __beg != __end && __i < __len; ++__beg, ++__i)
1804         {
1805           const char __c = __ctype.narrow(*__beg, '*');
1806           if (__c >= '0' && __c <= '9')
1807             {
1808               __value = __value * 10 + (__c - '0');
1809               const int __valuec = __value * __mult;
1810               if (__valuec > __max || __valuec + __mult < __min)
1811                 break;
1812               __mult /= 10;
1813             }
1814           else
1815             break;
1816         }
1817       if (__i == __len)
1818         __member = __value;
1819       else
1820         __err |= ios_base::failbit;
1821     }
1822
1823   // Assumptions:
1824   // All elements in __names are unique.
1825   template<typename _CharT, typename _InIter>
1826     void
1827     time_get<_CharT, _InIter>::
1828     _M_extract_name(iter_type& __beg, iter_type& __end, int& __member,
1829                     const _CharT** __names, size_t __indexlen,
1830                     const ctype<_CharT>& __ctype,
1831                     ios_base::iostate& __err) const
1832     {
1833       typedef char_traits<_CharT>               __traits_type;
1834       int* __matches = static_cast<int*>(__builtin_alloca(sizeof(int)
1835                                                           * __indexlen));
1836       size_t __nmatches = 0;
1837       size_t __pos = 0;
1838       bool __testvalid = true;
1839       const char_type* __name;
1840
1841       // Look for initial matches.
1842       // NB: Some of the locale data is in the form of all lowercase
1843       // names, and some is in the form of initially-capitalized
1844       // names. Look for both.
1845       if (__beg != __end)
1846         {
1847           const char_type __c = *__beg;
1848           for (size_t __i1 = 0; __i1 < __indexlen; ++__i1)
1849             if (__c == __names[__i1][0]
1850                 || __c == __ctype.toupper(__names[__i1][0]))
1851               __matches[__nmatches++] = __i1;
1852         }
1853
1854       while (__nmatches > 1)
1855         {
1856           // Find smallest matching string.
1857           size_t __minlen = 10;
1858           for (size_t __i2 = 0; __i2 < __nmatches; ++__i2)
1859             __minlen = std::min(__minlen,
1860                                 __traits_type::length(__names[__matches[__i2]]));
1861           ++__beg;
1862           if (__pos < __minlen && __beg != __end)
1863             {
1864               ++__pos;
1865               for (size_t __i3 = 0; __i3 < __nmatches; ++__i3)
1866                 {
1867                   __name = __names[__matches[__i3]];
1868                   if (__name[__pos] != *__beg)
1869                     __matches[__i3] = __matches[--__nmatches];
1870                 }
1871             }
1872           else
1873             break;
1874         }
1875
1876       if (__nmatches == 1)
1877         {
1878           // If there was only one match, the first compare is redundant.
1879           if (__pos == 0)
1880             {
1881               ++__pos;
1882               ++__beg;
1883             }
1884
1885           // Make sure found name is completely extracted.
1886           __name = __names[__matches[0]];
1887           const size_t __len = __traits_type::length(__name);
1888           while (__pos < __len && __beg != __end && __name[__pos] == *__beg)
1889             ++__beg, ++__pos;
1890
1891           if (__len == __pos)
1892             __member = __matches[0];
1893           else
1894             __testvalid = false;
1895         }
1896       else
1897         __testvalid = false;
1898       if (!__testvalid)
1899         __err |= ios_base::failbit;
1900     }
1901
1902   template<typename _CharT, typename _InIter>
1903     _InIter
1904     time_get<_CharT, _InIter>::
1905     do_get_time(iter_type __beg, iter_type __end, ios_base& __io,
1906                 ios_base::iostate& __err, tm* __tm) const
1907     {
1908       _CharT __wcs[3];
1909       const char* __cs = "%X";
1910       const locale __loc = __io.getloc();
1911       ctype<_CharT> const& __ctype = use_facet<ctype<_CharT> >(__loc);
1912       __ctype.widen(__cs, __cs + 3, __wcs);
1913       _M_extract_via_format(__beg, __end, __io, __err, __tm, __wcs);
1914       if (__beg == __end)
1915         __err |= ios_base::eofbit;
1916       return __beg;
1917     }
1918
1919   template<typename _CharT, typename _InIter>
1920     _InIter
1921     time_get<_CharT, _InIter>::
1922     do_get_date(iter_type __beg, iter_type __end, ios_base& __io,
1923                 ios_base::iostate& __err, tm* __tm) const
1924     {
1925       _CharT __wcs[3];
1926       const char* __cs = "%x";
1927       const locale __loc = __io.getloc();
1928       ctype<_CharT> const& __ctype = use_facet<ctype<_CharT> >(__loc);
1929       __ctype.widen(__cs, __cs + 3, __wcs);
1930       _M_extract_via_format(__beg, __end, __io, __err, __tm, __wcs);
1931       if (__beg == __end)
1932         __err |= ios_base::eofbit;
1933       return __beg;
1934     }
1935
1936   template<typename _CharT, typename _InIter>
1937     _InIter
1938     time_get<_CharT, _InIter>::
1939     do_get_weekday(iter_type __beg, iter_type __end, ios_base& __io,
1940                    ios_base::iostate& __err, tm* __tm) const
1941     {
1942       typedef char_traits<_CharT>               __traits_type;
1943       const locale __loc = __io.getloc();
1944       const __timepunct<_CharT>& __tp = use_facet<__timepunct<_CharT> >(__loc);
1945       const ctype<_CharT>& __ctype = use_facet<ctype<_CharT> >(__loc);
1946       const char_type*  __days[7];
1947       __tp._M_days_abbreviated(__days);
1948       int __tmpwday;
1949       _M_extract_name(__beg, __end, __tmpwday, __days, 7, __ctype, __err);
1950
1951       // Check to see if non-abbreviated name exists, and extract.
1952       // NB: Assumes both _M_days and _M_days_abbreviated organized in
1953       // exact same order, first to last, such that the resulting
1954       // __days array with the same index points to a day, and that
1955       // day's abbreviated form.
1956       // NB: Also assumes that an abbreviated name is a subset of the name.
1957       if (!__err)
1958         {
1959           size_t __pos = __traits_type::length(__days[__tmpwday]);
1960           __tp._M_days(__days);
1961           const char_type* __name = __days[__tmpwday];
1962           if (__name[__pos] == *__beg)
1963             {
1964               // Extract the rest of it.
1965               const size_t __len = __traits_type::length(__name);
1966               while (__pos < __len && __beg != __end
1967                      && __name[__pos] == *__beg)
1968                 ++__beg, ++__pos;
1969               if (__len != __pos)
1970                 __err |= ios_base::failbit;
1971             }
1972           if (!__err)
1973             __tm->tm_wday = __tmpwday;
1974         }
1975       if (__beg == __end)
1976         __err |= ios_base::eofbit;
1977       return __beg;
1978      }
1979
1980   template<typename _CharT, typename _InIter>
1981     _InIter
1982     time_get<_CharT, _InIter>::
1983     do_get_monthname(iter_type __beg, iter_type __end,
1984                      ios_base& __io, ios_base::iostate& __err, tm* __tm) const
1985     {
1986       typedef char_traits<_CharT>               __traits_type;
1987       const locale __loc = __io.getloc();
1988       const __timepunct<_CharT>& __tp = use_facet<__timepunct<_CharT> >(__loc);
1989       const ctype<_CharT>& __ctype = use_facet<ctype<_CharT> >(__loc);
1990       const char_type*  __months[12];
1991       __tp._M_months_abbreviated(__months);
1992       int __tmpmon;
1993       _M_extract_name(__beg, __end, __tmpmon, __months, 12, __ctype, __err);
1994
1995       // Check to see if non-abbreviated name exists, and extract.
1996       // NB: Assumes both _M_months and _M_months_abbreviated organized in
1997       // exact same order, first to last, such that the resulting
1998       // __months array with the same index points to a month, and that
1999       // month's abbreviated form.
2000       // NB: Also assumes that an abbreviated name is a subset of the name.
2001       if (!__err)
2002         {
2003           size_t __pos = __traits_type::length(__months[__tmpmon]);
2004           __tp._M_months(__months);
2005           const char_type* __name = __months[__tmpmon];
2006           if (__name[__pos] == *__beg)
2007             {
2008               // Extract the rest of it.
2009               const size_t __len = __traits_type::length(__name);
2010               while (__pos < __len && __beg != __end
2011                      && __name[__pos] == *__beg)
2012                 ++__beg, ++__pos;
2013               if (__len != __pos)
2014                 __err |= ios_base::failbit;
2015             }
2016           if (!__err)
2017             __tm->tm_mon = __tmpmon;
2018         }
2019
2020       if (__beg == __end)
2021         __err |= ios_base::eofbit;
2022       return __beg;
2023     }
2024
2025   template<typename _CharT, typename _InIter>
2026     _InIter
2027     time_get<_CharT, _InIter>::
2028     do_get_year(iter_type __beg, iter_type __end, ios_base& __io,
2029                 ios_base::iostate& __err, tm* __tm) const
2030     {
2031       const locale __loc = __io.getloc();
2032       const ctype<_CharT>& __ctype = use_facet<ctype<_CharT> >(__loc);
2033
2034       size_t __i = 0;
2035       int __value = 0;
2036       for (; __beg != __end && __i < 4; ++__beg, ++__i)
2037         {
2038           const char __c = __ctype.narrow(*__beg, '*');
2039           if (__c >= '0' && __c <= '9')
2040             __value = __value * 10 + (__c - '0');
2041           else
2042             break;
2043         }
2044       if (__i == 2 || __i == 4)
2045         __tm->tm_year = __i == 2 ? __value : __value - 1900;
2046       else
2047         __err |= ios_base::failbit;
2048       if (__beg == __end)
2049         __err |= ios_base::eofbit;
2050       return __beg;
2051     }
2052
2053   template<typename _CharT, typename _OutIter>
2054     _OutIter
2055     time_put<_CharT, _OutIter>::
2056     put(iter_type __s, ios_base& __io, char_type __fill, const tm* __tm,
2057         const _CharT* __beg, const _CharT* __end) const
2058     {
2059       const locale __loc = __io.getloc();
2060       ctype<_CharT> const& __ctype = use_facet<ctype<_CharT> >(__loc);
2061       for (; __beg != __end; ++__beg)
2062         if (__ctype.narrow(*__beg, 0) != '%')
2063           {
2064             *__s = *__beg;
2065             ++__s;
2066           }
2067         else if (++__beg != __end)
2068           {
2069             char __format;
2070             char __mod = 0;
2071             const char __c = __ctype.narrow(*__beg, 0);
2072             if (__c != 'E' && __c != 'O')
2073               __format = __c;
2074             else if (++__beg != __end)
2075               {
2076                 __mod = __c;
2077                 __format = __ctype.narrow(*__beg, 0);
2078               }
2079             else
2080               break;
2081             __s = this->do_put(__s, __io, __fill, __tm,
2082                                __format, __mod);
2083           }
2084         else
2085           break;
2086       return __s;
2087     }
2088
2089   template<typename _CharT, typename _OutIter>
2090     _OutIter
2091     time_put<_CharT, _OutIter>::
2092     do_put(iter_type __s, ios_base& __io, char_type, const tm* __tm,
2093            char __format, char __mod) const
2094     {
2095       const locale __loc = __io.getloc();
2096       ctype<_CharT> const& __ctype = use_facet<ctype<_CharT> >(__loc);
2097       __timepunct<_CharT> const& __tp = use_facet<__timepunct<_CharT> >(__loc);
2098
2099       // NB: This size is arbitrary. Should this be a data member,
2100       // initialized at construction?
2101       const size_t __maxlen = 64;
2102       char_type* __res = static_cast<char_type*>(__builtin_alloca(sizeof(char_type)
2103                                                                   * __maxlen));
2104
2105       // NB: In IEE 1003.1-200x, and perhaps other locale models, it
2106       // is possible that the format character will be longer than one
2107       // character. Possibilities include 'E' or 'O' followed by a
2108       // format character: if __mod is not the default argument, assume
2109       // it's a valid modifier.
2110       char_type __fmt[4];
2111       __fmt[0] = __ctype.widen('%');
2112       if (!__mod)
2113         {
2114           __fmt[1] = __format;
2115           __fmt[2] = char_type();
2116         }
2117       else
2118         {
2119           __fmt[1] = __mod;
2120           __fmt[2] = __format;
2121           __fmt[3] = char_type();
2122         }
2123
2124       __tp._M_put(__res, __maxlen, __fmt, __tm);
2125
2126       // Write resulting, fully-formatted string to output iterator.
2127       return std::__write(__s, __res, char_traits<char_type>::length(__res));
2128     }
2129
2130
2131   // Generic version does nothing.
2132   template<typename _CharT>
2133     int
2134     collate<_CharT>::_M_compare(const _CharT*, const _CharT*) const
2135     { return 0; }
2136
2137   // Generic version does nothing.
2138   template<typename _CharT>
2139     size_t
2140     collate<_CharT>::_M_transform(_CharT*, const _CharT*, size_t) const
2141     { return 0; }
2142
2143   template<typename _CharT>
2144     int
2145     collate<_CharT>::
2146     do_compare(const _CharT* __lo1, const _CharT* __hi1,
2147                const _CharT* __lo2, const _CharT* __hi2) const
2148     {
2149       // strcoll assumes zero-terminated strings so we make a copy
2150       // and then put a zero at the end.
2151       const string_type __one(__lo1, __hi1);
2152       const string_type __two(__lo2, __hi2);
2153
2154       const _CharT* __p = __one.c_str();
2155       const _CharT* __pend = __one.data() + __one.length();
2156       const _CharT* __q = __two.c_str();
2157       const _CharT* __qend = __two.data() + __two.length();
2158
2159       // strcoll stops when it sees a nul character so we break
2160       // the strings into zero-terminated substrings and pass those
2161       // to strcoll.
2162       for (;;)
2163         {
2164           const int __res = _M_compare(__p, __q);
2165           if (__res)
2166             return __res;
2167
2168           __p += char_traits<_CharT>::length(__p);
2169           __q += char_traits<_CharT>::length(__q);
2170           if (__p == __pend && __q == __qend)
2171             return 0;
2172           else if (__p == __pend)
2173             return -1;
2174           else if (__q == __qend)
2175             return 1;
2176
2177           __p++;
2178           __q++;
2179         }
2180     }
2181
2182   template<typename _CharT>
2183     typename collate<_CharT>::string_type
2184     collate<_CharT>::
2185     do_transform(const _CharT* __lo, const _CharT* __hi) const
2186     {
2187       // strxfrm assumes zero-terminated strings so we make a copy
2188       string_type __str(__lo, __hi);
2189
2190       const _CharT* __p = __str.c_str();
2191       const _CharT* __pend = __str.data() + __str.length();
2192
2193       size_t __len = (__hi - __lo) * 2;
2194
2195       string_type __ret;
2196
2197       // strxfrm stops when it sees a nul character so we break
2198       // the string into zero-terminated substrings and pass those
2199       // to strxfrm.
2200       for (;;)
2201         {
2202           // First try a buffer perhaps big enough.
2203           _CharT* __c =
2204             static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT) * __len));
2205           size_t __res = _M_transform(__c, __p, __len);
2206           // If the buffer was not large enough, try again with the
2207           // correct size.
2208           if (__res >= __len)
2209             {
2210               __len = __res + 1;
2211               __c = static_cast<_CharT*>(__builtin_alloca(sizeof(_CharT)
2212                                                           * __len));
2213               __res = _M_transform(__c, __p, __res + 1);
2214             }
2215
2216           __ret.append(__c, __res);
2217           __p += char_traits<_CharT>::length(__p);
2218           if (__p == __pend)
2219             return __ret;
2220
2221           __p++;
2222           __ret.push_back(_CharT());
2223         }
2224     }
2225
2226   template<typename _CharT>
2227     long
2228     collate<_CharT>::
2229     do_hash(const _CharT* __lo, const _CharT* __hi) const
2230     {
2231       unsigned long __val = 0;
2232       for (; __lo < __hi; ++__lo)
2233         __val = *__lo + ((__val << 7) |
2234                        (__val >> (numeric_limits<unsigned long>::digits - 7)));
2235       return static_cast<long>(__val);
2236     }
2237
2238   // Construct correctly padded string, as per 22.2.2.2.2
2239   // Assumes
2240   // __newlen > __oldlen
2241   // __news is allocated for __newlen size
2242   // Used by both num_put and ostream inserters: if __num,
2243   // internal-adjusted objects are padded according to the rules below
2244   // concerning 0[xX] and +-, otherwise, exactly as right-adjusted
2245   // ones are.
2246
2247   // NB: Of the two parameters, _CharT can be deduced from the
2248   // function arguments. The other (_Traits) has to be explicitly specified.
2249   template<typename _CharT, typename _Traits>
2250     void
2251     __pad<_CharT, _Traits>::_S_pad(ios_base& __io, _CharT __fill,
2252                                    _CharT* __news, const _CharT* __olds,
2253                                    const streamsize __newlen,
2254                                    const streamsize __oldlen, const bool __num)
2255     {
2256       const size_t __plen = static_cast<size_t>(__newlen - __oldlen);
2257       const ios_base::fmtflags __adjust = __io.flags() & ios_base::adjustfield;
2258
2259       // Padding last.
2260       if (__adjust == ios_base::left)
2261         {
2262           _Traits::copy(__news, const_cast<_CharT*>(__olds), __oldlen);
2263           _Traits::assign(__news + __oldlen, __plen, __fill);
2264           return;
2265         }
2266
2267       size_t __mod = 0;
2268       if (__adjust == ios_base::internal && __num)
2269         {
2270           // Pad after the sign, if there is one.
2271           // Pad after 0[xX], if there is one.
2272           // Who came up with these rules, anyway? Jeeze.
2273           const locale& __loc = __io._M_getloc();
2274           const ctype<_CharT>& __ctype = use_facet<ctype<_CharT> >(__loc);
2275
2276           const bool __testsign = _Traits::eq(__ctype.widen('-'), __olds[0])
2277                                   || _Traits::eq(__ctype.widen('+'), __olds[0]);
2278           const bool __testhex = (_Traits::eq(__ctype.widen('0'), __olds[0])
2279                                   && __oldlen > 1
2280                                   && (_Traits::eq(__ctype.widen('x'), __olds[1])
2281                                       || _Traits::eq(__ctype.widen('X'),
2282                                                      __olds[1])));
2283           if (__testhex)
2284             {
2285               __news[0] = __olds[0];
2286               __news[1] = __olds[1];
2287               __mod = 2;
2288               __news += 2;
2289             }
2290           else if (__testsign)
2291             {
2292               __news[0] = __olds[0];
2293               __mod = 1;
2294               ++__news;
2295             }
2296           // else Padding first.
2297         }
2298       _Traits::assign(__news, __plen, __fill);
2299       _Traits::copy(__news + __plen, const_cast<_CharT*>(__olds + __mod),
2300                     __oldlen - __mod);
2301     }
2302
2303   bool
2304   __verify_grouping(const char* __grouping, size_t __grouping_size,
2305                     const string& __grouping_tmp)
2306   {
2307     const size_t __n = __grouping_tmp.size() - 1;
2308     const size_t __min = std::min(__n, __grouping_size - 1);
2309     size_t __i = __n;
2310     bool __test = true;
2311     
2312     // Parsed number groupings have to match the
2313     // numpunct::grouping string exactly, starting at the
2314     // right-most point of the parsed sequence of elements ...
2315     for (size_t __j = 0; __j < __min && __test; --__i, ++__j)
2316       __test = __grouping_tmp[__i] == __grouping[__j];
2317     for (; __i && __test; --__i)
2318       __test = __grouping_tmp[__i] == __grouping[__min];
2319     // ... but the last parsed grouping can be <= numpunct
2320     // grouping.
2321     __test &= __grouping_tmp[0] <= __grouping[__min];
2322     return __test;
2323   }
2324
2325   template<typename _CharT>
2326     _CharT*
2327     __add_grouping(_CharT* __s, _CharT __sep,
2328                    const char* __gbeg, size_t __gsize,
2329                    const _CharT* __first, const _CharT* __last)
2330     {
2331       if (__last - __first > *__gbeg)
2332         {
2333           const bool __bump = __gsize != 1;
2334           __s = std::__add_grouping(__s,  __sep, __gbeg + __bump,
2335                                     __gsize - __bump, __first,
2336                                     __last - *__gbeg);
2337           __first = __last - *__gbeg;
2338           *__s++ = __sep;
2339         }
2340       do
2341         *__s++ = *__first++;
2342       while (__first != __last);
2343       return __s;
2344     }
2345
2346   // Inhibit implicit instantiations for required instantiations,
2347   // which are defined via explicit instantiations elsewhere.
2348   // NB: This syntax is a GNU extension.
2349 #if _GLIBCXX_EXTERN_TEMPLATE
2350   extern template class moneypunct<char, false>;
2351   extern template class moneypunct<char, true>;
2352   extern template class moneypunct_byname<char, false>;
2353   extern template class moneypunct_byname<char, true>;
2354   extern template class money_get<char>;
2355   extern template class money_put<char>;
2356   extern template class numpunct<char>;
2357   extern template class numpunct_byname<char>;
2358   extern template class num_get<char>;
2359   extern template class num_put<char>;
2360   extern template class __timepunct<char>;
2361   extern template class time_put<char>;
2362   extern template class time_put_byname<char>;
2363   extern template class time_get<char>;
2364   extern template class time_get_byname<char>;
2365   extern template class messages<char>;
2366   extern template class messages_byname<char>;
2367   extern template class ctype_byname<char>;
2368   extern template class codecvt_byname<char, char, mbstate_t>;
2369   extern template class collate<char>;
2370   extern template class collate_byname<char>;
2371
2372   extern template
2373     const codecvt<char, char, mbstate_t>&
2374     use_facet<codecvt<char, char, mbstate_t> >(const locale&);
2375
2376   extern template
2377     const collate<char>&
2378     use_facet<collate<char> >(const locale&);
2379
2380   extern template
2381     const numpunct<char>&
2382     use_facet<numpunct<char> >(const locale&);
2383
2384   extern template
2385     const num_put<char>&
2386     use_facet<num_put<char> >(const locale&);
2387
2388   extern template
2389     const num_get<char>&
2390     use_facet<num_get<char> >(const locale&);
2391
2392   extern template
2393     const moneypunct<char, true>&
2394     use_facet<moneypunct<char, true> >(const locale&);
2395
2396   extern template
2397     const moneypunct<char, false>&
2398     use_facet<moneypunct<char, false> >(const locale&);
2399
2400   extern template
2401     const money_put<char>&
2402     use_facet<money_put<char> >(const locale&);
2403
2404   extern template
2405     const money_get<char>&
2406     use_facet<money_get<char> >(const locale&);
2407
2408   extern template
2409     const __timepunct<char>&
2410     use_facet<__timepunct<char> >(const locale&);
2411
2412   extern template
2413     const time_put<char>&
2414     use_facet<time_put<char> >(const locale&);
2415
2416   extern template
2417     const time_get<char>&
2418     use_facet<time_get<char> >(const locale&);
2419
2420   extern template
2421     const messages<char>&
2422     use_facet<messages<char> >(const locale&);
2423
2424   extern template
2425     bool
2426     has_facet<ctype<char> >(const locale&);
2427
2428   extern template
2429     bool
2430     has_facet<codecvt<char, char, mbstate_t> >(const locale&);
2431
2432   extern template
2433     bool
2434     has_facet<collate<char> >(const locale&);
2435
2436   extern template
2437     bool
2438     has_facet<numpunct<char> >(const locale&);
2439
2440   extern template
2441     bool
2442     has_facet<num_put<char> >(const locale&);
2443
2444   extern template
2445     bool
2446     has_facet<num_get<char> >(const locale&);
2447
2448   extern template
2449     bool
2450     has_facet<moneypunct<char> >(const locale&);
2451
2452   extern template
2453     bool
2454     has_facet<money_put<char> >(const locale&);
2455
2456   extern template
2457     bool
2458     has_facet<money_get<char> >(const locale&);
2459
2460   extern template
2461     bool
2462     has_facet<__timepunct<char> >(const locale&);
2463
2464   extern template
2465     bool
2466     has_facet<time_put<char> >(const locale&);
2467
2468   extern template
2469     bool
2470     has_facet<time_get<char> >(const locale&);
2471
2472   extern template
2473     bool
2474     has_facet<messages<char> >(const locale&);
2475
2476 #ifdef _GLIBCXX_USE_WCHAR_T
2477   extern template class moneypunct<wchar_t, false>;
2478   extern template class moneypunct<wchar_t, true>;
2479   extern template class moneypunct_byname<wchar_t, false>;
2480   extern template class moneypunct_byname<wchar_t, true>;
2481   extern template class money_get<wchar_t>;
2482   extern template class money_put<wchar_t>;
2483   extern template class numpunct<wchar_t>;
2484   extern template class numpunct_byname<wchar_t>;
2485   extern template class num_get<wchar_t>;
2486   extern template class num_put<wchar_t>;
2487   extern template class __timepunct<wchar_t>;
2488   extern template class time_put<wchar_t>;
2489   extern template class time_put_byname<wchar_t>;
2490   extern template class time_get<wchar_t>;
2491   extern template class time_get_byname<wchar_t>;
2492   extern template class messages<wchar_t>;
2493   extern template class messages_byname<wchar_t>;
2494   extern template class ctype_byname<wchar_t>;
2495   extern template class codecvt_byname<wchar_t, char, mbstate_t>;
2496   extern template class collate<wchar_t>;
2497   extern template class collate_byname<wchar_t>;
2498
2499   extern template
2500     const codecvt<wchar_t, char, mbstate_t>&
2501     use_facet<codecvt<wchar_t, char, mbstate_t> >(locale const&);
2502
2503   extern template
2504     const collate<wchar_t>&
2505     use_facet<collate<wchar_t> >(const locale&);
2506
2507   extern template
2508     const numpunct<wchar_t>&
2509     use_facet<numpunct<wchar_t> >(const locale&);
2510
2511   extern template
2512     const num_put<wchar_t>&
2513     use_facet<num_put<wchar_t> >(const locale&);
2514
2515   extern template
2516     const num_get<wchar_t>&
2517     use_facet<num_get<wchar_t> >(const locale&);
2518
2519   extern template
2520     const moneypunct<wchar_t, true>&
2521     use_facet<moneypunct<wchar_t, true> >(const locale&);
2522
2523   extern template
2524     const moneypunct<wchar_t, false>&
2525     use_facet<moneypunct<wchar_t, false> >(const locale&);
2526
2527   extern template
2528     const money_put<wchar_t>&
2529     use_facet<money_put<wchar_t> >(const locale&);
2530
2531   extern template
2532     const money_get<wchar_t>&
2533     use_facet<money_get<wchar_t> >(const locale&);
2534
2535   extern template
2536     const __timepunct<wchar_t>&
2537     use_facet<__timepunct<wchar_t> >(const locale&);
2538
2539   extern template
2540     const time_put<wchar_t>&
2541     use_facet<time_put<wchar_t> >(const locale&);
2542
2543   extern template
2544     const time_get<wchar_t>&
2545     use_facet<time_get<wchar_t> >(const locale&);
2546
2547   extern template
2548     const messages<wchar_t>&
2549     use_facet<messages<wchar_t> >(const locale&);
2550
2551  extern template
2552     bool
2553     has_facet<ctype<wchar_t> >(const locale&);
2554
2555   extern template
2556     bool
2557     has_facet<codecvt<wchar_t, char, mbstate_t> >(const locale&);
2558
2559   extern template
2560     bool
2561     has_facet<collate<wchar_t> >(const locale&);
2562
2563   extern template
2564     bool
2565     has_facet<numpunct<wchar_t> >(const locale&);
2566
2567   extern template
2568     bool
2569     has_facet<num_put<wchar_t> >(const locale&);
2570
2571   extern template
2572     bool
2573     has_facet<num_get<wchar_t> >(const locale&);
2574
2575   extern template
2576     bool
2577     has_facet<moneypunct<wchar_t> >(const locale&);
2578
2579   extern template
2580     bool
2581     has_facet<money_put<wchar_t> >(const locale&);
2582
2583   extern template
2584     bool
2585     has_facet<money_get<wchar_t> >(const locale&);
2586
2587   extern template
2588     bool
2589     has_facet<__timepunct<wchar_t> >(const locale&);
2590
2591   extern template
2592     bool
2593     has_facet<time_put<wchar_t> >(const locale&);
2594
2595   extern template
2596     bool
2597     has_facet<time_get<wchar_t> >(const locale&);
2598
2599   extern template
2600     bool
2601     has_facet<messages<wchar_t> >(const locale&);
2602 #endif
2603 #endif
2604 } // namespace std
2605
2606 #endif