Daftar Isi:
Definisi - Apa yang dimaksud dengan Subtipe?
Subtyping adalah gagasan dalam teori bahasa pemrograman di mana subtipe, yang merupakan tipe data, terkait dengan supertipe berdasarkan gagasan substitusi, di mana elemen-elemen program seperti fungsi dan subrutin yang ditulis untuk supertipe akan tetap beroperasi jika diberi subtipe sebagai gantinya. Subtipe adalah konsep penting dalam pemrograman berorientasi objek dan dapat disubstitusikan untuk supertipe dan kadang-kadang bahkan memiliki spesifikasi yang lebih ketat daripada supertipe.
Techopedia menjelaskan Subtyping
Subtyping adalah metode substitusi dan penggunaan kembali kode yang digunakan dalam bahasa pemrograman berorientasi objek untuk mencegah penyalinan kode yang sebagian besar mirip dan mempromosikan keterbacaan kode dan mencegah bug. Subtipe pada dasarnya adalah pengganti untuk supertipe yang dapat memenuhi semua spesifikasi yang terakhir, dan kemudian beberapa. Jadi, jika B adalah subtipe A, maka B selalu dapat digunakan untuk menggantikan A dan properti apa pun yang dijamin oleh A juga harus dijamin oleh B.
Subtipe ini diizinkan untuk memperkuat dan bahkan menambahkan properti yang tidak ada pada supertipe, yang berarti supertipe tersebut akan diperpanjang. Jadi, alih-alih membuat supertipe baru setiap kali diperlukan sesuatu yang baru dan kemudian menyalin properti dan kondisi dari supertipe lain, subtipe hanya dapat dibuat yang memperluas supertipe dengan properti atau fitur tambahan tanpa mengubah supertipe. Kemudian, dalam hal ini, semua yang dapat dibuktikan ke supertype juga akan dapat dibuktikan ke subtipe dan banyak lagi. Jika subtipe diperlakukan sama seperti supertipe dengan menggunakan dan menanyakan hanya metode dan bidang supertype, maka hasilnya akan konsisten dengan objek dari supertipe tersebut.
