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

let var = 7.2;

Грамматика принимает следующий вид:

Вычисление:

  Инструкция

  Печать

  Выход

  Инструкция вычисления

Инструкция:

  Объявление

  Выражение

Объявление:

  "let" Имя "=" Выражение

Вычисление — это новое правило вывода в грамматике. Оно выражает цикл (в функции

calculate()
), который позволяет выполнять несколько вычислений в ходе одного сеанса работы программы. При обработке выражений и объявлений это правило опирается на правило Инструкция. Например, инструкцию можно обработать следующим образом:

double statement()

{

  Token t = ts.get();

  switch (t.kind) {

  case let:

    return declaration();

    default:

    ts.putback(t);

    return expression();

  }

}

Вместо функции

expression()
в функции
calculate()
можем использовать функцию
statement()
.

void calculate()

{

  while (cin)

  try {

    cout << prompt;

    Token t = ts.get();

    while (t.kind == print) t=ts.get(); // игнорируем
"печать"

    if (t.kind == quit) return;         // выход

    ts.putback(t);

    cout << result << statement() << endl;

  }

  catch (exception& e) {

    cerr << e.what() << endl;           // выводим сообщение об ошибке

    clean_up_mess();

  }

}

Теперь необходимо написать функцию

declaration()
. Что следует сделать? Нужно убедиться, что после ключевого слова
let
следует Имя, а за ним — символ = и Выражение. Именно это утверждает грамматика. Что делать с членом
name
? Мы должны добавить в вектор
var_table
типа
vector<Variable>
объект класса
Variable
c заданными строкой name и значением выражения. После этого мы сможем извлекать значения с помощью функции
get_value()
и изменять их с помощью функции
set_value()
. Однако сначала надо решить, что случится, если мы определим переменную дважды. Рассмотрим пример.

let v1 = 7;

let v1 = 8;

Мы решили, что повторное определение является ошибкой. Обычно это просто синтаксическая ошибка. Вероятно, мы имели в виду не то, что написали, а следующие инструкции:

let v1 = 7;

let v2 = 8;

Определение объекта класса

Variable
с именем
var
и значением
val
состоит из двух логических частей.

1. Проверяем, существует ли в векторе

var_table
объект класса
Variable
с именем
var
.

2. Добавляем пару (

var
,
val
) в вектор
var_table
.

Мы не должны использовать неинициализированные переменные, поэтому определили функции

is_declared()
и
define_name()
, представляющие эти две операции.

bool is_declared(string var)

  // есть ли переменная var в векторе var_table?

{

  for (int i = 0; i<var_table.size(); ++i)

  if (var_table[i].name == var) return true;

  return false;

}

double define_name(string var, double val)

  // добавляем пару (var,val) в вектор var_table

{

  if (is_declared(var)) error(var,"declared twice");

  var_table.push_back(Variable(var,val));

  return val;

}

Добавить новый объект класса

Variable
в вектор типа
vector<Variable>
легко; эту операцию выполняет функция-член вектора
push_back()
.

var_table.push_back(Variable(var,val));

Вызов конструктора

Variable(var,val)
создает соответствующий объект класса
Variable
, а затем функция
push_back()
добавляет этот объект в конец вектора
var_table
. В этих условиях и с учетом лексем
let
и
name
функция
declaration()
становится вполне очевидной.