Що таке підтип у Java?

Підтипи є ключовою особливістю об’єктно-орієнтованих мов, таких як Java. У Java, один тип є підтипом іншого, якщо вони пов’язані пропозицією extends або implements. Ось декілька прикладів: Integer.

Підтип є тип даних, який пов’язаний з іншим типом даних (супертипом) деяким поняттям замінності, що означає, що елементи програми (як правило, підпрограми або функції), написані для роботи з елементами супертипу, також можуть працювати з елементами підтипу.

Підкласи дозволяють повторно використовувати код всередині класів – як оголошення змінних екземплярів, так і визначення методів. Таким чином, вони корисні для підтримки повторного використання коду всередині класу. З іншого боку, підтипування корисне для підтримки повторного використання зовні, породжуючи форму поліморфізму.

У Java: String є підтипом Object , оскільки клас String є підкласом класу Object. int не є підтипом Object, тому що жоден з примітивних типів Java не є підтипом будь-якого еталонного типу.

Клас у Java може бути оголошений як підклас іншого класу за допомогою ключового слова extends. Підклас успадковує змінні та методи від свого суперкласу та може використовувати їх так, ніби вони були оголошені в самому підкласі: class Animal { float weight ; … void eat () { … } … }

Підтипування є ключовою особливістю об’єктно-орієнтованих мов, таких як Java. У Java, один тип є підтипом іншого, якщо вони пов’язані пропозицією extends або implements. Ось декілька прикладів: Integer.