Бьерн Страуструп.
Язык программирования С++
319
Всякий класс, который переопределяет производную функцию, должен реализовать вариант этой
функции. Например, виртуальная функция rotate() из класса Shape вращает геометрическую фигуру, а
функции rotate() для производных классов, таких, как Circle и Triangle, должны вращать объекты
соответствующих типов, иначе будет нарушено основное положение о классе Shape. Но о поведении
класса B или его производных классов D1 и D2 не сформулировано никаких положений, поэтому
приведенный пример и кажется неразумным. При построении класса главное внимание следует
уделять описанию ожидаемых действий виртуальных функций.
Следует ли считать нормальной зависимость от неизвестных (возможно еще неопределенных)
производных классов? Ответ, естественно, зависит от целей программиста. Если цель состоит в том,
чтобы изолировать класс от всяких внешних влияний и, тем самым, доказать, что он ведет себя
определенным образом, то лучше избегать виртуальных функций и защищенных членов. Если цель
состоит в том, чтобы разработать структуру, в которую последующие программисты (или вы сами через
неделю) смогут встраивать свои программы, то именно виртуальные функции и предлагают элегантный
способ решения, а защищенные члены могут быть полезны при его реализации.
В качестве примера рассмотрим простой шаблон типа, определяющий буфер:
template
class buffer {
//
...
void
put(T);
T
get();
};
Если реакция на переполнение и обращение к пустому буферу, "запаяна" в сам класс, его применение
будет ограничено. Но если функции put() и get() обращаются к виртуальным функциям overflow() и
underflow() соответственно, то пользователь может, удовлетворяя своим нуждам, создать буфера
различных типов:
template
class buffer {
//...
virtual int overflow(T);
virtual int underflow();
void put(T); //
вызвать overflow(T), когда буфер полон
T get(); //
вызвать underflow(T), когда буфер пуст
};
template
class circular_buffer : public buffer {
//...
int
o
verflow(T); // перейти на начало буфера, если он полон
int
underflow();
};
template
class expanding_buffer : public buffer {
//...
int overflow(T); // увеличить размер буфера, если он полон
int
underflow();
};
Этот метод использовался в библиотеках потокового ввода-вывода ($$10.5.3).
Достарыңызбен бөлісу: