Prinsip Penggantian Liskov

Objek hendaklah boleh diganti dengan subjenisnya tanpa menjejaskan ketepatan kod

Mari kita fahami ini dengan warisan(Is-a hubungan)
contoh: Burung unta ialah burung, Bongkok ialah kereta, dsb.

Contoh: Kereta lumba ialah kereta

public class Car{
    public double getCabinWidth(){
        //return cabin width
    }
}

public class RacingCar extends Car{
    @Override
    public double getCabinWidth(){
        //UNIMPLEMENTED
    }
    public double getCockpitWidth(){
        //return the cockpit width of the racing car
    }
}

RacingCar mengatasi getCabinWidth() kelas kereta tetapi meninggalkannya tidak dilaksanakan kerana kereta lumba tidak mempunyai lebar kabin( jika anda melihat kereta lumba Formula 1, ia tidak mempunyai ruang dalaman, yang ada hanyalah kokpit tempat pemandu duduk)
Oleh itu ruang dalaman dalam kereta lumba dipanggil kokpit.
Nota: Kereta lumba mempunyai beberapa spesifikasi yang mungkin tidak sepadan dengan kereta generik

public class CarUtil{
    Car car1 = new Car();
    Car car2 = new Car();
    Car car3 = new RacingCar();

    List<Car> myCars = new ArrayList<>();
    myCars.add(car1);
    myCars.add(car2);
    myCars.add(car3);
    // this will not work in 3rd iteration, because the getCabinWidth() in RacingCar is not implemented 
    for(Car car  : myCars){
        System.out.println(car.getCabinWidth());
    }
}

Ini ialah reka bentuk yang telah terdedah, kerana gelung for akan gagal untuk lelaran ketiga.
Untuk membetulkannya, kita perlu menyerang pada akarnya iaitu Warisan itu sendiri.

---

Penyelesaian 1 : (Memecah Hierarki)

Kami perlu memecahkan warisan, sebaliknya, kami akan menghasilkan ibu bapa yang sama untuk Kereta dan RacingCar

Kami akan mencipta kelas induk yang sangat generik yang dipanggil Kenderaan

public class Vehicle{
    public double getInteriorWidth(){
        //return the interior width
    }
}

public class Car extends Vehicle{
    @Override
    public double getInteriorWidth(){
        return this.getCabinWidth();
    }
    public double getCabinWidth(){
        //return cabin width
    }
}

public class RacingCar extends Vehicle{
    @Override
    public double getInteriorWidth(){
        return this.getCockpitWidth();
    }

    public double getCockpitWidth(){
        //return the cockpit width of the racing car
    }
}

public class VehicleUtils{
    Vehicle vehicle1 = new Car();
    Vehicle vehicle2 = new Car();
    Vehicle vehicle2 = new RacingCar();

    List<Vehicle> vehicles = new ArrayList<>();
    vehicles.add(vehicle1);
    vehicles.add(vehicle2);
    vehicles.add(vehicle3);
    for(Vehicle vehicle : vehicles){
        System.out.println(vehicle.getInteriorWidth());
    } 
}

**Memecah hierarki: Pecahkan hierarki jika penggantian gagal

---

Penyelesaian 2: Beritahu jangan tanya

Mari kita ambil satu lagi contoh Amazon
Amazon menawarkan x jumlah diskaun untuk semua produk pihak ketiga.
Dan menawarkan 1.5 kali x pada semua produk dalamannya (Asas Amazon produk ialah produk dalaman Amazon)

public class Product{
    public double discount = 20;//x amount of discount on all the third-party products on Amazon
    public double getDiscount(){
        return discount;
    }
}

public class InHouseProduct extends Product{
    public void applyDiscount(){
        discount  = discount*1.5;// 1.5 times more discount on InHouseProducts
    }
}

public class PricingUtils{
    Product p1 = new Product();
    Product p2 = new Product();
    Product p2 = new InHouseProduct();
    List<Product> products = new ArrayList<>();
    products.add(p1);
    products.add(p2);
    products.add(p2);
    for(Product product : products){
        if(product instanceOf InHouseProduct){
            ((InHouseProduct)product).applyDiscount();
        }
        System.out.println(product.getDiscount());
    }
}

Perhatikan bahawa pernyataan if terlibat dalam mengemas kini jumlah diskaun InHouseProduct yang bertentangan dengan prinsip penggantian Liskov ( kerana kita sepatutnya dapat menggantikan objek Product dengan subjenis InHouseProduct), tetapi di sini dalam penyata if kami mengemas kini secara manual jumlah diskaun yang tidak sepatutnya dilakukan.

Sedikit pengubahsuaian dalam kelas InHouseProduct akan membetulkan isu ini

public class InHouseProduct extends Product{

    @Override
    public double getDiscount(){
        applyDiscount();
        return discount;
    }
    public void applyDiscount(){
        discount  = discount*1.5;
    }
}

Dan akhirnya mengalih keluar pernyataan if daripada kelas PricingUtils

public class PricingUtils{
    Product p1 = new Product();
    Product p2 = new Product();
    Product p2 = new InHouseProduct();
    List<Product> products = new ArrayList<>();
    products.add(p1);
    products.add(p2);
    products.add(p2);
    for(Product product : products){
        System.out.println(product.getDiscount());
    }
}

Beritahu jangan tanya: Di sini kami memberitahu kelas utils untuk mencetak semua diskaun dan kelas utils tidak perlu bertanya apa-apa ( kerana ia bertanya oleh jika kenyataan tadi)

---

Atas ialah kandungan terperinci Prinsip Penggantian Liskov. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!