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

Ниже приводится трассировка выполнения запроса NotQuery. Операнд встречается в 0, 3 и 5 строках текста. (Напомним, что внутри программы строки текста в векторе нумеруются с 0; а когда мы предъявляем строки пользователю, мы нумеруем их с единицы.) Поэтому при вычислении ответа создается вектор, содержащий начальные позиции слов в строках 1,2 и 4. (Мы отредактировали вектор позиций, чтобы он занимал меньше места.)

== ! daddy

daddy ( 3 ) lines match

display_location_vector:

first: 0 second: 8

first: 3 second: 3

first: 5 second: 5

! daddy ( 3 ) lines match

display_location_vector:

first: 1 second: 0

first: 1 second: 1

first: 1 second: 2

...

first: 1 second: 10

first: 2 second: 0

first: 2 second: 1

...

first: 2 second: 12

first: 4 second: 0

first: 4 second: 1

...

first: 4 second: 12

Requested query: ! daddy

( 2 ) when the wind blows through her hair, it looks almost alive,

( 3 ) like a fiery bird in flight. A beautiful fiery bird, he tells her,

( 5 ) she tells him, at the same time wanting him to tell her more.

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

class less_than_pair {

public:

bool operator()( location loc1, location loc2 )

{

return (( loc1.first loc2.first ) ||

( loc1.first == loc2.first ) &&

( loc1.second loc2.second ));

}

};

void OrQuery::eval()

{

// вычислить левый и правый операнды

_lop-eval();

_rop-eval();

// подготовиться к объединению двух векторов позиций

vector location, allocator ::const_iterator

riter = _rop-locations()-begin(),

liter = _lop-locations()-begin(),

riter_end = _rop-locations()-end(),

liter_end = _lop-locations()-end();

merge( liter, liter_end, riter, riter_end,

inserter( _loc, _loc.begin() ),

less_than_pair() );

}

А вот трассировка выполнения запроса OrQuery, в которой мы выводим вектор позиций каждого из двух операндов и результат их объединения. (Напомним еще раз, что для пользователя строки нумеруются с 1, а внутри программы - с 0.)

== fiery || untamed

fiery ( 1 ) lines match

display_location vector:

first: 2 second: 2

first: 2 second: 8

untamed ( 1 ) lines match

display_location vector:

first: 3 second: 2

fiery || untamed ( 2 ) lines match

display_location vector:

first: 2 second: 2

first: 2 second: 8

first: 3 second: 2

Requested query: fiery || untamed

( 3 ) like a fiery bird in flight. A beautiful fiery bird, he tells her,

( 4 ) magical but untamed. "Daddy, shush, there is no such thing,"

При обработке запроса AndQuery мы обходим векторы позиций обоих операндов и ищем соседние слова. Каждая найденная пара вставляется в вектор _loc. Основная трудность связана с тем, что эти векторы нужно просматривать синхронно, чтобы можно было установить соседство слов.

void AndQuery::eval()

{

// вычислить левый и правый операнды

_lop-eval();

_rop-eval();

// установить итераторы