Bagaimanakah Pengkompil Java Menyelesaikan Kaedah Mengatasi Konflik Apabila Melaksanakan Berbilang Antara Muka dengan Tandatangan Yang Sama?

Melaksanakan Antara Muka dengan Kaedah Ditindih: Cara Pengkompil Menyelesaikan Identiti

Apabila kelas melaksanakan berbilang antara muka, isu timbul tentang bagaimana pengkompil mengenal pasti kaedah yang akan ditindih apabila kedua-duanya antara muka mengisytiharkan kaedah dengan tandatangan yang sama. Untuk menyelidiki perkara ini, mari kita analisa contoh kod yang disediakan:

interface A {
  int f();
}

interface B {
  int f();
}

class Test implements A, B {   
  public static void main(String... args) throws Exception{   
  }

  @Override
  public int f() {  // from which interface A or B
    return 0;
  }
}   

Proses Penyusunan

Dalam senario ini, pengkompil terlebih dahulu memeriksa antara muka A dan B. Memandangkan kedua-duanya mentakrifkan kaedah f dengan tandatangan yang sama, mereka secara berkesan mewakili satu kaedah dalam pelaksanaan. Pengkompil tidak perlu membezakan antara mereka, kerana ia dianggap @Override-equivalent (JLS 8.4.2).

Apabila pengkompil mencapai pelaksanaan dalam Ujian kelas, ia menemui anotasi @Override pada kaedah f, yang menunjukkan bahawa kaedah itu mengatasi kaedah yang diwarisi daripada superclass atau antara muka. Oleh kerana kedua-dua A dan B mengisytiharkan f, pengkompil menyemak konflik dalam tandatangan kaedah. Dalam kes ini, tiada konflik, kerana tandatangan adalah sama.

Oleh itu, kaedah f yang ditakrifkan dalam Ujian mengatasi kaedah warisan tunggal f daripada gabungan antara muka A dan B. Ini bermakna pengkompil merawat pelaksanaan sebagai pengganti kedua-dua kaedah yang diwarisi.

Keserasian dan Ketakserasian

Secara amnya, melaksanakan berbilang antara muka dengan kaedah bersamaan @Override tidak menimbulkan masalah semasa penyusunan. Walau bagaimanapun, ketidakserasian boleh timbul jika kaedah yang diwarisi mempunyai jenis pulangan yang berbeza atau jika ia bercanggah dengan kaedah dalam kelas super.

Pertimbangkan contoh berikut:

interface Gift  { void present(); }
interface Guest { boolean present(); }

interface Presentable extends Gift, Guest { } // DOES NOT COMPILE!!!

Dalam kes ini, kompilasi gagal kerana kaedah yang diwarisi present() mempunyai jenis pulangan yang tidak serasi. Pengkompil tidak dapat menyelesaikan konflik ini dan menghasilkan ralat yang menunjukkan bahawa kaedah tersebut tidak serasi.

Kesimpulan

Apabila melaksanakan berbilang antara muka dengan kaedah setara @Override, pengkompil mengenal pasti kaedah berdasarkan gabungannya tandatangan, yang menggabungkan kaedah dari kedua-dua antara muka dengan berkesan. Proses ini membolehkan kaedah yang bersih dan jelas mengatasi dalam senario sedemikian.

Atas ialah kandungan terperinci Bagaimanakah Pengkompil Java Menyelesaikan Kaedah Mengatasi Konflik Apabila Melaksanakan Berbilang Antara Muka dengan Tandatangan Yang Sama?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!