Классы

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

5.1 Знакомство и краткий обзор

Класс - это определяемый пользователем тип. Этот раздел знакомит с основными средствами определения класса, создания объекта класса, работы с такими объектами и, наконец, уничтожения таких объектов после использования.

5.2.1 Функции Члены

struct date { int month, day, year; };
// дата:     месяц, день, год  }
date today;
void set_date(date*, int, int, int);
void next_date(date*);
void print_date(date*);
// ...

struct date {
int month, day, year;
void set(int, int, int);
void get(int*, int*, int*);
void next();
void print();
};

date today;         // сегодня
date my_burthday;   // мой день рождения
void f()
{
my_burthday.set(30,12,1950);
today.set(18,1,1985);
my_burthday.print();
today.next();
}

void date::next()
{
if ( ++day > 28 ) {
// делает сложную часть работы
}
}

В функции члене имена членов могут использоваться без явной ссылки на объект. В этом случае имя относится к члену того объекта, для которого функция была вызвана.

5.2.2 Классы

class date {
int month, day, year;
public:
void set(int, int, int);
void get(int*, int*, int*);
void next();
void print();
};

void date::ptinr()        // печатает в записи, принятой в США
{
cout 
Однако функции не члены отгорожены от использования закрытых членов
класса date. Например:
void backdate()
{
today.day--;        // ошибка
}

  В том,  что доступ  к структуре  данных ограничен  явно описанным
списком функций,  есть несколько преимуществ. Любая ошибка, которая
приводит  к   тому,  что   дата  принимает   недопустимое  значение
(например, Декабрь  36, 1985)  должна быть  вызвана  кодом  функции
члена, поэтому  первая стадия отладки, локализация, выполняется еще
до того,  как программа  будет запущена.  Это частный случай общего
утверждения, что  любое изменение  в поведении  типа date  может  и
должно вызываться  изменениями в  его членах. Другое преимущество -
это то,  что потенциальному  пользователю такого  типа нужно  будет
только  узнать  определение  функций  членов,  чтобы  научиться  им
пользоваться.
  Защита закрытых  данных связана с ограничением использования имен
членов класса.  Это можно обойти с помощью манипуляции адресами, но
это уже, конечно, жульничество.

       5.2.3 Ссылки на Себя 

  В функции  члене на члены объекта, для которого она была вызвана,
можно ссылаться непосредственно. Например:
class x {
int m;
public:
int readm() { return m; }
};
x aa;
x bb;
void f()
{
int a = aa.readm();
int b = bb.readm();
// ...
}

  В первом  вызове члена member() m относится к aa.m, а во втором -
к bb.m.
  Указатель на  объект, для  которого вызвана функция член, является
скрытым  параметром   функции.  На   этот  неявный  параметр  можно
ссылаться явно  как на  this. В  каждой функции  класса x указатель
this неявно описан как
x* this;

и инициализирован  так, что  он указывает  на объект,  для которого
была вызвана  функция член. this не может быть описан явно, так как
это ключевое  слово. Класс  x можно  эквивалентным образом  описать
так:
class x {
int m;
public:
int readm() { return this->m; }
};

При ссылке  на члены  использование this  излишне. Главным  образом
this   используется   при   написании   функций   членов,   которые
манипулируют непосредственно  указателями. Типичный  пример этого -
функция, вставляющая звено в дважды связанный список:
class dlink {
dlink* pre;    // предшествующий
dlink* suc;    // следующий
public:
void append(dlink*);
// ...
};
void dlink::append(dlink* p)
{
p->suc = suc;    // то есть, p->suc = this->suc
p->pre = this;   // явное использование this
suc->pre = p;    // то есть, this->suc->pre = p
suc = p;         // то есть, this->suc = p
}
dlink* list_head;
void f(dlink*a, dlink *b)
{
// ...
list_head->append(a);
list_head->append(b);
}

    Цепочки  такой  общей  природы  являются  основой  для  списковых
классов, которые  описываются в Главе 7. Чтобы присоединить звено к списку необходимо  обновить объекты, на которые указывают указатели
this, pre  и suc  (текущий, предыдущий и последующий). Все они типа
dlink, поэтому  функция член  dlink::append() имеет  к ним  доступ.
Единицей защиты в C++ является class, а не отдельный объект класса.

      5.2.4 Инициализация 

  Использование  для   обеспечения  инициализации   объекта  класса
функций вроде  set_date() (установить  дату) неэлегантно  и чревато
ошибками. Поскольку  нигде не  утверждается, что объект должен быть
инициализирован, то  программист может забыть это сделать, или (что
приводит, как  правило, к  столь  же  разрушительным  последствиям)
сделать это  дважды. Есть  более хороший  подход: дать  возможность
программисту   описать    функцию,   явно    предназначенную    для
инициализации  объектов.   Поскольку  такая   функция  конструирует
значения данного  типа, она  называется конструктором.  Конструктор
распознается по  тому, что  имеет то  же  имя,  что  и  сам  класс.
Например:
class date {
// ...
date(int, int, int);
};

  Когда класс  имеет конструктор,  все  объекты  этого  класса  будут
инициализироваться. Если  для  конструктора  нужны  параметры,  они
должны даваться:
date today = date(23,6,1983);
date xmas(25,12,0);        // сокращенная форма
// (xmas - рождество)
date my_burthday;        // недопустимо, опущена инициализация

    Часто бывает  хорошо обеспечить  несколько способов инициализации
объекта класса.  Это можно  сделать, задав несколько конструкторов.
Например:
class date {
int month, day, year;
public:
// ...
date(int, int, int);    // день месяц год
date(char*);            // дата в строковом представлении
date(int);                // день, месяц и год сегодняшние
date();                    // дата по умолчанию: сегодня
};

  Конструкторы  подчиняются  тем  же  правилам    относительно  типов
параметров, что  и перегруженные функции (#4.6.7). Если конструкторы существенно различаются по типам своих параметров, то компилятор при
каждом использовании может выбрать правильный:
date today(4);
date july4("Июль 4, 1983");
date guy("5 Ноя");
date now;                    // инициализируется по умолчанию

    Заметьте, что  функции члены  могут быть  перегружены без  явного
использования ключевого  слова overload.  Поскольку  полный  список
функций членов  находится в описании класса и как правило короткий,
то нет  никакой серьезной  причины  требовать  использования  слова
overload для  предотвращения случайного    повторного  использования
имени.
  Размножение  конструкторов   в  примере   с  date   типично.  При
разработке класса  всегда есть  соблазн обеспечить "все", поскольку
кажется проще  обеспечить какое-нибудь  средство просто  на случай,
что оно  кому-то понадобится  или потому,  что оно изящно выглядит,
чем решить,  что же  нужно на самом деле. Последнее требует больших
размышлений, но  обычно приводит  к программам,  которые меньше  по
размеру  и   более  понятны.   Один  из  способов  сократить  число
родственных функций - использовать параметры по умолчанию. В случае
date для  каждого параметра  можно задать  значение  по  умолчанию,
интерпретируемое как "по умолчанию принимать: today" (сегодня).
class date {
int month, day, year;
public:
// ...
date(int d =0, int m =0, int y =0);
date(char*);            // дата в строковом представлении
};
date::date(int d, int m, int y)
{
day = d ? d : today.day;
month = m ? m : today.month;
year = y ? y : today.year;
// проверка, что дата допустимая
// ...
}

    Когда используется  значение  параметра,  указывающее  "брать  по
умолчанию",  выбранное   значение  должно   лежать  вне   множества
возможных значений параметра. Для дня day и месяца mounth ясно, что
это так,  но для  года year  выбор нуля  неочевиден. К  счастью,  в
европейском календаре  нет нулевого года . Сразу после 1 г. до н.э.
(year==-1) идет  1 г. н.э. (year==1), но для реальной программы это
может оказаться слишком тонко.
  Объект класса  без  конструкторов  можно  инициализировать  путем
присваивания ему  другого объекта  этого класса. Это можно делать и
тогда, когда конструкторы описаны. Например:
date  d = today;    // инициализация посредством присваивания

  По существу,  имеется конструктор  по умолчанию,  определенный  как
побитовая копия  объекта того  же класса.  Если для  класса X такой
конструктор по  умолчанию  нежелателен,  его  можно  переопределить
конструктором с именем X(X&). Это будет обсуждаться в #6.6.

         5.2.5 Очистка 

  Определяемый  пользователем   тип  чаще   имеет,  чем  не  имеет,
конструктор, который  обеспечивает  надлежащую  инициализацию.  Для
многих типов  также требуется  обратное действие, деструктор, чтобы
обеспечить  соответствующую   очистку  объектов   этого  типа.  Имя
деструктора для  класса X  есть ~X() ("дополнение конструктора"). В
частности,  многие   типы  используют  некоторый  объем  памяти  из
свободной памяти  (см. #3.2.6),  который выделяется конструктором и освобождается деструктором.  Вот, например,  традиционный  стековый
тип,  из  которого  для  краткости  полностью  выброшена  обработка
ошибок:
class char_stack {
int size;
char* top;
char* s;
public:
char_stack(int sz) { top=s=new char[size=sz]; }
~char_stack()      { delete s; }    // деструктор
void push(char c)  { *top++ = c; }
char pop()         { return *--top;}
}

  Когда  char_stack     выходит   из  области  видимости,  вызывается
деструктор:
void f()
{
char_stack s1(100);
char_stack s2(200);
s1.push('a');
s2.push(s1.pop());
char ch = s2.pop();
cout 
  Когда вызывается  f(), конструктор  char_stack вызывается  для  s1,
чтобы выделить  вектор из  100 символов,  и для  s2, чтобы выделить
вектор из  200 символов.  При возврате из f() эти два вектора будут
освобождены.

        5.2.6  Inline 

  При  программировании   с  использованием   классов  очень  часто
используется  много  маленьких  функций.  По  сути,  везде,  где  в
программе традиционной  структуры  стояло  бы  просто  какое-нибудь
обычное использование  структуры данных,  дается функция.  То,  что
было соглашением,  стало стандартом, который распознает компилятор.
Это может  страшно понизить  эффективность,  потому  что  стоимость
вызова функции  (хотя и  вовсе не  высокая по  сравнению с  другими
языками) все  равно  намного  выше,  чем  пара  ссылок  по  памяти,
необходимая для тела функции.
  Чтобы справиться с этой проблемой, был разработан аппарат inline-
функций. Функция  член, определенная  (а  не  просто  описанная)  в
описании класса,  считается inline.  Это значит,  например,  что  в
функциях,  которые  используют  приведенные  выше  char_stack,  нет
никаких вызовов  функций  кроме  тех,  которые  используются    для
реализации операций  вывода! Другими  словами, нет  никаких  затрат
времени  выполнения,   которые  стоит  принимать  во  внимание  при
разработке класса.  Любое, даже  самое  маленькое  действие,  можно
задать эффективно.  Это утверждение  снимает аргумент, который чаще
всего приводят чаще всего в пользу открытых членов данных.
  Функцию член  можно также описать как inline вне описания класса.
Например:
char char_stack {
int size;
char* top;
char* s;
public:
char pop();
// ...
};
inline char char_stack::pop()
{
return *--top;
}


       5.3 Интерфейсы и Реализации 

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

Для всех видов контейнеров существуют очевидные примеры: таблицы, множества, списки, вектора, словари и т.д. Такой класс имеет операцию "вставить", обычно он также имеет операции для проверки того, был ли вставлен данный элемент. В нем могут быть действия для осуществления проверки всех элементов в определенном порядке, и кроме всего прочего, в нем может иметься операция для удаления элемента. Обычно контейнерные (то есть, вмещающие) классы имеют конструкторы и деструкторы.

Скрытие данных и продуманный интерфейс может дать концепция модуля (см. например #4.4: файлы как модули). Класс, однако, является типом. Чтобы использовать его, необходимо создать объекты этого класса, и таких объектов можно создавать столько, сколько нужно. Модуль же сам является объектом. Чтобы использовать его, его надо только инициализировать, и таких объектов ровно один.

5.3.1 Альтернативные Реализации

Пока описание открытой части класса и описание функций членов остаются неизменными, реализацию класса можно модифицировать не влияя на ее пользователей. Как пример этого рассмотрим таблицу имен, которая использовалась в настольном калькуляторе в Главе 3. Это таблица имен:

struct name {
char* string;
char* next;
double value;
};

Вот вариант класса table:

// файл table.h
class table {
name* tbl;
public:
table() { tbl = 0; }
name* look(char*, int = 0);
name* insert(char* s) { return look(s,1); }
};

Эта таблица отличается от той, которая определена в Главе 3 тем, что это настоящий тип. Можно описать более чем одну table, можно иметь указатель на table и т.д. Например:

#include "table.h"
table globals;
table keywords;
table* locals;
main() {
locals = new table;
// ...
}

Вот реализация table::look(), которая использует линейный поиск в связанном списке имен name в таблице:

#include
name* table::look(char* p, int ins)
{
for (name* n = tbl; n; n=n->next)
if (strcmp(p,n->string) == 0) return n;
if (ins == 0) error("имя не найдено");
name* nn = new name;
nn->string = new char[strlen(p)+1];
strcpy(nn->string,p);
nn->value = 1;
nn->next = tbl;
tbl = nn;
return nn;
}

Теперь рассмотрим класс table, усовершенствованный таким образом, чтобы использовать хэшированный просмотр, как это делалось в примере с настольным калькулятором. Сделать это труднее из-за того ограничения, что уже написанные программы, в которых использовалась только что определенная версия класса table, должны оставаться верными без изменений:

class table {
name** tbl;
int size;
public:
table(int sz = 15);
~table();
name* look(char*, int = 0);
name* insert(char* s) { return look(s,1); }
};

В структуру данных и конструктор внесены изменения, отражающие необходимость того, что при использовании хэширования таблица должна иметь определенный размер. Задание конструктора с параметром по умолчанию обеспечивает, что старая программа, в которой не указывался размер таблицы, останется правильной. Параметры по умолчанию очень полезны в ситуации, когда нужно изменить класс не повлияв на старые программы. Теперь конструктор и деструктор создают и уничтожают хэш-таблицы:

table::table(int sz)
{
if (sz string;
delete n;
}
delete tbl;
}

Описав деструктор для класса name можно получить более простой и ясный вариант table::~table(). Функция просмотра практически идентична той, которая использовалась в примере настольного калькулятора (#3.1.3):

#include
name* table::look(char* p, int ins)
{
int ii = 0;
char* pp = p;
while (*pp) ii = iinext)
if (strcmp(p,n->string) == 0) return n;
if (ins == 0) error("имя не найдено");
name* nn = new name;
nn->string = new char[strlen(p)+1];
strcpy(nn->string,p);
nn->value = 1;
nn->next = tbl[ii];
tbl[ii] = nn;
return nn;
}

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

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

Этой сложности можно избежать, представив каждый объект класса как указатель на "настоящий" объект. Так как все эти указатели будут иметь одинаковый размер, а размещение "настоящих" объектов можно определить в файле, где доступна закрытая часть, то это может решить проблему. Однако решение подразумевает дополнительные ссылки по памяти при обращении к членам класса, а также, что еще хуже, каждый вызов функции с автоматическим объектом класса включает по меньшей мере один вызов программ выделения и освобождения свободной памяти. Это сделало бы также невозможным реализацию inline-функций членов, которые обращаются к данным закрытой части. Более того, такое изменение сделает невозможным совместную компоновку C и C++ программ (поскольку C компилятор обрабатывает struct не так, как это будет делать C++ компилятор). Для C++ это было сочтено неприемлемым.

5.3.2 Законченный Класс

class intset {
int cursize, maxsize;
int *x;
public:
intset(int m, int n);    // самое большее, m int'ов в 1..n
~intset();
int member(int t);       // является ли t элементом?
void insert(int t);      // добавить "t" в множество
void iterate(int& i)     { i = 0; }
int ok(int& i)           { return i
void error(char* s)
{
cerr 
      Класс intset  используется в  main(),  которая  предполагает  два
целых параметра.  Первый параметр  задает  число  случайных  чисел,
которые нужно  сгенерировать. Второй параметр указывает диапазон, в
котором должны лежать случайные целые:
main(int argc, char* argv[])
{
if (argc != 3) error("ожидается два параметра");
int count = 0;
int m = atoi(argv[1]);        // число элементов множества
int n = atoi(argv[2]);        // в диапазоне 1..n
intset s(m,n);
while (count maxsize) error("слищком много элементов");
int i = cursize-1;
x[i] = t;
while (i>0 && x[i-1]>x[i]) {
int t = x[i];                // переставить x[i] и [i-1]
x[i] = x[i-1];
x[i-1] = t;
i--;
}
}

    Для нахождения членов используется просто двоичный поиск:
int intset::member(int t)        // двоичный поиск
{
int l = 0;
int u = cursize-1;
while (l  x[m])
l = m+1;
else
return 1;            // найдено
}
return 0;                    // не найдено
}

      И,  наконец,  нам  нужно  обеспечить  множество  операций,  чтобы
пользователь  мог   осуществлять  цикл  по  множеству  в  некотором
порядке, поскольку  представление intset  от  пользователя  скрыто.
Множество внутренней  упорядоченности не имеет, поэтому мы не можем
просто дать  возможность обращаться  к вектору (завтра я, наверное,
реализую intset по-другому, в виде связанного списка).
  Дается три  функции: iterate()  для инициализации  итерации, ok()
для проверки,  есть ли  следующий элемент, и next() для того, чтобы
взять следующий элемент:
class intset {
// ...
void iterate(int& i)        { i = 0; }
int ok(int& i)              { return iiterate(var);
while (set->ok(var)) cout next(var) 
Другой способ задать итератор приводится в #6.8.



Назад |
Содержание |
Вперед