>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.21. Напишите собственную версию класса >Token.
Упражнение 19.22. Добавьте в класс >Token член типа >Sales_data