Java 7'de elmas operatörünün (<>) anlamı nedir?

Java 7'deki elmas operatörü aşağıdaki gibi kodlara izin verir:

List<String> list = new LinkedList<>();

Ancak Java 5/6'da yazabilirim:

List<String> list = new LinkedList();

Tip silme anlayışım, bunların tamamen aynı olduğudur. (Jenerik yine de çalışma zamanında kaldırılır).

Neden elmasla uğraşasınız ki? Hangi yeni işlevsellik / tip güvenliğine izin veriyor? Yeni bir işlevsellik sağlamazsa neden bir özellik olarak bahsediyorlar? Bu kavram hakkındaki anlayışım kusurlu mu?

İle ilgili sorun

List<String> list = new LinkedList();

sol tarafta , sağdaki ham türü kullandığınız genel türü List<String>kullanmanızdır . Java'daki ham türler yalnızca pre-generics koduyla uyumluluk için etkili bir şekilde bulunur ve kesinlikle gerekmedikçe asla yeni kodlarda kullanılmamalıdır.LinkedList

Şimdi, Java başından beri jeneriklere sahipse ve LinkedListorijinal olarak jeneriklere sahip olmadan önce oluşturulmuş gibi türlere sahip değilse , muhtemelen genel bir tür için yapıcı otomatik olarak soldan tür parametrelerini ihlal edebilirdi - mümkünse ödevin tarafı. Ancak olmadı ve geriye dönük uyumluluk için ham türleri ve genel türleri farklı şekilde ele almalıdır. Bu onların tür parametrelerini tekrarlamak zorunda kalmadan genel bir nesnenin yeni bir örneğini ... elmas operatörünü bildirmek için biraz farklı , ama aynı derecede kullanışlı bir yol yapma ihtiyacı bırakıyor .

Orijinal örneğinize göre List<String> list = new LinkedList(), derleyici bu ödev için bir uyarı oluşturur çünkü zorunludur. Bunu düşün:

List<String> strings = ... // some list that contains some strings

// Totally legal since you used the raw type and lost all type checking!
List<Integer> integers = new LinkedList(strings);

Jenerikler, yanlış şeyi yapmaya karşı derleme zamanı koruması sağlamak için mevcuttur. Yukarıdaki örnekte, raw türünü kullanmak, bu korumayı alamayacağınız ve çalışma zamanında bir hata alacağınız anlamına gelir. Bu yüzden ham türleri kullanmamalısınız.

// Not legal since the right side is actually generic!
List<Integer> integers = new LinkedList<>(strings);

Bununla birlikte, elmas operatörü, atamanın sağ tarafının, bu parametreleri tekrar yazmak zorunda kalmadan, sol tarafla aynı tip parametrelerine sahip gerçek bir genel örnek olarak tanımlanmasını sağlar. Ham tipi kullanmakla neredeyse aynı çabayla jeneriklerin güvenliğini korumanıza izin verir .

Bence anlaşılması gereken en önemli şey, ham türlerin (no ile <>) genel türlerle aynı şekilde ele alınamayacağıdır. Ham bir tür bildirdiğinizde, jeneriklerin hiçbir faydası ve tür kontrolünü elde edemezsiniz. Ayrıca, jeneriklerin Java dilinin genel amaçlı bir parçası olduğunu da aklınızda bulundurmanız gerekir ... onlar sadece Collections no-arg kurucuları için geçerli değildir !

Anlayışınız biraz kusurlu. Elmas operatörü, kendinizi tekrarlamanız gerekmediği için güzel bir özelliktir. Türü bildirdiğinizde türü bir kez tanımlamak mantıklıdır, ancak sağ tarafta tekrar tanımlamak mantıklı değildir. KURU ilkesi.

Şimdi türleri tanımlamakla ilgili tüm belirsizlikleri açıklayacağız. Tür çalışma zamanında kaldırılır, ancak tür tanımına sahip bir Listeden bir şey almak istediğinizde, listeyi bildirirken tanımladığınız tür olarak geri alırsınız, aksi takdirde tüm belirli özellikleri kaybeder ve yalnızca Alınan nesneyi, bazen çok zor olabilen ve bir ClassCastException özelliğiyle sonuçlanabilecek orijinal türüne ne zaman atayacağınız dışındaki nesne özellikleri.

Kullanmanız List<String> list = new LinkedList()size ham tür uyarıları verecektir.

Bu satır [işaretlenmemiş] uyarısına neden olur:

List<String> list = new LinkedList();

Öyleyse, soru dönüşüyor: neden [işaretlenmemiş] uyarısı yalnızca yeni koleksiyon oluşturulduğunda otomatik olarak bastırılmıyor?

Bence, <>özellik eklemekten çok daha zor bir iş olurdu .

UPD : Ben de yasal olarak 'sadece birkaç şey için' ham türleri kullanmak olsaydı bir karışıklık olacağını düşünüyorum.

Teorik olarak, elmas operatörü tekrarlanan tür argümanlarını kaydederek daha kompakt (ve okunabilir) kod yazmanıza izin verir. Pratikte, sadece kafa karıştırıcı iki karakter daha fazla bir şey vermiyor. Neden?

1. Hiçbir aklı başında programcı yeni kodda ham türleri kullanmaz. Böylece derleyici, herhangi bir tür argüman yazmadan, onları çıkarmasını istediğinizi varsayabilir.
2. Elmas operatör hiçbir tür bilgi sağlamaz, derleyiciye "iyi olur" der. Yani atlayarak zarar veremezsiniz. Elmas operatörünün yasal olduğu herhangi bir yerde, derleyici tarafından "çıkarılabilir".

Bir kaynağı Java 7 olarak işaretlemenin açık ve basit bir yoluna sahip olan IMHO, bu garip şeyleri icat etmekten daha yararlı olacaktır. Bu kadar belirgin kodda ham tipler hiçbir şey kaybetmeden yasaklanabilir.

Btw., Bir derleme anahtarı kullanılarak yapılması gerektiğini düşünmüyorum. Bir program dosyasının Java sürümü dosyanın bir özelliğidir, hiçbir seçenek yoktur. Önemsiz bir şeyi kullanmak

package 7 com.example;

bunu netleştirebilir (bir veya daha fazla süslü anahtar kelime dahil daha karmaşık bir şeyi tercih edebilirsiniz). Farklı Java sürümleri için yazılan kaynakların sorunsuz bir şekilde derlenmesine bile izin verir. Herhangi bir uyumluluğu kaybetmeden yeni anahtar kelimelerin (ör. "Modül") girilmesine veya bazı eski özelliklerin (tek bir dosyada veya hiçbir şekilde ortak olmayan iç içe olmayan sınıfların) bırakılmasına izin verir.

Yazarken List<String> list = new LinkedList();, derleyici "denetlenmemiş" uyarısı verir. Bunu göz ardı edebilirsiniz, ancak bu uyarıları yoksaydıysanız, gerçek bir güvenlik sorunu hakkında sizi uyaran bir uyarıyı da kaçırabilirsiniz.

Bu nedenle, fazladan uyarı oluşturmayan bir kod yazmak daha iyidir ve elmas operatörü, gereksiz tekrarlama yapmadan bunu uygun bir şekilde yapmanızı sağlar.

Diğer yanıtlarda söylenenlerin tümü geçerlidir, ancak kullanım durumları tamamen geçerli değildir IMHO. Guava ve özellikle koleksiyonlarla ilgili şeyleri kontrol ederseniz , aynı statik yöntemlerle yapılmıştır. Örneğin Lists.newArrayList () yazma yapmanızı sağlar

List<String> names = Lists.newArrayList();

veya statik içe aktarma ile

import static com.google.common.collect.Lists.*;
...
List<String> names = newArrayList();
List<String> names = newArrayList("one", "two", "three");

Guava'nın bunun gibi çok güçlü özellikleri var ve aslında <> için çok fazla kullanım düşünemiyorum.

Elmas operatörü davranışını varsayılan yapmak için gitselerdi, yani tür, ifadenin sol tarafından çıkarılırsa veya sol tarafın türü sağ taraftan çıkarılırsa daha yararlı olurdu. İkincisi Scala'da olan şeydir.

Diamond operatörünün amacı, genel türler bildirilirken kod yazımını azaltmaktır. Çalışma zamanı üzerinde herhangi bir etkisi yoktur.

Java 5 ve 6'da belirtirseniz tek fark,

List<String> list = new ArrayList();

Belirtmek olması @SuppressWarnings("unchecked")için list(aksi takdirde alacak denetlenmeyen döküm uyarısı). Anladığım kadarıyla, elmas operatörü gelişimi kolaylaştırmaya çalışıyor. Jeneriklerin çalışma zamanında yürütülmesi üzerinde hiçbir ilgisi yok.