环境
系统：Windows 7 引擎：VS2013
目的
制作一泛型方法，说明类型推断对类型参数的限制。
实例
using System;
namespace GenericsFunctionTest
{
class Program
{
private static void Swap<T>(ref T o1, ref T o2)
{
T temp = o1;
o1 = o2;
o2 = temp;
}
static void Main(string[] args)
{
String a = "aa";
Console.WriteLine("a: {0}", a.GetType());
String b = "bb";
Console.WriteLine("b: {0}", b.GetType());
Swap<String>(ref a, ref b);
Console.WriteLine("a: {0}, b: {1}", a, b);
}
}
}
结果
a: System.String
b: System.String
a: bb, b: aa
说明
如果把 String a = “aa”; 改成 Object a = “aa”; 输出GetType也是System.String，但Swap却会报错。 因为在C#的类型推断（type inference）并不会根据实际类型进行推断，所以在C#制作泛型方法Swap，其参数必须是数据类型一致。 例如：Object a = “aa”; 其中，a的实际类型虽然是String，但数据类型是Object。 GetType输出是按实际类型，而泛型方法的类型参数却是按数据类型，这点要注意。
以上简单回顾。
参考资料：
《CLR via C#(第3版)》第12.7节
