Nullable 型のボックス化

窓際プログラマーの独り言 -C#の話題を中心に:Nullable型のType より

---

int? a = 10;
Type type = a.GetType();
Console.WriteLine(type.Name);

を実行すると、

Int32

って表示されるんだ。

---

---

a = null;
type = a.GetType();

だと、
「オブジェクト参照がオブジェクト インスタンスに設定されていません。」
と、例外が発生する。

---

へー、そんな動きするんですね。
ちょっと調べてみましたところ、CLR の動作によるもののようでした。


まず、GetType メソッドは Object クラスで定義されている非仮想メソッドなので、GetType メソッドを値型に対して呼び出す際はボックス化が必要になります (Nullable 型は値型です) 。
そして、Nullable 型をボックス化する際、CLR は特別な動作をします。
Nullable 型が (論理的に) null である場合、ボックス化を行わず (正真正銘の) null を返します。
Nullable 型が (論理的に) null でない場合、Nullable 型が保持している生 (?) の値をボックス化して返します。
ということで、Nullable 型に対して GetType メソッドを呼び出しても、生の値、あるいは null に対して呼び出されてしまうというわけです。


# ちなみに、C# コンパイラが原因と予想して調べ始めたのですが、見事に外れました ＾＾；