Polimorfisme dan Kelas Abstrak

Polimorfisme dan kelas abstrak adalah konsep pemrograman berorientasi objek tingkat lanjut yang memungkinkan kita menulis kode yang fleksibel dan dapat diperluas, tidak bergantung pada implementasi tertentu.

Polimorfisme

Istilah polimorfisme (banyak bentuk) mengacu pada kemampuan untuk memperlakukan objek dari kelas yang berbeda seolah-olah mereka termasuk dalam tipe yang sama. Di Java, variabel referensi superkelas dapat menyimpan referensi ke objek dari subkelas mana pun.

class Animal {
    public void makeSound() {
        System.out.println("Verso...");
    }
}

class Dog extends Animal {
    public void makeSound() {
        System.out.println("Woof");
    }
}

class Cat extends Animal {
    public void makeSound() {
        System.out.println("Miao");
    }
}

Berkat polimorfisme, kita dapat melakukan ini:

Animal myAnimal1 = new Dog(); // Polymorphism
Animal myAnimal2 = new Cat(); // Polymorphism

myAnimal1.makeSound(); // Executes Dog's method (Woof)
myAnimal2.makeSound(); // Executes Cat's method (Miao)

Keputusan mengenai metode mana yang akan dipanggil dibuat pada saat runtime (Late Binding atau pengiriman dinamis) berdasarkan objek sebenarnya, bukan tipe variabel referensi.

Kelas Abstrak (abstract)

Kelas abstrak adalah kelas yang ditandai dengan kata kunci abstract yang tidak dapat dibuat instance-nya secara langsung (Anda tidak dapat melakukan new MyAbstractClass()). Ini berfungsi sebagai "templat parsial" untuk kelas lain.

Metode Abstrak

Kelas abstrak dapat berisi metode abstrak: metode yang dideklarasikan tanpa isi (tanpa kurung kurawal dan tanpa kode), diakhiri dengan titik koma. Subkelas non-abstrak diperlukan untuk mengimplementasikan semua metode abstrak yang diwarisi.

abstract class Shape {
    String color;

    // Abstract method (no body)
    public abstract double getArea();
}

class Circle extends Shape {
    double radius;

    public Circle(double radius) {
        this.radius = radius;
    }

    // Required to implement getArea
    @Override
    public double getArea() {
        return Math.PI * radius * radius;
    }
}

Pengikatan Dinamis / Pengikatan Terlambat

Bagaimana Java mengetahui metode mana yang harus dijalankan saat runtime? Proses ini dikenal sebagai Late Binding (atau Dynamic Binding). Tidak seperti kelebihan beban (yang diselesaikan pada waktu kompilasi), kompiler tidak mengetahui metode spesifik mana yang akan dieksekusi. Sebaliknya, ini menghasilkan instruksi panggilan umum. Saat runtime, Java Virtual Machine (JVM) memeriksa objek sebenarnya di memori dan memanggil implementasi metode yang ditentukan dalam kelas objek tersebut.

Kelas Abstrak dan Implementasinya Hilang

Jika suatu subkelas mewarisi dari kelas abstrak, ia mempunyai dua opsi:

1. Menerapkan semua metode abstrak: dalam hal ini, subkelas dapat berupa kelas normal (konkret) dan dapat dibuat instance-nya.
2. Deklarasikan dirinya abstrak: jika subkelas tidak menyediakan implementasi untuk semua metode abstrak yang diwarisi, subkelas tersebut juga harus dideklarasikan dengan kata kunci abstract.

abstract class Animal {
    public abstract void makeSound();
}

// This class MUST be abstract because it does not implement makeSound()
abstract class Canine extends Animal {
    // Inherits makeSound() but does not implement it
}

Cobalah sendiri