libstdc++-v3/src/locale.cc

   1 // Copyright (C) 1997, 1998, 1999, 2000, 2001 Free Software Foundation, Inc.
   2 //
   3 // This file is part of the GNU ISO C++ Library.  This library is free
   4 // software; you can redistribute it and/or modify it under the
   5 // terms of the GNU General Public License as published by the
   6 // Free Software Foundation; either version 2, or (at your option)
   7 // any later version.
   8
   9 // This library is distributed in the hope that it will be useful,
  10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 // GNU General Public License for more details.
  13
  14 // You should have received a copy of the GNU General Public License along
  15 // with this library; see the file COPYING.  If not, write to the Free
  16 // Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
  17 // USA.
  18
  19 // As a special exception, you may use this file as part of a free software
  20 // library without restriction.  Specifically, if other files instantiate
  21 // templates or use macros or inline functions from this file, or you compile
  22 // this file and link it with other files to produce an executable, this
  23 // file does not by itself cause the resulting executable to be covered by
  24 // the GNU General Public License.  This exception does not however
  25 // invalidate any other reasons why the executable file might be covered by
  26 // the GNU General Public License.
  27
  28 #include <clocale>
  29 #include <cstring>
  30 #include <cassert>
  31 #include <cctype>
  32 #include <limits>
  33 #include <exception>
  34 #include <stdexcept>
  35 #include <locale>
  36 #include <istream>
  37 #include <ostream>
  38 #include <vector>
  39 #include <memory>      // for auto_ptr
  40 #ifdef _GLIBCPP_USE_WCHAR_T
  41 # include <cwctype>     // for towupper, etc.
  42 #endif
  43
  44 #include <bits/atomicity.h>
  45
  46 namespace std
  47 {
  48   // Defined in globals.cc.
  49   extern locale::_Impl locale_impl_c;
  50   extern locale locale_c;
  51
  52   // Definitions for static const data members of locale.
  53   const locale::category        locale::none;
  54   const locale::category        locale::ctype;
  55   const locale::category        locale::numeric;
  56   const locale::category        locale::collate;
  57   const locale::category        locale::time;
  58   const locale::category        locale::monetary;
  59   const locale::category        locale::messages;
  60   const locale::category        locale::all;
  61
  62   locale::_Impl*                locale::_S_classic;
  63   locale::_Impl*                locale::_S_global;
  64   const size_t                  locale::_S_num_categories;
  65   const size_t                  locale::_S_num_facets;
  66
  67   // Definitions for locale::id of standard facets.
  68   locale::id ctype<char>::id;
  69   locale::id codecvt<char, char, mbstate_t>::id;
  70
  71 #ifdef _GLIBCPP_USE_WCHAR_T
  72   locale::id ctype<wchar_t>::id;
  73   locale::id codecvt<wchar_t, char, mbstate_t>::id;
  74 #endif
  75
  76   // Definitions for static const data members of locale::id
  77   _Atomic_word locale::id::_S_highwater;  // init'd to 0 by linker
  78
  79   // Definitions for static const data members of locale::_Impl
  80   const locale::id* const
  81   locale::_Impl::_S_id_ctype[] =
  82   {
  83     &std::ctype<char>::id,
  84     &codecvt<char, char, mbstate_t>::id,
  85 #ifdef _GLIBCPP_USE_WCHAR_T
  86     &std::ctype<wchar_t>::id,
  87     &codecvt<wchar_t, char, mbstate_t>::id,
  88 #endif
  89     0
  90   };
  91
  92   const locale::id* const
  93   locale::_Impl::_S_id_numeric[] =
  94   {
  95     &num_get<char>::id,
  96     &num_put<char>::id,
  97     &numpunct<char>::id,
  98 #ifdef _GLIBCPP_USE_WCHAR_T
  99     &num_get<wchar_t>::id,
 100     &num_put<wchar_t>::id,
 101     &numpunct<wchar_t>::id,
 102 #endif
 103     0
 104   };
 105
 106   const locale::id* const
 107   locale::_Impl::_S_id_collate[] =
 108   {
 109     &std::collate<char>::id,
 110 #ifdef _GLIBCPP_USE_WCHAR_T
 111     &std::collate<wchar_t>::id,
 112 #endif
 113     0
 114   };
 115
 116   const locale::id* const
 117   locale::_Impl::_S_id_time[] =
 118   {
 119     &__timepunct<char>::id,
 120     &time_get<char>::id,
 121     &time_put<char>::id,
 122 #ifdef _GLIBCPP_USE_WCHAR_T
 123     &__timepunct<wchar_t>::id,
 124     &time_get<wchar_t>::id,
 125     &time_put<wchar_t>::id,
 126 #endif
 127     0
 128   };
 129
 130   const locale::id* const
 131   locale::_Impl::_S_id_monetary[] =
 132   {
 133     &money_get<char>::id,
 134     &money_put<char>::id,
 135     &moneypunct<char, false>::id,
 136     &moneypunct<char, true >::id,
 137 #ifdef _GLIBCPP_USE_WCHAR_T
 138     &money_get<wchar_t>::id,
 139     &money_put<wchar_t>::id,
 140     &moneypunct<wchar_t, false>::id,
 141     &moneypunct<wchar_t, true >::id,
 142 #endif
 143     0
 144   };
 145
 146   const locale::id* const
 147   locale::_Impl::_S_id_messages[] =
 148   {
 149     &std::messages<char>::id,
 150 #ifdef _GLIBCPP_USE_WCHAR_T
 151     &std::messages<wchar_t>::id,
 152 #endif
 153     0
 154   };
 155
 156   const locale::id* const* const
 157   locale::_Impl::_S_facet_categories[] =
 158   {
 159     // Order must match the decl order in class locale.
 160     locale::_Impl::_S_id_ctype,
 161     locale::_Impl::_S_id_numeric,
 162     locale::_Impl::_S_id_collate,
 163     locale::_Impl::_S_id_time,
 164     locale::_Impl::_S_id_monetary,
 165     locale::_Impl::_S_id_messages,
 166     0
 167   };
 168
 169   locale::~locale() throw()
 170   { _M_impl->_M_remove_reference(); }
 171
 172   void
 173   locale::_M_coalesce(const locale& __base, const locale& __add,
 174                       category __cat)
 175   {
 176     __cat = _S_normalize_category(__cat);
 177     _M_impl = new _Impl(*__base._M_impl, 1);
 178
 179     try
 180       { _M_impl->_M_replace_categories(__add._M_impl, __cat); }
 181     catch (...)
 182       {
 183         _M_impl->_M_remove_reference();
 184         __throw_exception_again;
 185       }
 186   }
 187
 188   locale::locale() throw()
 189   {
 190     _S_initialize();
 191     (_M_impl = _S_global)->_M_add_reference();
 192   }
 193
 194   locale::locale(const locale& __other) throw()
 195   { (_M_impl = __other._M_impl)->_M_add_reference(); }
 196
 197   // This is used to initialize global and classic locales, and
 198   // assumes that the _Impl objects are constructed correctly.
 199   locale::locale(_Impl* __ip) throw() : _M_impl(__ip)
 200   { }
 201
 202   locale::locale(const char* __s)
 203   {
 204     if (__s)
 205       {
 206         _S_initialize();
 207         if (strcmp(__s, "C") == 0 || strcmp(__s, "POSIX") == 0)
 208           (_M_impl = _S_classic)->_M_add_reference();
 209         else if (strcmp(__s, "") == 0)
 210           _M_impl = new _Impl(setlocale(LC_ALL, __s), 1);
 211         else
 212           _M_impl = new _Impl(__s, 1);
 213       }
 214     else
 215       __throw_runtime_error("attempt to create locale from NULL name");
 216   }
 217
 218   locale::locale(const locale& __base, const char* __s, category __cat)
 219   {
 220     // NB: There are complicated, yet more efficient ways to do
 221     // this. Building up locales on a per-category way is tedious, so
 222     // let's do it this way until people complain.
 223     locale __add(__s);
 224     _M_coalesce(__base, __add, __cat);
 225   }
 226
 227   locale::locale(const locale& __base, const locale& __add, category __cat)
 228   { _M_coalesce(__base, __add, __cat); }
 229
 230   bool
 231   locale::operator==(const locale& __rhs) const throw()
 232   {
 233     string __name = this->name();
 234     return (_M_impl == __rhs._M_impl
 235             || (__name != "*" && __name == __rhs.name()));
 236   }
 237
 238   const locale&
 239   locale::operator=(const locale& __other) throw()
 240   {
 241     __other._M_impl->_M_add_reference();
 242     _M_impl->_M_remove_reference();
 243     _M_impl = __other._M_impl;
 244     return *this;
 245   }
 246
 247   locale
 248   locale::global(const locale& __other)
 249   {
 250     // XXX MT
 251     _S_initialize();
 252     _Impl* __old = _S_global;
 253     __other._M_impl->_M_add_reference();
 254     _S_global = __other._M_impl;
 255     if (_S_global->_M_check_same_name() && _S_global->_M_names[0] != "*")
 256       setlocale(LC_ALL, __other.name().c_str());
 257
 258     // Reference count sanity check: one reference removed for the
 259     // subsition of __other locale, one added by return-by-value. Net
 260     // difference: zero. When the returned locale object's destrutor
 261     // is called, then the reference count is decremented and possibly
 262     // destroyed.
 263     return locale(__old);
 264   }
 265
 266   string
 267   locale::name() const
 268   {
 269     string __ret;
 270     // Need some kind of separator character. This one was pretty much
 271     // arbitrarily chosen as to not conflict with glibc locales: the
 272     // exact formatting is not set in stone.
 273     const char __separator = '|';
 274
 275     if (_M_impl->_M_check_same_name())
 276       __ret = _M_impl->_M_names[0];
 277     else
 278       {
 279         for (size_t i = 0; i < _S_num_categories; ++i)
 280           __ret += __separator + _M_impl->_M_names[i];
 281       }
 282     return __ret;
 283   }
 284
 285   locale const&
 286   locale::classic()
 287   {
 288     static _STL_mutex_lock __lock __STL_MUTEX_INITIALIZER;
 289     _STL_auto_lock __auto(__lock);
 290
 291     if (!_S_classic)
 292       {
 293         try
 294           {
 295             // 26 Standard facets, 2 references.
 296             // One reference for _M_classic, one for _M_global
 297             _S_classic = new (&locale_impl_c) _Impl("C", 2);
 298             _S_global = _S_classic;
 299             new (&locale_c) locale(_S_classic);
 300           }
 301         catch(...)
 302           {
 303             // Just call destructor, so that locale_impl_c's memory is
 304             // not deallocated via a call to delete.
 305             if (_S_classic)
 306               _S_classic->~_Impl();
 307             _S_classic = _S_global = 0;
 308             __throw_exception_again;
 309           }
 310       }
 311     return locale_c;
 312   }
 313
 314   locale::category
 315   locale::_S_normalize_category(category __cat)
 316   {
 317     int __ret = 0;
 318     if (__cat == none || (__cat & all) && !(__cat & ~all))
 319       __ret = __cat;
 320     else
 321       {
 322         // NB: May be a C-style "LC_ALL" category; convert.
 323         switch (__cat)
 324           {
 325           case LC_COLLATE:
 326             __ret = collate;
 327             break;
 328           case LC_CTYPE:
 329             __ret = ctype;
 330             break;
 331           case LC_MONETARY:
 332             __ret = monetary;
 333             break;
 334           case LC_NUMERIC:
 335             __ret = numeric;
 336             break;
 337           case LC_TIME:
 338             __ret = time;
 339             break;
 340 #ifdef _GLIBCPP_HAVE_LC_MESSAGES
 341           case LC_MESSAGES:
 342             __ret = messages;
 343             break;
 344 #endif
 345           case LC_ALL:
 346             __ret = all;
 347             break;
 348           default:
 349             __throw_runtime_error("bad locale category");
 350           }
 351       }
 352     return __ret;
 353   }
 354
 355   __c_locale
 356   locale::facet::_S_c_locale;
 357
 358   locale::facet::
 359   ~facet() { }
 360
 361   locale::facet::
 362   facet(size_t __refs) throw() : _M_references(__refs)
 363   {
 364     if (!_S_c_locale)
 365       _S_create_c_locale(_S_c_locale, "C");
 366   }
 367
 368   void
 369   locale::facet::
 370   _M_add_reference() throw()
 371   { __atomic_add(&_M_references, 1); }
 372
 373   void
 374   locale::facet::
 375   _M_remove_reference() throw()
 376   {
 377     if (__exchange_and_add(&_M_references, -1) == 0)
 378       {
 379         try
 380           { delete this; }
 381         catch (...)
 382           { }
 383       }
 384   }
 385
 386   locale::id::id() { }
 387
 388   // Definitions for static const data members of ctype_base.
 389   const ctype_base::mask ctype_base::space;
 390   const ctype_base::mask ctype_base::print;
 391   const ctype_base::mask ctype_base::cntrl;
 392   const ctype_base::mask ctype_base::upper;
 393   const ctype_base::mask ctype_base::lower;
 394   const ctype_base::mask ctype_base::alpha;
 395   const ctype_base::mask ctype_base::digit;
 396   const ctype_base::mask ctype_base::punct;
 397   const ctype_base::mask ctype_base::xdigit;
 398   const ctype_base::mask ctype_base::alnum;
 399   const ctype_base::mask ctype_base::graph;
 400
 401   // Platform-specific initialization code for ctype tables.
 402   #include <bits/ctype_noninline.h>
 403
 404   const size_t ctype<char>::table_size;
 405
 406   ctype<char>::~ctype()
 407   {
 408     if (_M_c_locale_ctype)
 409       _S_destroy_c_locale(_M_c_locale_ctype);
 410     if (_M_del)
 411       delete[] this->table();
 412   }
 413
 414   // These are dummy placeholders as these virtual functions are never called.
 415   bool
 416   ctype<char>::do_is(mask, char_type) const
 417   { return false; }
 418
 419   const char*
 420   ctype<char>::do_is(const char_type* __c, const char_type*, mask*) const
 421   { return __c; }
 422
 423   const char*
 424   ctype<char>::do_scan_is(mask, const char_type* __c, const char_type*) const
 425   { return __c; }
 426
 427   const char*
 428   ctype<char>::do_scan_not(mask, const char_type* __c, const char_type*) const
 429   { return __c; }
 430
 431   char
 432   ctype<char>::do_widen(char __c) const
 433   { return __c; }
 434
 435   const char*
 436   ctype<char>::do_widen(const char* __lo, const char* __hi, char* __dest) const
 437   {
 438     memcpy(__dest, __lo, __hi - __lo);
 439     return __hi;
 440   }
 441
 442   char
 443   ctype<char>::do_narrow(char __c, char /*__dfault*/) const
 444   { return __c; }
 445
 446   const char*
 447   ctype<char>::do_narrow(const char* __lo, const char* __hi,
 448                          char /*__dfault*/, char* __dest) const
 449   {
 450     memcpy(__dest, __lo, __hi - __lo);
 451     return __hi;
 452   }
 453
 454 #ifdef _GLIBCPP_USE_WCHAR_T
 455   ctype<wchar_t>::ctype(size_t __refs)
 456   : __ctype_abstract_base<wchar_t>(__refs)
 457   { _M_c_locale_ctype = _S_clone_c_locale(_S_c_locale); }
 458
 459   ctype<wchar_t>::ctype(__c_locale __cloc, size_t __refs)
 460   : __ctype_abstract_base<wchar_t>(__refs)
 461   { _M_c_locale_ctype = _S_clone_c_locale(__cloc); }
 462
 463   ctype<wchar_t>::~ctype()
 464   { _S_destroy_c_locale(_M_c_locale_ctype); }
 465
 466   template<>
 467     ctype_byname<wchar_t>::ctype_byname(const char* __s, size_t __refs)
 468     : ctype<wchar_t>(__refs)
 469     {
 470       _S_destroy_c_locale(_M_c_locale_ctype);
 471       _S_create_c_locale(_M_c_locale_ctype, __s);
 472     }
 473 #endif
 474
 475   // Definitions for static const data members of time_base
 476   template<>
 477     const char*
 478     __timepunct<char>::_S_timezones[14] =
 479     {
 480       "GMT", "HST", "AKST", "PST", "MST", "CST", "EST", "AST", "NST", "CET",
 481       "IST", "EET", "CST", "JST"
 482     };
 483
 484 #ifdef _GLIBCPP_USE_WCHAR_T
 485   template<>
 486     const wchar_t*
 487     __timepunct<wchar_t>::_S_timezones[14] =
 488     {
 489       L"GMT", L"HST", L"AKST", L"PST", L"MST", L"CST", L"EST", L"AST",
 490       L"NST", L"CET", L"IST", L"EET", L"CST", L"JST"
 491     };
 492 #endif
 493
 494   // Definitions for static const data members of money_base
 495   const money_base::pattern
 496   money_base::_S_default_pattern =  { {symbol, sign, none, value} };
 497
 498   template<>
 499     const ctype<char>&
 500     use_facet<ctype<char> >(const locale& __loc)
 501     {
 502       size_t __i = ctype<char>::id._M_index;
 503       const locale::_Impl* __tmp = __loc._M_impl;
 504       return static_cast<const ctype<char>&>(* (*(__tmp->_M_facets))[__i]);
 505     }
 506
 507 #ifdef _GLIBCPP_USE_WCHAR_T
 508   template<>
 509     const ctype<wchar_t>&
 510     use_facet<ctype<wchar_t> >(const locale& __loc)
 511     {
 512       size_t __i = ctype<wchar_t>::id._M_index;
 513       const locale::_Impl* __tmp = __loc._M_impl;
 514       return static_cast<const ctype<wchar_t>&>(* (*(__tmp->_M_facets))[__i]);
 515     }
 516 #endif
 517
 518
 519   const char __num_base::_S_atoms[] = "0123456789eEabcdfABCDF";
 520
 521   const double __num_base::_S_scale_hex = log(10.0)/log(16.0);
 522
 523   const double __num_base::_S_scale_oct = log(10.0)/log(8.0);
 524
 525   bool
 526   __num_base::_S_format_float(const ios_base& __io, char* __fptr, char __mod,
 527                               streamsize __prec)
 528   {
 529     bool __incl_prec = false;
 530     ios_base::fmtflags __flags = __io.flags();
 531     *__fptr++ = '%';
 532     // [22.2.2.2.2] Table 60
 533     if (__flags & ios_base::showpos)
 534       *__fptr++ = '+';
 535     if (__flags & ios_base::showpoint)
 536       *__fptr++ = '#';
 537     // As per [22.2.2.2.2.11]
 538     if (__flags & ios_base::fixed || __prec > 0)
 539       {
 540         *__fptr++ = '.';
 541         *__fptr++ = '*';
 542         __incl_prec = true;
 543       }
 544     if (__mod)
 545       *__fptr++ = __mod;
 546     ios_base::fmtflags __fltfield = __flags & ios_base::floatfield;
 547     // [22.2.2.2.2] Table 58
 548     if (__fltfield == ios_base::fixed)
 549       *__fptr++ = 'f';
 550     else if (__fltfield == ios_base::scientific)
 551       *__fptr++ = (__flags & ios_base::uppercase) ? 'E' : 'e';
 552     else
 553       *__fptr++ = (__flags & ios_base::uppercase) ? 'G' : 'g';
 554     *__fptr = '\0';
 555     return __incl_prec;
 556   }
 557
 558   void
 559   __num_base::_S_format_int(const ios_base& __io, char* __fptr, char __mod,
 560                             char __modl)
 561   {
 562     ios_base::fmtflags __flags = __io.flags();
 563     *__fptr++ = '%';
 564     // [22.2.2.2.2] Table 60
 565     if (__flags & ios_base::showpos)
 566       *__fptr++ = '+';
 567     if (__flags & ios_base::showbase)
 568       *__fptr++ = '#';
 569     *__fptr++ = 'l';
 570
 571     // For long long types.
 572     if (__modl)
 573       *__fptr++ = __modl;
 574
 575     ios_base::fmtflags __bsefield = __flags & ios_base::basefield;
 576     if (__bsefield == ios_base::hex)
 577       *__fptr++ = (__flags & ios_base::uppercase) ? 'X' : 'x';
 578     else if (__bsefield == ios_base::oct)
 579       *__fptr++ = 'o';
 580     else
 581       *__fptr++ = __mod;
 582     *__fptr = '\0';
 583   }
 584
 585   template<>
 586     moneypunct_byname<char, false>::moneypunct_byname(const char*,
 587                                                       size_t __refs)
 588     : moneypunct<char, false>(__refs) { }
 589
 590   template<>
 591     moneypunct_byname<char, true>::moneypunct_byname(const char*,
 592                                                      size_t __refs)
 593     : moneypunct<char, true>(__refs) { }
 594 } // namespace std