Объекты класса могут копироваться двумя способами: либо присваиванием($$R.5.17), либо инициализацией ($$R.12.1, $$R.8.4), которая можетпроисходить при передаче параметров ($$R.5.2.2) илирезультата функции ($$R.6.6.3). Для класса X эти две операцииконцептуально реализуются как операция присваивания и конструкторкопирования ($$R.12.1). В программе можно определить или одну из них,или обе. Если пользователь не определил их в программе, то они будутдля всех членов класса X определяться соответственно как присваиваниепо членам и инициализация по членам. Если все базовые классы и все члены класса X имеют конструкторкопирования, в котором допустимы в качестве параметра объекты типаconst, то порождаемый конструктор копирования для X будет иметьединственный параметр типа const X& и записываться так: X::X(const X&) Иначе, у него будет единственный параметр типа X&: X::X(X&) и инициализация копированием объектов типа const класса X будетневозможна. Аналогично, если все базовые классы и члены класса X имеютоперацию присваивания, допускающую параметры типа const, тогдапорождаемая для X операция присваивания будет иметь единственныйпараметр типа const X& и записываться так: X& X::operator=(const X&) Иначе, у нее будет единственный параметр типа X&: X& X::operator=(X&) и присваивание копированием объектов класса X типа const будетневозможно. Стандартная операция присваивания возвращает ссылкуна объект, который нужно было копировать. Объекты, представляющие виртуальные базовые классы, будутинициализироваться только один раз с помощью порождаемогоконструктора копирования. Объекты, представляющие виртуальныебазовые классы, допускают присваивания им только один раз с помощьюпорождаемой операции присваивания. Присваивание по членам и инициализация по членам означаютследующее: если класс X имеет в качестве члена класс M, для реализацииприсваивания и инициализации члена используются операции присваиванияв M и конструктор копирования M соответственно. Если класс имеетчлен типа const, или член, являющийся ссылкой, или член или базовыйкласс такого класса, где функция operator=() является частной,то для него стандартная операция присваивания не может быть создана.Аналогично, если член или базовый класс класса M имеет частныйконструктор копирования, то стандартный конструктор копирования длятакого класса не может быть создан. Пока не появится необходимость в определении, стандартные присваиваниеи конструктор копирования будут только описаны (т.е. не будет созданотело функции). Иными словами, функция X::operator=() будет порожденатолько тогда, когда нет явного описания операций присваивания, а объекткласса X присваивается объекту класса X или объекту класса, производногоот X, или вычисляется адрес функции X::operator=(). Аналогичная ситуацияс инициализацией. Если присваивание и конструктор копирования описаны неявно, тоони будут общими функциями-членами и операция присваивания для классаX определяется таким образом, что ее результатом является ссылкатипа X& на объект, которому присваивают. Если в классе X есть функция X::operator=(), параметром которойявляется сам класс X, то стандартное присваивание не будетпорождаться. Если в классе определен какой-либо конструкторкопирования, то стандартный конструктор копирования не будетпорождаться. Приведем пример: class X { //... public: X(int); X(const X&, int = 1); }; X a(1); // вызов X(int) X b(a,0); // вызов X(const X&,int) X c = b; // вызов X(const X&,int) Присваивание объектов класса X определяется через функциюX::operator=(const X&). Это означает ($$R.12.3), что объектыпроизводного класса можно присваивать объектам общего базовогокласса, например: class X { public: int b; }; class Y: public X { public: int c; }; void f() { X x1; Y y1; x1 = y1; // нормально y1 = x1; // ошибка } В этом примере y1.b присваивается x1.b, а x1.c не копируется. Копирование одного объекта в другой с помощью стандартнойоперации копирования или стандартного конструктора копированияне изменяет структуру обоих объектов. Приведем пример: struct s { virtual f(); //... }; struct ss: public s { f(); //... }; void f() { s a; ss b; a = b; // на самом деле выполняется a.s::operator=(b) b = a; // ошибка a.f(); // вызов s::f b.f(); // вызов ss::f (s&)b = a; // присваивание a b // на самом деле выполняется ((s&)b).s::operator=(a) b.f(); // все еще вызов ss::f } Вызов a.f() приведет к вызову s::f() (как и должно быть для объектакласса s ($$R.10.2)), а вызов b.f() приведет к вызову ss::f()(как и должно быть для объекта класса ss).
