Subtypes and Supertypes Setting the Scene

       

Структурное и поведенческое наследование


Напомним, что скалярные значения могут иметь внутреннюю (физическую) структуру или представление произвольной сложности; например, как мы уже знаем, эллипсы и окружности при соответствующих обстоятельствах могут законным образом рассматриваться как скалярные значения, хотя их внутренняя структура может быть достаточно сложной. Однако эта внутренняя структура всегда скрыта от пользователя. Следовательно, что при обсуждении наследования (по крайней мере, в соответствии с нашей моделью) мы не имеем в виду наследование структуры, поскольку с точки зрения пользователя нет никакой структуры для наследования! Другими словами, нас интересует то, что иногда называют поведенческим наследованием, а не структурное наследование (где под "поведением" понимаются операции -- хотя напоминаю, что наследуются и ограничения). Заметьте, что мы не устраняем структурное наследование; мы всего лишь относимся к нему как к реализационному вопросу, который не существенен для модели.



Содержание раздела