Pertanyaan yang diberi tag «subtypes»

Ketika Anda menggunakan konsep polimorfisme Anda membuat hierarki kelas dan menggunakan referensi orang tua Anda memanggil fungsi antarmuka tanpa mengetahui tipe spesifik yang memiliki objek. Ini bagus. Contoh: Anda memiliki koleksi hewan dan Anda memanggil semua fungsi hewan eatdan Anda tidak peduli apakah itu makan anjing atau kucing. Tetapi dalam …

14 design-patterns  object-oriented  polymorphism  subtypes 

Pekerjaan Liskov di bidang ini berfokus pada subtyping perilaku, yang selain jenis keamanan sistem yang dibahas dalam artikel ini juga mensyaratkan bahwa subtipe mempertahankan semua invarian yang dijamin oleh supertipe dalam beberapa kontrak. [3] Definisi subtyping ini umumnya tidak dapat ditentukan, sehingga tidak dapat diverifikasi oleh pemeriksa tipe. Dari: http://www.wikiwand.com/en/Subtyping#/Function_types

12 type-systems  subtypes