Гомоморфные иерархии классов

Во главе гомоморфной иерархии классов всегда стоит абстрактный базовый класс, который определяет открытый интерфейс своих предков. Из чисто сентиментальных побуждений я назову этот класс-предок «дедушкой» (Grandpa). Как правило, Grandpa является чисто абстрактным классом - то есть он не содержит ни одной переменной, а все его функции являются виртуальными.

class Grandpa {

public: // Закрытые и защищенные члены отсутствуют

virtual void Fn1() = 0;

virtual void Fn2(int) = 0;

};

Разумеется, классу Grandpa не нужны конструкторы. Наличие чисто виртуальных членов гарантирует, что экземпляры Grandpa непосредственно никогда создаваться не будут. Для чисто абстрактных базовых классов я иногда использую другой, неформальный термин - «класс-пенсионер». Вероятно, такие классы делали что-то полезное на ранних стадиях цикла разработки, но теперь они служат всего лишь для абстрактного объединения семейства.

Это еще не обеспечивает гомоморфизма. Все зависит от того, как от Grandpa порождаются новые классы. Гомоморфными по отношению к Grandpa называются производные классы, в которые не добавляется никаких открытых членов. Они могут иметь любые закрытые и защищенные члены, но только не новые открытые.

class Dad : public Grandpa {

private:

// О чем папа никогда не рассказывал

protected:

// Что было у папы, но не было у дедушки

public:

virtual void Fn1();

virtual void Fn2(int);

};

class AuntMartha : public Grandpa {

private:

// Личная жизнь тетушки Марты

protected:

// То, что она передала моим кузенам

public:

virtual void Fn1();

virtual void Fn2(int);

};

Иерархию можно продолжить и дальше (например, class Me : public Dad) при условии, что в

открытый интерфейс не добавляется новых функций. Мы рассмотрим множество примеров, демонстрирующих полезность гомоморфных иерархий, но сначала я приведу тройной аргумент в пользу этой концепции.