Программирование. Принципы и практика использования C++ Исправленное издание, Страуструп Бьерн

Программирование. Принципы и практика использования C++ Исправленное издание

на обложку

Страуструп Бьерн

Шрифт:

7.8.2. Использование имен

Все это очень хорошо, но, к сожалению, не работает. Это не должно было стать для нас сюрпризом. Первый вариант никогда — почти никогда — не работает. В данном случае мы даже не закончили программу — она даже не скомпилируется. У нас нет лексемы

'='

, но это легко исправить, добавив дополнительный раздел

case

в функцию

Token_stream::get

(см. раздел 7.6.3). А как представить ключевые слова

let

name

в виде лексем? Очевидно, для того чтобы распознавать эти лексемы, необходимо модифицировать функцию

get

. Как? Вот один из способов.

const char name = 'a'; //

лексема name

const char let = 'L'; // лексема let

const string declkey = "let"; // ключевое слово let

Token Token_stream::get

{

if (full) { full=false; return buffer; }

char ch;

cin >> ch;

switch (ch) {

// как и прежде

default:

if (isalpha(ch)) {

cin.putback(ch);

string s;

cin>>s;

if (s == declkey) return Token(let); // ключевое

слово let

return Token(name,s);

}

error("Неправильная лексема");

}

В первую очередь обратите внимание на вызов функции

isalpha(ch)

. Этот вызов отвечает на вопрос “Является ли символ

буквой?”; функция

isalpha

принадлежит стандартной библиотеке и описана в заголовочном файле

std_lib_facilities.h

. Остальные функции классификации символов описаны в разделе 11.6. Логика распознавания имен совпадает с логикой распознавания чисел: находим первый символ соответствующего типа (в данном случае букву), а затем возвращаем его назад в поток с помощью функции

putback

и считываем все имя целиком с помощью оператора

К сожалению, этот код не компилируется; класс

Token

не может хранить строку, поэтому компилятор отказывается распознавать вызов

Token(name,s)

. К счастью, эту проблему легко исправить, предусмотрев такую возможность в определении класса

Token

class Token {

public:

char kind;

double value;

string name;

Token(char ch):kind(ch), value(0) { }

Token(char ch, double val) :kind(ch), value(val) { }

Token(char ch, string n) :kind(ch), name(n) { }

};

Для представления лексемы

let

мы выбрали букву

'L'

, а само ключевое слово храним в виде строки. Очевидно, что это ключевое слово легко заменить ключевыми словами

double

var

, просто изменив содержимое строки

declkey

, с которой сравнивается строка

Попытаемся снова протестировать программу. Если напечатать следующие выражения, то легко убедиться, что программа работает:

let x = 3.4;

let y = 2;

x + y * 2;

Однако

следующие выражения показывают, что программа еще не работает так, как надо:

let x = 3.4;

let y = 2;

x+y*2;

Чем различаются эти примеры? Посмотрим, что происходит. Проблема в том, что мы небрежно определили лексему

Имя

. Мы даже “забыли” включить правило вывода

Имя

в грамматику (раздел 7.8.1). Какие символы могут бы частью имени? Буквы? Конечно. Цифры? Разумеется, если с них не начинается имя. Символ подчеркивания? Нет? Символ

? Неужели?

Посмотрим на код еще раз. После первой буквы считываем строку в объект класса

string

с помощью оператора

. Он считывает все символы, пока не встретит пробел. Так, например, строка

x+y*2;

является отдельным именем — даже завершающая точка с запятой считывается как часть имени. Это неправильно и неприемлемо.

Что же сделать вместо этого? Во-первых, мы должны точно определить, что представляет собой имя, а затем изменить функцию

get

. Ниже приведено вполне разумное определение имени: последовательность букв и цифр, начинающаяся с буквы. Например, все перечисленные ниже строки являются именами.

Z12

asdsddsfdfdasfdsa434RTHTD12345dfdsa8fsd888fadsf

А следующие строки именами не являются:

as_s

as*

a car

За исключением отброшенного символа подчеркивания это совпадает с правилом языка С++. Мы можем реализовать его в разделе

default

в функции

get

default:

if (isalpha(ch)) {