Return Covariant Java dan Fungsinya

Sebelum JDK 5.0, sangat tidak mungkin melakukan overriding method dengan mengubah tipe return-nya. Ketika melakukan overriding sebuah method class parent, bagian nama, tipe argumen, dan return tipe dari overriding method dalam child class harus sama dengan parent class method-nya. Overriding method sebelumnya dikatakan sebagai invariant yang berkaitan dengan return tipe.

Ilustrasi Tipe Return Covariant Java

Covariant return tipe
Pada Java 5.0 dan versi selanjutnya sangat mungkin untuk memiliki return tipe yang berbeda untuk method overriding dalam child class, tetapi tipe return child menjadi sub tipe dari tipe return parent-nya. Overriding method menjadi variant sehubungan dengan return tipe tersebut.

Covariant return tipe diambil dari prinsip subtitusi Liskov.

Baca Juga:

• 7 Bentuk Object Class pada Java [klik]
• 3 Perbedaan Utama Static Class dan Non Static Class pada Java [klik]
• Bentuk Sederhana Fleksibilitas Alami dari java.lang.Object [klik]
• 2 Contoh Program Overriding Method Equal pada Java [klik]

Berikut ini adalah contoh yang diberikan untuk memahami tipe return dengan method overriding.

// Program Java

// mendemonstrasikan tipe

// return berbeda jika tipe

// return dalam overriding

// method adalah sub tipe.

 

// Dua class digunakan untuk

// tipe return.

class A {} 

class B extends A {} 

 

class Base 

{ 

A fun() 

{System.out.println("Base"

+" fun()"); 

return new A();} 

} 

 

class Derived extends Base 

{ 

B fun() 

{System.out.println("Derived"

+" fun()"); 

return new B();} 

} 

 

public class Main 

{

public static void main(String args[]){ 

Base base = new Base(); 

base.fun(); 

 

Derived derived = new Derived(); 

derived.fun();}

}

Output:

Base fun()
Derived fun()

Catatan: Jika tipe return dari Base dan Derived ditukar, maka hasil dari program sebelumnya tidak akan bekerja.

Keunggulan:

• Membantu menghindari tampilan tipe cast yang membingungkan dalam hirarki class dan membuat kode program lebih mudah dibaca, digunakan, dan dilakukan perawatan.
• Lebih bebas untuk memiliki tipe return spesifik ketika overriding pada method.
• Membantu antisipasi runtime ClassCastException dalam return.

Referensi Tambahan:

• 2 Contoh Program Overriding toString() pada Java [klik]
• Instance Variabel Hiding pada Java [klik]
• 2 Contoh Program Block Static pada Java [klik]
• Contoh Sederhana Block Inisialisasi pada Java [klik]
• 3 Konsep Utama Inisialisasi Block Instance pada Java [klik]
• 2 Konsep Utama Static vs Dynamic Binding pada Java [klik]
• 3 Alasan Kenapa Java Bukan Pemrograman Berorientasi Objek Murni [klik]