(c)class C3 : public C2 { public:

C3( int val )

: C2( val ), _object_count( val ) {}

// ...

};

(d)class C4 : public ConcreteBase { public:

C4( int val )

:ConcreteBase ( _id+val ) {}

//...

};

Упражнение 17.11

В первоначальном определении языка C++ порядок следования инициализаторов в списке инициализации членов определял порядок вызова конструкторов. Принцип, который действует сейчас, был принят в 1986 году. Как вы думаете, почему была изменена исходная спецификация?

17.5. Виртуальные функции в базовом и производном классах

По умолчанию функции-члены класса не являются виртуальными. В подобных случаях при обращении вызывается функция, определенная в статическом типе объекта класса

void Query::display( Query *pb )

{

set<short> *ps = pb- >solutions();

// ...

display();

(или указателя, или ссылки на объект), для которого она вызвана:

}

Статический тип pb – это Query*. При обращении к невиртуальному члену solutions() вызывается функция-член класса Query. Невиртуальная функция display() вызывается через неявный указатель this. Статическим типом указателя this также является Query*, поэтому вызвана будет функция-член класса Query.

class Query { public:

virtual ostream& print( ostream* = cout ) const;

// ...

Чтобы объявить функцию виртуальной, нужно добавить ключевое слово virtual:

};

class Query { public:

//...

//установить _lparen и _rparen

void lparen( short lp ) { _lparen = lp; } void rparen( short rp ) { _rparen = rp; }

// получить значения_lparen и _rparen short lparen() { return _lparen; } short rparen() { return _rparen; }

// напечатать левую и правую скобки

void print_lparen( short cnt, ostream& os ) const;

void print_rparen( short cnt, ostream& os ) const;

protected:

// счетчики левых и правых скобок short _lparen;

short _rparen; // ...

};

_lparen – это количество левых, а _rparen – правых скобок, которое должно быть выведено при распечатке объекта. (В разделе 17.7 мы покажем, как вычисляются такие величины и как происходит присваивание обоим членам.) Вот пример обработки запроса с большим числом скобок:

==> ( untamed || ( fiery || ( shyly ) ) )

evaluate word: untamed _lparen: 1

_rparen: 0 evaluate Or _lparen: 0 _rparen: 0

evaluate word: fiery _lparen: 1

_rparen: 0

evaluate 0r _lparen: 0 _rparen: 0

evaluate word: shyly _lparen: 1

_rparen: 0

evaluate right parens: _rparen: 3

( untamed ( 1 ) lines match ( fiery ( 1 ) lines match

( shyly ( 1 ) lines match

( fiery || (shyly ( 2 ) lines match3

( untamed || ( fiery || ( shyly ))) ( 3 ) lines match

Requested query: ( untamed || ( fiery || ( shyly ) ) )

( 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,"

( 6 ) Shyly, she asks, "I mean, Daddy, is there?"

3 Увы! Правые скобки не распознаются, пока OrQuery не выведет все ассоциированное с ним частичное решение.

ostream&

NameQuery::

print( ostream &os ) const

{

if ( _lparen ) print_lparen( _lparen,

os );

os << _name;

if ( _rparen ) print_rparen( _rparen,

os );

return os;

Реализация print() для класса NameQuery:

}

class NameQuery : public Query { public:

virtual ostream& print( ostream &os ) const;

//...

Атак выглядит объявление:

};

Чтобы реализация виртуальной функции в производном классе замещала реализацию из базового, прототипы функций обязаны совпадать. Например, если бы мы опустили слово const или объявили еще один параметр, то реализация print() в NameQuery не заместила бы реализацию из базового класса. Возвращаемые значения также должны быть одинаковыми за одним исключением: значение, возвращенное реализацией в производном классе, может принадлежать к типу класса, который открыто наследует классу значения, возвращаемого реализацией в базовом классе. Если бы реализация из базового класса возвращала значение типа Query*, то реализация из производного могла бы возвращать NameQuery*. (Позже при работе с функцией clone() мы покажем, зачем

class NotQuery : public Query { public:

virtual ostream& print( ostream &os ) const;

// ...

это нужно.) Вот объявление и реализация print() в NotQuery:

};

ostream&

NotQuery::

print( ostream &os ) const

{

os << " ! ";

if ( _lparen ) print_lparen( _lparen,

os );

_op->print( os );

if ( _rparen ) print_rparen( _rparen,

os );

return os;

}

Разумеется, вызов print() через _op – виртуальный.

Объявления и реализации этой функции в классах AndQuery и OrQuery практически

class AndQuery : public Query { public:

virtual ostream& print( ostream &os ) const;

// ...

дублируют друг друга. Поэтому приведем их только для AndQuery:

ostream&

AndQuery::

print( ostream &os ) const

{

if ( _lparen )

print_lparen( _lparen, os );

_lop->print( os ); os << " && "; _rop->print( os );

if ( _rparen )

print_rparen( _rparen, os );

return os;

};

}

Такая реализация виртуальной функции print() позволяет вывести любой подтип Query

cout << "Был сформулирован запрос ";

Query *pq = retrieveQuery();

в поток класса ostream или любого другого, производного от него:

pq->print( cout );

Однако такой возможности недостаточно. Еще нужно уметь распечатывать любой производный от Query тип, который уже есть или может появиться в будущем, с

Query *pq = retrieveQuery();

cout << "В ответ на запрос

"

<< *pq

помощью оператора вывода из библиотеки iostream:

<< " получены следующие результаты:\n";

Мы не можем непосредственно предоставить виртуальный оператор вывода, поскольку они являются членами класса ostream. Вместо этого мы должны написать косвенную

inline ostream&

operator<<( ostream &os, const Query &q )

{

// виртуальный вызов print() return q.print( os );

виртуальную функцию:

}

AndQuery query; // сформулировать

запрос ...

Строки

cout << query << endl;

вызывают наш оператор вывода в ostream, который в свою очередь вызывает

q.print( os )

где q привязано к объекту query класса AndQuery, а os – к cout. Если бы вместо этого

NameQuery

query2( "Salinger" );

мы написали:

cout << query2 << endl;

Query *pquery = retrieveQuery();

то была бы вызвана реализация print() из класса NameQuery. Обращение

cout << *pquery << endl;