контекстам возвращали тип, соответствующий индексу; именно это и происходит при индексировании по типу фацета. Другое достоинство этого механизма состоит в том, что интерфейс безопасен по отношению к типам.

Объекты локальных контекстов неизменны. Это означает, что фацеты, хранящиеся в локальных контекстах, невозможно модифицировать (кроме присваивания локальных контекстов). Модификации локальных контекстов создаются посредством объединения существующих контекстов и фацетов с формированием нового контекста. В табл. 14.4 перечислены конструкторы локальных контекстов.

Таблица 14.4. Консгрукторы локальных контекстов Выражение Описание

1оса1е() Создает копию текущего локального контекста,

назначенного глобально

locale(name) Создает объект локального контекста для заданного имени

locale(loc) Создает копию локального контекста loc

1оса1е(1ос, 1ос2, cat) Создает копию локального контекста loci, в которой

все фацеты из категории cat заменяются фацетами локального контекста 1ос2

1оса1е(1ос, name, cat) Эквивалент 1оса1е(1ос, locaie(name), cat)

locaie(loc,fp) Создает копию локального контекста ioc и устанавливает

фацет, на который ссылается указатель fp

loci ~ 1ос2 Присваивает локальный контекст 1ос2 объекту loci

locl.tempiate combine<F>(loc2) Создает копию локального контекста loci, в которой

фацет типа F берется из 1ос2

Почти все конструкторы создают копию другого объекта локального контекста. Простое копирование объекта считается относительно дешевой операцией. Фактически оно сводится к заданию указателя и увеличению счетчика ссылок. Создание модифицированного локального контекста обходится дороже, поскольку при этом приходится изменять счетчики ссылок для всех фацетов, хранящихся в локальном контексте. Хотя стандарт не дает гарантий относительно эффективности этой операции, весьма вероятно, что во всех реализациях копирование локальных контекстов будет производиться достаточно эффективно.

Два конструктора из табл. 14.4 получают имена локальных контекстов. Передаваемые имена не стандартизированы (кроме имени С). Однако стандарт требует, чтобы в документации, прилагаемой к стандартной библиотеке С++, были перечислены допустимые имена. Предполагается, что большинство реализаций поддерживает имена, представленные на с. 664.

Функцию combine() стоит пояснить подробнее, поскольку в ней используется возможность, относительно недавно реализованная в компиляторах. Она представляет собой шаблонную функцию с явно заданным аргументом. Это означает, что тип аргумента шаблона не определяется по значению аргумента, поскольку такого значения попросту нет. Вместо дтого аргумеьгг шаблона (в данном случае ~ тип F) задается явно.

Строение объекта локального контекста Ь75

В двух функциях для обращения к фацетам объекта локального контекста используется одинаковая методика (табл. 14.5). Однако эти две функции являются глобальными шаблонными функциями, поэтому уродливый синтаксис с ключевым словом template становится излишним.

Таблица 14.5. Работа с фацетами Выражение Описание

has facet<F>(ioc) Возвращает true, если локальный контекст ioc содержит фацет типа F use facet<F>(loc) Возвращает ссылку на фацет типа F, хранящийся в локальном контексте ioc

Функция use facet() возвращает ссылку на фацет. Тип ссылки соответствует типу, переданному явно в аргументе шаблона. Если локальный контекст, переданный в аргументе, не содержит соответствующего фацета, функция генерирует исключение bacl cast. Чтобы узнать, присутствует ли в заданном локальном контексте некоторый фацет, воспользуйтесь функцией has facet().

Остальные операции локальных контекстов перечислены в табл. 14.6. Имя локального контекста поддерживается в том случае, если контекст был сконструирован по заданному имени или одному (или нескольким) именованным локальным контекстам. Однако и в этом случае стандарт не дает гарантий относительно построения имени, полученного при объединении двух локальных контекстов. Два локальных контекста считаются идентичными, если один из них является копией другого или если оба локальных контекста имеют одинаковые имена. Было бы естественно считать, что два объекта идентичны, если один из них является копией другого. Но что делать с именами? Предполагается, что имя локального контекста отражает имена, используемые для конструирования именованных фацетов. Например, имя локального контекста может быть сконструировано объединением имен фацетов в определенном порядке, разделенных заданными символами. Вероятно, такая схема позволит определить идентичность двух объектов локального контекста, если они были сконструированы посредством объединения одних и тех же именованных фацетов. Иначе говоря, стандарт требует, чтобы два локальных контекста, содержащих одинаковые именованные фацеты, считались идентичными.

Таблица 14.6. Операции с локальными контекстами Выражение Описание

loc.nameO Возвращает имя локального контекста ioc в виде string

loci == ioc2 Возвращает true, если локальные контексты loci и 1ос2 идентичны

loci 1ос2 Возвращает true, если локальные контексты loci и 1ос2 не идентичны

loc(strl,str2) Возвращает логический признак сравнения строк stri и str2 в порядковом

отношении (то есть проверяет, что stri меньше str2)

iocale::classic() Возвращает 1оса1е( С)

locale::global(loc) Назначает локальный контекст loc как глобальный и возвращает предыдущий глобально назйаченный локальный контекст

Оператор () позволяет использовать объект локального контекста для сравнения строк. При этом строки, переданные в аргументах, сравниваются в порядковом отношении, и задействуется фацет collate. Иначе говоря, фацет collate проверяет, будет ли одна строка меньше другой по критериям объекта локального контекста. Такое поведение типично для объектов функций STL (см. с. 295), поэтому объект локального контекста может использоваться в качестве критерия сортировки для алгоритмов STL, работающих со строками. Например, сортировка вектора по правилам немецкого локального контекста выполняется следующим образом:

std::vector<std::string> v;

Сортировка строк в немецком локальном контексте std:;sort (v.beginO. v.endO. Интервал

localeCde DE )); Критерий сортировки

Строение фацетов

Возможности локального контекста определяются содержащимися в нем фацетами. Все локальные контексты заведомо содержат минимальный набор стандартных фацетов. В описаниях отдельных фацетов, приведенных далее, указано, какие специализации гарантированно присутствуют в контексте. Помимо перечисленных реализация стандартной библиотеки С++ может включить в локальный контекст дополнительные фацеты. Важно понимать, что пользователь также может добавить собственные фацеты или установить их вместо стандартных фацетов.

На с. 670 рассматривается процедура установки фацета в локальном контексте. Например, класс germanBoolNannes был объявлен производным от класса numpunct byname<char> одного из стандартных фацетов и установлен в локальном контексте при помощи конструктора, в аргументах которого передаются локальный контекст и фацет. Но что нужно для того, чтобы создать собственный фацет? В качестве фацета может использоваться любой класс F, удовлетворяющий двум требованиям.

О Класс F является открытым производным от класса locale: ifacet. Базовый класс в основном определяет механизмы подсчета ссылок, используемые во внутренней работе объектов локального контекста. Кроме того, он объявляет закрытыми копирующий конструктор и оператор присваивания, что предотвращает копирование или присваивание фацетов.

О Класс F содержит открытую статическую переменную Id типа locale::id. Эта переменная используется для поиска фацета в объекте контекста по его типу. Применение типа в качестве индекса прежде всего направлено на обеспечение типовой безопасности интерфейса. Во внутреннем представлении для работы с фацетами используется обычный контейнер с целочисленными индексами.