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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Стандартные фацеты соответствуют не только этим требованиям, но и некоторым специальным рекомендациям - не обязательным, но весьма полезным.

О Все функции класса объявляются константными. Это полезно, поскольку функция use facet() возвращает ссылку на константный фацет. Функции, не объявленные константными, вызываться не могут.

О Все открытые функции объявляются невиртуальными и передают запросы защищенным виртуальным функциям. Имя защищенной функции совпадает с именем открытой функции, с добавлением префикса do . Например, функция numpunct::truename() вызывает функцию numpunct::do truename(). Подобная схема выбора имен помогает избежать замещения функций при переопределении только одной из нескольких виртуальных функций с одинаковыми именами. Например, класс num put содержит несколько функций с именем put. Кроме того, программист базового класса может включить в невиртуальные функции дополнительный код, который будет выполняться даже в случае переопределения виртуальных функций.

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

Для большинства стандартных фацетов определяется версия с суффиксом byname. Она является производной от стандартного фацета и создает специализацию для соответствующего имени локального контекста. Так, класс numpunct byname создает фацет numpunct для локального контекста с заданным именем. Например, команда создания немецкого фацета numpunct может выглядеть так:

std::numpunct byname("de DE")

Классы byname создаются в процессе внутренней работы конструкторов локального контекста, получающих имя в виде аргумента. Для каждого стандартного фацета, поддерживающего имя, конструирование экземпляра этого фацета производится соответствующим классом byname.

Числовое форматирование

средства числового форматирования преобразуют числа из внутреннего представления в соответствующее текстовое представление. Операторы потоков данных порзают работу по непосредствешому преобразованию фацетам категории locale::numeric. Эта категория состоит из трех фацетов:

О numpunct - правила оформления, используемые при форматировании и лексическом разборе чисел;

О num put - форматирование чисел при выводе;

О num get - лексический разбор чисел при вводе.

В двух словах, фацет num put выполняет операции числового форматирования, описанные для потоков данных на с. 589, а num.get - лексический разбор соответствующих строк. Фацет numpunct предоставляет дополнительные возможности, недоступные непосредственно через интерфейс потоков данных.