Оглавление:
Определение - что означает подтип?
Подтип - это понятие в теории языка программирования, где подтип, который является типом данных, связан с супертипом, основанным на понятии замещаемости, где программные элементы, такие как функции и подпрограммы, которые написаны для супертипа, все еще будут работать, если подтип вместо. Подтипы являются важной концепцией в объектно-ориентированном программировании и могут быть заменены на супертипы, а иногда даже имеют более строгие спецификации, чем супертип.
Техопедия объясняет подтип
Подтипирование - это метод подстановки и повторного использования кода, используемый в объектно-ориентированных языках программирования для предотвращения ненужного копирования в значительной степени сходного кода, повышения читабельности кода и предотвращения ошибок. Подтип в основном заменяет супертип, который может выполнять все его спецификации, а затем и некоторые. Таким образом, если B является подтипом A, то B всегда можно использовать для замены A, и любое свойство, гарантированное A, также должно гарантироваться B.
Подтипу разрешено усиливать и даже добавлять свойства, отсутствующие в супертипе, что означает, что он позволяет расширять супертип. Таким образом, вместо создания нового супертипа каждый раз, когда требуется что-то новое, а затем копирования свойств и условий из другого супертипа, можно просто создать подтип, который расширяет супертип дополнительными свойствами или функциями без изменения супертипа. Тогда в этом случае все, что доказуемо для супертипа, также будет доказуемо для подтипа и многого другого. Если подтип обрабатывается точно так же, как супертип, используя и запрашивая только методы и поля супертипа, то результаты будут согласованы с объектами супертипа.
