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_classes.h 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// 31// ISO C++ 14882: 22.1 Locales 32// 33 34#ifndef _LOCALE_CLASSES_H 35#define _LOCALE_CLASSES_H 1 36 37#pragma GCC system_header 38 39#include <bits/localefwd.h> 40#include <string> 41#include <ext/atomicity.h> 42 43namespace std _GLIBCXX_VISIBILITY(default) 44{ 45_GLIBCXX_BEGIN_NAMESPACE_VERSION 46 47 // 22.1.1 Class locale 48 /** 49 * @brief Container class for localization functionality. 50 * @ingroup locales 51 * 52 * The locale class is first a class wrapper for C library locales. It is 53 * also an extensible container for user-defined localization. A locale is 54 * a collection of facets that implement various localization features such 55 * as money, time, and number printing. 56 * 57 * Constructing C++ locales does not change the C library locale. 58 * 59 * This library supports efficient construction and copying of locales 60 * through a reference counting implementation of the locale class. 61 */ 62 class locale 63 { 64 public: 65 // Types: 66 /// Definition of locale::category. 67 typedef int category; 68 69 // Forward decls and friends: 70 class facet; 71 class id; 72 class _Impl; 73 74 friend class facet; 75 friend class _Impl; 76 77 template<typename _Facet> 78 friend bool 79 has_facet(const locale&) throw(); 80 81 template<typename _Facet> 82 friend const _Facet& 83 use_facet(const locale&); 84 85 template<typename _Cache> 86 friend struct __use_cache; 87 88 //@{ 89 /** 90 * @brief Category values. 91 * 92 * The standard category values are none, ctype, numeric, collate, time, 93 * monetary, and messages. They form a bitmask that supports union and 94 * intersection. The category all is the union of these values. 95 * 96 * NB: Order must match _S_facet_categories definition in locale.cc 97 */ 98 static const category none = 0; 99 static const category ctype = 1L << 0; 100 static const category numeric = 1L << 1; 101 static const category collate = 1L << 2; 102 static const category time = 1L << 3; 103 static const category monetary = 1L << 4; 104 static const category messages = 1L << 5; 105 static const category all = (ctype | numeric | collate | 106 time | monetary | messages); 107 //@} 108 109 // Construct/copy/destroy: 110 111 /** 112 * @brief Default constructor. 113 * 114 * Constructs a copy of the global locale. If no locale has been 115 * explicitly set, this is the C locale. 116 */ 117 locale() throw(); 118 119 /** 120 * @brief Copy constructor. 121 * 122 * Constructs a copy of @a other. 123 * 124 * @param __other The locale to copy. 125 */ 126 locale(const locale& __other) throw(); 127 128 /** 129 * @brief Named locale constructor. 130 * 131 * Constructs a copy of the named C library locale. 132 * 133 * @param __s Name of the locale to construct. 134 * @throw std::runtime_error if __s is null or an undefined locale. 135 */ 136 explicit 137 locale(const char* __s); 138 139 /** 140 * @brief Construct locale with facets from another locale. 141 * 142 * Constructs a copy of the locale @a base. The facets specified by @a 143 * cat are replaced with those from the locale named by @a s. If base is 144 * named, this locale instance will also be named. 145 * 146 * @param __base The locale to copy. 147 * @param __s Name of the locale to use facets from. 148 * @param __cat Set of categories defining the facets to use from __s. 149 * @throw std::runtime_error if __s is null or an undefined locale. 150 */ 151 locale(const locale& __base, const char* __s, category __cat); 152 153 /** 154 * @brief Construct locale with facets from another locale. 155 * 156 * Constructs a copy of the locale @a base. The facets specified by @a 157 * cat are replaced with those from the locale @a add. If @a base and @a 158 * add are named, this locale instance will also be named. 159 * 160 * @param __base The locale to copy. 161 * @param __add The locale to use facets from. 162 * @param __cat Set of categories defining the facets to use from add. 163 */ 164 locale(const locale& __base, const locale& __add, category __cat); 165 166 /** 167 * @brief Construct locale with another facet. 168 * 169 * Constructs a copy of the locale @a __other. The facet @a __f 170 * is added to @a __other, replacing an existing facet of type 171 * Facet if there is one. If @a __f is null, this locale is a 172 * copy of @a __other. 173 * 174 * @param __other The locale to copy. 175 * @param __f The facet to add in. 176 */ 177 template<typename _Facet> 178 locale(const locale& __other, _Facet* __f); 179 180 /// Locale destructor. 181 ~locale() throw(); 182 183 /** 184 * @brief Assignment operator. 185 * 186 * Set this locale to be a copy of @a other. 187 * 188 * @param __other The locale to copy. 189 * @return A reference to this locale. 190 */ 191 const locale& 192 operator=(const locale& __other) throw(); 193 194 /** 195 * @brief Construct locale with another facet. 196 * 197 * Constructs and returns a new copy of this locale. Adds or replaces an 198 * existing facet of type Facet from the locale @a other into the new 199 * locale. 200 * 201 * @tparam _Facet The facet type to copy from other 202 * @param __other The locale to copy from. 203 * @return Newly constructed locale. 204 * @throw std::runtime_error if __other has no facet of type _Facet. 205 */ 206 template<typename _Facet> 207 locale 208 combine(const locale& __other) const; 209 210 // Locale operations: 211 /** 212 * @brief Return locale name. 213 * @return Locale name or "*" if unnamed. 214 */ 215 string 216 name() const; 217 218 /** 219 * @brief Locale equality. 220 * 221 * @param __other The locale to compare against. 222 * @return True if other and this refer to the same locale instance, are 223 * copies, or have the same name. False otherwise. 224 */ 225 bool 226 operator==(const locale& __other) const throw(); 227 228 /** 229 * @brief Locale inequality. 230 * 231 * @param __other The locale to compare against. 232 * @return ! (*this == __other) 233 */ 234 bool 235 operator!=(const locale& __other) const throw() 236 { return !(this->operator==(__other)); } 237 238 /** 239 * @brief Compare two strings according to collate. 240 * 241 * Template operator to compare two strings using the compare function of 242 * the collate facet in this locale. One use is to provide the locale to 243 * the sort function. For example, a vector v of strings could be sorted 244 * according to locale loc by doing: 245 * @code 246 * std::sort(v.begin(), v.end(), loc); 247 * @endcode 248 * 249 * @param __s1 First string to compare. 250 * @param __s2 Second string to compare. 251 * @return True if collate<_Char> facet compares __s1 < __s2, else false. 252 */ 253 template<typename _Char, typename _Traits, typename _Alloc> 254 bool 255 operator()(const basic_string<_Char, _Traits, _Alloc>& __s1, 256 const basic_string<_Char, _Traits, _Alloc>& __s2) const; 257 258 // Global locale objects: 259 /** 260 * @brief Set global locale 261 * 262 * This function sets the global locale to the argument and returns a 263 * copy of the previous global locale. If the argument has a name, it 264 * will also call std::setlocale(LC_ALL, loc.name()). 265 * 266 * @param __loc The new locale to make global. 267 * @return Copy of the old global locale. 268 */ 269 static locale 270 global(const locale& __loc); 271 272 /** 273 * @brief Return reference to the C locale. 274 */ 275 static const locale& 276 classic(); 277 278 private: 279 // The (shared) implementation 280 _Impl* _M_impl; 281 282 // The "C" reference locale 283 static _Impl* _S_classic; 284 285 // Current global locale 286 static _Impl* _S_global; 287 288 // Names of underlying locale categories. 289 // NB: locale::global() has to know how to modify all the 290 // underlying categories, not just the ones required by the C++ 291 // standard. 292 static const char* const* const _S_categories; 293 294 // Number of standard categories. For C++, these categories are 295 // collate, ctype, monetary, numeric, time, and messages. These 296 // directly correspond to ISO C99 macros LC_COLLATE, LC_CTYPE, 297 // LC_MONETARY, LC_NUMERIC, and LC_TIME. In addition, POSIX (IEEE 298 // 1003.1-2001) specifies LC_MESSAGES. 299 // In addition to the standard categories, the underlying 300 // operating system is allowed to define extra LC_* 301 // macros. For GNU systems, the following are also valid: 302 // LC_PAPER, LC_NAME, LC_ADDRESS, LC_TELEPHONE, LC_MEASUREMENT, 303 // and LC_IDENTIFICATION. 304 enum { _S_categories_size = 6 + _GLIBCXX_NUM_CATEGORIES }; 305 306#ifdef __GTHREADS 307 static __gthread_once_t _S_once; 308#endif 309 310 explicit 311 locale(_Impl*) throw(); 312 313 static void 314 _S_initialize(); 315 316 static void 317 _S_initialize_once() throw(); 318 319 static category 320 _S_normalize_category(category); 321 322 void 323 _M_coalesce(const locale& __base, const locale& __add, category __cat); 324 }; 325 326 327 // 22.1.1.1.2 Class locale::facet 328 /** 329 * @brief Localization functionality base class. 330 * @ingroup locales 331 * 332 * The facet class is the base class for a localization feature, such as 333 * money, time, and number printing. It provides common support for facets 334 * and reference management. 335 * 336 * Facets may not be copied or assigned. 337 */ 338 class locale::facet 339 { 340 private: 341 friend class locale; 342 friend class locale::_Impl; 343 344 mutable _Atomic_word _M_refcount; 345 346 // Contains data from the underlying "C" library for the classic locale. 347 static __c_locale _S_c_locale; 348 349 // String literal for the name of the classic locale. 350 static const char _S_c_name[2]; 351 352#ifdef __GTHREADS 353 static __gthread_once_t _S_once; 354#endif 355 356 static void 357 _S_initialize_once(); 358 359 protected: 360 /** 361 * @brief Facet constructor. 362 * 363 * This is the constructor provided by the standard. If refs is 0, the 364 * facet is destroyed when the last referencing locale is destroyed. 365 * Otherwise the facet will never be destroyed. 366 * 367 * @param __refs The initial value for reference count. 368 */ 369 explicit 370 facet(size_t __refs = 0) throw() : _M_refcount(__refs ? 1 : 0) 371 { } 372 373 /// Facet destructor. 374 virtual 375 ~facet(); 376 377 static void 378 _S_create_c_locale(__c_locale& __cloc, const char* __s, 379 __c_locale __old = 0); 380 381 static __c_locale 382 _S_clone_c_locale(__c_locale& __cloc) throw(); 383 384 static void 385 _S_destroy_c_locale(__c_locale& __cloc); 386 387 static __c_locale 388 _S_lc_ctype_c_locale(__c_locale __cloc, const char* __s); 389 390 // Returns data from the underlying "C" library data for the 391 // classic locale. 392 static __c_locale 393 _S_get_c_locale(); 394 395 _GLIBCXX_CONST static const char* 396 _S_get_c_name() throw(); 397 398 private: 399 void 400 _M_add_reference() const throw() 401 { __gnu_cxx::__atomic_add_dispatch(&_M_refcount, 1); } 402 403 void 404 _M_remove_reference() const throw() 405 { 406 // Be race-detector-friendly. For more info see bits/c++config. 407 _GLIBCXX_SYNCHRONIZATION_HAPPENS_BEFORE(&_M_refcount); 408 if (__gnu_cxx::__exchange_and_add_dispatch(&_M_refcount, -1) == 1) 409 { 410 _GLIBCXX_SYNCHRONIZATION_HAPPENS_AFTER(&_M_refcount); 411 __try 412 { delete this; } 413 __catch(...) 414 { } 415 } 416 } 417 418 facet(const facet&); // Not defined. 419 420 facet& 421 operator=(const facet&); // Not defined. 422 }; 423 424 425 // 22.1.1.1.3 Class locale::id 426 /** 427 * @brief Facet ID class. 428 * @ingroup locales 429 * 430 * The ID class provides facets with an index used to identify them. 431 * Every facet class must define a public static member locale::id, or be 432 * derived from a facet that provides this member, otherwise the facet 433 * cannot be used in a locale. The locale::id ensures that each class 434 * type gets a unique identifier. 435 */ 436 class locale::id 437 { 438 private: 439 friend class locale; 440 friend class locale::_Impl; 441 442 template<typename _Facet> 443 friend const _Facet& 444 use_facet(const locale&); 445 446 template<typename _Facet> 447 friend bool 448 has_facet(const locale&) throw(); 449 450 // NB: There is no accessor for _M_index because it may be used 451 // before the constructor is run; the effect of calling a member 452 // function (even an inline) would be undefined. 453 mutable size_t _M_index; 454 455 // Last id number assigned. 456 static _Atomic_word _S_refcount; 457 458 void 459 operator=(const id&); // Not defined. 460 461 id(const id&); // Not defined. 462 463 public: 464 // NB: This class is always a static data member, and thus can be 465 // counted on to be zero-initialized. 466 /// Constructor. 467 id() { } 468 469 size_t 470 _M_id() const throw(); 471 }; 472 473 474 // Implementation object for locale. 475 class locale::_Impl 476 { 477 public: 478 // Friends. 479 friend class locale; 480 friend class locale::facet; 481 482 template<typename _Facet> 483 friend bool 484 has_facet(const locale&) throw(); 485 486 template<typename _Facet> 487 friend const _Facet& 488 use_facet(const locale&); 489 490 template<typename _Cache> 491 friend struct __use_cache; 492 493 private: 494 // Data Members. 495 _Atomic_word _M_refcount; 496 const facet** _M_facets; 497 size_t _M_facets_size; 498 const facet** _M_caches; 499 char** _M_names; 500 static const locale::id* const _S_id_ctype[]; 501 static const locale::id* const _S_id_numeric[]; 502 static const locale::id* const _S_id_collate[]; 503 static const locale::id* const _S_id_time[]; 504 static const locale::id* const _S_id_monetary[]; 505 static const locale::id* const _S_id_messages[]; 506 static const locale::id* const* const _S_facet_categories[]; 507 508 void 509 _M_add_reference() throw() 510 { __gnu_cxx::__atomic_add_dispatch(&_M_refcount, 1); } 511 512 void 513 _M_remove_reference() throw() 514 { 515 // Be race-detector-friendly. For more info see bits/c++config. 516 _GLIBCXX_SYNCHRONIZATION_HAPPENS_BEFORE(&_M_refcount); 517 if (__gnu_cxx::__exchange_and_add_dispatch(&_M_refcount, -1) == 1) 518 { 519 _GLIBCXX_SYNCHRONIZATION_HAPPENS_AFTER(&_M_refcount); 520 __try 521 { delete this; } 522 __catch(...) 523 { } 524 } 525 } 526 527 _Impl(const _Impl&, size_t); 528 _Impl(const char*, size_t); 529 _Impl(size_t) throw(); 530 531 ~_Impl() throw(); 532 533 _Impl(const _Impl&); // Not defined. 534 535 void 536 operator=(const _Impl&); // Not defined. 537 538 bool 539 _M_check_same_name() 540 { 541 bool __ret = true; 542 if (_M_names[1]) 543 // We must actually compare all the _M_names: can be all equal! 544 for (size_t __i = 0; __ret && __i < _S_categories_size - 1; ++__i) 545 __ret = __builtin_strcmp(_M_names[__i], _M_names[__i + 1]) == 0; 546 return __ret; 547 } 548 549 void 550 _M_replace_categories(const _Impl*, category); 551 552 void 553 _M_replace_category(const _Impl*, const locale::id* const*); 554 555 void 556 _M_replace_facet(const _Impl*, const locale::id*); 557 558 void 559 _M_install_facet(const locale::id*, const facet*); 560 561 template<typename _Facet> 562 void 563 _M_init_facet(_Facet* __facet) 564 { _M_install_facet(&_Facet::id, __facet); } 565 566 void 567 _M_install_cache(const facet*, size_t); 568 }; 569 570 571 /** 572 * @brief Facet for localized string comparison. 573 * 574 * This facet encapsulates the code to compare strings in a localized 575 * manner. 576 * 577 * The collate template uses protected virtual functions to provide 578 * the actual results. The public accessors forward the call to 579 * the virtual functions. These virtual functions are hooks for 580 * developers to implement the behavior they require from the 581 * collate facet. 582 */ 583 template<typename _CharT> 584 class collate : public locale::facet 585 { 586 public: 587 // Types: 588 //@{ 589 /// Public typedefs 590 typedef _CharT char_type; 591 typedef basic_string<_CharT> string_type; 592 //@} 593 594 protected: 595 // Underlying "C" library locale information saved from 596 // initialization, needed by collate_byname as well. 597 __c_locale _M_c_locale_collate; 598 599 public: 600 /// Numpunct facet id. 601 static locale::id id; 602 603 /** 604 * @brief Constructor performs initialization. 605 * 606 * This is the constructor provided by the standard. 607 * 608 * @param __refs Passed to the base facet class. 609 */ 610 explicit 611 collate(size_t __refs = 0) 612 : facet(__refs), _M_c_locale_collate(_S_get_c_locale()) 613 { } 614 615 /** 616 * @brief Internal constructor. Not for general use. 617 * 618 * This is a constructor for use by the library itself to set up new 619 * locales. 620 * 621 * @param __cloc The C locale. 622 * @param __refs Passed to the base facet class. 623 */ 624 explicit 625 collate(__c_locale __cloc, size_t __refs = 0) 626 : facet(__refs), _M_c_locale_collate(_S_clone_c_locale(__cloc)) 627 { } 628 629 /** 630 * @brief Compare two strings. 631 * 632 * This function compares two strings and returns the result by calling 633 * collate::do_compare(). 634 * 635 * @param __lo1 Start of string 1. 636 * @param __hi1 End of string 1. 637 * @param __lo2 Start of string 2. 638 * @param __hi2 End of string 2. 639 * @return 1 if string1 > string2, -1 if string1 < string2, else 0. 640 */ 641 int 642 compare(const _CharT* __lo1, const _CharT* __hi1, 643 const _CharT* __lo2, const _CharT* __hi2) const 644 { return this->do_compare(__lo1, __hi1, __lo2, __hi2); } 645 646 /** 647 * @brief Transform string to comparable form. 648 * 649 * This function is a wrapper for strxfrm functionality. It takes the 650 * input string and returns a modified string that can be directly 651 * compared to other transformed strings. In the C locale, this 652 * function just returns a copy of the input string. In some other 653 * locales, it may replace two chars with one, change a char for 654 * another, etc. It does so by returning collate::do_transform(). 655 * 656 * @param __lo Start of string. 657 * @param __hi End of string. 658 * @return Transformed string_type. 659 */ 660 string_type 661 transform(const _CharT* __lo, const _CharT* __hi) const 662 { return this->do_transform(__lo, __hi); } 663 664 /** 665 * @brief Return hash of a string. 666 * 667 * This function computes and returns a hash on the input string. It 668 * does so by returning collate::do_hash(). 669 * 670 * @param __lo Start of string. 671 * @param __hi End of string. 672 * @return Hash value. 673 */ 674 long 675 hash(const _CharT* __lo, const _CharT* __hi) const 676 { return this->do_hash(__lo, __hi); } 677 678 // Used to abstract out _CharT bits in virtual member functions, below. 679 int 680 _M_compare(const _CharT*, const _CharT*) const throw(); 681 682 size_t 683 _M_transform(_CharT*, const _CharT*, size_t) const throw(); 684 685 protected: 686 /// Destructor. 687 virtual 688 ~collate() 689 { _S_destroy_c_locale(_M_c_locale_collate); } 690 691 /** 692 * @brief Compare two strings. 693 * 694 * This function is a hook for derived classes to change the value 695 * returned. @see compare(). 696 * 697 * @param __lo1 Start of string 1. 698 * @param __hi1 End of string 1. 699 * @param __lo2 Start of string 2. 700 * @param __hi2 End of string 2. 701 * @return 1 if string1 > string2, -1 if string1 < string2, else 0. 702 */ 703 virtual int 704 do_compare(const _CharT* __lo1, const _CharT* __hi1, 705 const _CharT* __lo2, const _CharT* __hi2) const; 706 707 /** 708 * @brief Transform string to comparable form. 709 * 710 * This function is a hook for derived classes to change the value 711 * returned. 712 * 713 * @param __lo Start. 714 * @param __hi End. 715 * @return transformed string. 716 */ 717 virtual string_type 718 do_transform(const _CharT* __lo, const _CharT* __hi) const; 719 720 /** 721 * @brief Return hash of a string. 722 * 723 * This function computes and returns a hash on the input string. This 724 * function is a hook for derived classes to change the value returned. 725 * 726 * @param __lo Start of string. 727 * @param __hi End of string. 728 * @return Hash value. 729 */ 730 virtual long 731 do_hash(const _CharT* __lo, const _CharT* __hi) const; 732 }; 733 734 template<typename _CharT> 735 locale::id collate<_CharT>::id; 736 737 // Specializations. 738 template<> 739 int 740 collate<char>::_M_compare(const char*, const char*) const throw(); 741 742 template<> 743 size_t 744 collate<char>::_M_transform(char*, const char*, size_t) const throw(); 745 746#ifdef _GLIBCXX_USE_WCHAR_T 747 template<> 748 int 749 collate<wchar_t>::_M_compare(const wchar_t*, const wchar_t*) const throw(); 750 751 template<> 752 size_t 753 collate<wchar_t>::_M_transform(wchar_t*, const wchar_t*, size_t) const throw(); 754#endif 755 756 /// class collate_byname [22.2.4.2]. 757 template<typename _CharT> 758 class collate_byname : public collate<_CharT> 759 { 760 public: 761 //@{ 762 /// Public typedefs 763 typedef _CharT char_type; 764 typedef basic_string<_CharT> string_type; 765 //@} 766 767 explicit 768 collate_byname(const char* __s, size_t __refs = 0) 769 : collate<_CharT>(__refs) 770 { 771 if (__builtin_strcmp(__s, "C") != 0 772 && __builtin_strcmp(__s, "POSIX") != 0) 773 { 774 this->_S_destroy_c_locale(this->_M_c_locale_collate); 775 this->_S_create_c_locale(this->_M_c_locale_collate, __s); 776 } 777 } 778 779 protected: 780 virtual 781 ~collate_byname() { } 782 }; 783 784_GLIBCXX_END_NAMESPACE_VERSION 785} // namespace 786 787# include <bits/locale_classes.tcc> 788 789#endif 790