Ham tip nedir?
Java Dil Belirtimi ham türü aşağıdaki gibi tanımlar :
Ham tür aşağıdakilerden biri olarak tanımlanır:
Eşlik eden tür bağımsız değişken listesi olmadan genel tür bildirimi adı alınarak oluşturulan başvuru türü.
Öğe türü ham tür olan bir dizi türü.
Öğesinin üst sınıfından veya üst yüzeyinden miras alınmayan staticüye olmayan bir ham tür .RR
Aşağıda açıklamak için bir örnek verilmiştir:
public class MyType<E> {
class Inner { }
static class Nested { }
public static void main(String[] args) {
MyType mt; // warning: MyType is a raw type
MyType.Inner inn; // warning: MyType.Inner is a raw type
MyType.Nested nest; // no warning: not parameterized type
MyType<Object> mt1; // no warning: type parameter given
MyType<?> mt2; // no warning: type parameter given (wildcard OK!)
}
}
Burada, MyType<E>bir olduğunu parametreli tip ( JLS 4.5 ). Halk dilinde bu tipe kısaca kısaca değinmek yaygındır MyType, ancak teknik olarak isimdir MyType<E>.
mtyukarıdaki tanımdaki ilk madde işareti noktasına göre ham bir türe sahiptir (ve bir derleme uyarısı üretir); innayrıca üçüncü mermi noktasına göre ham bir türe sahiptir.
MyType.Nestedparametreli bir türün üye türü olmasına rağmen parametreli bir tür değildir MyType<E>, çünkü static.
mt1, ve mt2her ikisi de gerçek tür parametreleriyle bildirildiğinden, bunlar ham tür değil.
Ham türlerde bu kadar özel olan ne?
Temel olarak, ham türler tıpkı jenerik ilaç kullanılmadan önceki gibi davranır. Yani, derleme zamanında aşağıdakiler tamamen yasaldır.
List names = new ArrayList(); // warning: raw type!
names.add("John");
names.add("Mary");
names.add(Boolean.FALSE); // not a compilation error!
Yukarıdaki kod gayet iyi çalışıyor, ancak aşağıdakilere de sahip olduğunuzu varsayalım:
for (Object o : names) {
String name = (String) o;
System.out.println(name);
} // throws ClassCastException!
// java.lang.Boolean cannot be cast to java.lang.String
Şimdi çalışma zamanında sorun yaşıyoruz, çünkü namesolmayan bir şey içeriyor instanceof String.
İstersen Tahminen, namessadece içerdiği String, sen olabilir belki hala ham türü kullanmak ve her kontrol elle add kendinizi ve sonra elle dökme için Stringher öğenin names. Daha da iyisi , ham bir tür kullanmak DEĞİLDİR ve derleyicinin sizin için tüm işleri yapmasına izin vermek, Java jeneriklerinin gücünü kullanmaktadır.
List<String> names = new ArrayList<String>();
names.add("John");
names.add("Mary");
names.add(Boolean.FALSE); // compilation error!
Eğer değilse, doğal DO istediğiniz namesbir izin Boolean, o zaman olarak ilan edebilir List<Object> namesve yukarıdaki kod derlemek olacaktır.
Ayrıca bakınız
Ham türün <Object>tür parametresi olarak kullanılmasından farkı nedir?
Effective Java 2nd Edition, Item 23'ten bir alıntı : Yeni kodda ham türleri kullanmayın :
Ham tip Listve parametreli tip arasındaki fark List<Object>nedir? Gevşek bir şekilde, birincisi genel tip kontrolünü devre dışı bırakırken, ikincisi derleyiciye herhangi bir türdeki nesneyi tutabildiğini açıkça söyledi. A List<String>türünde Listbir parametreye geçebilse de, türdeki bir parametreye iletemezsiniz List<Object>. Jenerikler için alt tipleme kuralları vardır List<String>ve ham tipin bir alt tipidir List, ancak parametrelenmiş tipte değildir List<Object>. Sonuç olarak, gibi ham tür kullanırsanız tür güvenliğini kaybedersiniz List, ancak gibi parametreli bir tür kullanırsanız tür güvenliğini kaybedersinizList<Object> .
Noktayı göstermek için, a alan List<Object>ve a ekleyen aşağıdaki yöntemi göz önünde bulundurun new Object().
void appendNewObject(List<Object> list) {
list.add(new Object());
}
Java'daki jenerikler değişmezdir. A List<String>bir değildir List<Object>, bu nedenle aşağıdakiler derleyici uyarısı oluşturur:
List<String> names = new ArrayList<String>();
appendNewObject(names); // compilation error!
appendNewObjectHam türü Listparametre olarak almayı bildirdiyseniz , bu derlenir ve bu nedenle jeneriklerden aldığınız tür güvenliğini kaybedersiniz.
Ayrıca bakınız
Ham türün <?>tür parametresi olarak kullanılmasından farkı nedir?
List<Object>,, List<String>vs. hepsi List<?>, bu yüzden sadece Listbunun yerine olduklarını söylemek cazip gelebilir . Bununla birlikte, büyük bir fark vardır: List<E>sadece bir tanımladığından add(E), a'ya herhangi bir keyfi nesne ekleyemezsiniz List<?>. Öte yandan, ham tipin Listtip güvenliği olmadığından, addhemen hemen her şeyi yapabilirsiniz List.
Önceki snippet'in aşağıdaki varyasyonunu düşünün:
static void appendNewObject(List<?> list) {
list.add(new Object()); // compilation error!
}
//...
List<String> names = new ArrayList<String>();
appendNewObject(names); // this part is fine!
Derleyici, sizi potansiyel tipinin değişmezliğini ihlal etmekten korumak için harika bir iş çıkardı List<?>! Parametreyi ham tür olarak bildirdiyseniz, List listkod derlenir ve tür değişmezini ihlal ederdiniz List<String> names.
Ham tür, bu türün silinmesidir
JLS 4.8'e geri dön:
Bir tür olarak kullanmak mümkündür silinmesini parametreli bir türü ya da eleman türü parametreli bir türü olan bir dizi türü sılme. Böyle bir türe ham tip denir .
[...]
Ham tipin üst sınıfları (sırasıyla üst sınıflar), genel tipteki parametrelerin herhangi birinin üst sınıflarının (üst sınıfları) silinmeleridir.
Üst sınıflarından veya üst sınıflarından miras alınmayan staticbir ham türün yapıcısı, örnek yöntemi veya alan dışı Ctürü, karşılık gelen genel bildirimde türünün silinmesine karşılık gelen ham türdür C.
Daha basit bir çiğ türü kullanılıyor terimler, yapıcılar, örnek yöntemlerde ve sivil olarak staticalanlar vardır da silinir .
Aşağıdaki örneği alın:
class MyType<E> {
List<String> getNames() {
return Arrays.asList("John", "Mary");
}
public static void main(String[] args) {
MyType rawType = new MyType();
// unchecked warning!
// required: List<String> found: List
List<String> names = rawType.getNames();
// compilation error!
// incompatible types: Object cannot be converted to String
for (String str : rawType.getNames())
System.out.print(str);
}
}
Biz çiğ kullandığınızda MyType, getNamesbir ham döndüren böylece, sıra silinir olur List!
JLS 4.6 aşağıdakileri açıklamaya devam eder:
Tür silme ayrıca bir kurucu veya yöntemin imzasını, parametrelenmiş tür veya tür değişkeni olmayan bir imzayla eşler. Bir kurucunun veya yöntem imzasının silinmesi s, aynı ad sve verilen tüm resmi parametre türlerinin silinmesinden oluşan bir imzadır s.
Bir yöntemin dönüş türü ve genel bir yöntemin veya kurucunun tür parametreleri de, yöntemin veya kurucunun imzası silinirse silinir.
Genel bir yöntemin imzasının silinmesinin hiçbir tür parametresi yoktur.
Aşağıdaki hata raporu, derleyici geliştirici Maurizio Cimadamore ve JLS'nin yazarlarından Alex Buckley'den bu tür davranışların neden ortaya çıkması gerektiğine dair bazı düşünceler içeriyor: https://bugs.openjdk.java.net/browse / JDK-6400189 . (Kısacası, spesifikasyonu kolaylaştırır.)
Güvenli değilse, neden ham tür kullanılmasına izin verilir?
İşte JLS 4.8'den başka bir alıntı:
Ham türlerin kullanımına yalnızca eski kodun uyumluluğundan taviz olarak izin verilir. Java programlama diline jenerikliğin girilmesinden sonra yazılan kodda ham türlerin kullanılması kesinlikle önerilmez. Java programlama dilinin gelecekteki sürümlerinin ham türlerin kullanımına izin vermemesi mümkündür.
Etkili Java 2nd Edition ayrıca şunları eklemek için:
Ham türleri kullanmamanız gerektiği göz önüne alındığında, dil tasarımcıları neden onlara izin verdi? Uyumluluk sağlamak.
Java platformu, jenerikler tanıtıldığında ikinci on yılına girmek üzereydi ve jenerikler kullanmayan muazzam miktarda Java kodu vardı. Tüm bu kodların yasal ve jenerik ilaç kullanan yeni kodlarla birlikte çalışabilir olması kritik kabul edildi. Parametreli türlerin örneklerini sıradan türlerle kullanılmak üzere tasarlanmış yöntemlere geçirmek yasal olmalıdır (tersi de geçerlidir). Göç uyumluluğu olarak bilinen bu gereklilik, ham türleri destekleme kararını vermiştir.
Özetle, ham tipler ASLA yeni kodda kullanılmamalıdır. Her zaman parametreli tipler kullanmalısınız .
İstisna yok mu?
Ne yazık ki, Java jenerikleri birleştirilmediğinden, ham türlerin yeni kodda kullanılması gereken iki istisna vardır:
- Sınıf sabitler, örneğin
List.class, değilList<String>.class
instanceofoperand, örneğin o instanceof Set, değilo instanceof Set<String>
Ayrıca bakınız