C++ для начинающих

Ниже показаны реализации различных встроенных операций eval. Операции evalAnd() и evalOr() выполняют следующие шаги. Сначала объект извлекается из стека _query_stack (напомним, что для класса stack, определенного в стандартной библиотеке, это требует двух операций: top() для получения элемента и pop() для удаления его из стека). Затем из хипа выделяется память для объекта класса AndQuery или OrQuery, и указатель на него передается объекту, извлеченному из стека. Каждая операция передает объекту AndQuery или OrQuery счетчики левых или правых скобок, необходимые ему для вывода своего содержимого. И наконец неполный оператор помещается в стек _current_op:

inline void

UserQuery::

evalAnd()

{

Query *pop = _query_stack.top(); _query_stack.pop();

AndQuery *pq = new AndQuery( pop );

if ( _lparenOn )

{ pq-lparen( _lparenOn ); _lparenOn = 0; }

if ( _rparenOn )

{ pq-rparen( _rparenOn ); _rparenOn = 0; }

_current_op.push( pq );

}

inline void

UserQuery::

evalOr()

{

Query *pop = _query_stack.top(); _query_stack.pop();

OrQuery *pq = new OrQuery( pop );

if ( _lparenOn )

{ pq-lparen( _lparenOn ); _lparenOn = 0; }

if ( _rparenOn )

{ pq-rparen( _rparenOn ); _rparenOn = 0; }

_current_op.push( pq );

}

Операция evalNot() работает следующим образом. В хипе создается новый объект класса NotQuery, которому передаются счетчики левых и правых скобок для правильного отображения содержимого. Затем неполный оператор помещается в стек _current_op:

inline void

UserQuery::

evalNot()

{

NotQuery *pq = new NotQuery;

if ( _lparenOn )

{ pq-lparen( _lparenOn ); _lparenOn = 0; }

if ( _rparenOn )

{ pq-rparen( _rparenOn ); _rparenOn = 0; }

_current_op.push( pq );

}

При обнаружении закрывающей скобки вызывается операция evalRParen(). Если число активных левых скобок больше числа элементов в стеке _current_op, то ничего не происходит. В противном случае выполняются следующие действия. Из стека _query_stack извлекается текущий еще не присоединенный к оператору операнд, а из стека _current_op - текущий неполный оператор. Вызывается виртуальная функция add_op() класса Query, которая их объединяет. И наконец полный оператор помещается в стек _query_stack:

inline void

UserQuery::

evalRParen()

{

if ( _paren _current_op.size() )

{

Query *poperand = _query_stack.top();

_query_stack.pop();

Query *pop = _current_op.top();

_current_op.pop();

pop-add_op( poperand );

_query_stack.push( pop );

}

}

Операция evalWord() выполняет следующие действия. Она ищет указанное слово в отображении _word_map взятых из файла слов на векторы позиций. Если слово найдено, берется его вектор позиций и в хипе посредством конструктора с двумя параметрами создается новый объект NameQuery. В противном случае объект порождается с помощью конструктора с одним параметром. Если число элементов в стеке _current_op меньше либо равно числу встреченных ранее скобок, то нет неполного оператора, ожидающего операнда типа NameQuery, поэтому новый объект помещается в стек _query_stack. Иначе из стека _current_op извлекается неполный оператор, к которому с помощью виртуальной функции add_op() присоединяется операнд NameQuery, после чего ставший полным оператор помещается в стек _query_stack:

inline void

UserQuery::

evalWord( const string &query )

{

NameQuery *pq;

loc *ploc;

if ( ! _word_map-count( query ))

pq = new NameQuery( query );

else {

ploc = ( *_word_map )[ query ];

pq = new NameQuery( query, *ploc );

}

if ( _current_op.size() = _paren )

_query_stack.push( pq );

else {

Query *pop = _current_op.top();

_current_op.pop();

pop-add_op( pq );

_query_stack.push( pop );

}

}

Упражнение 17.21

Напишите деструктор, копирующий конструктор и копирующий оператор присваивания для класса UserQuery.

Упражнение 17.22