C# と VB.NET の質問掲示板

C# 2.0 以降の話題です。

泥爺氏のブログの記事を読んでいて疑問に感じたのですが、
http://daisy64.blogspot.com/2008/08/generic.html

以下のようなコードを実行した際に、

class Super
{
	public void Write()
	{
		Console.WriteLine("Super");
	}
}
class Sub : Super
{
	public new void Write()
	{
		Console.WriteLine("Sub");
	}
}
class Program
{
	static void Main(string[] args)
	{
		Hoge(new Sub());
	}
	public static void Hoge<T>(T t) where T : Super
	{
		Console.WriteLine(typeof(T).Name);
		t.Write();
	}
}

どういう理屈で、
Sub
Super
と実行されるのでしょうか？

> どういう理屈で、
> Sub
> Super
> と実行されるのでしょうか？

厳密な説明になっていないと思いますが、だいたい以下のような感じです。

> 		Console.WriteLine(typeof(T).Name);

このTはILコードにコンパイルされた段階では、SuperまたはSuperの派生クラスの
何かということしか明示されていません。型Tが決定されるまで結果は不明です。

> 		t.Write();

こちらのtはSuperまたはSuperの派生クラスのインスタンスであることがコンパイル時に
わかっているので、SuperのWrite仮想メソッドを呼び出すようにコンパイルされます。
(Sub.WriteはSuper.Writeとたまたま同じ名前というだけで、Super.Writeとは無関係なメソッド
 であると理解するとわかりやすいかと思います。)