Шрифт:
if (i2 != d) error ("Правый операнд % не целое число");
if (i2 == 0) error("%: деление на нуль");
left = i1%i2;
t = ts.get;
break;
}
default:
ts.putback(t); // возвращаем t обратно в поток
// Token_stream
return left;
}
}
}
Здесь мы лишь проверяем, изменилось ли число при преобразовании типа
double
в тип int
. Если нет, то можно применять оператор %
. Проблема проверки целочисленных операндов перед использованием оператора %
— это вариант проблемы сужения (см. разделы 3.9.2 и 5.6.4), поэтому ее можно решить с помощью оператора narrow_cast
.
case '%':
{ int i1 = narrow_cast<int>(left);
int i2 = narrow_cast<int>(term);
if (i2 == 0) error("%: деление на нуль");
left = i1%i2;
t = ts.get;
break;
}
Это очевидно короче и яснее, но не позволяет получать осмысленные сообщения об ошибках.
7.6. Приведение кода в порядок
7.6.1. Символические константы
Оглядываясь назад, вспомним, что с помощью символа
'8'
мы решили обозначать объекты класса Token
, содержащие числовое значение. На самом деле совершенно не важно, какое именно число будет обозначать числовые лексемы, нужно лишь, чтобы оно отличалось от индикаторов других разновидностей лексем. Однако наш код пока выглядит довольно странно, и мы должны вставить в него несколько комментариев.
case '8': // символ '8' обозначает число
return t.value; // возвращаем число
case '–':
return – primary;
'0'
, а не '8'
, поскольку забыли, какое число выбрали для этой цели. Иначе говоря, использование символа '8' непосредственно в коде, предназначенном для обработки объектов класса Token
, является непродуманным, трудным для запоминания и уязвимым для ошибок; символ '8'
представляет собой так называемую “магическую константу”, о которой мы предупреждали в разделе 4.3.1. Теперь необходимо ввести символическое имя константы, которая будет представлять число.
const char number = '8'; // t.kind==number означает, что t — число
Модификатор
const
сообщает компилятору, что мы определили объект, который не будет изменяться: например, выражение number='0'
должно вызвать сообщение об ошибке. При таком определении переменной number нам больше не нужно использовать символ '8'
явным образом. Фрагмент кода функции
primary
, упомянутый выше, теперь принимает следующий вид:
case number:
return t.value; // возвращает число
case '–':
return – primary;
Token_stream::get
, распознающий числа, принимает такой вид:
case '.':
case '0': case '1': case '2': case '3': case '4':
case '5': case '6': case '7': case '8': case '9':
{ cin.putback(ch); // вернуть цифру в поток ввода
double val;
cin >> val; // считать число с плавающей точкой
return Token(number,val);
}
Можно было бы придумать символические имена для всех лексем, но это излишне. Помимо всего прочего, символы
'('
и '+'
самоочевидны. Анализируя лексемы, легко понять, что лишь символы ';'
для инструкции “печать” (или “конец выражения”) и 'q'
для инструкции “выход” выбраны произвольным образом. А почему не 'p'
или 'e'
? В более крупной программе такая малопонятная и произвольная система обозначения рано или поздно вызвала бы проблемы, поэтому введем следующие переменные: