libstdc++-v3/include/bits/locale_facets.tcc

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