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