то обеспечивает описание window во
 всех производных классах как виртуального базового класса.
     Њожно следующим образом изобразить состав объекта класса
 window_w_border_and_menu:


 —тобы увидеть разницу между обычным и виртуальным наследованием,
 сравните этот рисунок с рисунком из $$6.5, показывающим состав объекта
 класса satellite. ‚ графе наследованиЯ каждый базовый класс с данным
 именем, который был указан как виртуальный, будет представлен
 единственным объектом этого класса. Ќапротив, каждый базовый
 класс, который при описании наследованиЯ не был указан как
 виртуальный, будет представлен своим собственным объектом.
      ’еперь надо написать все эти функции draw(). ќто не слишком
 трудно, но длЯ неосторожного программиста здесь есть ловушка.
 ‘начала пойдем самым простым путем, который как раз к ней и ведет:

            void window_w_border::draw()
            {
               window::draw();
               // рисуем рамку
            }

            void window_w_menu::draw()
            {
              window::draw();
              // рисуем меню
            }

 Џока все хорошо. ‚се это очевидно, и мы следуем образцу определениЯ
 таких функций при условии единственного наследованиЯ ($$6.2.1), который
 работал прекрасно. Ћднако, в производном классе следующего уровнЯ
 поЯвлЯетсЯ ловушка:

           void window_w_border_and_menu::draw() // ловушка!
           {
              window_w_border::draw();
              window_w_menu::draw();

              // теперь операции, относЯщиесЯ только
              // к окну с рамкой и меню
            }

 Ќа первый взглЯд все вполне нормально. Љак обычно, сначала выполнЯютсЯ
 все операции, необходимые длЯ базовых классов, а затем те, которые
 относЯтсЯ собственно к производным классам. Ќо в результате
 функциЯ window::draw() будет вызыватьсЯ дважды! „лЯ большинства
 графических программ это не просто излишний вызов, а порча
 картинки на экране. Ћбычно втораЯ выдача на экран затирает первую.
    —тобы избежать ловушки, надо действовать не так поспешно. Њы
 отделим действиЯ, выполнЯемые базовым классом, от действий,
 выполнЯемых из базового класса. „лЯ этого в каждом классе введем
 функцию _draw(), котораЯ выполнЯет нужные только длЯ него
 действиЯ, а функциЯ draw() будет выполнЯть те же действиЯ плюс
 действиЯ, нужные длЯ каждого базового класса. „лЯ класса window
 изменениЯ сводЯтсЯ к введению излишней функции:

          class window {
           // головнаЯ информациЯ
           void _draw();
           void draw();
          };

  „лЯ производных классов эффект тот же:

           class window_w_border : public virtual window {
              // класс "окно с рамкой"
              // определениЯ, свЯзанные с рамкой
              void _draw();
              void draw();
           };

           void window_w_border::draw()
           {
              window::_draw();
              _draw();   // рисует рамку
           };

 ’олько длЯ производного класса следующего уровнЯ проЯвлЯетсЯ
 отличие функции, которое и позволЯет обойти ловушку с повторным
 вызовом window::draw(), поскольку теперь вызываетсЯ window::_draw()
 и только один раз:

           class window_w_border_and_menu
               : public virtual window,
               public window_w_border,
               public window_w_menu {

               void _draw();
               void draw();
           };

           void window_w_border_and_menu::draw()
           {
             window::_draw();
             window_w_border::_draw();
             window_w_menu::_draw();

             _draw();  // теперь операции, относЯщиесЯ только
                       // к окну с рамкой и меню
           }

 Ќе обЯзательно иметь обе функции window::draw() и window::_draw(),
 но наличие их позволЯет избежать различных простых описок.
     ‚ этом примере класс window служит хранилищем общей длЯ
 window_w_border и window_w_menu информации и определЯет интерфейс
 длЯ общениЯ этих двух классов. …сли используетсЯ единственное
 наследование, то общность информации в дереве классов достигаетсЯ
 тем, что эта информациЯ передвигаетсЯ к корню дерева до тех
 пор, пока она не станет доступна всем заинтересованным в ней
 узловым классам. ‚ результате легко возникает неприЯтный эффект:
 корень дерева или близкие к нему классы используютсЯ как пространство
 глобальных имен длЯ всех классов дерева, а иерархиЯ классов вырождаетсЯ
 в множество несвЯзанных объектов.
     ‘ущественно, чтобы в каждом из классов-братьев переопределЯлись
 функции, определенные в общем виртуальном базовом классе. ’аким
 образом каждый из братьев может получить свой вариант операций,
 отличный от других. Џусть в классе window есть общаЯ функциЯ
 ввода get_input():

           class window {
            // головнаЯ информациЯ
            virtual void draw();
            virtual void get_input();
          };

 ‚ одном из производных классов можно использовать эту функцию,
 не задумываЯсь о том, где она определена:

          class window_w_banner : public virtual window {
             // класс "окно с заголовком"
             void draw();
             void update_banner_text();
          };

          void window_w_banner::update_banner_text()
          {
            // ...
            get_input();
            // изменить текст заголовка
          }

 ‚ другом производном классе функцию get_input() можно определЯть,
 не задумываЯсь о том, кто ее будет использовать:

          class window_w_menu : public virtual window {
             // класс "окно с меню"
             // определениЯ, свЯзанные с меню
             void draw();
             void get_input(); // переопределЯет window::get_input()
          };

 ‚се эти определениЯ собираютсЯ вместе в производном классе следующего
 уровнЯ:

          class window_w_banner_and_menu
             : public virtual window,
             public window_w_banner,
             public window_w_menu
          {
             void draw();
          };

 Љонтроль неоднозначности позволЯет убедитьсЯ, что в классах-братьЯх
 определены разные функции:

          class window_w_input : public virtual window {
             // ...
             void draw();
             void get_input();  // переопределЯет window::get_input
          };

          class window_w_input_and_menu
             : public virtual window,
             public window_w_input,
             public window_w_menu
         {             // ошибка: оба класса window_w_input и
                       // window_w_menu переопределЯют функцию
                       // window::get_input
            void draw();
         };

 ’ранслЯтор обнаруживает подобную ошибку, а устранить неоднозначность
 можно обычным способом: ввести в классы window_w_input и
 window_w_menu функцию, переопределЯющую "функцию-нарушителЯ", и
 каким-то образом устранить неоднозначность:

         class window_w_input_and_menu
           : public virtual window,
           public window_w_input,
           public window_w_menu
        {
           void draw();
           void get_input();
        };

 ‚ этом классе window_w_input_and_menu::get_input() будет
 переопределЯть все функции get_input(). Џодробно механизм разрешениЯ
 неоднозначности описан в $$R.10.1.1.

        6.6 Љонтроль доступа

 —лен класса может быть частным (private), защищенным (protected)
 или общим (public):
     —астный член класса X могут использовать только функции-члены и
     друзьЯ класса X.
     ‡ащищенный член класса X могут использовать только функции-члены
     и друзьЯ класса X, а так же функции-члены и друзьЯ всех
     производных от X классов (см. $$5.4.1).
     Ћбщий член можно использовать в любой функции.
 ќти правила соответствуют делению обращающихсЯ к классу функций на три
 вида: функции, реализующие класс (его друзьЯ и члены), функции,
 реализующие производный класс (друзьЯ и члены производного класса) и
 все остальные функции.
     Љонтроль доступа применЯетсЯ единообразно ко всем именам. Ќа
 контроль доступа не влиЯет, какую именно сущность обозначает имЯ.
 ќто означает, что частными могут быть функции-члены, константы и т.д.
 наравне с частными членами, представлЯющими данные:

             class X {
             private:
               enum { A, B };
               void f(int);
               int a;
             };

             void X::f(int i)
             {
               if (i&lt;A) f(i+B);
               a++;
             }

             void g(X&amp; x)
             {
               int i = X::A;     // ошибка: X::A частный член
               x.f(2);           // ошибка: X::f частный член
               x.a++;            // ошибка: X::a частный член
             }

        6.6.1 ‡ащищенные члены

 „адим пример защищенных членов, вернувшись к классу window из
 предыдущего раздела. ‡десь функции _draw() предназначались только длЯ
 использованиЯ в производных классах, поскольку предоставлЯли неполный
 набор возможностей, а поэтому не были достаточны удобны и
 надежны длЯ общего применениЯ. Ћни были как бы строительным
 материалом длЯ более развитых функций. ‘ другой стороны, функции draw()
 предназначались длЯ общего применениЯ. ќто различие можно выразить,
 разбив интерфейсы классов window на две части - защищенный интерфейс
 и общий интерфейс:

            class window {
            public:
              virtual void draw();
              // ...
            protected:
              void _draw();
              // другие функции, служащие строительным материалом
            private:
              // представление класса
            };

 ’акое разбиение можно проводить и в производных классах, таких, как
 window_w_border или window_w_menu.
     Џрефикс _ используетсЯ в именах защищенных функций, ЯвлЯющихсЯ
 частью реализации класса, по общему правилу: имена, начинающиесЯ с _ ,
 не должны присутствовать в частЯх программы, открытых длЯ общего
 использованиЯ. €мен, начинающихсЯ с двойного символа подчеркиваниЯ,
 лучше вообще избегать (даже длЯ членов).
     ‚от менее практичный, но более подробный пример:

            class X {
            // по умолчанию частнаЯ часть класса
               int priv;
            protected:
               int prot;
            public:
               int publ;
               void m();
            };

 „лЯ члена X::m доступ к членам класса неограничен:

            void X::m()
            {
              priv = 1;   // нормально
              prot = 2;   // нормально
              publ = 3;   // нормально
            }

 —лен производного класса имеет доступ только к общим и защищенным
 членам:

            class Y : public X {
               void mderived();
            };

            Y::mderived()
            {
              priv = 1;    // ошибка: priv частный член
              prot = 2;    // нормально: prot защищенный член, а
                           // mderived() член производного класса Y
              publ = 3;    // нормально: publ общий член
            }

 ‚ глобальной функции доступны только общие члены:

            void f(Y* p)
            {
              p->priv = 1;  // ошибка: priv частный член
              p->prot = 2;  // ошибка: prot защищенный член, а f()
                            // не друг или член классов X и Y
              p->publ = 3;  // нормально: publ общий член
            }

        6.6.2 „оступ к базовым классам

 Џодобно члену базовый класс можно описать как частный, защищенный
 или общий:

            class X {
            public:
              int a;
              // ...
            };

            class Y1 : public X {  };
            class Y2 : protected X { };
            class Y3 : private X { };

 Џоскольку X - общий базовый класс длЯ Y1, в любой функции, если есть
 необходимость, можно (неЯвно) преобразовать Y1* в X*, и притом
 в ней будут доступны общие члены класса X:

            void f(Y1* py1, Y2* py2, Y3* py3)
            {
              X* px = py1;  // нормально: X - общий базовый класс Y1
              py1->a = 7;   // нормально
              px = py2;     // ошибка: X - защищенный базовый класс Y2
              py2->a = 7;   // ошибка
              px = py3;     // ошибка: X - частный базовый класс Y3
              py3->a = 7;   // ошибка
            }

 ’еперь пусть описаны

            class Y2 : protected X { };
            class Z2 : public Y2 { void f(); };

 Џоскольку X - защищенный базовый класс Y2, только друзьЯ и члены Y2,
 а также друзьЯ и члены любых производных от Y2 классов (в частности
 Z2) могут при необходимости преобразовывать (неЯвно) Y2* в X*.
 Љроме того они могут обращатьсЯ к общим и защищенным членам класса X:

            void Z2::f(Y1* py1, Y2* py2, Y3* py3)
            {
              X* px = py1; // нормально: X - общий базовый класс Y1
              py1->a = 7; // нормально
              px = py2;   // нормально: X - защищенный базовый класс Y2,
                          // а Z2 - производный класс Y2
              py2->a = 7; // нормально
              px = py3;   // ошибка: X - частный базовый класс Y3
              py3->a = 7; // ошибка
            }

 Ќаконец, рассмотрим:

            class Y3 : private X { void f(); };

 Џоскольку X - частный базовый класс Y3, только друзьЯ и члены Y3
 могут при необходимости преобразовывать (неЯвно) Y3* в X*.
 Љроме того они могут обращатьсЯ к общим и защищенным членам
 класса X:

            void Y3::f(Y1* py1, Y2* py2, Y3* py3)
            {
              X* px = py1;  // нормально: X - общий базовый класс Y1
              py1->a = 7;   // нормально
              px = py2;     // ошибка: X - защищенный базовый класс Y2
              py2->a = 7;   // ошибка
              px = py3;     // нормально: X - частный базовый класс Y3,
                            // а Y3::f член Y3
              py3->a = 7;   // нормально
            }

        6.7 ‘вободнаЯ памЯть

 …сли определить функции operator new() и operator delete(),
 управление памЯтью длЯ класса можно взЯть в свои руки. ќто также можно,
 (а часто и более полезно), сделать длЯ класса, служащего базовым
 длЯ многих производных классов. „опустим, нам потребовались свои
 функции размещениЯ и освобождениЯ памЯти длЯ класса employee ($$6.2.5)
 и всех его производных классов:

            class employee {
              // ...
            public:
              void* operator new(size_t);
              void operator delete(void*, size_t);
            };

            void* employee::operator new(size_t s)
            {
              // отвести памЯть в `s' байтов
              // и возвратить указатель на нее
            }

            void employee::operator delete(void* p, size_t s)
            {
              // `p' должно указывать на памЯть в `s' байтов,
              // отведенную функцией employee::operator new();
              // освободить эту памЯть длЯ повторного использованиЯ
            }

 Ќазначение до сей поры загадочного параметра типа size_t становитсЯ
 очевидным. ќто - размер освобождаемого объекта. Џри удалении простого
 служащего этот параметр получает значение sizeof(employee), а при
 удалении управлЯющего - sizeof(manager). Џоэтому собственные
 функции классы длЯ размещениЯ могут не хранить размер каждого
 размещаемого объекта. Љонечно, они могут хранить эти размеры (подобно
 функциЯм размещениЯ общего назначениЯ) и игнорировать параметр
 size_t в вызове operator delete(), но тогда врЯд ли они будут лучше,
 чем функции размещениЯ и освобождениЯ общего назначениЯ.
      Љак транслЯтор определЯет нужный размер, который надо передать
 функции operator delete()? Џока тип, указанный в operator delete(),
 соответствует истинному типу объекта, все просто; но рассмотрим
 такой пример:

            class manager : public employee {
              int level;
              // ...
            };

            void f()
            {
              employee* p = new manager; // проблема
              delete p;
            }

 ‚ этом случае транслЯтор не сможет правильно определить размер. Љак
 и в случае удалениЯ массива, нужна помощь программиста. Ћн должен
 определить виртуальный деструктор в базовом классе employee:

            class employee {
              // ...
            public:
              // ...
              void* operator new(size_t);
              void operator delete(void*, size_t);
              virtual ~employee();
            };

 „аже пустой деструктор решит нашу проблему:

           employee::~employee() { }

 ’еперь освобождение памЯти будет происходить в деструкторе (а в нем
 размер известен), а любой производный от employee класс также будет
 вынужден определЯть свой деструктор (тем самым будет установлен
 нужный размер), если только пользователь сам не определит его.
 ’еперь следующий пример пройдет правильно:

           void f()
           {
             employee* p = new manager; // теперь без проблем
             delete p;
           }

 ђазмещение происходит с помощью (созданного транслЯтором) вызова

          employee::operator new(sizeof(manager))

 а освобождение с помощью вызова

          employee::operator delete(p,sizeof(manager))

 €ными словами, если нужно иметь корректные функции размещениЯ и
 освобождениЯ длЯ производных классов, надо либо определить
 виртуальный деструктор в базовом классе, либо не использовать
 в функции освобождениЯ параметр size_t. Љонечно, можно было
 при проектировании Языка предусмотреть средства, освобождающие
 пользователЯ от этой проблемы. Ќо тогда пользователь "освободилсЯ" бы
 и от определенных преимуществ более оптимальной, хотЯ и менее надежной
 системы.
    ‚ общем случае, всегда есть смысл определЯть виртуальный
 деструктор длЯ всех классов, которые действительно используютсЯ как
 базовые, т.е. с объектами производных классов работают и, возможно,
 удалЯют их, через указатель на базовый класс:

          class X {
             // ...
          public:
             // ...
             virtual void f(); // в X есть виртуальнаЯ функциЯ, поэтому
                               // определЯем виртуальный деструктор
             virtual ~X();
          };

        6.7.1 ‚иртуальные конструкторы

 “знав о виртуальных деструкторах, естественно спросить: "Њогут ли
 конструкторы то же быть виртуальными?" …сли ответить коротко - нет.
 Њожно дать более длинный ответ: "Ќет, но можно легко получить
 требуемый эффект".
     Љонструктор не может быть виртуальным, поскольку длЯ правильного
 построениЯ объекта он должен знать его истинный тип. Ѓолее того,
 конструктор - не совсем обычнаЯ функциЯ. Ћн может взаимодействовать
 с функциЯми управлениЯ памЯтью, что невозможно длЯ обычных
 функций. Ћт обычных функций-членов он отличаетсЯ еще тем, что
 не вызываетсЯ длЯ существующих объектов. ‘ледовательно нельзЯ получить
 указатель на конструктор.
     Ќо эти ограничениЯ можно обойти, если определить функцию,
 содержащую вызов конструктора и возвращающую построенный объект.
 ќто удачно, поскольку нередко бывает нужно создать новый объект,
 не знаЯ его истинного типа. Ќапример, при транслЯции иногда
 возникает необходимость сделать копию дерева, представлЯющего
 разбираемое выражение. ‚ дереве могут быть узлы выражений разных
 видов. „опустим, что узлы, которые содержат повторЯющиесЯ в выражении
 операции, нужно копировать только один раз. ’огда нам потребуетсЯ
 виртуальнаЯ функциЯ размножениЯ длЯ узла выражениЯ.
      Љак правило "виртуальные конструкторы" ЯвлЯютсЯ стандартными
 конструкторами без параметров или конструкторами копированиЯ,
 параметром которых служит тип результата:

          class expr {
             // ...
          public:
             expr();  // стандартный конструктор
             virtual expr* new_expr() { return new expr(); }
          };

 ‚иртуальнаЯ функциЯ new_expr() просто возвращает стандартно
 инициализированный объект типа expr, размещенный в свободной памЯти.
 ‚ производном классе можно переопределить функцию new_expr() так,
 чтобы она возвращала объект этого класса:

          class conditional : public expr {
             // ...
          public:
            conditional();  // стандартный конструктор
            expr* new_expr() { return new conditional(); }
          };

 ќто означает, что, имеЯ объект класса expr, пользователь может
 создать объект в "точности такого же типа":

          void user(expr* p1, expr* p2)
          {
             expr* p3 = p1->new_expr();
             expr* p4 = p2->new_expr();
             // ...
           }

 Џеременным p3 и p4 присваиваютсЯ указатели неизвестного, но подходЯщего
 типа.
     ’ем же способом можно определить виртуальный конструктор
 копированиЯ, называемый операцией размножениЯ, но надо подойти
 более тщательно к специфике операции копированиЯ:

           class expr {
              // ...
              expr* left;
              expr* right;
           public:
              // ...
                 // копировать `s' в `this'
              inline void copy(expr* s);
                 // создать копию объекта, на который смотрит this
              virtual expr* clone(int deep = 0);
           };

 Џараметр deep показывает различие между копированием собственно
 объекта (поверхностное копирование) и копированием всего поддерева,
 корнем которого служит объект (глубокое копирование). ‘тандартное
 значение 0 означает поверхностное копирование.
     ”ункцию clone() можно использовать, например, так:

            void fct(expr* root)
            {
              expr* c1 = root->clone(1);  // глубокое копирование
              expr* c2 = root->clone();   // поверхностное копирование
              // ...
            }

 џвлЯЯсь виртуальной, функциЯ clone() способна размножать объекты
 любого производного от expr класса.
     ЌастоЯщее копирование можно определить так:

            void expr::copy(expression* s, int deep)
            {
              if (deep == 0) { // копируем только члены
                 *this = *s;
              }
              else { // пройдемсЯ по указателЯм:
                 left = s->clone(1);
                 right = s->clone(1);
                 // ...
              }
            }

 ”ункциЯ expr::clone() будет вызыватьсЯ только длЯ объектов типа
 expr (но не длЯ производных от expr классов), поэтому можно просто
 разместить в ней и возвратить из нее объект типа expr, ЯвлЯющийсЯ
 собственной копией:

            expr* expr::clone(int deep)
            {
              expr* r = new expr();  // строим стандартное выражение
              r->copy(this,deep);    // копируем `*this' в `r'
              return r;
            }

 ’акую функцию clone() можно использовать длЯ производных от expr
 классов, если в них не поЯвлЯютсЯ члены-данные (а это как раз
 типичный случай):

            class arithmetic : public expr {
              // ...
              // новых членов-данных нет =>
              // можно использовать уже определенную функцию clone
            };

 ‘ другой стороны, если добавлены члены-данные, то нужно определЯть
 собственную функцию clone():

           class conditional : public expression {
              expr* cond;
           public:
              inline void copy(cond* s, int deep = 0);
              expr* clone(int deep = 0);
              // ...
           };

 ”ункции copy() и clone() определЯютсЯ подобно своим двойникам из
 expression:

           expr* conditional::clone(int deep)
           {
             conditional* r = new conditional();
             r->copy(this,deep);
             return r;
           }

           void conditional::copy(expr* s, int deep)
           {
             if (deep == 0) {
                *this = *s;
             }
             else {
                expr::copy(s,1);  // копируем часть expr
                cond = s->cond->clone(1);
             }
           }

 Ћпределение последней функции показывает отличие настоЯщего
 копированиЯ в expr::copy() от полного размножениЯ в expr::clone()
 (т.е. созданиЯ нового объекта и копированиЯ в него). Џростое
 копирование оказываетсЯ полезным длЯ определениЯ более сложных
 операций копированиЯ и размножениЯ. ђазличие между copy() и clone()
 эквивалентно различию между операцией присваиваниЯ и конструктором
 копированиЯ ($$1.4.2) и эквивалентно различию между функциЯми
 _draw() и draw() ($$6.5.3). Ћтметим, что функциЯ copy() не ЯвлЯетсЯ
 виртуальной. …й и не надо быть таковой, поскольку виртуальна
 вызывающаЯ ее функциЯ clone(). Ћчевидно, что простые операции
 копированиЯ можно также определЯть как функции-подстановки.

        6.7.2 “казание размещениЯ

 Џо умолчанию операциЯ new создает указанный ей объект в свободной
 памЯти. Љак быть, если надо разместить объект в определенном месте?
 ќтого можно добитьсЯ переопределением операции размещениЯ. ђассмотрим
 простой класс:

        class X {
           // ...
        public:
          X(int);
          // ...
        };

 Ћбъект можно разместить в любом месте, если ввести в функцию
 размещениЯ дополнительные параметры:

        // операциЯ размещениЯ в указанном месте:
        void* operator new(size_t, void* p) { return p; }

 и задав эти параметры длЯ операции new следующим образом:

        char buffer[sizeof(X)];

        void f(int i)
        {
          X* p = new(buffer) X(i); // разместить X в buffer
          // ...
        }

 ”ункциЯ operator new(), используемаЯ операцией new, выбираетсЯ
 согласно правилам сопоставлениЯ параметров ($$R.13.2). ‚се
 функции operator new() должны иметь первым параметром size_t.
 ‡адаваемый этим параметром размер неЯвно передаетсЯ операцией
 new.
     ЋпределеннаЯ нами функциЯ operator new() с задаваемым размещением
 ЯвлЯетсЯ самой простой из функций подобного рода. Њожно привести
 другой пример функции размещениЯ, выделЯющей памЯть из некоторой
 заданной области:

        class Arena {
           // ...
           virtual void* alloc(size_t) = 0;
           virtual void free(void*) = 0;
        };

        void operator new(size_t sz, Arena* a)
        {
          return a.alloc(sz);
        }

 ’еперь можно отводить памЯть длЯ объектов произвольных типов из
 различных областей (Arena):

        extern Arena* Persistent; // постоЯннаЯ памЯть
        extern Arena* Shared;     // разделЯемаЯ памЯть

        void g(int i)
        {
          X* p = new(Persistent) X(i); // X в постоЯнной памЯти
          X* q = new(Shared) X(i);     // X в разделЯемой памЯти
          // ...
        }

 …сли мы помещаем объект в область памЯти, котораЯ непосредственно
 не управлЯетсЯ стандартными функциЯми распределениЯ свободной
 памЯти, то надо позаботитьсЯ о правильном уничтожении объекта.
 Ћсновным средством здесь ЯвлЯетсЯ Явный вызов деструктора:

        void h(X* p)
        {
          p->~X();             // вызов деструктора
          Persistent->free(p); // освобождение памЯти
        }

 ‡аметим, что Явных вызовов деструкторов, как и глобальных функций
 размещениЯ специального назначениЯ, следует, по возможности,
 избегать. Ѓывают случаи, когда обойтись без них трудно, но
 новичок должен трижды подумать, прежде чем использовать Явный
 вызов деструктора, и должен сначала посоветоватьсЯ с более опытным
 коллегой.

        6.8 “пражнениЯ

 1. (*1) Џусть есть класс

         class base {
         public:
            virtual void iam() { cout &lt;&lt; "base\n"; }
         };

    Ћпределите два производных от base класса и в каждом определите
    функцию iam(), выдающую имЯ своего класса. ‘оздайте объекты
    этих классов и вызовите iam() длЯ них. Џрисвойте адреса объектов
    производных классов указателю типа base* и вызовите iam() с
    помощью этих указателей.
 2. (*2) ђеализуйте примитивы управлениЯ экраном ($$6.4.1) разумным
    длЯ вашей системы образом.
 3. (*2) Ћпределите классы triangle (треугольник) и circle
    (окружность).
 4. (*2) Ћпределите функцию, рисующую отрезок прЯмой, соединЯющий
    две фигуры. ‚начале надо найти самые ближайшие точки фигур, а
    затем соединить их.
 5. (*2) €змените пример с классом shape так, чтобы line было
    производным классом от rectangle, или наоборот.
 6. (*2) Џусть есть класс

         class char_vec {
            int sz;
            char element [1];
         public:
            static new_char_vec(int s);
            char&amp; operator[] (int i) { return element[i]; }
            // ...
         };

     Ћпределите функцию new_char_vec() длЯ отведениЯ непрерывного
     участка памЯти длЯ объектов char_vec так, чтобы элементы можно
     было индексировать как массив element[]. ‚ каком случае эта
     функциЯ вызовет серьезные трудности?
  7. (*1)  Ћпишите структуры данных, которые нужны длЯ
     примера с классом shape из $$6.4, и объЯсните, как может
     выполнЯтьсЯ виртуальный вызов.
  8. (*1.5) Ћпишите структуры данных, которые нужны длЯ примера
     с классом satellite из $$6.5, и объЯсните, как может выполнЯтьсЯ
     виртуальный вызов.
  9. (*2) Ћпишите структуры данных, которые нужны длЯ примера с
     классом window из $$6.5.3, и объЯсните, как может выполнЯтьсЯ
     виртуальный вызов.
  10. (*2) Ћпишите класс графических объектов с набором возможных
     операций, который будет общим базовым в библиотеке графических
     объектов. €сследуйте какие-нибудь графические библиотеки,
     чтобы понЯть, какие операции нужны. Ћпределите класс объектов
     базы данных с набором возможных операций, который будет
     общим базовым классом объектов, хранЯщихсЯ как последовательность
     полей базы данных. €сследуйте какие-нибудь базы данных, чтобы
     понЯть, какие операции нужны. Ћпределите объект графической
     базы данных, используЯ или не используЯ множественное
     наследование. Ћбсудите относительные плюсы и минусы обоих
     решений.
  11. (*2) Ќапишите вариант функции clone() из $$6.7.1, в котором
     размножаемый объект может помещатьсЯ в область Arena
     ($$6.7.2), передаваемую как параметр. ђеализуйте простой
     класс Arena как производный от Arena.
  12. (*2) Џусть есть классы Circle (окружность), Square (квадрат) и
     Triangle (треугольник), производные от класса shape. Ћпределите
     функцию intersect() с двумЯ параметрами типа Shape*, котораЯ
     вызывает подходЯщую функцию, чтобы выЯснить, пересекаютсЯ ли
     заданные две фигуры. „лЯ этого в указанных классах нужно
     определить соответствующие виртуальные функции. Ќе тратьте
     силы на функцию, котораЯ действительно устанавливает, что
     фигуры пересекаютсЯ, добейтесь только правильной
     последовательности вызовов функций.
  13. (*5) ђазработайте и реализуйте библиотеку длЯ моделированиЯ,
     управлЯемого событиЯми. Џодсказка: используйте &lt;task.h>.
     ’ам уже устаревшие функции и можно написать лучше. „олжен
     быть класс task (задача). Ћбъект task должен уметь сохранЯть
     свое состоЯние и восстанавливать его (длЯ этого можно
     определить функции task::save() и task::restore()) и тогда
     он может действовать как сопрограмма. ‘пециальные задачи
     можно определЯть как объекты классов, производных от task.
     Џрограмму, которую выполнЯет задача, определите как
     виртуальную функцию. „олжна быть возможность передавать
     параметры новой задаче как параметры ее конструктору или
     конструкторам. „олжен быть диспетчер, который реализует
     понЯтие виртуального времени. Ћпределите функцию
     task::delay(long), котораЯ будет "съедать" виртуальное
     времЯ. ‚ажный вопрос разработки: ЯвлЯетсЯ ли
     диспетчер частью класса task, или он должен быть независимым?
     ‡адачи должны иметь возможность общениЯ друг с другом.
     „лЯ этой цели разработайте класс queue (очередь). Џридумайте
     способ, чтобы задача могла ожидать входной поток из нескольких
     очередей. ‚се динамические ошибки должны обрабатыватьсЯ
     единообразно. Љак организовать отладку программ, написанных
     с помощью такой библиотеки?


         * ѓ‹Ђ‚Ђ 7

           …сли Я выбираю слово, оно значит только то,
           что Я решу, ни больше и ни меньше.
                       - алтай Ѓолтай


     ѓлава содержит описание механизма перегрузки операций в ‘++.
     Џрограммист может задать интерпретацию операций, когда они
     применЯютсЯ к объектам определенного класса. Џомимо арифметических,
     логических и операций отношениЯ можно переопределить вызов
     функций (), индексацию [], косвенное обращение ->, а также
     присваивание и инициализацию. Њожно определить Явные и скрытые
     преобразованиЯ между пользовательскими и основными типами. Џоказано,
     как определить класс, объект которого можно копировать и
     уничтожать только с помощью специальных, определенных пользователем
     функций.

        7.1 ‚ведение

 Ћбычно в программах используютсЯ объекты, ЯвлЯющиесЯ конкретным
 представлением абстрактных понЯтий. Ќапример, в ‘++ тип данных int
 вместе с операциЯми +, -, *, / и т.д. реализует (хотЯ и ограниченно)
 математическое понЯтие целого. Ћбычно с понЯтием свЯзываетсЯ набор
 действий, которые реализуютсЯ в Языке в виде основных операций над
 объектами, задаваемых в сжатом, удобном и привычном виде.
 Љ сожалению, в Языках программированиЯ непосредственно представлЯетсЯ
 только малое число понЯтий. ’ак, понЯтиЯ комплексных чисел, алгебры
 матриц, логических сигналов и строк в ‘++ не имеют непосредственного
 выражениЯ. ‚озможность задать представление сложных объектов вместе
 с набором операций, выполнЯемых над такими объектами,
 реализуют в ‘++ классы. ЏозволЯЯ программисту определЯть операции
 над объектами классов, мы получаем более удобную и традиционную
 систему обозначений длЯ работы с этими объектами по сравнению с той,
 в которой все операции задаютсЯ как обычные функции. Џриведем пример:

         class complex {
           double re, im;
         public:
           complex(double r, double i) { re=r; im=i; }
           friend complex operator+(complex, complex);
           friend complex operator*(complex, complex);
        };

 ‡десь приведена простаЯ реализациЯ понЯтиЯ комплексного числа, когда
 оно представлено парой чисел с плавающей точкой двойной точности,
 с которыми можно оперировать только с помощью операций + и *.
 €нтерпретацию этих операций задает программист в определениЯх функций
 с именами operator+ и operator*. ’ак, если b и c имеют тип complex,
 то b+c означает (по определению) operator+(b,c). ’еперь можно
 приблизитьсЯ к привычной записи комплексных выражений:

       void f()
       {
         complex a = complex(1,3.1);
         complex b = complex(1.2,2);
         complex c = b;

         a = b+c;
         b = b+c*a;
         c = a*b+complex(1,2);
       }

 ‘охранЯютсЯ обычные приоритеты операций, поэтому второе выражение
 выполнЯетсЯ как b=b+(c*a), а не как b=(b+c)*a.

        7.2 Ћператорные функции

Њожно описать функции, определЯющие интерпретацию следующих операций:

      +    -    *    /    %    ^    &amp;    |    ~    !
      =    &lt;    >    +=   -=   *=   /=   %=   ^=   &amp;=
      |=   &lt;&lt;   >>   >>=  &lt;&lt;=  ==   !=   &lt;=   >=   &amp;&amp;
      ||   ++   --   ->*  ,    ->   []   ()   new  delete

 Џоследние пЯть операций означают: косвенное обращение ($$7.9),
 индексацию ($$7.7), вызов функции ($$7.8), размещение в свободной
 памЯти и освобождение ($$3.2.6). ЌельзЯ изменить приоритеты этих
 операций, равно как и синтаксические правила длЯ выражений. ’ак,
 нельзЯ определить унарную операцию % , также как и бинарную операцию
 !. ЌельзЯ ввести новые лексемы длЯ обозначениЯ операций, но если
 набор операций вас не устраивает, можно воспользоватьсЯ привычным
 обозначением вызова функции. Џоэтому используйте pow(), а не ** .
 ќти ограничениЯ можно счесть драконовскими, но более свободные
 правила легко приводЯт к неоднозначности. „опустим, мы определим
 операцию ** как возведение в степень, что на первый взглЯд кажетсЯ
 очевидной и простой задачей. Ќо если как следует подумать, то
 возникают вопросы: должны ли операции ** выполнЯтьсЯ слева направо
 (как в ”ортране) или справа налево (как в Ђлголе)? Љак
 интерпретировать выражение a**p как a*(*p) или как (a)**(p)?
    €менем операторной функции ЯвлЯетсЯ служебное слово operator, за
 которым идет сама операциЯ, например, operator&lt;&lt;. ЋператорнаЯ
 функциЯ описываетсЯ и вызываетсЯ как обычнаЯ функциЯ. €спользование
 символа операции ЯвлЯетсЯ просто краткой формой записи вызова
 операторной функции:

         void f(complex a, complex b)
         {
           complex c = a + b;           // краткаЯ форма
           complex d = operator+(a,b);  // Явный вызов
         }

 ‘ учетом приведенного описаниЯ типа complex инициализаторы в этом
 примере ЯвлЯютсЯ эквивалентными.

        7.2.1 Ѓинарные и унарные операции

 Ѓинарную операцию можно определить как функцию-член с одним
 параметром, или как глобальную функцию с двумЯ параметрами. ‡начит,
 длЯ любой бинарной операции @ выражение aa @ bb интерпретируетсЯ
 либо как aa.operator(bb), либо как operator@(aa,bb). …сли определены обе
 функции, то выбор интерпретации происходит по правилам сопоставлениЯ
 параметров ($$R.13.2). ЏрефикснаЯ или постфикснаЯ унарнаЯ операциЯ
 может определЯтьсЯ как функциЯ-член без параметров, или как глобальнаЯ
 функциЯ с одними параметром. „лЯ любой префиксной унарной операции
 @ выражение @aa интерпретируетсЯ либо как aa.operator@(), либо как
 operator@(aa). …сли определены обе функции, то выбор интерпретации
 происходит по правилам сопоставлениЯ параметров ($$R.13.2). „лЯ
 любой постфиксной унарной операции @ выражение @aa интерпретируетсЯ
 либо как aa.operator@(int), либо как operator@(aa,int). Џодробно
 это объЯснЯетсЯ в $$7.10. …сли определены обе функции, то выбор
 интерпретации происходит по правилам сопоставлениЯ параметров
 ($$13.2). Ћперацию можно определить только в соответствии с
 синтаксическими правилами, имеющимисЯ длЯ нее в грамматике ‘++.
 ‚ частности, нельзЯ определить % как унарную операцию, а + как
 тернарную. Џроиллюстрируем сказанное примерами:

         class X {
           // члены (неЯвно используетсЯ указатель `this'):

           X* operator&amp;();        // префикснаЯ унарнаЯ операциЯ &amp;
                                  // (взЯтие адреса)
           X operator&amp;(X);        // бинарнаЯ операциЯ &amp; (€ поразрЯдное)
           X operator++(int);     // постфиксный инкремент
           X operator&amp;(X,X);      // ошибка: &amp; не может быть тернарной
           X operator/();         // ошибка: / не может быть унарной
         };

        // глобальные функции (обычно друзьЯ)

         X operator-(X);          // префиксный унарный минус
         X operator-(X,X);        // бинарный минус
         X operator--(X&amp;,int);    // постфиксный инкремент
         X operator-();           // ошибка: нет операнда
         X operator-(X,X,X);      // ошибка: тернарнаЯ операциЯ
         X operator%(X);          // ошибка: унарнаЯ операциЯ %

 ЋперациЯ [] описываетсЯ в $$7.7, операциЯ () в $$7.8, операциЯ ->
 в $$7.9, а операции ++ и -- в $$7.10.

        7.2.2 Џредопределенные свойства операций

 €спользуетсЯ только несколько предположений о свойствах пользовательских
 операций. ‚ частности, operator=, operator[], operator() и
 operator-> должны быть нестатическими функциЯми-членами. ќтим
 обеспечиваетсЯ то, что первый операнд этих операций ЯвлЯетсЯ адресом.
    „лЯ некоторых встроенных операций их интерпретациЯ определЯетсЯ
 как комбинациЯ других операций, выполнЯемых над теми же операндами.
 ’ак, если a типа int, то ++a означает a+=1, что в свою очередь
 означает a=a+1. ’акие соотношениЯ не сохранЯютсЯ длЯ пользовательских
 операций, если только пользователь специально не определил их с такой
 целью. ’ак, определение operator+=() длЯ типа complex нельзЯ вывести
 из определений complex::operator+() и complex operator=().
    Џо исторической случайности оказалось, что операции = (присваивание),
 &amp;(взЯтие адреса) и , (операциЯ запЯтаЯ) обладают предопределенными
 свойствами длЯ объектов классов. Ќо можно закрыть от произвольного
 пользователЯ эти свойства, если описать эти операции как частные:

         class X {
            // ...
         private:
            void operator=(const X&amp;);
            void operator&amp;();
            void operator,(const X&amp;);
            // ...
         };

         void f(X a, X b)
         {
            a= b;   // ошибка: операциЯ = частнаЯ
            &amp;a;     // ошибка: операциЯ &amp; частнаЯ
            a,b     // ошибка: операциЯ , частнаЯ
         }

 ‘ другой стороны, можно наоборот придать с помощью соответствующих
 определений этим операциЯм иное значение.

        7.2.3 Ћператорные функции и пользовательские типы

 ЋператорнаЯ функциЯ должна быть либо членом, либо иметь по крайней
 мере один параметр, ЯвлЯющийсЯ объектом класса (длЯ функций,
 переопределЯющих операции new и delete, это не обЯзательно). ќто
 правило гарантирует, что пользователь не сумеет изменить
 интерпретацию выражений, не содержащих объектов пользовательского
 типа. ‚ частности, нельзЯ определить операторную функцию, работающую
 только с указателЯми. ќтим гарантируетсЯ, что в ‘++ возможны
 расширениЯ, но не мутации (не считаЯ операций =, &amp;, и , длЯ объектов
 класса).
     ЋператорнаЯ функциЯ, имеющаЯ первым параметр осн