なければ,二項数値昇格(5.6.2)がそのオペランド型に適用され,その条件式の型は2番目及び3番目のオペランドの昇格された型とする。二項数値昇格は,数値集合変換(5.1.8)を実行することに注意すること。その2番目及び3番目のオペランドの一つが空型であり及び他方の型が参照型であるならば,その条件式の型はその参照型とする。2番目及び3番目のオペランドが異なる参照型であるならば,その型の一つが他の型(これをこの後はTと呼ぶ)に代入変換(5.2)によって変換可能でなければならない。どちらの型も他方の型に代入互換でないならば,コンパイル時エラーとする。実行時には,その条件式の最初のオペランド式が最初に評価される。値は,2番目又は3番目のオペランド式のどちらを選択するために使用される。あるならば,その2番目のオペランド式を選択する。あるならば,3番目のオペランド式を選択する。その選択されたオペランド式を評価し,その結果の値は上述した規則によって決定される条件式の型に変換される。選択されないオペランド式は,条件式のこの特定の評価のためには評価しない。すべてが構文的に右結合とする(右から左へとグループ化する。