Yöntem, türdeki başka bir yöntemle aynı silme özelliğine sahiptir

Aynı sınıfta aşağıdaki iki yönteme sahip olmak neden yasal değil?

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

Ben alıyorum compilation error

Yöntem add (Set), Test türündeki başka bir yöntemle aynı silme add (Set) değerine sahiptir.

etrafında çalışabilirken, javac'ın neden bundan hoşlanmadığını merak ediyordum.

Birçok durumda, bu iki yöntemin mantığının çok benzer olacağını ve yerine tek bir

public void add(Set<?> set){}

ancak bu her zaman böyle değildir.

Bu constructorsargümanları alan iki tane almak istiyorsanız bu çok can sıkıcı bir durumdur, çünkü o zaman sadece bir tanesinin adını değiştiremezsiniz constructors.

Bu kural, hala ham türleri kullanan eski koddaki çakışmalardan kaçınmayı amaçlamaktadır.

JLS'den çekilmesine neden izin verilmediğini gösteren bir örnek . Diyelim ki, jenerikler Java ile tanıştırılmadan önce, böyle bir kod yazdım:

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

Sınıfımı genişletiyorsun, şöyle:

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

Jeneriklerin tanıtılmasından sonra kütüphanemi güncellemeye karar verdim.

class CollectionConverter {
  <T> List<T> toList(Collection<T> c) {...}
}

Herhangi bir güncelleme yapmaya hazır değilsiniz, bu yüzden Overridersınıfınızı yalnız bırakırsınız . toList()Yöntemi doğru bir şekilde geçersiz kılmak için , dil tasarımcıları ham türün herhangi bir türetilen türe "geçersiz kılmaya eşdeğer" olduğuna karar verdiler. Bu, yöntem imzanız artık resmi olarak benim sınıfımın imzasına eşit olmasa da, yönteminizin hala geçersiz kıldığı anlamına gelir.

Şimdi zaman geçiyor ve sınıfınızı güncellemeye hazır olduğunuza karar veriyorsunuz. Ama biraz sıkıyorsunuz ve mevcut ham toList()yöntemi düzenlemek yerine , böyle yeni bir yöntem ekliyorsunuz :

class Overrider extends CollectionConverter {
  @Override
  List toList(Collection c) {...}
  @Override
  <T> List<T> toList(Collection<T> c) {...}
}

Ham türlerin geçersiz kılma denkliği nedeniyle, her iki yöntem de toList(Collection<T>)yöntemi geçersiz kılmak için geçerli bir formdadır . Ancak elbette, derleyicinin tek bir yöntemi çözmesi gerekiyor. Bu belirsizliği ortadan kaldırmak için, sınıfların geçersiz kılmaya eşdeğer olan birden fazla yöntemi olmasına izin verilmez - yani, silindikten sonra aynı parametre türlerine sahip birden çok yöntem bulunur.

Anahtar, bu, ham türleri kullanarak eski kodla uyumluluğu korumak için tasarlanmış bir dil kuralıdır. Tür parametrelerinin silinmesinin gerektirdiği bir sınırlama değildir; yöntem çözünürlüğü derleme zamanında gerçekleştiğinden, yöntem tanımlayıcısına genel türler eklemek yeterli olacaktır.

Java jenerikleri tip silme kullanır. Köşeli parantez ( <Integer>ve <String>) içindeki bit kaldırılır, böylece aynı imzası olan iki yöntemle karşılaşırsınız ( add(Set)hatada görürsünüz). Buna izin verilmez, çünkü çalışma zamanı her vaka için hangisini kullanacağını bilemez.

Java birleşik jenerikler alırsa, bunu yapabilirdiniz, ancak muhtemelen bu muhtemelen mümkün değildir.

Bunun nedeni Java Generics'in Type Erasure ile uygulanmasıdır .

Yöntemleriniz derleme zamanında aşağıdaki gibi bir dile çevrilir:

Yöntem çözünürlüğü derleme zamanında gerçekleşir ve tür parametrelerini dikkate almaz. ( erickson'ın cevabına bakınız )

void add(Set ii);
void add(Set ss);

Her iki yöntem de tip parametreleri olmadan aynı imzayı taşır, dolayısıyla hata.

Sorun şu ki Set<Integer>ve Set<String>aslında SetJVM bir olarak muamele . Küme için bir tür seçmek (sizin durumunuzda Dize veya Tamsayı) yalnızca derleyici tarafından kullanılan sözdizimsel şekerdir. JVM Set<String>ve arasında ayrım yapamaz Set<Integer>.

Gibi bir tür olmadan tek bir Yöntem tanımlayın void add(Set ii){}

Seçiminize göre yöntemi çağırırken bu türden bahsedebilirsiniz. Her türlü set için çalışacaktır.

Derleyicinin java bayt kodunda Set (Integer) 'ı Set (Object)' e çevirmesi mümkün olabilir. Bu durumda, Set (Integer) yalnızca sözdizimi denetimi için derleme aşamasında kullanılır.

Böyle bir şey yazmaya çalıştığımda buna çarptım: Continuable<T> callAsync(Callable<T> code) {....} Ve Continuable<Continuable<T>> callAsync(Callable<Continuable<T>> veryAsyncCode) {...} derleyici için 2 tanımı Continuable<> callAsync(Callable<> veryAsyncCode) {...}

Tür silme, kelimenin tam anlamıyla tür argümanlarının jeneriklerden silinmesi anlamına gelir. Bu ÇOK sinir bozucu, ama bu süre Java ile olacak bir sınırlamadır. Yapıcılar için çok fazla şey yapılamaz, örneğin yapıcıda farklı parametrelerle uzmanlaşmış 2 yeni alt sınıf. Veya bunun yerine başlatma yöntemlerini kullanın ... (sanal kurucular?) Farklı adlarla ...

benzer işlem yöntemleri için yeniden adlandırma,

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

Veya biraz daha açıklayıcı isimlerle, oyu durumlar için gibi kendinden belgeleyen addNamesve addIndexesya böyle.