String switch ifadesi neden boş bir durumu desteklemiyor?

Merak ediyorum neden Java 7 switchifadesi bir nullvakayı desteklemiyor ve bunun yerine atıyor NullPointerException? Aşağıdaki yorum satırına bakın (örnek Java Tutorials makalesindenswitch alınmıştır ):

{
    String month = null;
    switch (month) {
        case "january":
            monthNumber = 1;
            break;
        case "february":
            monthNumber = 2;
            break;
        case "march":
            monthNumber = 3;
            break;
        //case null:
        default: 
            monthNumber = 0;
            break;
    }

    return monthNumber;
}

Bu, ifher switchkullanımdan önce boş kontrol koşulunu ortadan kaldırırdı .

Damryfbfnetsi olarak dışarı noktalarında yorumlarda, JLS §14.11 şu notu vardır:

nullAnahtar etiketi olarak kullanım yasağı, birinin asla yürütülemeyen kod yazmasını engeller. Eğer switchekspresyon bir referans tipte, bir Stringveya bir kutulu basit tür ya da enum türü, daha sonra, bir çalıştırma hatası sentezleme değerlendirilirse anlaşılacaktır nullzamanında. Java programlama dili tasarımcılarının kanaatine göre, bu, tüm switchifadeyi sessizce atlamaktan veya defaultetiketten (varsa ) sonra ifadeleri (varsa) yürütmeyi seçmekten daha iyi bir sonuçtur .

(vurgu benim)

Son cümle, kullanma olasılığını atlarken case null:, mantıklı görünüyor ve dil tasarımcılarının niyetlerine bir bakış sunuyor.

Uygulama ayrıntılarına bakmayı tercih edersek, Christian Hujer tarafından yazılan bu blog gönderisindenull , anahtarlarda neden izin verilmediğine dair bazı içgörülü spekülasyonlar var (her ne kadar enumanahtar yerine anahtarda ortalanmış olsa da String):

Başlık altında, switchifade tipik olarak bir tablesswitch bayt koduna derlenir. Ve "fiziksel" argüman switchve davaları ints. Açılacak int değeri, yöntemi çağırarak belirlenir Enum.ordinal(). [...] sıra sayıları sıfırdan başlar.

Yani, haritalama nulliçin 0iyi bir fikir olmaz. İlk enum değerindeki bir anahtar, null'dan ayırt edilemez. Belki de numaralandırmalar için sıra sayılarını 1'de saymaya başlamak iyi bir fikir olabilirdi. Ancak bu şekilde tanımlanmadı ve bu tanım değiştirilemez.

İken Stringanahtarları farklı uygulanır , enumdüğme ilk gelen ve referans olduğunda davranması gereken bir referans türüne geçiş nasıl emsal teşkil null.

Genel nullolarak başa çıkmak kötüdür; belki daha iyi bir dil onsuz yaşayabilir null.

Sorununuz şu şekilde çözülebilir:

    switch(month==null?"":month)
    {
        ...
        //case "":
        default: 
            monthNumber = 0;

    }

Güzel değil, ancak String.valueOf()bir anahtarda boş bir String kullanmanıza izin veriyor. Bulursa null, onu dönüştürür "null", aksi takdirde sadece geçirdiğiniz aynı String'i döndürür. "null"Açıkça idare etmezseniz , o zaman gider default. Tek uyarı, String "null"ile gerçek bir nulldeğişken arasında ayrım yapmanın bir yolu olmamasıdır .

    String month = null;
    switch (String.valueOf(month)) {
        case "january":
            monthNumber = 1;
            break;
        case "february":
            monthNumber = 2;
            break;
        case "march":
            monthNumber = 3;
            break;
        case "null":
            monthNumber = -1;
            break;
        default: 
            monthNumber = 0;
            break;
    }
    return monthNumber;

Bu, neden fırlattığını cevaplama girişimidir. NullPointerException

Aşağıdaki javap komutunun çıktısı case, switchargüman dizesinin karma koduna göre seçildiğini ve dolayısıyla .hashCode()boş dizede çağrıldığında NPE attığını ortaya koymaktadır .

6: invokevirtual #18                 // Method java/lang/String.hashCode:()I
9: lookupswitch  { // 3
    -1826660246: 44
     -263893086: 56
      103666243: 68
        default: 95
   }

Bu, Java'nın hashCode'u farklı dizeler için aynı değeri üretebilir mi? , nadir de olsa, yine de eşleştirme olasılığı vardır (aynı hash koduna sahip iki dizge) Aşağıdaki örneğe bakın

    int monthNumber;
    String month = args[0];

    switch (month) {
    case "Ea":
        monthNumber = 1;
        break;
    case "FB":
        monthNumber = 2;
        break;
    // case null:
    default:
        monthNumber = 0;
        break;
    }
    System.out.println(monthNumber);

javap bunun için

  10: lookupswitch  { // 1
              2236: 28
           default: 59
      }
  28: aload_3       
  29: ldc           #22                 // String Ea
  31: invokevirtual #24                 // Method java/lang/String.equals:(Ljava/lang/Object;)Z
  34: ifne          49
  37: aload_3       
  38: ldc           #28                 // String FB
  40: invokevirtual #24                 // Method java/lang/String.equals:(Ljava/lang/Object;)Z
  43: ifne          54
  46: goto          59 //Default

Gördüğünüz gibi , her bir vaka dizesi ile eşleşmeyi kontrol etmek için iki koşul için "Ea"ve "FB"ancak iki ifkoşulla üretilir . Bu işlevselliği uygulamanın çok ilginç ve karmaşık yolu!

Uzun lafın kısası ... (ve umarım yeterince ilginç !!!)

Enum ilk olarak Java1.5'te ( Eylül'2004 ) tanıtıldı ve String'i açmaya izin vermeyi talep eden hata uzun süre önce dosyalandı ( Ekim'95 ). Jun'2004'te bu hatayla ilgili yayınlanan yoruma bakarsanız, bu hatayı erteledikleri ( görmezden geldikleri ) ve sonunda Java 1.5'i başlattıkları aynı yıl içinde 0'dan başlayan sıralı 'enum' ile başlattıkları ve ( cevapsız ) numaralandırma için boş değeri desteklememek. Daha sonra Java1.7'de ( Temmuz'2011 ) takip ettiler (Don't hold your breath. Nothing resembling this is in our plans. zorunlu) String ile aynı felsefe (yani bayt kodu üretilirken, hashcode () yöntemi çağrılmadan önce boş bir denetim yapılmadı).

Bu yüzden, enum'un ilk geldiği ve anahtar bloğundaki boş değeri destekleyemedikleri için 0'da ordinal başlangıcıyla uygulandığı ve daha sonra String ile aynı felsefeyi zorlamaya karar verdiler, yani boş değeri değil anahtar bloğunda izin verilir.

TL; DR String ile java kodunu bayt kod dönüşümüne uygularken NPE'yi (null için karma kod üretme girişiminden kaynaklanan) halledebilirlerdi, ancak sonunda yapmamaya karar verdiler.

Referans: TheBUG , JavaVersionHistory , JavaCodeToByteCode , SO

Java Belgelerine göre:

Anahtar, bayt, kısa, karakter ve ilkel veri türleriyle çalışır. Ayrıca, numaralandırılmış türler (Enum Türleri'nde tartışılmıştır), String sınıfı ve belirli ilkel türleri saran birkaç özel sınıfla çalışır: Karakter, Bayt, Kısa ve Tam Sayı (Sayılar ve Dizeler'de tartışılmıştır).

Yana nulltürü yok ve hiçbir şeyden bir örnek değil, bir switch deyimi ile çalışmaz.

Cevap basitçe, referans tipli (kutulu bir ilkel tip gibi) bir anahtar kullanırsanız, ifade boş ise çalışma zamanı hatası ortaya çıkar çünkü kutudan çıkarmak NPE'yi atar.

bu nedenle case null (yasa dışıdır) yine de asla yürütülemez;)

Https://stackoverflow.com/a/18263594/1053496 adresindeki anlayışlı yorumlara (başlık altında ....) katılıyorum@Paul Bellora'nın cevabında katılıyorum.

Deneyimlerimden bir neden daha buldum.

Eğer 'durum' null olabilir, bu da switch (değişken) 'in boş olduğu anlamına gelir, o zaman geliştirici eşleşen bir' boş 'durum sağladığı sürece sorun olmadığını söyleyebiliriz. Ancak, geliştirici eşleşen herhangi bir 'boş' durum sağlamazsa ne olur? O zaman bunu bir 'varsayılan' durumla eşleştirmemiz gerekir ki bu, geliştiricinin varsayılan durumda ele almayı amaçladığı şey olmayabilir. Bu nedenle 'boş' ile bir varsayılan eşleştirme 'şaşırtıcı davranışa' neden olabilir. Bu nedenle, 'NPE'nin atılması, geliştiricinin her durumu açıkça ele almasını sağlayacaktır. Bu durumda NPE atmayı çok düşünceli buldum.

Apache StringUtils sınıfını kullanın

String month = null;
switch (StringUtils.trimToEmpty(month)) {
    case "xyz":
        monthNumber=1;  
    break;
    default:
       monthNumber=0;
    break;
}