String switchステートメントがnullケースをサポートしないのはなぜですか？

Java 7 switchステートメントがnullケースをサポートせず、代わりにスローするのはNullPointerExceptionなぜですか。以下のコメント付きの行を参照してください（例については、Javaチュートリアルの記事switchから引用しています）。

{
    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;
}

これにより、ifすべてのswitch使用前にnullチェックの条件が回避されます。

damryfbfnetsiとしてポイントのコメントで、JLS§14.11は、以下の注意事項があります。

nullスイッチラベルとしての使用を禁止することで、実行できないコードを記述できなくなります。場合switchの式である参照型のものであるStringか、箱入りプリミティブ型または列挙型は、実行時エラーは、発現評価された場合に発生するnull実行時。Javaプログラミング言語の設計者の判断では、これはswitchステートメント全体を黙ってスキップしたり、defaultラベル（ある場合）の後にステートメント（ある場合）を実行することを選択したりするよりも良い結果です。

（強調鉱山）

最後の文はを使用する可能性をスキップしてcase null:いますが、それは合理的であり、言語設計者の意図についての見解を提供しています。

実装の詳細を見ると、Christian Hujerによるこのブログ投稿にnullは、スイッチでは許可されない理由に関する洞察に富んだ推測が含まれています（ただし、enumスイッチではなくスイッチを中心としていますString）。

switch内部的には、ステートメントは通常、tablesswitchバイトコードにコンパイルされます。そして、switchそのケースと同様に「物理的な」議論はintsです。スイッチをオンにするint値は、メソッドを呼び出すことによって決定されEnum.ordinal()ます。[...]序数はゼロから始まります。

ことを意味し、マッピングがnullする0良いアイデアではないでしょう。最初の列挙値のスイッチはnullと区別できません。列挙型の序数を1から数えるのは良い考えでしょう。しかし、そのように定義されておらず、この定義は変更できません。

一方でStringスイッチが別々に実装され、enumスイッチは最初に来て、参照があるときに振る舞うべき参照型に切り替える方法については、先例を設定しましたnull。

一般的nullに扱いが厄介です。多分よりよい言語はなしで生きることができnullます。

あなたの問題は

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

    }

きれいではありませんString.valueOf()が、スイッチでnull文字列を使用できます。が見つかるとnull、に変換し"null"ます。それ以外の場合は、渡したのと同じ文字列を返します。"null"明示的に処理しない場合は、に移動しdefaultます。唯一の注意点は、文字列"null"と実際のnull変数を区別する方法がないことです。

    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;

これはなぜスローするのかを答えようとする試みです NullPointerException

以下のjavapコマンドの出力は、引数文字列のcaseハッシュコードに基づいて選択されていることを示しているswitchため.hashCode()、null文字列に対してが呼び出されるとNPEをスローします。

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

つまり、JavaのhashCodeに対する回答に基づいて、異なる文字列に対して同じ値を生成できますか？まれですが、2つのケースが一致する可能性はまだあります（同じハッシュコードの2つの文字列）以下の例を参照してください

    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

  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

あなたが見ることができるように一つだけの場合は、のために生成されます"Ea"と"FB"が、2つのを持つif各ケース文字列との一致をチェックするための条件。この機能を実装する非常に興味深い複雑な方法！

短い話...（そしてうまくいけば十分に面白い!!!）

Enumは最初にJava1.5で導入され（2004年9月）、Stringのスイッチを許可することを要求するバグは長い間（95年10月）提出されました。2004年6月にそのバグに投稿されたコメントを見ると、彼らはこのバグを据え置いた（無視した）ように見え、最終的に同じ年にJava 1.5を起動し、序数が0から始まるenumを導入して決定しました（ミス）列挙型のnullをサポートしません。その後、Java1.7（2011年7月）で（強制的にDon't hold your breath. Nothing resembling this is in our plans.）Stringと同じ哲学（つまり、バイトコードの生成中は、hashcode（）メソッドを呼び出す前にnullチェックは実行されませんでした）。

つまり、列挙型が最初に来て、序数が0で始まるように実装されたため、スイッチブロックでnull値をサポートできず、後でStringを使用して、同じ哲学、つまりnull値を強制しないことにしました。スイッチブロックで許可されています。

TL; DR Stringを使用すると、Javaコードからバイトコードへの変換を実装するときにNPE（nullのハッシュコードを生成しようとしたため）を処理できますが、最終的にはしないことにしました。

参照： TheBUG、 JavaVersionHistory、 JavaCodeToByteCode、 SO

Javaドキュメントによると：

スイッチは、byte、short、char、およびintプリミティブデータ型で機能します。また、列挙型（列挙型で説明）、Stringクラス、および特定のプリミティブ型をラップするいくつかの特別なクラス（文字、バイト、Short、および整数（数値と文字列で説明））でも機能します。

にnullは型がなく、何のインスタンスでもないため、switchステートメントでは機能しません。

答えは、参照型（ボックス化されたプリミティブ型など）でスイッチを使用する場合、式をnullにすると、ボックス化を解除するとNPEがスローされるため、実行時エラーが発生するということです。

したがって、ケースnull（これは違法です）は決して実行できません;）

@Paul Belloraの回答のhttps://stackoverflow.com/a/18263594/1053496にある洞察に満ちたコメント（ボンネットの下...）に同意します。

私の経験からもう1つ理由を見つけました。

'case'がnullである可能性がある場合、つまり、switch（variable）がnullであることを意味します。開発者が対応する 'null'ケースを提供する限り、問題はありません。しかし、開発者が一致する 'null'ケースを提供しない場合はどうなりますか。次に、それを「デフォルト」のケースと一致させる必要があります。したがって、「null」をデフォルトに一致させると、「驚くべき動作」が発生する可能性があります。したがって、「NPE」をスローすると、開発者はすべてのケースを明示的に処理するようになります。この場合、NPEを投げることは非常に慎重であることがわかりました。

Apache StringUtilsクラスを使用する

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