なければ,コンパイル時エラーが発生する。2番目と3番目のオペランドの選択,又はそれぞれが参照型か空型のいずれかである2番目と3番目のオペランドの選択に使用してよい。他のすべての場合には,コンパイル時エラーになる。メソッドの呼出しは,2番目のオペランド式も3番目のオペランド式も許されないことに注意すること。メソッドの起動が出現するかもしれないいかなる文脈にも出現することは許されない(14.8)。条件式の型は,次のように決定される。2番目及び3番目のオペランドが同じ型(空型であってもよい)をもつならば,その型は条件式の型とする。なければ,もし2番目及び3番目のオペランドが数値型をもつならば,次の幾つかの場合がある。