C++ за 21 день седьмое издание

#include

0. 
   using namespace std;
   

2 :

0. 
   class MyString
   

0. 
   {
   

0. 
   private:
   

0. 
   char* Buffer;
   

0. 
   

0. 
   // закрытый стандартный конструктор
   

0. 
   MyString(): Buffer(NULL)
   

   1 0 :	{
   11:	cout « "Default constructor called" « endl;
   1 2 :	}
   13:

1. 
   public:
   

0. 
   // Деструктор
   

0. 
   ~MyString()
   

332 ЗАНЯТИЕ 12. Типы операторов и их перегрузка

17:

0. 
   if (Buffer != NULL)
   

0. 
   delete [] Buffer;
   

   2 0 :	}
   2 1 :	int GetLengthO
   2 2 :

1. 
   _{
   

0. 
   return strlen(Buffer);
   

25:}

0. 
   

0. 
   operator const char*()
   

0. 
   {
   

0. 
   return Buffer;
   

30:


31:

0. 
   MyString operator* (const MyStringS AddThis)
   

0. 
   {
   

0. 
   cout « ’’operator* called: " « endl;
   

0. 
   MyString NewString;
   

   36:	if (AddThis.Buffer	NULL)
   37:

1. 
   {
   

0. 
   NewString.Buffer = new char[GetLength() \
   

1. 
   strlen(AddThis.Buffer) + 1];
   

1. 
   strcpy(NewString.Buffer, Buffer);
   

2. 
   strcat(NewString.Buffer, AddThis.Buffer);
   

3. 
   

4. 
   

5. 
   return NewString;
   

6. 
   }
   

46:

0. 
   // Конструктор
   

0. 
   MyString(const char* Initiallnput)
   

0. 
   {
   

0. 
   cout « "Constructor called for: " « Initiallnput « endl;
   

0. 
   if(Initiallnput != NULL)
   

0. 
   {
   

0. 
   Buffer = new char [strlen(Initiallnput) + 1];
   

0. 
   strcpy(Buffer, Initiallnput);
   

0. 
   }
   

0. 
   else
   

0. 
   Buffer = NULL;
   

0. 
   }
   

59:

0. 
   // конструктор копий
   

0. 
   MyString(const MyString& CopySource)
   

0. 
   {
   

0. 
   cout«"Copy constructor to copy from: " « CopySource.Buffer
   

1. 
   endl;
   

0. 
   if(CopySource.Buffer != NULL)
   

0. 
   {
   

66:	//	гарантировать	глубокое копирование, зарезервировав
	//	предварительно	собственный буфер
6 7 :	Buffer = new char		[strlen(CopySource.Buffer) + 1];

6 8:

0. 
   // копировать из оригинала в локальный буфер
   

0. 
   strcpy(Buffer, CopySource.Buffer);
   

71:

0. 
   else
   

0. 
   Buffer = NULL;
   

0. 
   }
   

75:

0. 
   // Оператор присвоения копии
   

0. 
   MyString& operator= (const MyString& CopySource)
   

0. 
   {
   

0. 
   cout«"Copy assignment operator to copy from: " « CopySource.Buffer « endl;
   
1. 
   if ((this != &CopySource) && (CopySource.Buffer != NULL))
   

0. 
   {
   

0. 
   if (Buffer != NULL)
   

   83:	delete[] Buffer;
   84:

1. 
   // гарантировать глубокое копирование, зарезервировав
   

// предварительно собственный буфер


86: Buffer = new char [strlen(CopySource.Buffer) + 1];
87:
8 8 : // копировать из оригинала в локальный буфер

0. 
   strcpy(Buffer, CopySource.Buffer);
   

0. 
   

0. 
   

0. 
   return *this;
   

0. 
   }
   

94:

0. 
   // Конструктор перемещения
   

0. 
   MyString(MyString&& MoveSource)
   

0. 
   _{
   

0. 
   cout « "Move constructor to move from: "
   

1. 
   MoveSource.Buffer « endl;
   

0. 
   if(MoveSource.Buffer != NULL)
   

   100:	{	// взять собственность
   101:	Buffer = MoveSource.Buffer;
   	MoveSource.Buffer = NULL;	// т .e . 'переместить'
   102:		//	освободить источник
   		//	перемещения

1. 
   }
   

0. 
   _}
   

105:

0. 
   // Оператор присваивания при перемещении
   

0. 
   MyStringS operator= (MyString&& MoveSource)
   

0. 
   _{
   

0. 
   cout«"Move assignment operator to move from: "
   

1. 
   MoveSource.Buffer « endl;
   

   110:	if((MoveSource.Buffer != NULL) &&	(this != &MoveSource))
   111:	{	собственный буфер
   112:	delete Buffer; // освободить
   113:

0. 
   Buffer = MoveSource.Buffer; // взять собственность
   

1. 
   т .e . 'переместить'
   
0. 
   ЗАНЯТИЕ 12. Типы операторов и их перегрузка
   

1. 
   MoveSource.Buffer = NULL; // освободить источник
   

1. 
   перемещения
   

116


117

0. 
   return *this;
   

0. 
   
1. 
   20: };
   

121
122 int main ()


123: {

0. 
   MyString Hello("Hello ");
   

0. 
   MyString World("World");
   

0. 
   MyString CPP(" of C++");
   

0. 
   

0. 
   MyString sayHelloAgain ("overwrite this");
   

0. 
   sayHelloAgain = Hello + World + CPP;
   

0. 
   

131	return 0;
132:	}

Результат

Вывод без конструктора перемещ ения и оператора присваивания при перемещении (при закомментированных строках 95-119):

Constructor called for: Hello


Constructor called for: World


Constructor called for: of C++


Constructor called for: overwrite this


operator+ called:


Default constructor called


Copy constructor to copy from: Hello World operator+ called:
Default constructor called


Copy constructor to copy from: Hello World of C++


Copy assignment operator to copy from: Hello World of C++

Вывод с конструктором перемещения и оператором присваивания при перемещении:

Constructor called for: Hello


Constructor called for: World


Constructor called for: of C++


Constructor called for: overwrite this


operator+ called:


Default constructor called


Move constructor to move from: Hello World operator+ called:
Default constructor called


Move constructor to move from: Hello World of C++


Move assignment operator to move from: Hello World of C++

Операторы, которые не могут быть перегружены

335

Анализ

Пример кода получился действительно длинным, но большая его часть уже была пред­ ставлена в предыдущих примерах и занятиях. Самая важная часть этого листинга находит­ ся в строках 95-119, где реализованы конструктор перемещения и оператор присваивания при перемещении соответственно. Те части вывода, на которые воздействуют нововведе­ ния стандарта С++11, выделены полужирным шрифтом. Обратите внимание, насколько существенно изменился вывод по сравнению с тем же классом, но без этих двух средств. Если рассмотреть реализацию конструктора перемещения и оператора присваивания при перемещении, то можно заметить, что семантика перемещения по существу реализуется за счет принятия принадлежности ресурсов от источника перемещения (строка 101 в кон­ структоре перемещения и строка 114 в операторе присваивания при перемещении). Непо­ средственно за этим следует присвоение значения NULL указателю источника (строки 102

0. 
   115). Таким образом, даже когда источник перемещения удаляется, вызываемый через деструктор в оператор d e l e t e (строки 16-20) по существу ничего не делает, поскольку собственность была передана объекту получателя. Обратите внимание, что в отсутствии конструктора перемещения вызывается конструктор копий, который осуществляет глубо­ кое копирование строки. Таким образом, конструктор перемещения существенно эконо­ мит на продолжительности обработки и сокращает количество нежелательных операций резервирования памяти и этапов копирования.
   

Создание конструктора перемещения и оператора присваивания при перемещении со­ вершенно необязательно. В отличие от конструктора копий и оператора присвоения копии, компилятор не добавляет его стандартную реализацию сам.

Используйте эти средства С++11 для оптимизации работы классов, которые указывают на динамически распределяемые ресурсы, которые в противном случае требовали бы глу­ бокого копирования даже в тех случаях, где они требуются только временно.