日落20190523002 - C#基础之泛型方法的类型参数限制

环境

系统：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节