上一篇对.NET中的泛型进行了详细的介绍以及使用泛型的好处是什么,这篇将更加深入的去了解泛型的其他的知识点,重头戏.

【1】泛型方法

上一篇我们也说过了,泛型可以是类,结构,接口,在这些泛型类型中定义的方法都可以叫做泛型方法,都可以引用由泛型类型本身指定的一个类型参数例如:
 public class GenericType<T>
{ private T G_Value; public T Convert<T> { T res = (T)Convert.ChangeType(G_value,typeof(T)); return res; } }
泛型方法的存在为我们提供了极大的灵活性。
泛型方法顾名思义,首先它是一个方法,只不过这个方法的返回值,参数可能是泛型的,
 
类型推断
类型推断就是根据泛型方法中定义的形参类型T,在我们调用的使用,那么所要传的也应该是一致的。例如:

 static void Test<T >(ref T t1,ref T t2)
{
T temp = t1;
t1 = t2;
t2 = temp;
}

这是我们定义的一个泛型方法,第一个参数类型为 T,第二个也为 T,说明这两个类型是一致的。那么我们在调用的时候应该这样 :

   int i = , j =  ;

   Test( ref i, ref j);

而如果我们两个实参的类型不统一的话,那么就会引发编译异常例如 :

开放类型和封闭类型

具有泛型类型参数的类型对象让就还是一个类型, CLR内部依旧和其他的对象类型一样创建一个内部类型对象, 那么这种具有泛型类型参数的类型称之为开放类型,开发类型不能进行构造任何的实例.
当泛型类型参数是一个实参时,那么所有的类型实参传递的都是实际的数据类型了,这种类型称之为 封闭类型,封闭类型是允许构造实例对象的
  class DictionaryStringKey <T> : IEnumerable<T>
{
public IEnumerator<T> GetEnumerator()
{
throw new NotImplementedException();
} System .Collections. IEnumerator System. Collections.IEnumerable .GetEnumerator()
{
throw new NotImplementedException();
}
}

在上述代码中,有一个DictionaryStringKey的类,继承了一个IEnumable<T>的泛型,那么根据我们的开放类型它在调用的时候是不只是具体的实参,并且不能被构造实例的.

          static void Main( string[] args)
{
object o = null;
Type t = typeof( DictionaryStringKey <>);
o = CreateInstance(t);
Console .ReadLine(); } private static object CreateInstance( Type t)
{
object o = null;
try
{
o = Activator . CreateInstance(t);
Console .WriteLine( @" 创建了 " + t + "的实例 " , t .ToString());
}
catch (Exception ex)
{
o = Activator . CreateInstance(t);
Console .WriteLine( @" 创建 " + t + "的实例失败 " , t .ToString());
} return o;
}

上述代码中我尝试着对开放类型进行实例化,结果报出异常 :

当我们传入实参之后,那么它就是一个封闭类型,这样我们就可以进行构造实例了.

   static void Main( string[] args)
{
object o = null;
Type t = typeof( DictionaryStringKey <string > );
o = CreateInstance(t);
Console .ReadLine(); }

 【2】泛型接口

泛型的主要作用就是定义泛型的引用类型和值类型,在CLR中,对于泛型接口的支持也是很重要的,因为这样更有益与程序的扩展性, 另外一点如果没有泛型接口我们每次使用非泛型接口时都会进行装箱操作(例如:  IComparable),并且会失去编译时的安全性(因为它是非泛型的,较之泛型的好处之一).

那么CLR提供了对于泛型接口的支持,对于引用类型和值类型可以通过制定实参的方式来实现泛型接口,同时也可以保持未指定状态来实现一个泛型接口( 接受者也可以是泛型 , 可以在后期进行指定类型)

实例 1 : 声明一个泛型接口

      interface IPair <T>
{
T First { get; set ; }
T Second { get; set ; }
}
IPair这个接口实现了一对相关的对象,两个数据项具有相同的类型.
实现接口时,语法与非泛型类的语法是相同的,如果在实现泛型接口时,同时不指定实参,则默认为是一个泛型类.
实例 2 : 泛型接口的实现
      class Pair <T> : IPiar< T>
{
public T First
{
get
{
throw new NotImplementedException();
}
set
{
throw new NotImplementedException();
}
} public T Second
{
get
{
throw new NotImplementedException();
}
set
{
throw new NotImplementedException();
}
}
}

CLR泛型接口的支持对于集合类型来讲尤其重要,同时泛型在集合类型中较为常用,如果没有泛型那么我们所使用List的时候都要依赖与System.Collections,我们在每次访问的时候都需要执行一次转换,如果使用泛型接口,就可以避免执行转型,因为参数化的接口能实现更强的编译时绑定.

实例 3 : 在一个类中多次实现相同的接口

     interface IContainer <T>
{
ICollection<T > Items { get ; set; }
} public class Person : IContainer<A >,IContainer <B>
{ public ICollection <A> Items
{
get
{
throw new NotImplementedException();
}
set
{
throw new NotImplementedException();
}
} ICollection<B > IContainer <B>. Items
{
get
{
throw new NotImplementedException();
}
set
{
throw new NotImplementedException();
}
}
}

Items属性使用一个显式接口实现多次出现,每一次,类型参数都有所不同,如果没有泛型,这是做不到的,在非泛型的情况下,CLR只允许一个显式的IContainer.Items属性.

【4】泛型约束(主要约束,次要约束,构造器约束)

约束也可以理解为是一种规则,意思就是我们所编写的所有泛型,你在调用的时候,应该给我传输那些类型的实参。

在上一篇中,我们也在一个DataTableToList中使用到了约束,但是并没有进行讲解,在这里我们详细的说明一下:
在.NET 中有4中约束方式,它们的常规语法是相同的,约束要放在泛型方法或者泛型类型声明的末尾,并由上下文关键字 ”where :“  来引入 。
主要约束(引用类型约束):
主要约束表示的是 : 我们在指定一个引用类型约束时,那么一个指定的类型实参要么是与约束类型相同的类型,要么是从约束类型派生的一个类型
实例 4 : 引用类型约束
 struct Generic<T>(T t1) where : class
这里我定义了一个泛型方法,Generic,后来写了一个where : class,这就告诉编译器,在使用者调用这个方法时,必须为这个方法的传入一个引用类型的实参,同时,我们也可以注意到这个方法的返回类型为struct值类型。
主要约束(值类型约束)
很明显,值类型约束的话,就是将 约束条件指定为 Struct
实例 5 : 值类型约束
  class ConstraintOfStruct <T> where T : struct
{
public T result()
{
return new T();
}
}

在代码中,我们最后返回的是new T(),这个是没有问题的,因为我们已经可以肯定T就是值类型,所有的值类型都有一个隐式的构造函数,那么如果我们将 约束条件改为 class的话,那么就会出异常,因为不是所有的引用类型都可以实例化.

实例 6 : 反面教材 - 约束为引用类型时进行实例化.

构造函数类型约束
构造函数类型约束表示为 T : new(),这个约束必须为所有的类型参数的最后一个约束,它用于检查类型实参是否有一个可用于创建类型实例的无参构造函数,这一点比较适用于所有的值类型,所有的没有显式声明构造函数的非静态、非抽象类,所有显式声明了一个公共无参构造函数的非抽象类。
实例 7 : 构造函数类型约束
   public T CreateInatance<T >() where T : new()
{
return new T();
}

在方法createInstance中,要求我们必须传入一个无参的构造函数,例如:我们可以传入 object,struct,stream等,但是不能传入 string,Directory等.

接口约束:

接口约束的一个好处就是我们可以指定多个接口,但是只能指定一个类
     class ConstraintOfStruct <T> where T : class,IEquatable <T> ,IComparable<T>
{
}
组合约束 :
组合约束就是指定多个约束条件在上一个约束中我们已经看到了 ,更详细的如下 :
     class Sample<T> where T : class ,IDisposable,new(){}
class Sample<T> where T : struct,IDisposable{}
class Sample<T,U> where T : Stream where U : IDisposable{} class Sample<T> where T : class ,struct

【5】泛型类型转型

  public static T Desercialies <T > (Stream stream, IFormatter formatter)
{
return (T)formatter. Deserialize(stream);
}

formatter 负责将流转换为 Object,返回一个Object类型,我们在使用泛型调用的时候应该这样来 :

   string result = Desercialies <string > (stream, formatter);

上述的代码看着是一种强制转换,但是仍然执行了隐式的转换,就和使用非泛型 string result = (string)Desercialies(stream, formatter); 一样

【6】泛型和属性

属性也可以应用到泛型类型中,使用的方式和非泛型类型相同.自定义的属性只允许引用开发泛型类型

     class MyClass<T,S> where T :class
where S : struct
{
public T MyName { get; set; }
public S MyCode { get; set; }
public List<T> MyCourse { get; set; }
public List<S> MyStudyHistory { get; set; }
}

上述我们定义了一个MyClass 类,这个类有两个参数一个是引用类型一个是值类型.在属性MyName,MyCourse的类型都是引用类型,MyCode的类型都为值类型

泛型类型构造器:

      class Pair < T> : IPiar< T >
{
private T _first; public T First
{
get { return _first; }
set { _first = value; }
}
private T _second; public T Second
{
get { return _second; }
set { _second = value; }
}
public Pair(T first,T second)
{ }
}
interface IPiar < T> { }

泛型的构造器不需要添加类型参数来与类的声明一致.

先到这里, 下一篇着重分享协变和逆变,否则这一篇符太长,不利于以后的查看.

泛型委托和泛型反射留在深入总结委托和反射的时候进行总结。

同时,希望给在阅读的你带来一些帮助。

.NET泛型解析(下)的更多相关文章

  1. WCF 已知类型和泛型解析程序 KnownType

    数据协定继承 已知类型和泛型解析程序 Juval Lowy 下载代码示例 自首次发布以来,Windows Communication Foundation (WCF) 开发人员便必须处理数据协定继承方 ...

  2. Java泛型解析(01):认识泛型

    Java泛型解析(01):认识泛型 What      Java从1.0版本号到如今的8.中间Java5中发生了一个非常重要的变化,那就是泛型机制的引入.Java5引入了泛型,主要还是为了满足在199 ...

  3. Java泛型解析(02):通配符限定

    Java泛型解析(02):通配符限定      考虑一个这种场景.计算数组中的最大元素. [code01] public class ArrayUtil { public static <T&g ...

  4. Java泛型解析(03):虚拟机运行泛型代码

    Java泛型解析(03):虚拟机运行泛型代码      Java虚拟机是不存在泛型类型对象的,全部的对象都属于普通类,甚至在泛型实现的早起版本号中,可以将使用泛型的程序编译为在1.0虚拟机上可以执行的 ...

  5. C#函数式程序设计之泛型(下)

    C#函数式程序设计之泛型(下)   每当使用泛型类型时,可以通过where字句对泛型添加约束: + 这个例子直观地声明了一个约束:类型T必须与ListItem<string>相匹配.泛型类 ...

  6. 使用GSON和泛型解析约定格式的JSON串(转)

    时间紧张,先记一笔,后续优化与完善. 解决的问题: 使用GSON和泛型解析约定格式的JSON串. 背景介绍: 1.使用GSON来进行JSON串与java代码的互相转换. 2.JSON的格式如下三种: ...

  7. Java泛型解析(04):约束和局限性

    Java泛型解析(04):约束和局限性           前两节.认识和学习了泛型的限定以及通配符.刚開始学习的人可能须要一些时间去体会到泛型程序设计的优点和力量,特别是想成为库程序猿的同学就须要下 ...

  8. android多线程-AsyncTask之工作原理深入解析(下)

    关联文章: Android 多线程之HandlerThread 完全详解 Android 多线程之IntentService 完全详解 android多线程-AsyncTask之工作原理深入解析(上) ...

  9. Android View系统解析(下)

    转载请注明出处:http://blog.csdn.net/singwhatiwanna/article/details/38426471(来自singwhatiwanna的csdn博客) Androi ...

随机推荐

  1. PHP curl模拟浏览器采集阿里巴巴的实现代码

    <?php set_time_limit(0); function _rand() { $length=26; $chars = "0123456789abcdefghijklmnop ...

  2. UVA10529 Dumb Bones

    UVA10529 Dumb Bones go to solution 设$f[i]$表示叠$i$个的骨牌的期望 $O(n)$做法 #include<iostream> #include&l ...

  3. Java实现获取属性文件的参数值

    Java实现获取属性文件的参数值 1,属性文件内容(analysis.properties),路径必须在:src根目录下: #client data path analysis.client.data ...

  4. 20145201李子璇 《网络对抗》MSF基础应用

    实践报告 MS08_067漏洞渗透攻击 ms11_050漏洞攻击 Adobe漏洞攻击 辅助模块应用(auxiliary/scanner/portscan/tcp漏洞) MS08_067漏洞渗透攻击实践 ...

  5. 我是如何通过debug成功甩锅浏览器的:解决fixed定位元素,在页面滚动后touch事件失效问题

    如果你关注我应该知道,我最近对PC端页面进行移动适配.在这个过程中,为了节省用户300ms的时间,同时给予用户更及时的点击反馈(这意味着更好的用户体验),我在尝试使用移动端独有的 touchstart ...

  6. [Pytorch]Pytorch 细节记录(转)

    文章来源 https://www.cnblogs.com/king-lps/p/8570021.html 1. PyTorch进行训练和测试时指定实例化的model模式为:train/eval eg: ...

  7. python 去除不可见的控制字符

    尤其是在json load的时候,字符串中的不可见控制字符可能会导致错误,应该先对字符串进行控制字符过滤. 对网页文本同样适用,最好在处理网页文本时先进性控制字符清洗. Replace null by ...

  8. Android之水波纹点击效果(RippleView)

    Android5.0后各种炫的效果纷纷出来,写这篇博客主要是讲的是按钮点击效果带有的水波纹(波浪式). 当然我写的这个是自定义来实现的,在低版本(5.0一下)也可以实现点击效果.看看效果图: 上图可看 ...

  9. 2-14-2 MySQL数据类型

    MySQL数据类型: 对数据进行分类,针对不同分类进行不同的处理. 1. 使系统能够根据数据类型来操作数据. 2. 预防数据运算时出错. 3. 更有效的利用空间. 数据分类,可以使用最少的存储,来存放 ...

  10. MyBatis案例&增删改查

    一.MyBatis入门案例: ①:引入jar包 ②:创建实体类 Dept,并进行封装 ③ 在Src下创建大配置mybatis-config.xml <?xml version="1.0 ...