Get-put ilkesinin açıklaması

O'Reilly kitabını okudum, bu koyma ilkesini öğrendim .

• Bir kullan extendssadece zaman joker olsun bir yapının dışına değerlerini.
• Bir yapıya superyalnızca değerler koyduğunuzda joker karakter kullanın .
• Ve ikiniz de bir yapı almak ve bir yapıya / yapıya koymak istediğinizde joker karakter kullanmayın.

İstisnalar şunlardır:

• extendsJoker karakterle bildirilen bir türe null, her başvuru türüne ait olan değer dışında hiçbir şey koyamazsınız .

• Her başvuru türünün süper türü olan supertür değeri dışında, joker karakterle bildirilen bir türden hiçbir şey elde edemezsiniz Object.

Bu kuralı derinlemesine keşfetmeme yardım eden var mı? Mümkünse lütfen bunları hiyerarşik bir şekilde belirtin.

Bir demet muz düşünün. Bu, Collection<? extends Fruit>belirli bir meyve türünün bir toplamı olduğu için - ama (bu bildiriden) ne tür bir meyveden oluştuğunu bilmiyorsunuz. Şunları yapabilirsiniz olsun ondan bir öğe ve kesinlikle bir meyve olacak biliyorum, ama olamaz eklemek buna - kesinlikle yanlış olur muz bir demet, bir elma eklemek çalışıyor olabilir. Sen edebilirsiniz eklemek nullbunun için geçerli bir değer olacağı gibi kendisine herhangi meyvenin tür.

Şimdi bir meyve tabağı düşünün. Bu a Collection<? super Banana>, çünkü "büyüktür" Banana(örneğin, Collection<Fruit>veya Collection<TropicalFruit>) bir tür koleksiyondur . Sen olabilir kesinlikle buna bir muz ekleyin, ancak kase bir öğeyi getirme eğer ne alırsınız bilmiyorum - bu iyi olabilir değil bir muz olun. Kesin olarak bildiğiniz tek şey, bunun geçerli (muhtemelen null) bir Objectreferans olacağıdır.

(Genel olarak, Java jenerikleri soruları için Java Generics SSS , atmanız muhtemel jeneriklerle ilgili hemen hemen her şeyin yanıtını içeren mükemmel bir kaynaktır.)