Apakah prinsip penggantian Liskov bagi corak reka bentuk Java?

Prinsip Penggantian Liskov, dirujuk sebagai LSP

Definisi:

Fungsi yang menggunakan penunjuk atau rujukan kepada kelas asas mesti boleh menggunakan objek kelas terbitan tanpa mengetahuinya .

Semua rujukan kepada kelas asas mesti boleh menggunakan objek subkelasnya dengan telus.

Dalam erti kata lain, selagi kelas induk muncul, subkelas boleh muncul dan menggantikannya dengan subkelas tidak akan menyebabkan sebarang ralat atau pengecualian. Tetapi sebaliknya, apabila subkelas muncul, masalah mungkin timbul jika ia digantikan oleh kelas induk.

Prinsip ini adalah untuk mentakrifkan spesifikasi untuk pewarisan yang baik Secara ringkasnya, ia mempunyai empat peringkat makna:

1 Subkelas mesti melaksanakan sepenuhnya kaedah kelas induk

Tentukan kelas abstrak

public abstract class ViewPoint {      //去丽江旅游      public abstract void where();  }

Dua kelas berikut melaksanakan kelas abstrak ini

public class Lijiang extends ViewPoint {         @Override     public void where() {          System.out.println("欢迎来到丽江...");      }     }   public class Zhangjiajie extends ViewPoint {         @Override     public void where() {          System.out.println("欢迎来到张家界...");      }     }

Watak ialah Tutu dan tetapkan jenis kelas di dalamnya kepada lulus parameter. Pada masa ini, tarikan pelancong yang ingin dilawati Tutu masih lagi abstrak

public class Tutu {      //定义要旅游的景点      private ViewPoint viewpoint;      //涂涂要去的景点      public void setViewPoint(ViewPoint viewpoint)      {          this.viewpoint = viewpoint;      }             public void travelTo()      {          System.out.println("涂涂要去旅游了");          viewpoint.where();      }  }

adegan. Tetapkan tarikan khusus untuk pergi ke

public class Sence {      public static void main(String args[])      {          Tutu tutu = new Tutu();          //设置要去的旅游景点          tutu.setViewPoint(new Lijiang());          tutu.travelTo();      }  }

Hasil lari:

Tutu akan mengembara
Selamat datang ke Lijiang...

2 , Subkelas boleh mempunyai ciri tersendiri

Maksudnya, pada subkelas kelas, kaedah atau atribut lain boleh ditakrifkan

3. Ganti atau laksanakan kelas induk Parameter input kaedah boleh diperbesarkan

Di mana kelas induk boleh wujud, subkelas boleh wujud dan hasil yang dijalankan tidak akan diubah. Sebaliknya tidak benar.

Kelas induk, parameter dalam say() ialah jenis HashMap, yang merupakan subjenis jenis Peta. (Oleh kerana julat subkelas hendaklah lebih besar daripada kelas induk)

import java.util.Collection;  import java.util.HashMap;     public class Father {      public Collection say(HashMap map)      {          System.out.println("父类被执行...");          return map.values();      }  }

subkelas, parameter dalam say() menjadi jenis Peta dan julat Peta lebih besar daripada jenis HashMap, iaitu selaras dengan prinsip LSP. Ambil perhatian bahawa kata di sini tidak menimpa kelas induk 'katakan kerana jenis parameter adalah berbeza. Tetapi terlebih beban.

import java.util.Collection;  import java.util.Map;     /*   * 子类继承了父类的所有属性   */ public class Son extends Father {      //方法输入参数类型      public Collection say(Map map)      {          System.out.println("子类被执行...");          return map.values();      }  }

Kelas Scene

import java.util.HashMap;     public class Home {      public static void main(String args[])      {          invoke();      }             public static void invoke()      {          //父类存在的地方，子类就应该能够存在          //Father f = new Father();          Son s = new Son();          HashMap map = new HashMap();          //f.say(map);          s.say(map);      }  }

Sama ada kaedah sebut dipanggil dengan kelas induk atau subkelas, hasilnya ialah kelas induk dilaksanakan...

Walau bagaimanapun, jika anda menukar parameter sebut dalam Father di atas kepada Map dan parameter sebut dalam subclass Son kepada HashMap, hasilnya akan menjadi

f.say(map) Keputusan: Kelas induk dilaksanakan.. .

s.say(map) Keputusan: Subkelas dilaksanakan...

Ini akan menyebabkan kekeliruan logik. Oleh itu, prasyarat kaedah dalam subkelas mestilah sama atau lebih luas daripada prasyarat yang ditindih dalam kelas induk.

4. Apabila mengatasi atau melaksanakan kaedah kelas induk, hasil output boleh dikurangkan

Malah, ia adalah serupa dengan yang di atas, iaitu, subkelas boleh muncul di mana kelas induk boleh muncul Ia boleh muncul, dan menggantikannya dengan subkelas tidak akan menyebabkan sebarang ralat atau pengecualian, dan pengguna tidak perlu tahu sama ada ia adalah kelas induk atau subkelas. Tetapi sebaliknya tidak berfungsi apabila subkelas muncul, kelas induk mungkin tidak menyesuaikan diri. (Lagipun, skop subkelas mestilah >= skop kelas induk)

Atas ialah kandungan terperinci Apakah prinsip penggantian Liskov bagi corak reka bentuk Java?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!