Язык программирования C++. Пятое издание

Token &Token::operator=(const std::string &s) {

 if (tok == STR) // если строка уже содержится, просто присвоить новую

  sval = s;

 else

  new(&sval) string(s); // в противном случае создать строку

 tok = STR; // обновить дискриминант

 return *this;

}

В данном случае, если объединение уже содержит строку, можно использовать обычный оператор присвоения класса string, чтобы предоставить новое значение существующей строке. В противном случае не будет никакого объекта класса string для вызова его оператора присвоения. Вместо этого придется создать строку в памяти, которая содержит объединение. Для создания строки в области, где располагается sval, используется размещающий оператор new (см. раздел 19.1.2). Строка инициализируется копией строкового параметра, затем обновляется дискриминант и осуществляется выход.

Управление членами объединения, требующее управления копированием

Подобно специфическим для типа операторам присвоения, конструктор копий и операторы присвоения должны проверять дискриминант, чтобы знать, как копировать переданное значение. Для выполнения этих действий определим функцию-член copyUnion().

Когда происходит вызов функции copyUnion() из конструктора копий, член объединения будет инициализирован значением по умолчанию, означая, что будет инициализирован первый член объединения. Поскольку строка не является первым элементом, вполне очевидно, что объединение содержит не строку. Оператор присвоения должен учитывать возможность того, что объединение уже содержит строку. Отработаем этот случай непосредственно в операторе присвоения. Таким образом, если параметр функции copyUnion() содержит строку, она должна создать собственную строку:

void Token::copyUnion(const Token &t) {

 switch (t.tok) {

 case Token::INT: ival = t.ival; break;

 case Token::CHAR: cval = t.cval; break;

 case Token::DBL: dval = t.dval; break;

 // для копирования строки создать ее, используя размещающий

 // оператор new; см. раздел 19.1.2

 case Token::STR: new(&sval) string(t.sval); break;

 }

}

Для проверки дискриминанта эта функция использует оператор switch (см. раздел 5.3.2). Значения встроенных типов просто присваиваются соответствующему члену; если копируемый член имеет тип string, он создается.

Оператор присвоения должен отработать три возможности для члена типа string: левый и правый операнды являются строками; ни один из операндов не является строкой; один, но не оба операнда являются строкой:

Token &Token::operator=(const Token &t) {

 // если этот объект содержит строку, a t нет, прежнюю строку следует

 // освободить

 if (tok == STR && t.tok != STR) sval.~string();

 if (tok == STR && t.tok == STR)

  sval = t.sval; // нет необходимости создавать новую строку

 else

  copyUnion(t); // создать строку, если t.tok содержит STR

 tok = t.tok;

 return *this;

}

Если объединение в левом операнде содержит строку, а объединение в правом — нет, то сначала следует освободить прежнюю старую строку, прежде чем присваивать новое значение члену объединения. Если оба объединения содержат строку, для копирования можно использовать обычный оператор присвоения класса string. В противном случае происходит вызов функции copyUnion(), осуществляющей присвоение. В функции copyUnion(), если правый операнд — строка, создается новая строка в члене объединения левого операнда. Если ни один из операндов не будет строкой, то достаточно обычного присвоения.

Упражнения раздела 19.6

Упражнение 19.21. Напишите собственную версию класса Token.

Упражнение 19.22. Добавьте в класс Token член типа Sales_data.

Упражнение 19.23. Добавьте в класс Token конструктор перемещения и присвоения.

Упражнение 19.24. Объясните, что происходит при присвоении объекта класса Token самому себе.

Упражнение 19.25. Напишите операторы присвоения, получающие значения каждого типа в объединении.

19.7. Локальные классы