шаблона. По умолчанию в этом аргументе передается класс char traits, параметризованный по аргументу, определяющему тип символов строки или потока данршсс:

namespace std {

tempiate<class charT.

class traits - char traits<charT>,

class Allocator = allocator<charT> > class basic string;

namespace std {

template<class charT.

class traits class basic istream: template<class charT.

class traits class basic ostream;

= char traits<charT> >

= char traits<charT> >

Трактовки символов указываются в классе char traits<>, который определяется в заголовочном файле <string> и параметризуется по конкретному типу символов:

namespace std {

template <class charT> struct char traits {

Классы трактовок определяют все основные свойства типа символов и операции, необходимые для реализации строк и потоков данных как статических компонентов. Члены класса char traits перечислены в табл. 14.1.

Таблица 14.1. Члены класса трактовок символов

Выражение

Описание

char type Тип символов (то есть аргумент шаблона char traits)

intjype Тип, размеры которого достаточны для представления дополнительного,

не используемого для других целей признака конца файла

pos type Тип, используемый для представления позиций в потоке

off type Тип, используемый для представления смещений между позициями в потоке

state type Тип, используемый для представления текущего состояния в

многобайтовых потоках

assign(cl, с2) Присваивает d символ с2

eq(cl, с2) Проверяет равенство символов с1 и с2

Выражение

Описание

lt(cl, с2) length(5)

compare(sl, s2, n) copy(sl, s2, n) move(sl, s2, n)

asslgn(s, n, c) find(s, n, c)

eof()

to Int type(c) to char type(i)

not eof(i) eci lnt type(il, i2)

Проверяет условие «символ cl меньше символа с2» Возвращает длину строки s Сравнивает до п символов строк si и s2 Копирует п символов строки s2 в si

Копирует п символов строки s2 в si, причем строки si и s2 могут перекрываться

Присваивает символ с п символам строки s

Возвращает указатель на первый символ строки s, равный с; если среди первых п символов такой символ отсутствует, возвращает О

Возвращает признак конца файла

Преобразует символ с в соответствующее представление типа InLtype

Преобразует представление i типа int type в символ (результат преобразования EOF не определен)

Возвращает значение i, если i не является представлением EOF; в этом случае возвращается значение, определяемое реализацией (и отличное от EOF)

Проверяет равенство двух символов il и 12, представленных в виде типа lnt; type (иначе говоря, аргументы могут быть равны EOF)

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

Все значения количества символов в табл. 14.1 задаются точно, то есть без учета символов завершения строк.

Последняя группа функций предназначена для работы с признаком конца файла (EOF). Этот служебный символ расширяет кодировку и требует специальной обработки. Для некоторых представлений типа символов может оказаться недостаточно, поскольку значение символа EOF должно отличаться от значений всех «обычных» символов кодировки. По правилам языка С функции чтения символов возвращали тип int вместо char. В С++ эта методика была усовершенствована. В трактовках символов char typ€ определяется как тип для представления всех символов, а int type - как тип для представления всех символов и EOF. Функции to char type(), to int type(), not eof() и eq int type() определяют соответствующие преобразования и сравнения. Для некоторых классов трактовок типы char type и int type могут быть идентичными. Например, если не все значения типа cliar type необходимы для представления символов, одно из свободных значений может использоваться для представления символа конца файла.

Типы posjype и off type используются для определения позиций и смещений (подробности см. на с. 609).

В стандартную библиотеку С++ включены специализации char tratts<> для типов char и wchar t:

namespace std {

templateo struct char traits<char>; templateo struct char tra1ts<wchar t>:

Специализация для char обычно реализуется при помощи глобальных строковых функций языка С, определяемых в файлах <cstring> и <string.h>. Примерная реализация может выглядеть так:

namespace std {

templateo struct char tra1ts<char> [ Определения типов: typedef char charetype; typedef int inttype: typedef streampos pos type; typedef streamoff off type; typedef mbstate t state type:

Функции:

static void assign(char& cl. const char& c2) [ cl = c2;

static void eq(const char& cl. const char& c2) [ return cl == c2;

static bool lt(const charA cl, const char& c2) { return cl < c2;

static slze t lengthCconst char* s) { return strlen(s):

static int compare(const char* si. const char* s2. size t n) { return memcmp(sl.s2,n);

static char* copyCchar* si. const char* s2. size t n) { return (char*)memcpy(sl.s2.n);

static char* moveCchar* si. const char* s2. sizet n) { return (char*)memmoveCsl,s2.n);

static char* assign(char* si. size t n. char c) { return (char*)memsetCs.c.n);

static const char* find(const char* s. s1ze t n.

const char& c) [ return (const char*)memchr(s.c.n-}: