三項演算子では許可されているが、ifステートメントでは許可されていないintとしてnullを返す

次のスニペットの簡単なJavaコードを見てみましょう。

public class Main {

    private int temp() {
        return true ? null : 0;
        // No compiler error - the compiler allows a return value of null
        // in a method signature that returns an int.
    }

    private int same() {
        if (true) {
            return null;
            // The same is not possible with if,
            // and causes a compile-time error - incompatible types.
        } else {
            return 0;
        }
    }

    public static void main(String[] args) {
        Main m = new Main();
        System.out.println(m.temp());
        System.out.println(m.same());
    }
}

この最も単純なJavaコードでtemp()は、関数の戻り値の型がであっても、メソッドはコンパイラエラーを発行せずint、値をnull（ステートメントを通じてreturn true ? null : 0;）返します。コンパイルすると、明らかにランタイム例外が発生しNullPointerExceptionます。

ただし、3項演算子をif（same()メソッドのように）ステートメントで表すと、コンパイル時エラーが発生し、同じことが間違っているように見えます。どうして？

コンパイラーはnullへのnull参照として解釈し、Integer（Java言語仕様、15.25で説明されているように）条件演算子のオートボクシング/アンボクシングルールを適用して、次に進みます。これによりNullPointerException、実行時にat が生成されます。これを試すことで確認できます。

私は、Javaコンパイラの解釈だと思うtrue ? null : 0ようIntegerに暗黙的に変換できる式を、int多分与え、NullPointerExceptionます。

後者の場合には、式がnull特別なのであるヌル・タイプ を参照してくださいコードはので、return null型の不一致になります。

実際、そのすべてはJava言語仕様で説明されています。

条件式のタイプは次のように決定されます。

• 2番目と3番目のオペランドが同じ型（null型の場合もある）である場合、それは条件式の型です。

したがって、あなたの「null」は(true ? null : 0)int型を取得し、次に整数にオートボックス化されます。

これを確認するためにこのようなものを試してみてください(true ? null : null)。そうしないと、コンパイラエラーが発生します。

ifステートメントの場合、null参照はそのように解釈されることを強制Integerする式に参加していないため、参照は参照として扱われません。したがって、エラーはより明確に型であるため、コンパイル時に簡単にキャッチできます。エラーであるます。

条件演算子については、Java言語仕様§15.25の「条件演算子? :」が、型変換の適用方法に関する規則でこれにうまく答えています。

• 2番目と3番目のオペランドが同じ型（null型の場合もある）である場合、それは条件式の型です。
  
  でないため、適用されnullませんint。

---

• 2番目と3番目のオペランドの一方がブール型で、もう一方の型がブール型の場合、条件式の型はブール型になります。
  
  なぜならどちらも適用されませんnullもintされbooleanたりBoolean。

---

• 2番目と3番目のオペランドの一方がNULL型で、もう一方の型が参照型である場合、条件式の型はその参照型になります。
  
  はnullnull型であるため適用されintませんが、参照型ではありません。

---

• それ以外の場合、2番目と3番目のオペランドが数値型に変換可能な型（§5.1.8）を持つ場合、いくつかのケースがあります：[…]
  
  適用：null数値型に変換可能として扱われ、§5.1で定義されます。 8「ボックス化解除変換」をスローしNullPointerExceptionます。

最初に覚えておかなければならないのは、Javaの三項演算子には「タイプ」があり、これが2番目または3番目のパラメーターの実際のタイプ/実際のタイプに関係なく、コンパイラーが判別して考慮するものであることです。いくつかの要因に応じて、3項演算子のタイプは、Java言語仕様15.26に示されているように、さまざまな方法で決定されます。

上記の質問では、最後のケースを考慮する必要があります。

それ以外の場合、2番目と3番目のオペランドは、それぞれタイプS1とS2です。ましょうT1がにボクシング変換を適用することから生じることタイプであるS1、およびlet T2がタイプされることにボクシング変換を適用した結果S2。条件式のタイプは、lub（T1、T2）（§15.12.2.7）にキャプチャ変換（§5.1.10）を適用した結果です。

キャプチャ変換の適用（5.1.10）を見ると、これは最も複雑なケースであり、何よりもlub（T1、T2）です。

平易な英語で、極端に単純化した後、2番目と3番目のパラメーターの「最小共通スーパークラス」（そう、LCMと考えてください）を計算するプロセスを説明できます。これにより、3項演算子の「タイプ」が得られます。繰り返しますが、今言ったのは極端な単純化です（複数の共通インターフェースを実装するクラスを考えてください）。

たとえば、次のような場合：

long millis = System.currentTimeMillis();
return(true ? new java.sql.Timestamp(millis) : new java.sql.Time(millis));

条件式の結果の型はjava.util.Date、Timestamp/の「最小共通スーパークラス」であるためです。Timeペアのです。

nullオートボックス化できるので、「最小共通スーパークラス」がIntegerクラスであり、これが上記の条件式（3項演算子）の戻り型になります。戻り値は、型のnullポインタになりますIntegerなり、それが三項演算子によって返されます。

実行時に、Java仮想マシンが開梱すると、Integera NullPointerExceptionがスローされます。JVMの試みが機能を起動するので、これが起こるnull.intValue()場合、nullオートボクシングの結果です。

私の意見では（そして、私の意見はJava言語仕様に含まれていないため、多くの人はとにかくそれが間違っていることに気付くでしょう）、コンパイラーはあなたの質問の式を評価するのに不十分です。あなたが書いtrue ? param1 : param2たことを考えると、コンパイラーは最初のパラメーターnullが返されることをすぐに判断する必要があり、コンパイラー・エラーを生成するはずです。これは、あなたが書いwhile(true){} etc...て、コンパイラがループの下のコードについて文句を言ってでフラグを立てるときと多少似ていますUnreachable Statements。

2番目のケースはかなり単純で、この回答はすでに長すぎます...;）

補正：

別の分析の結果、null値をボックス化/オートボックス化できるというのは間違っていたと思います。クラスIntegerについて言えば、明示的なボクシングはnew Integer(...)コンストラクターまたはおそらくInteger.valueOf(int i);（このバージョンをどこかに見つけた）を呼び出すことにあります。前者はNumberFormatException（そしてこれは起こりません）をスローしますが、後者はintできないので意味がありませんnull...

実際、最初のケースでは式を評価できますが、コンパイラーはそれをとして評価する必要があることを知っているためInteger、2番目のケースでは戻り値（null）のタイプを判別できないため、コンパイルできません。にキャストするとInteger、コードがコンパイルされます。

private int temp() {

    if (true) {
        Integer x = null;
        return x;// since that is fine because of unboxing then the returned value could be null
        //in other words I can say x could be null or new Integer(intValue) or a intValue
    }

    return (true ? null : 0);  //this will be prefectly legal null would be refrence to Integer. The concept is one the returned
    //value can be Integer 
    // then null is accepted to be a variable (-refrence variable-) of Integer
}

これはどう：

public class ConditionalExpressionType {

    public static void main(String[] args) {

        String s = "";
        s += (true ? 1 : "") instanceof Integer;
        System.out.println(s);

        String t = "";
        t += (!true ? 1 : "") instanceof String;
        System.out.println(t);

    }

}

出力はtrue、trueです。

Eclipseは、条件式の1をオートボックス化として色分けします。

私の推測では、コンパイラは式の戻り値の型をObjectと見なしています。