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