[解決済み】'int'と<null>の間に暗黙の変換がないため、条件式の型が決定できない

質問

なぜコンパイルできないのですか？

int? number = true ? 5 : null;

int' と <null> 間の暗黙の変換がないため、条件式の型が決定できません。

どのように解決するのですか？

仕様書（§7.14）では、条件式に対して b ? x : y のどちらか、3つの可能性があります。 x と y はどちらもタイプ と ある 良い条件 を満たした場合、どちらか一方のみ x と y は、タイプ と ある 良い条件 を満たすか、コンパイル時エラーが発生します。ここで、quot;特定の良い条件"とは、特定の変換が可能であることを意味し、その詳細については後ほど説明します。

では、仕様書の肝心な部分に目を向けてみましょう。

のどちらか一方だけなら x と y は型を持ち、両方とも x と y がその型に暗黙のうちに変換される場合、その型が条件式の型となる。

ここで問題となるのは

int? number = true ? 5 : null;

は、条件付き結果のうち1つだけが型を持っています。ここで x は int というリテラルと y は null を行うものです。 ではない 型がある と null に暗黙のうちに変換されることはありません。 int ¹ . したがって、"ある良い条件"を満たしておらず、コンパイル時エラーが発生します。

そこで は これを回避する方法が2つあります。

int? number = true ? (int?)5 : null;

ここでは、まだ x と y は型を持つ。なお null 今も が型を持っていない場合でも、コンパイラは何の問題も発生させません。 (int?)5 と null はどちらも暗黙のうちに int? (§6.1.4と§6.1.5)。

もう一方は当然です。

int? number = true ? 5 : (int?)null;

を読み込まなければならないが、今度は 異なる という節があり、なぜこれがOKなのかを理解することができます。

もし x は、タイプ X と y は、タイプ Y では

• から暗黙の変換(6.1節)が存在する場合、その変換は X から Y からではなく Y から X であれば Y は条件式の型である。

• から暗黙の変換（§6.1）が存在する場合、その変換は Y から X からではなく X から Y であれば X は条件式の型である。

• それ以外の場合は、式の型が決定できず、コンパイル時エラーが発生します。

これ x は、タイプ int と y は、タイプ int? . から暗黙のうちに変換されることはありません。 int? から int からの暗黙の変換があります。 int から int? ということで、式の型は int? .

¹ : さらに、条件式の型を決定する際に、左辺の型は無視されることに注意してください。これは、ここでよくある混乱の原因です。