Зміст:
Визначення - Що означає субтипізація?
Підтипізація - це поняття в теорії мови програмування, коли підтип, який є типом даних, пов'язаний із супертипом, заснованим на понятті замінюваності, де такі програмні елементи, як функції та підпрограми, записані для супертипу, все ще будуть працювати, якщо задано замість підтипу. Підтипи є найважливішим поняттям в об'єктно-орієнтованому програмуванні і можуть бути замінені супертипами, а іноді навіть мають більш суворі специфікації, ніж супертип.
Техопедія пояснює субтипізацію
Підтипізація - це метод заміни та повторного використання коду, який використовується в об'єктно-орієнтованих мовах програмування для запобігання непотрібної копіювання в значній мірі подібного коду та сприяння читабельності коду та запобігання помилок. Підтип в основному є замінником супертипу, який може виконати всі специфікації останнього, а потім і деякі. Отже, якщо B є підтипом A, тоді B завжди можна використовувати для заміни A, а будь-яке властивість, яке гарантується A, також повинно бути гарантоване B.
Підтипу дозволено зміцнювати та навіть додавати властивості, які не належать до супертипу, а це означає, що він дозволяє розширити супертип. Отже, замість створення нового супертипу щоразу, коли потрібно щось нове, а потім копіювання властивостей та умов з іншого супертипу, може бути просто створений підтип, який розширює супертип з додатковими властивостями чи можливостями без зміни супертипу. Тоді в цьому випадку все, що можна довести до супертипу, також буде піддано підтипу та інше. Якщо підтип трактується абсолютно так само, як і суперпертип, використовуючи і запитуючи лише супертипові методи та поля, то результати будуть узгоджуватися з об'єктами супертипу.
