Java generics'in type parametresindeki soru işareti ne anlama geliyor?

Bu, Stanford Ayrıştırıcıya eşlik eden bazı örneklerden alınan küçük bir kod pasajıdır. Yaklaşık 4 yıldır Java'da geliştiriyorum, ancak bu kod tarzının ne göstereceği konusunda çok güçlü bir anlayışım olmadı.

List<? extends HasWord> wordList = toke.tokenize();

Kodun detayları konusunda endişelenmiyorum. Kafam karıştığım şey, genel ifadenin tam olarak İngilizce'ye iletmesi gereken şey.

Birisi bana bunu açıklayabilir mi?

? extends HasWord

"Genişleyen bir sınıf / arabirim" anlamına gelir HasWord. Başka bir deyişle, HasWordkendisi veya çocukları ... temelde instanceof HasWordartı ile çalışacak her şey null.

Daha teknik terimlerle, sayfa 141'den başlayarak Etkili Java 3. Baskı'nın? extends HasWord 31. maddesinde yer alan sınırlı bir joker karakterdir . 2. Baskıdaki aynı bölüm PDF olarak çevrimiçi olarak mevcuttur ; sınırlı joker karakterler üzerindeki kısım sayfa 134'den başlayarak Madde 28'dir.

Güncelleme: Oracle bağlantısı bir süre önce kaldırdığından beri PDF bağlantısı güncellendi. Şimdi Londra Kraliçe Mary Üniversitesi Elektronik Mühendisliği ve Bilgisayar Bilimleri Okulu'nun ev sahipliği yaptığı kopyaya işaret ediyor.

Güncelleme 2: Neden joker karakterler kullanmak istediğinize dair biraz daha ayrıntıya girelim.

İmzası sizden geçmeyi bekleyen bir yöntem bildirirseniz, iletebileceğiniz List<HasWord>tek şey bir List<HasWord>.

Ancak, söz konusu imza olsaydı, bunun yerine List<? extends HasWord>bir pas geçebilirdiniz List<ChildOfHasWord>.

List<? extends HasWord>Ve arasında ince bir fark olduğunu unutmayın List<? super HasWord>. Joshua Bloch'un söylediği gibi: PECS = üretici-genişletiyor, tüketici-süper.

Bunun anlamı, yönteminizin verileri çıkardığı bir koleksiyondan geçiyorsanız (yani koleksiyon, yönteminizin kullanması için öğeler üretiyorsa) kullanmanızdır extends. Yönteminizin veri eklediği bir koleksiyondan geçiyorsanız (yani koleksiyon, yönteminizin oluşturduğu öğeleri tüketiyorsa) kullanmalıdır super.

Bu kafa karıştırıcı gelebilir. Ancak, görebiliyorum Listbireyin sort(Collections.sort iki-arg sürümü için sadece bir kısayol olan) komutu. Bir almak yerine, Comparator<T>aslında bir Comparator<? super T>. Bu durumda, Karşılaştırıcı ListListenin kendisini yeniden sıralamak için.

Soru işareti, 'herhangi bir tür' için bir göstergedir. ?yalnız demek

Herhangi bir tür Object(dahil Object)

yukarıdaki örneğiniz,

Uzanan ya da uygulama herhangi bir tür HasWord(dahil HasWordhalinde HasWordolmayan bir arka sınıfı)

List<? extends HasWord>HasWord'u genişleten herhangi bir somut sınıfı kabul eder. Aşağıdaki dersleriniz varsa ...

public class A extends HasWord { .. }
public class B extends HasWord { .. }
public class C { .. }
public class D extends SomeOtherWord { .. }

... wordListSADECE As ya da Bs listesini ya da her ikisinin karışımını içerebilir, çünkü her iki sınıf da aynı ebeveyni genişletir null( ya da kontroller başarısız olursa HasWorld).

Belki de yapmacık bir “gerçek dünya” örneği yardımcı olacaktır.

İş yerimde farklı lezzetlerden gelen çöp kutuları var. Tüm kutular çöp içerir, ancak bazı kutular uzmandır ve her türlü çöpü almaz. Bizde var Bin<CupRubbish>ve Bin<RecylcableRubbish>. Tip sisteminin HalfEatenSandwichRubbishbu tiplerden herhangi birine giremediğimden emin olması gerekiyor , ancak genel bir çöp kutusuna girebilir Bin<Rubbish>. Eğer uzmanlaşabilecek bir Binşeyden bahsetmek isteseydim , Rubbishbu yüzden uyumsuz çöplere giremem, o zaman olurdu Bin<? extends Rubbish>.

(Not: ? extendssalt okunur değildir. Örneğin, uygun önlemlerle, bilinmeyen bir uzmanlık kutusundan bir parça çöp alabilir ve daha sonra farklı bir yere koyabilirim.)

Bunun ne kadar yardımcı olduğuna emin değilim. Polimorfizm varlığında işaretçi-işaretçi tam olarak açık değildir.

İngilizcede:

Bu bir var Listsınıfını genişleten bir tür HasWordde dahil olmak üzereHasWord

Genel ?olarak jenerikte herhangi bir sınıf anlamına gelir. Ve extends SomeClassbu nesnenin genişletilmesi SomeClass(veya bu sınıf olması) gerektiğini belirtir.

Soru işareti joker karakterleri tanımlamak için kullanılır . Onlar hakkında Oracle belgelerine göz atın : http://docs.oracle.com/javase/tutorial/java/generics/wildcards.html