【Clr in c#】泛型

时间:2022-11-20 16:52:30

  使用泛型的好处是“代码重用”,极大的提高了开发效率,泛型为开发者提供了以下优势:

    1,源代码保护  算法的源代码不需要提供给使用泛型算法的开发人员,使用c++模板的泛型技术需要提供。(目前c++模板的泛型技术了解较少)

    2,类型安全    给泛型算法指定类型时,编译器能理解开发者意图,只有兼容类型能通过,不兼容的时候编译时候会报错。

    3,更清晰的代码  由于编译器强制类型的安全性,减少源代码中必须进行的转型次数,使得代码容易维护和编写。例如:DateTime dt=dtList[0];从DateTime的集合中按照索引取出来的值可以直接赋值给DateTime类型,不需要转型。

    4,更佳的性能 在操作值类型时候,非泛型集合会造成装箱、拆箱操作,会造成托管堆上的内存分配,会造成频繁的垃圾回收,影响性能。

   补充:对于泛型方法,约束父类类型,与参数直接传递父类,在没有返回值的情况下是没有区别的,假如有需要返回传入的类型,则用泛型方法比较合适,因为通过泛型方法返回的类型不需要经过类型转换  http://bbs.csdn.net/topics/380050195

 public class AA{}
public class BB:AA{} public void GetText<T>(T t) where T:AA
{
}

public void GetText(AA x)
{}之间是等效的,没有区别。 public T GetText<T>(T t) where T:AA
{
}
public AA GetText(AA x)
在调用的地方是有区别的 BB b=new BB();
var rtGetText=GetText<BB>(b);
var rtGetText2=(BB)GetText(B);//需要进行一次类型转换

1.泛型基础结构

  1.1 开放类型和封闭类型

      具有泛型类型参数的类型称为开放类型。

        不能创建实例。例如Dictionary<,>,没有指定参数,目前尚不清楚这个开放类型有什么用。

      所有类型实参传递的都是实际数据类型为封闭类型。

        使用约束无法将类型实参限制为某一类型,可以用一个静态构造器来保证类型。如下

      

internal sealed class GenericTypeThatRequiresAnEnum<T>{
static GenericTypeThatRequiresAnEnum(){
if(!typeof(T).IsEnum){
throw new ArgumentException("T must be an enumerated type");
}
}
}

  1.2泛型类型的继承

    泛型类型仍然是类型,它能从其他任何类型派生。

    public class Node1<T>
{
public T m_data;
public Node1<T> m_next;
public Node1(T data) : this(data, null) { }
public Node1(T data, Node1<T> next)
{
m_data = data;
m_next = next;
}
public override string ToString()
{
// ABC
return m_data.ToString()+((m_next!=null)?m_next.ToString():null);
}
}

  上面例子必须是相同数据类型下使用,加入链表需要多个m_data为多种类型的时候这种结构将无法满足,这时候我们可以考虑抽出一个非泛型的基类,这样继承的泛型就可以指定多种类型。这是一个泛型应用的技巧。

public class Node2
{
protected Node2 m_next; public Node2(Node2 next)
{
m_next = next;
}
} public class TypeNode<T> : Node2 {
public T m_data;
public TypeNode(T data,Node2 next):base(next){
m_data = data;
}
public TypeNode(T data):this(data,null){
}
public override string ToString()
{
// Tody is 时间。
return m_data.ToString() + ((m_next != null) ? m_next.ToString() : null);
}
}

1.3泛型类型的同一性

  这种性质不经常用,这里简单记一下只当了解。

  简化泛型的写法多封装一层去除"<"">"。

  class DateTimeList:List<DateTime>{

  //这里不需要放入任何代码。

}

这样使用的时候就没有<,>符号了。

DateTimeList dt=new DateTimeList();

这只是表面方便了,绝对不要单纯出于增强代码可读性目的定义一个新类,事实上也不会这么做,但是这样写会丧失同一性和相等性,如下代码为Flase

Boolean sameType=(typeof(List<DateTime>)==typeof(DateTimeList));

可以通过使用using指令弥补相等性,添加如下结果为True;

using DateTimeList=System.Collections.Generic.List<System.DateTime>;

1.4代码爆炸

  使用泛型类型参数的一个方法在JIT(即时编译)编译时,Clr获取方法的IL,用指定的实参进行替换,创建恰当的本地代码,缺点是CLR要为每种不同的方法、类型组合生成本地代码,可能造成应用程序集显著增大,损坏性能,称之为 代码爆炸。

  但是CRL内建了一些优化措施,缓解代码爆炸。所有程序集使用List<DateTime>时候,只会生成一次,认为所有引用类型实参都是完全相同,List<String>和List<Stream>可以公用,之所以会这样,是因为所有引用类型的实参或者变量实际都是指向堆上的对象指针,而指针全部都是以相同的方式来操作。

2,泛型接口

  泛型接口的一个例子是IComparable接口,在接口里详细写

3,泛型委托

  建议使用泛型的Action和Func委托,会在以后的委托中细说

4,委托和接口的逆变和协变泛型类型实参

  不变量(invariant)表示泛型类型不可变。

  逆变量(contravariant)表示泛型类型参数可以从一个基类更改为该类的派生类,用in关键字标记,只出现在输入位置。

  协变量(covariant) 表示泛型类型可以从一个派生类更改为它的基类型,用out关键字标记,只出现在输出位置。

  public delegate TResult Func<in T,out TResult>(T arg);

  Func<object,ArgumentException> fn1=null;

  func<string,Exception> fn2=fn1;//这里不需要显示转换,因为逆变量,协变量

  调用委托Exception e=fn2("");

  

  使用要获取泛型参数和返回值的委托时,建议尽量使用in和out关键字,因为不会有不良反应。

  泛型接口和泛型委托一样也可以用out和in。

5,泛型方法

  用一个例子介绍下泛型的定义,下面一个类型定义了一个类型参数,一个方法定义了它自己的专用类型参数。

  

class GenericType<T>{
private T m_value;
public GenericType(T value){m_value=value;}
public TOutput Coverter(TOutput)(){
TOutput result=(TOutput)Convert.ChangeType(m_value,typeof(TOutput ));
return result;
}
}

下面写一个比较经典常用的泛型方法,2个参数互换

private static void Swap<T>(ref T o1,ref T o2){
T temp=o1;
o1=o2;
o2=temp;
}

6泛型约束

确保使用当前泛型是自己想要的类型。

 例如如下方法,在类型没有提供CompareTo方法时候会报错。

 private static T Min<T>(T o1,To2){

if(o1.CompareTo(o2)<0)

return o1;

return o2;

}

这个时候我们就需要在该泛型方法添加泛型约束。

 private static T Min<T>(T o1,To2) where T:IComparable<T>{

if(o1.CompareTo(o2)<0)

return o1;

return o2;

}

泛型约束主要分为3种。

1,主要约束   主要约束可以是一个引用类型,实参必须与约束相同或者派生,

例如where T:Stream ,使用该泛型方法必须是Stream 类型或者其派生类型。

where T:Class,使用该泛型方法必须是引用类型。

2,次要约束   次要约束代表的是一个借口类型,指定的参数必须实现所有接口约束例如 where T:IComparable<T>

3,构造器约束    指定的实参必须实现公共无参构造器的一个非抽象类型where T:New()

  

下面是项目中用到的一个泛型方法,模板反序列化。使用了Newtonsoft.Json

        public T GetTemplateData<T>() where T : TemplateData
{
if (!string.IsNullOrEmpty(TemplateDataJsonStr))
{
T obj = (T)JsonConvert.DeserializeObject(TemplateDataJsonStr, typeof(T));
obj.CheckField();
return obj;
}
else return null; }
public void SetTemplateData(TemplateData templateData)
{
TemplateDataJsonStr= JsonConvert.SerializeObject(templateData);
}