Javac neden diğerlerine değil bazı imkansız kalıplara izin veriyor?

Bir döküm denerseniz Stringbir etmek java.util.Date, Java derleyici hatası yakalar. Peki derleyici aşağıdakileri neden hata olarak işaretlemiyor?

List<String> strList = new ArrayList<>();                                                                      
Date d = (Date) strList;

Tabii ki, JVM bir ClassCastExceptionçalışma zamanında atar , ancak derleyici bunu işaretlemez.

Davranış javac 1.8.0_212 ve 11.0.2 ile aynıdır.

Dökme olduğu teknik olarak mümkün. Javac tarafından durumunuzda böyle olmadığı kolayca kanıtlanamaz ve JLS aslında bunu geçerli bir Java programı olarak tanımlar, bu nedenle bir hatayı işaretlemek yanlış olur.

Çünkü Listbir arayüzdür. Yani Dateaslında burada Listolduğu gibi gizlenmiş bir alt sınıf olabilir List- ve sonra döküm Datemükemmel tamam olacaktır. Örneğin:

public class SneakyListDate extends Date implements List<Foo> {
    ...
}

Ve sonra:

List<Foo> list = new SneakyListDate();
Date date = (Date) list; // This one is valid, compiles and runs just fine

Bu tür bir senaryoyu saptamak her zaman mümkün olmayabilir, çünkü örneğin örneğin bir yöntemden geliyorsa çalışma zamanı bilgileri gerektirecektir. Ve olsa bile, derleyici için çok daha fazla çaba gerektirecektir. Derleyici, sınıf ağacının hiç eşleşememesi nedeniyle kesinlikle imkansız olan dökümleri önler. Görüldüğü gibi burada durum böyle değil.

JLS kodunuzun geçerli bir Java programı olmasını gerektirdiğini unutmayın. In 5.1.6.1. İzin verilen Daralma Referans Dönüşümü :

Bir daraltma referans dönüşüm referans türünden mevcut Sbaşvuru tipi için T, eğer tüm aşağıdakilerden olan gerçek :

• [...]
• Bir aşağıdaki durumların geçerli :
  • [...]
  • Sbir arabirim türüdür, Tbir sınıf türüdür ve Tbir finalsınıfı adlandırmaz.

Derleyici Yani bile olabilir davanız aslında kanıtlanabilir imkansız olduğunu anlamaya JLS Geçerli Java programı olarak tanımlar çünkü bayrak bir hata izin verilmez.

Yalnızca bir uyarı gösterilmesine izin verilir.

Örneğinizin genellemesini düşünelim:

List<String> strList = someMethod();       
Date d = (Date) strList;

Bunlar Date d = (Date) strList;derleme hatası olmamasının temel nedenleridir .

• Sezgisel nedeni derleyici bu yöntem çağrısı tarafından döndürülen nesnenin kesin tipini bilmiyor (genel olarak) olmasıdır. Uygulayan bir sınıf olmanın yanı sıra List, aynı zamanda bir alt sınıf olması da mümkündür Date.

• Teknik nedeni Java Dil Özellikleri "verir" olmasıdır daralması referans dönüşüm bu tip döküm karşılık gelir. JLS 5.1.6.1'e göre :

  "Bir daralma referans dönüşüm referans türünden mevcut Sbaşvuru tipi için Taşağıdakilerden tümü doğruysa:"

  ...

  5) " Sbir arabirim türüdür, Tbir sınıf türüdür ve Tbir finalsınıfı adlandırmaz."

  ...

  Farklı bir yerde, JLS ayrıca çalışma zamanında bir istisna atılabileceğini söylüyor ...

  JLS 5.1.6.1 saptamasının, yalnızca gerçek çalışma zamanı türlerinden ziyade ilgili değişkenlerin bildirilen türlerine dayandığını unutmayın . Genel durumda, derleyici gerçek çalışma zamanı türlerini bilmez ve bilemez.

Peki, Java derleyicisi neden oyuncuların işe yaramayacağına karar veremiyor?

• Örneğimde, someMethodçağrı çeşitli türdeki nesneleri döndürebilir. Derleyici, yöntem gövdesini çözümleyebildi ve döndürülebilecek kesin tür kümesini belirleyebilse bile, çağıran kodu derledikten sonra birisinin farklı türler döndürmesini değiştirmesini durduracak hiçbir şey yoktur. JLS 5.1.6.1'in söylediklerini söylemesinin temel nedeni budur.

• Senin örnekte, akıllı derleyici olabilir dökme başarılı olamaz anlamaya. Ve sorunu belirtmek için derleme zamanı uyarısı yayınlamasına izin verilir .

Öyleyse neden akıllı bir derleyicinin bunun bir hata olduğunu söylemesine izin verilmiyor?

• Çünkü JLS bunun geçerli bir program olduğunu söylüyor. Dönemi. Buna hata adı veren herhangi bir derleyici Java uyumlu olmaz.

• Ayrıca, JLS ve diğer derleyicilerin geçerli olduğunu söylediği Java programlarını reddeden herhangi bir derleyici , Java kaynak kodunun taşınabilirliği için bir engeldir.

5.5.1. Referans Tipi Döküm:

Bir derleme referans tipi göz önüne alındığında, S(kaynak) ve bir derleme referans tipi T(hedef), bir döküm dönüşüm ile ilgili mevcut Siçin Tbir derleme zamanı hataları aşağıdaki kurallara bağlı alırlar.

[...]

Bir Sarayüz tipiyse:

• [...]

• Eğer Tson olmayan bir sınıf veya arabirimi, daha sonra bir üst tip mevcutsa Xarasında Tve süper tip Yarasında S, her iki şekilde, Xve Ykanıtlanmıştır farklı parametreli türleri, ve silmeler olduğu Xve Yaynı, bir derleme hatası oluşur.

  Aksi takdirde, döküm derleme zamanında her zaman yasaldır (çünkü Tuygulanmasa bile S, bir Tkudret alt sınıfı ).

List<String>olduğu Sve Dateolduğu Tsenin durumunda.