web-dev-qa-db-ja.com

Java条件演算子？：結果タイプ

条件演算子について少し戸惑っています。次の2行を検討してください。

_Float f1 = false? 1.0f: null;
Float f2 = false? 1.0f: false? 1.0f: null;
_

F1がnullになり、2番目のステートメントがNullPointerExceptionをスローするのはなぜですか？

Langspec-3.0パラ15.25sais：

それ以外の場合、2番目と3番目のオペランドはそれぞれタイプS1とS2です。 T1をS1にボクシング変換を適用した結果のタイプとし、T2をS2にボクシング変換を適用した結果のタイプとします。条件式のタイプは、キャプチャ変換（§5.1.10）をlub（T1、T2）（§15.12.2.7）に適用した結果です。

したがって、_false?1.0f:null_の場合、T1はFloatであり、T2はnullタイプです。しかし、lub(T1,T2)の結果は何ですか？この15.12.2.7項​​は少し多すぎます...

ところで、私はWindowsで1.6.0_18を使用しています。

PS：Float f2 = false? (Float) 1.0f: false? (Float) 1.0f: null;がNPEをスローしないことは知っています。

javanullpointerexceptiontype-conversionconditional-operator
36
Wangnick

違いは、コンパイル時の式の静的型付けです：

概要

E1: `(false ? 1.0f : null)`
    - arg 2 '1.0f'           : type float,
    - arg 3 'null'           : type null 
    - therefore operator ?:  : type Float (see explanation below)
    - therefore autobox arg2
    - therefore autobox arg3

E2: `(false ? 1.0f : (false ? 1.0f : null))`
    - arg 2 '1.0f'                    : type float
    - arg 3 '(false ? 1.0f : null)'   : type Float (this expr is same as E1)
    - therefore, outer operator ?:    : type float (see explanation below)
    - therefore un-autobox arg3

詳細な説明：

仕様 を読み、得られた結果から逆方向に作業することから、これが私の理解です。つまり、f2 inner条件付きの第3オペランドの型はヌル型であり、f2 outer条件付きの第3オペランドの型はFloatと見なされます。

注：タイプの決定とボックス化/ボックス化解除コードの挿入は、コンパイル時に行われることを覚えておくことが重要です。ボックス化/ボックス化解除コードの実際の実行は実行時に行われます。

Float f1 = (false ? 1.0f : null);
Float f2 = (false ? 1.0f : (false ? 1.0f : null));

f1条件付きおよびf2内部条件付き：（false？1.0f：null）

F1条件文とf2内部条件文は同じです：（false？1.0f：null）。 f1条件付きおよびf2内部条件付きのオペランドタイプは次のとおりです。

type of second operand = float
type of third operand = null type (§4.1)

§15.25 のルールのほとんどは渡され、この最終評価が実際に適用されます。

それ以外の場合、2番目と3番目のオペランドはそれぞれタイプS1とS2です。 T1をS1にボクシング変換を適用した結果のタイプとし、T2をS2にボクシング変換を適用した結果のタイプとします。条件式のタイプは、キャプチャ変換（ §5.1.1 ）をlub（T1、T2）（ §15.12.2.7 ）に適用した結果です。

S1 = float
S2 = null type
T1 = Float
T2 = null type
type of the f1 and f2 inner conditional expressions = Float

F1の場合、割り当てはFloat参照変数に対するものであるため、式（null）の結果は正常に割り当てられます。

f2外部条件付きの場合：（false？1.0f：[f2内部条件付き]）

F2外部条件の場合、タイプは次のとおりです。

type of second operand = float
type of third operand = Float

nullリテラルを直接参照するf1/f2内部条件と比較したオペランドタイプの違いに注意してください（ §4.1 ）。 2つの数値変換可能なタイプがあるというこの違いのため、 §15.12.2.7 からのこのルールが適用されます。

  • それ以外の場合、2番目と3番目のオペランドに数値型に変換可能な型（ §5.1.8 ）がある場合、いくつかのケースがあります。

    • それ以外の場合は、2進数の昇格（ §5.6.2 ）がオペランドの型に適用され、条件式の型は2番目と3番目のオペランドの昇格された型になります。 2進数の昇格は、ボックス化解除変換（ §5.1.8 ）および値セット変換（ §5.1 .1 ）。

F2内部条件付き（null）の結果に対して実行されたボックス化解除変換のため、NullPointerExceptionが発生します。

26
Bert F

以下は、プリミティブにnullを割り当てようとすると、NPEをスローします。

    float f1 = false ? 1.0f: null;

私が信じているのは、2番目のステートメントでNPEを引き起こしている原因です。最初のターナリはtrueのfloatを返すため、falseをfloatに変換しようとします。

必要な結果はFloatであるため、最初のステートメントはnullに変換されません。

これは、たとえば、プリミティブに変換する必要がなくなったため、NPEをスローしません。

    Float f = false? new Float(1.0f): true ? null : 1.0f;
2
objects

コードを書き直すと、説明がより明確になると思います。

    float f = 1.0f;

    Float null_Float  = false?        f  : null;       // float + null  -> OK
    Float null_Float2 = false? (Float)f  : null_Float; // Float + Float -> OK
    Float npe         = false?        f  : null_Float; // float + Float -> NPE

したがって、NPEは、次のようなことを行おうとするときです。

Float npe = false? 1.0f : (Float)null;
2
JRL

あるべきかどうか、それが問題です。 :)

編集：実際、よく見ると、このケースは実際には ハムレット （三項演算子とラップされた整数型）の混合であるように見えます）および Elvis （auto-unboxing null）パズルゲーム。いずれにせよ、私はビデオを見ることをお勧めすることしかできません、それは非常に教育的で楽しいです。

2
kloffy

JVMが2番目のnullをFloatではなくfloatにボックス化解除しようとしているように見えるため、NullPointerExceptionが発生します。一度自分で叩いてください。私の考えでは、2番目のifは、trueの部分が最初のifは、フロートではなくフロートとして評価されます。

考え直した後、これはJava何か奇妙なことをしていることを示す方法だと思います。三項ifをネストしないでください、そうすれば大丈夫です:-)

1
Slava Imeshev