Mengapa Java Mengehadkan Kaedah dengan Pemadaman Jenis Generik Yang Sama?

Kekaburan Pemadaman Kaedah: Mengapa Java Mengehadkan Tandatangan Kaedah Serupa

Pengkompil Java membuang ralat "Method add(Set) has the same erasure add(Set) sebagai kaedah lain dalam jenis Ujian" apabila dua kaedah dengan pemadaman jenis generik yang sama diisytiharkan dalam kelas yang sama:

class Test {
    void add(Set<Integer> ii) {}
    void add(Set<String> ss) {}
}

Sekatan ini berpunca daripada keinginan untuk mengelakkan konflik dalam kod warisan yang menggunakan jenis mentah. Sebelum generik, kaedah menerima dan mengembalikan jenis mentah, seperti:

class CollectionConverter {
    List toList(Collection c) {...}
}

Apabila melanjutkan kelas sedemikian selepas memperkenalkan generik, pereka bahasa menganggap jenis mentah "override-equivalent" kepada jenis generik. Ini membenarkan kaedah mengatasi tanpa menukar tandatangannya, memastikan keserasian ke belakang.

Walau bagaimanapun, jika berbilang kaedah dengan tandatangan generik berbeza dibenarkan, kesamaran boleh timbul dalam kes di mana jenis mentah masih digunakan. Sebagai contoh, jika kelas menambah kaedah generik kepada kaedah mentah sedia ada mengatasi kaedah superclass, pengkompil tidak akan dapat menyelesaikan kaedah mana yang hendak digunakan.

Untuk menghapuskan kemungkinan kekeliruan ini, Java melarang kelas daripada mempunyai berbilang kaedah dengan pemadaman yang sama, menghalang pengenalan kekaburan tersebut.

Walaupun peraturan ini mungkin kelihatan menyusahkan dalam senario seperti menghantar jenis set generik yang berbeza, ia merupakan perlindungan yang diperlukan untuk mengekalkan keserasian dengan kod warisan. Tanpa itu, peningkatan kod untuk menggunakan generik boleh memecahkan kod sedia ada yang bergantung pada jenis mentah.

Atas ialah kandungan terperinci Mengapa Java Mengehadkan Kaedah dengan Pemadaman Jenis Generik Yang Sama?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!