Использование наследования: таксономия таксономии

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

Дадим обзор правильного использования наследования:

наследование подтипов (subtype inheritance);
наследование вида (view inheritance);
наследование с ограничением (restriction inheritance);
наследование с расширением (extension inheritance);
наследование с функциональной вариацией (functional variation inheritance);
наследование с вариацией типа (type variation inheritance);
наследование с конкретизацией (reification inheritance);
структурное наследование (structure inheritance);
наследование реализации (implementation inheritance);
льготное наследование (facility inheritance) с двумя специальными вариантами: наследование констант и абстрактной машины (черного ящика) (constant inheritance и machine inheritance).

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