.NET泛型解析(下)
上一篇对.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; } }
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);
而如果我们两个实参的类型不统一的话,那么就会引发编译异常例如 :
开放类型和封闭类型
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 ; }
}
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】泛型约束(主要约束,次要约束,构造器约束)
约束也可以理解为是一种规则,意思就是我们所编写的所有泛型,你在调用的时候,应该给我传输那些类型的实参。
struct Generic<T>(T t1) where : class
class ConstraintOfStruct <T> where T : struct
{
public T result()
{
return new T();
}
}
在代码中,我们最后返回的是new T(),这个是没有问题的,因为我们已经可以肯定T就是值类型,所有的值类型都有一个隐式的构造函数,那么如果我们将 约束条件改为 class的话,那么就会出异常,因为不是所有的引用类型都可以实例化.
实例 6 : 反面教材 - 约束为引用类型时进行实例化.
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泛型解析(下)的更多相关文章
- WCF 已知类型和泛型解析程序 KnownType
数据协定继承 已知类型和泛型解析程序 Juval Lowy 下载代码示例 自首次发布以来,Windows Communication Foundation (WCF) 开发人员便必须处理数据协定继承方 ...
- Java泛型解析(01):认识泛型
Java泛型解析(01):认识泛型 What Java从1.0版本号到如今的8.中间Java5中发生了一个非常重要的变化,那就是泛型机制的引入.Java5引入了泛型,主要还是为了满足在199 ...
- Java泛型解析(02):通配符限定
Java泛型解析(02):通配符限定 考虑一个这种场景.计算数组中的最大元素. [code01] public class ArrayUtil { public static <T&g ...
- Java泛型解析(03):虚拟机运行泛型代码
Java泛型解析(03):虚拟机运行泛型代码 Java虚拟机是不存在泛型类型对象的,全部的对象都属于普通类,甚至在泛型实现的早起版本号中,可以将使用泛型的程序编译为在1.0虚拟机上可以执行的 ...
- C#函数式程序设计之泛型(下)
C#函数式程序设计之泛型(下) 每当使用泛型类型时,可以通过where字句对泛型添加约束: + 这个例子直观地声明了一个约束:类型T必须与ListItem<string>相匹配.泛型类 ...
- 使用GSON和泛型解析约定格式的JSON串(转)
时间紧张,先记一笔,后续优化与完善. 解决的问题: 使用GSON和泛型解析约定格式的JSON串. 背景介绍: 1.使用GSON来进行JSON串与java代码的互相转换. 2.JSON的格式如下三种: ...
- Java泛型解析(04):约束和局限性
Java泛型解析(04):约束和局限性 前两节.认识和学习了泛型的限定以及通配符.刚開始学习的人可能须要一些时间去体会到泛型程序设计的优点和力量,特别是想成为库程序猿的同学就须要下 ...
- android多线程-AsyncTask之工作原理深入解析(下)
关联文章: Android 多线程之HandlerThread 完全详解 Android 多线程之IntentService 完全详解 android多线程-AsyncTask之工作原理深入解析(上) ...
- Android View系统解析(下)
转载请注明出处:http://blog.csdn.net/singwhatiwanna/article/details/38426471(来自singwhatiwanna的csdn博客) Androi ...
随机推荐
- c++第三十天
P154~p159:语句1.通常情况下顺序执行. 2.C++提供一组控制流(flow-of-control)语句以支持更复杂的执行路径. 3.空语句的作用:语法上需要一条语句,但是逻辑上不需要. ) ...
- 构建一个简单的Linux系统 MenuOs —— start_kernel到init进程(20135304刘世鹏)
构建一个简单的Linux系统 MenuOs —— start_kernel到init进程 作者:刘世鹏20135304 <Linux内核分析>MOOC课程http://mooc.study ...
- STRIDE 和 DREAD
目录 STRIDE 和 DREAD 背景 STRIDE DREAD 注释 STRIDE 和 DREAD 背景 STRIDE 和 DREAD 是最常用也是最好用的安全模型 STRIDE 主要负责对安全风 ...
- lucas 快速求大数组合数
根据公式就是 对每次C(n,m) = C(n%p,m%p) * C(n/p,m/p); ll pow(ll x,ll n) { ll res = ; x%=mod; while (n) { ) re ...
- Codeforces Round #390 (Div. 2) C. Vladik and chat(dp)
http://codeforces.com/contest/754/problem/C C. Vladik and chat time limit per test 2 seconds memory ...
- css 基础-1
css 基础-1 一. HTML框架 (frameset) 属性: noresize(不可移动), border(边框线的大小), rows(分割成行), cols(分割列) ...
- postgres10.2时区研究
搭建两个虚拟环境,操作系统均是cents7. 环境A: 使用timedatectl命令查看时区为 Time zone: Asia/Shanghai (CST, +0800). 本地数据库时区(show ...
- python 列表元素替换以及删除
>>> letters = ['a', 'b', 'c', 'd', 'e', 'f', 'g'] >>> letters ['a', 'b', 'c', 'd', ...
- ACM比赛学习指导(20180223)
0.比赛介绍 (1)浙江省大学生程序设计比赛,3人一组,题目为英文 (2)ACM程序设计比赛 百度百科介绍 1.理论学习 (1)<挑战程序设计竞赛>,秋叶拓哉,巫泽俊 (2)<算法竞 ...
- IOS-CoreData(增删改查、表关联、分页和模糊查询、多个数据库)
1>什么是CoreData Core Data是iOS5之后才出现的一个框架,它提供了对象-关系映射(ORM)的功能,即能够将OC对象转化成数据,保存在SQLite数据库文件中,也能够将保存在数 ...