let y = 2;
x+y*2;
Чем различаются эти примеры? Посмотрим, что происходит. Проблема в том, что мы небрежно определили лексему
Имя
. Мы даже “забыли” включить правило вывода
Имя
в грамматику (раздел 7.8.1). Какие символы могут бы частью имени? Буквы? Конечно. Цифры? Разумеется, если с них не начинается имя. Символ подчеркивания? Нет? Символ
+
? Неужели?
Посмотрим на код еще раз. После первой буквы считываем строку в объект класса
string
с помощью оператора
>>
. Он считывает все символы, пока не встретит пробел. Так, например, строка
x+y*2;
является отдельным именем — даже завершающая точка с запятой считывается как часть имени. Это неправильно и неприемлемо.
Что же сделать вместо этого? Во-первых, мы должны точно определить, что представляет собой имя, а затем изменить функцию
get()
. Ниже приведено вполне разумное определение имени: последовательность букв и цифр, начинающаяся с буквы. Например, все перечисленные ниже строки являются именами.
a
ab
a1
Z12
asdsddsfdfdasfdsa434RTHTD12345dfdsa8fsd888fadsf
А следующие строки именами не являются:
1a
as_s
#
as*
a car
За исключением отброшенного символа подчеркивания это совпадает с правилом языка С++. Мы можем реализовать его в разделе
default
в функции
get()
.
default:
if (isalpha(ch)) {
string s;
s += ch;
while (cin.get(ch) && (isalpha(ch) || isdigit(ch)))
s+=ch;
cin.putback(ch);
if (s == declkey) return Token(let); // ключевое слово let
return Token(name,s);
}
error("Неправильная лексема");
Вместо непосредственного считывания в объект
string s
считываем символ и записываем его в переменную
s
, если он является буквой или цифрой. Инструкция
s+=ch
добавляет (приписывает) символ
ch
в конец строки
s
. Любопытная инструкция
while (cin.get(ch) && (isalpha(ch) || isdigit(ch)) s+=ch;
считывает символ в переменную
ch
(используя функцию-член
get()
потока
cin
) и проверяет, является ли он символом или цифрой. Если да, то она добавляет символ
ch
в строку
s
и считывает символ снова. Функция-член
get()
работает как оператор
>>
, за исключением того, что не может по умолчанию пропускать пробелы.
7.8.3. Предопределенные имена
Итак, теперь можем легко предопределить некоторые из них. Например, если представить, что наш калькулятор будет использован для научных вычислений, то нам понадобятся имена
pi
и
e
. В каком месте кода их следует определить? В функции
main()
до вызова функции
calculate()
или в функции
calculate()
до цикла. Мы поместим их определения в функцию
main()
, поскольку они не являются частью каких-либо вычислений.
int main()
try {
// предопределенные имена:
define_name("pi",3.1415926535);
define_name("e",2.7182818284);
calculate();
keep_window_open(); // обеспечивает консольный режим Windows
return 0;
}
catch (exception& e) {
cerr << e.what() << endl;
keep_window_open("~~");
return 1;
}
catch (...) {
cerr << "exception \n";
keep_window_open("~~");
return 2;
}
7.8.4. Все?
Еще нет. Мы внесли так много изменений, что теперь программу необходимо снова протестировать, привести в порядок код и пересмотреть комментарии. Кроме того, можно было бы сделать больше определений. Например, мы “забыли” об операторе присваивания (см. упр. 2), а наличие этого оператора заставит нас как-то различать переменные и константы (см. упр. 3). Вначале мы отказались от использования именованных переменных в калькуляторе. Теперь, просматривая код их реализации, можем выбрать одну из двух реакций.
1. Реализация переменных была совсем неплохой; она заняла всего три дюжины строк кода.
2. Реализация переменных потребовала много работы. Она коснулась каждой функции и внесла новую концепцию в проект калькулятора. Она увеличила размер программы на 45%, а ведь мы еще даже не приступали к реализации оператора присваивания.
Если учесть, что наша первая программа имеет значительную сложность, вторая реакция является правильной. И вообще, это справедливо относительно любого предложения, увеличивающего на 50% размер или сложность программы. В такой ситуации целесообразнее написать новую программу, основанную на предыдущих наработках. В частности, намного лучше создавать программу поэтапно, как мы разрабатывали калькулятор, чем пытаться сделать ее целиком и сразу.
