【文件属性】：
文件名称：2013-01-30 泛型、反射.pdf
文件大小：851KB
文件格式：PDF
更新时间：2022-09-10 09:42:35
泛型、反射
一、泛型
为什么要有泛型集合(List,Dictionary,LinkedList)？
1.为了避免装箱拆箱;
2.复用集合类里的 代码（算法） List List
1.概念
1.1官方：是一种特殊的【算法重用】机制。允许程序员在代码中将 变量或参数的类型 先用【类型占位符】来代替，等到运行的时候再根据传入的【类】来替换
通俗：类也可以带参数了！但是这个参数必须是 类型！用来在 类的代码中 暂时代替 类的位置，然后会在运行时，被替换。
【例子】：
public class MyList
{
T[] arr;
public MyList(T[] arrp)
{
arr = arrp;
}
}
2.语法
2.1泛型的运行
当 运行的时候，JIT会帮我们生成泛型类的不同版本，通过如下代码可以验证：
//aa是MyList中一个int的静态变量
MyList.aa = 11;
MyList.aa = 22;
//照理说，同为MyList类的静态变量，应该保存最后一次赋值的 22
//但是输出的时候，确实生成了两个不同的版本
Console.WriteLine(MyList.aa.ToString());//11
Console.WriteLine(MyList.aa.ToString());//22
//由此看出，JIT在运行代码的时候，分别为带不同的 泛型参数 的MyList类生成了不同的版本。
MyList.dd = new Dog();
MyList.dd.age = 11;
MyList.dd = new Dog();
MyList.dd.age = 22;
Console.WriteLine(MyList.dd.age.ToString());//11
Console.WriteLine(MyList.dd.age.ToString());//22
【问题】为什么JIT在执行的是有要根据泛型类 MyList里的T 来产生不同的 MyList类的版本？
因为 只有当T确定为某种类型的时候，JIT才有可能计算出 当前MyList类的对象在内存中要分配多大的空间。
3.泛型约束
3.1基类约束
public class House
where TPet:Dog //约束 TPet必须是 Dog或Dog的子类
where TPet2:Cat //约束 TPet必须是 Cat或Cat的子类
{
TPet pet1;
TPet2 pet2;
}
