c# 泛型类型参数与约束的深入分析

泛型类型参数简介
在定义泛型类型和泛型方法时，常用到泛型类型参数，泛型类型参数是在实例化泛型时指定类型的占位符。泛型类型参数放在“<>”内。
泛型类型参数命名建议：
（1）当泛型类型参数为单个字母时，建议用t表示。
（2）当泛型类型参数用单词定义时，建议在单词前加t。

private void promptname<t>(t t) {}
private void promptname<tuser>(tuser user){}

泛型类型参数约束
在定义泛型类时，可以对在实例化泛型类时用于类型参数的类型种类施加限制。如果实例化泛型类时使用某个约束所不允许的类型来实例化类，则会产生编译时错误。
泛型约束分类： 

约束	说明
t：结构	类型参数必须是值类型。 可以指定除 nullable 以外的任何值类型。
t：类	类型参数必须是引用类型；这一点也适用于任何类、接口、委托或数组类型。
t：new()	类型参数必须具有无参数的公共构造函数。 当与其他约束一起使用时，new() 约束必须最后指定。
t：<基类名>	类型参数必须是指定的基类或派生自指定的基类。
t：<接口名称>	类型参数必须是指定的接口或实现指定的接口。 可以指定多个接口约束。 约束接口也可以是泛型的。
t：u	为 t 提供的类型参数必须是为 u 提供的参数或派生自为 u 提供的参数。

（1）类型参数约束为结构（struct）。

public class showobjecttype<t> where t : struct
    {
        public void showvalue<t>(t t)
        {
            console.writeline(t.gettype());
        }
    }
    class genericconstraint
    {
        static void main()
        {

            showobjecttype<int> showint = new showobjecttype<int>();
            showint.showvalue<int>(5);
            showint.showvalue(5);//从参数可以推导出类型参数类型，则可以省略类型参数类型

            //因为约束为值类型，下面代码不能通过编译
            showobjecttype<string> showstring = new showobjecttype<string>();
            showstring.showvalue("5");
            console.read();
        }
    }

（2）类型参数约束为类（class）。
在应用 where t : class 约束时，避免对类型参数使用 == 和 != 运算符，因为这些运算符仅测试类型为引用类型，而不测试值相等性。

class genericconstraint
    {
        static void main()
        {
              list<string > list = new list<string>();
            addclass<string>(list, "hello generic");
            console.read();
        }
        private static void addclass<t>(list<t> list, t t) where t : class
        {
            list.add(t);
        }
    }

（3）类型参数约束为具体类。
约束为具体类时，可利用类型参数调用具体类的属性和方法。

class genericconstraint
    {
        static void main()
        {
            person person = new person { id = 1, name = "david" };
            promptname<person>(person);
            console.read();
        }
        //此约束t为person对象或者继承person对象
        private static void promptname<t>(t t) where t : person
        {
            //此处可使用person的name属性
            if (t.name == "david")
            {
                console.writeline("person name is david");
            }
            string name = t.getname();
            console.writeline("person name is {0}", name);
        }
    }
    public class person
    {
        private int id;
        public int id
        {
            get { return id; }
            set { id = value; }
        }
        private string name;
        public string name
        {
            get { return name; }
            set { name = value; }
        }
        public string getname()
        {
            return name;
        }
    }

（4）约束多个参数。

class base { }
class test<t, u>
    where u : struct
    where t : base, new() { }

（5）未绑定类型参数。
 没有约束的类型参数，称为未绑定的类型参数。

class  list<t>{}