И.А. Волкова, А.В. Иванов, Л.Е. Карпов - Основы объектно-ориентированного программирования. Язык программирования С++ (1114893), страница 6
Текст из файла (страница 6)
. .}В этом случае при объявлении переменной:stack st1 = 15будет выдана ошибка компиляции: невозможно преобразовать целочисленное значение в тип класса stack.4.5. Конструктор копированияи операция присваиванияЕсли объект уже создан, то операция присваивания «=» осуществляет неинициализацию создаваемого объекта, а копирование данных, то есть передачу данных между существующими объектами.33Конструкторы и деструкторыПример:box b3(4,1,1); // создание объекта b3box b2;// создание объекта b2b2 = b3;// операция присваивания: копирование объекта// b3 в существующий объект b2.В операции присваивания, так же, как и в конструкторе копирования, поумолчанию осуществляется поверхностное копирование. Если требуетсяглубокое копирование, то необходимо перегрузить (описать нужный алгоритм) операцию присваивания.
Перегрузка операций рассматриваетсяв следующих разделах.4.6. Автоматическая генерацияконструкторов и деструкторовАвтоматически могут генерироваться только конструкторы умолчания, конструкторы копирования и деструкторы.Если в классе явно не описано ни одного конструктора, то автоматически генерируется конструктор умолчания с пустым телом.Если в классе явно описан хотя бы один конструктор, например, конструктор копирования, то конструктор умолчания не будет автоматическигенерироваться, даже, если он необходим в соответствии с постановкой задачи.В случае отсутствия в классе явно описанного конструктора копирования он всегда генерируется автоматически и обеспечивает поверхностноекопирование.Если в классе не описан деструктор, то всегда автоматически генерируется деструктор, который не производит никаких действий.Таким образом, даже если в классе не описаны конструкторыи деструктор, они все равно неявно присутствуют в нем.4.7.
Список инициализацииПри инициализации информационных членов класса, являющихся объектами, создаваемыми на основе других классов, вызываются их конструкторыумолчания. Если внутренние объекты должны быть созданыс использованием параметров (то есть должны быть использованы конструктор преобразования, копирования или конструктор с двумя и более параметрами), то для этого может быть использован список инициализации.в списке инициализации также могут быть инициализированы внутренниеобъекты встроенных типов.Список инициализации указывается в описании конструктора основного класса.34Конструкторы и деструкторыПрототип конструктора со списком инициализации:Имя_класса ( параметры ) : список_инициализации{ тело_класса }Список инициализации — последовательность разделенных запятойинициализируемых переменных встроенных типов и конструкторов для переменных, представляющих объекты типов описанных классов (пользовательских типов данных), а также необходимых конструкторов преобразования или конструкторов с двумя и более параметрами для базовых классов, откоторых унаследован описываемый класс.В качестве инициализаторов переменных встроенных типови параметров конструкторов могут выступать формальные параметры конструктора описываемого класса.
в случае использования списка инициализации тело конструктора может оказаться пустым. Но и в этом виде онообязательно должно присутствовать.Пример:class Z0{int z01;public:Z0(){z01 = 0;}Z0 ( int pz0 ){z01 = pz0;}};class Point{int x, y;public:Point(): x(0), y(0){}Point ( int x1, const int y1 ): x(x1), y(y1) {}Point ( const point& p1 ): x(p1.x), y(p1.y) {}};class Z1{Point p, p2, p3;int z;public:Z1(int z2, int x2, int y2, int pz01):p2(x2,y2), p(pz01,0), p3(p2), z(z2){}};int main(){z1* z3 = new z1(1,2,3,4);return 0;}Недопустимо использование конструкторов с параметрами (даже константами) при описании подобъектов классов (членов-данных, являющихсяобъектами других классов).
Если подобъект класса необходимо инициализировать с использованием констант, то это можно сделать только в строке35Конструкторы и деструкторыинициализации. Так, класс z1 из приведенного только что примера не можетбыть описан следующим образом:class z1{point p;point p2(2,3); // ОШИБКА!point p3;int z;public:z1(int z2): p3(p2),z(z2){}(p2){}};Правильное описание класса:class z1{point p, p2, p3;int z;public:z1(int z2): p2(2,3),p3(p2),z(z2){}};Если бы в классе z1 были описаны несколько конструкторов, то в строкуинициализации каждого из них необходимо было бы поместить вызов конструктора с двумя и более параметрами для поля p2.4.8. Порядок вызоваконструкторов и деструкторовИтак, конструкторы можно классифицировать по набору входных параметров следующим образом:1) x ()— конструктор умолчания,2) x (x&), x (const x&)— конструктор копирования,3) x (t), x (t&), x (const t&)— конструктор преобразования,4) конструктор с двумя и более параметрами.В классе может быть описано несколько конструкторов преобразованияи конструкторов с двумя и более параметрами.
Единственное требование кним: не может быть двух конструкторов с одинаковым (по типам) наборомпараметров, в частности, не может быть двух конструкторов умолчания.При создании объекта конструкторы вызываются в следующемпорядке:1. Конструкторы базовых классов, если класс для создаваемого объекта является наследником других классов в порядке их появленияв описании класса. Если в списке инициализации описываемогокласса присутствует вызов конструктора преобразования (или конструктора с двумя и более параметрами) базового класса, то вызывается конструктор преобразования (или конструктор с двумяи более параметрами), иначе вызывается конструктор умолчаниябазового класса.36Конструкторы и деструкторы2.
Конструкторы умолчания всех вложенных информационныхчленов, которые не перечислены в списке инициализации,и конструкторы преобразования, копирования и конструкторыс двумя и более параметрами всех вложенных информационныхчленов, которые перечислены в списке инициализации. Все перечисленные в данном пункте конструкторы (умолчания, преобразования, копирования, с двумя и более параметрами) вызываютсяв порядке описания соответствующих информационных членовв классе.3. Собственный конструктор.Такая последовательность вызова конструкторов логически обосновывается тем, что в момент выполнения собственного конструктора все информационные поля должны быть уже проинициализированы.Деструкторы вызываются в обратном порядке:1.
Собственный деструктор. в момент начала его работы поля классаеще не очищены, и их значения могут быть использованы в теледеструктора.2. Деструкторы вложенных объектов в порядке, обратном порядку ихописания.3. Деструкторы базовых классов в обратном порядке их задания.Свод ситуаций, при которых вызываются конструкторы и деструкторыОбычный конструктор (не копирования) вызывается:1) при создании объекта ( при обработке описания объекта);2) при создании объекта в динамической памяти (с использованиемоперации new). При этом в динамической памяти предварительноотводится необходимый по объему фрагмент памяти;3) при композиции объектов;4) при создании объекта производного класса.ЗамечаниеЕсли в программе создается не единичный (скалярный) объект, а массивобъектов, то в соответствующем классе (структуре) должен быть конструкторумолчания (явно или неявно сгенерированный). Действительно, при объявлении массива объектов или создании массива в динамической памяти указывается размерность массива, что несовместимо с заданием параметров дляконструктора преобразования или конструктора с двумя и более параметрами:class X{ .
. .};X* x1 = new X[10];Как уже было указано, если в классе явно описан хотя бы один конструктор, то конструктор умолчания не генерируется системой неявно. Дляудаления такого массива должна применяться векторная форма операцииdelete, при использовании которой деструктор вызывается для каждого элемента массива:delete[] x137Конструкторы и деструкторыКонструктор копирования вызывается:1) при инициализации создаваемого объекта:box a(1,2,3);box b = a;// вызов конструктора с тремя параметрами// инициализация2) при инициализации временным объектом:box c = box(3,4,5)3) при передаче параметров-объектов в функцию по значению:int f(box b)4) при возвращении результата работы функции в виде объекта.box f ()Примечание 1Если используется оптимизирующий компилятор, то при обработке инициализации вида:box c = box(3,4,5)временный объект не создается, и вместо конструктора копирования используется конструктор с тремя параметрами:(box c(3,4,5))Примечание 2Если при возвращении результата работы функции в виде объекта тип возвращаемого значения не совпадает с типом результата работы функции, товызывается не конструктор копирования, а конструктор преобразования илифункция преобразования ( описывается ниже).
Данное преобразованиевы-полняется, если оно однозначно. Иначе фиксируется ошибка.Пример:class Y;class X{. . .public:X ( const Y& y1 );. . .};class Y{. . .38Конструкторы и деструкторыpublic:. . .X f(){. . .return *this;}};X::X(const Y& y1){. . .}Деструктор вызывается:1) при свертке стека — при выходе из блока описания объекта,в частности, при обработке исключений (при выходе из try-блока пооператору throw, try-блоки описываются далее), завершении работыфункций;2) при уничтожении временных объектов — сразу, как только завершится конструкция, в которой они использовались;3) при выполнении операции delete для указателя, получившего значение в результате выполнения операции new. После выполнениядеструктора освобождается выделенный для объекта участок памяти;4) при завершении работы программы при уничтожении глобальныхи статических объектов.ПримечаниеВсе правила описания и использования конструкторов и деструкторов применимы и для структур.39Статические члены классаГлава 5.Статические члены классаИнформационные члены класса, которые могут быть представленыв единственном экземпляре для всех объектов данного типа, в случае такогопредставления называются статическими членами.
Они не являются частьюобъектов этого класса и размещаются в статической памяти. Для их описанияиспользуется служебное слово static.Для всех объектов, созданных на основе класса, содержащего статический член, существует только одна копия этого члена. Примером такогостатического члена является счетчик числа созданных объектов данногокласса. Такой счетчик может существовать только в отрыве от всех экземпляров объектов данного класса, в то же время работать с ним обычно приходится одновременно с вызовом обычных методов, например, конструкторов объектов, поэтому описывать счетчик удобнее именно как элементкласса.Статическими могут быть не только информационные члены класса, нои его методы.
Статический метод не может использовать никакие нестатические члены класса, так как, являясь частью класса, а не объекта, он не имеетнеявного параметра this. Поскольку статический метод не использует специфического содержимого конкретного объекта, то обращение к нему можетосуществляться не только с использованием идентификатора объекта, но ис использованием идентификатора класса:имя_класса ::имя_функции (фактические_параметры)Одно из очевидных применений статических методов — манипуляцияглобальными объектами и статическими полями данных соответствующегокласса.Примечание 1Статические методы класса не могут вызывать нестатические, так как последние имеют доступ к данным конкретных объектов.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
