《C#高级编程(第六版)》泛型学习笔记(一):泛型优点和特性 (转载)

原文出处:http://www.cnblogs.com/xun126/archive/2011/01/13/1933838.html

泛型是CLR 2.0的一个新特性,在CLR 1.0中,要创建一个灵活的类或方法,但该类或方法在编译期间不知道使用什么类,就得以Object类为基础。而Object在编译期间没有类型安全性,因此必须进行强制类型转换,同时,给值类型使用Object类会有性能损失。泛型类使用泛型类型,并可以根据需要用特定的类型替换泛型类型。这就保证了类型安全性:如果某个类型不支持泛型类,编译器就会报错。

  一、泛型有以下几个优点:

  1)性能

  对值类型使用非泛型集合类,在把值类型转换为引用类型,和把引用类型转换为值类型时,需要进行装箱和拆箱操作。装箱和拆箱的操作很容易实现,但是性能损失较大。假如使用泛型,就可以避免装箱和拆箱操作。

1 ArrayList list=new ArrayList(); 2 list.Add(20); //装箱,list存放的是object类型元素,须将值类型转化为引用类型 3 int i=(int)list[0]; //拆箱,list[0]的类型是object,要赋值就得把引用类型转化为值类型

  如果换成泛型编程,就不会有装箱和拆箱的性能损失。

1 List<T> list=new List<int>(); 2 list.Add(20); //因为指定了用int来实例化,因此不必装箱 3 int i=list[0]; //同样地,访问时也不需要拆箱

  

  2)类型安全

  与ArrayList类一样,如果使用对象,可以在这个集合中添加任意类型。

  如果使用非泛型编程,如下代码,就有可能在某些情况下会发生异常。

1 ArrayList list=new ArrayList(); 2 list.Add(20); 3 list.Add("string"); 4 list.Add(new MyClass()); 5 6  foreach(int i in list) 7 { 8 Console.WriteLine(i); //这里会有个异常,因为并不是集合中的所有元素都可以转化为int 9  }

  如果该用泛型编程,则可以避免这种异常,让编译器检查出错误。

1 List<int> list=new List<int>(); 2 list.Add(20); 3 lsit.Add("string"); //编译时报错,只能报整数类型添加到集合中 4 list.Add(new MyClass()); //同上

  

  3)二进制代码重用

  泛型可以定义一次,用许多不同的类型实例化,不需要像C++模板那样访问源代码。泛型可以在一种语言中定义,在另一种.NET语言中使用。

  4)代码的扩展

  因为泛型类的定义会放在程序集中,所以用某个类型实例化泛型泛型类不会在IL代码中复制这些类。但是,在JIT编译器把泛型类编译为内部代码时,会给每个值类型创建一个新类。引用类型共享同一个内部类的所有实现代码。这是因为引用类型在实例化的泛型类中只需要4字节的内存单元(32位系统),就可以引用一个引用类型。值类型包含在实例化的泛型类的内存中。而每个值类型对内存的要求都不同,所以要为每个值类型实例化一个新类。

  二、泛型类的特性

  1)默认值

在给类型T初始化时,要注意不能把null赋予泛型类型。因为泛型类型也可以实例化为值类型,而null只能用于引用类型。为了解决这个问题,可以用default关键字。通过default关键字,将null赋予引用类型,将0赋予值类型。

1 public T GetDoucumet() 2 { 3 T doc=default(T); 4 lock(this) 5 { 6 doc=documentQueue.Dequeue(); 7 } 8 return doc; 9 }

补充:default关键字根据上下文可以有多种含义。switch语句使用default定义默认情况。在泛型中,根据泛型类型是引用类型还是值类型,default关键字用于将泛型类型初始化为null或0。

  2)约束

  如果泛型类需要调用泛型类型上的方法,就必须添加约束。

1 public class DocumentManager<T> 2 { 3 private readonly Queue<T> documentQueue=new Queue<T>(); 4 5 public void AddDocument(T doc) 6 { 7 lock(this) 8 { 9 documentQueue.Enqueue(doc); 10 } 11 } 12 13 public bool IsDocumentAvailable 14 { 15 get 16 { 17 return documentQueue.Count>0; 18 } 19 } 20 } 21 22  public interface IDocument 23 { 24 string Title{get;set;} 25 string Content{get;set;} 26 } 27 28  public class Document:IDocument 29 { 30 public Document() 31 { 32 } 33 34 public Document(string title,string content) 35 { 36 this.title=title; 37 this.content=content; 38 } 39 40 public string Title{get;set;} 41 public string Content{get;set;} 42 }

  如果使用DocumentManager<T>类显示文档,可以将类型T强制转换为IDocument接口

1 public void DisplayAllDocument() 2 { 3 foreach(T doc in documentQueue) 4 { 5 Console.WriteLine(((IDocument)doc).Title); 6 } 7 }

  假如类型T没有执行IDocument接口,这个类型转换就会生成一个异常,因此需给DocumentManager<T>类定义一个约束:T必须执行IDocument接口,为了在泛型类型的名称中指定该要求,将T改为TDocument。wherer子句指定了执行IDocument接口的要求。

1 public class DocumentManager<TDocument>where TDocument:IDocument 2 { 3 .... 4 }

  这样编写foreach语句就可以让类型T包含Title属性。

1 public void DisplayAllDocument() 2 { 3 foreach(TDocument doc in documentQueue) 4 { 5 Console.WriteLine(doc.Title); 6 } 7 }

  在Main()方法中,DocumentManager<T>类用Document类型来实例化,而Document类型执行了需要的IDocument接口。

1 static void Main() 2 { 3 DocumentManager<Document> dm=new DocumentManager<Document>(); 4 dm.AddDocument(new Document("Title A","A")); 5 dm.AddDocument(new Document("Title B","B")); 6 dm.DisplayAllDocument();

  除此之外,泛型还有几种约束类型。如下:

  1)where T:struct  使用结构约束。类型T必须是值类型

  2)where T:class  类约束指定,类型T必须是引用类型

  3)where T:IFoo  指定类型T必须执行接口IFoo

  4)where T:Foo  指定类型T必须派生于基类Foo

  5)where T:new()  构造函数约束,指定类型T必须有一个默认构造函数

  6)where T:U  类型T1派生于泛型类型T2。该约束也成为裸类型约束。

  注意:使用泛型类型还可以合并多个约束。where T:IFoo,new()约束和MyClass<T>声明指定,类型T必须执行IFoo接口,且必须有一个默认构造函数。

1 public class MyClass<T>where t:IFoo,new() 2 { 3 ... 4 }

  

  3)继承

   泛型类型可以执行泛型接口,也可以派生于一个类。泛型类可以派生于泛型基类:

1 public class Base<T> 2 { 3 4 } 5 6  public class Derived<T>:Base<T> 7 { 8 9 }

  要求必须重复接口的泛型类型,或者必须指定基类的类型。

1 public class Base<T> 2 { 3 4 } 5 6  public class Derived<T>:Base<string> 7 { 8 9 }

  所以,派生类可以是泛型类或非泛型类。如可以定义一个抽象的泛型基类,它在派生类中用一个具体的类型实现。

1 public abstract class Calc<T> 2 { 3 public abstract T Add(T x,T y); 4 public abstract T Sub(T x,T y); 5 } 6 7  public class SimpleCalc:Calc<int> 8 { 9 public override int Add(int x,int y) 10 { 11 return x+y; 12 } 13 14 public override int Sub(int x,int y) 15 { 16 return x-y; 17 } 18 }

  4)静态成员

  泛型类的静态成员需要特别关注。泛型类的静态成员只能在类的一个实例中共享。

1 public class StaticDemo<T> 2 { 3 public static int x; 4 }

  对一个string类型和一个int类型使用了StaticDemo<T>类,所以存在两组静态字段:

1 StaticDemo<string>.x=4; 2 StaticDemo<int>.x=5; 3 Console.WrileLine(StaticDemo<string>.x); //将会输出4

时间: 2024-11-09 03:43:05

《C#高级编程(第六版)》泛型学习笔记(一):泛型优点和特性 (转载)的相关文章

C#高级编程(第六版)学习:第三十一章:Windows窗体

第三十一章 Windows窗体 创建Windows窗体应用程序 在文本编辑器中输入: /* * form.cs * a simple windows form * */ using System; using System.Windows.Forms; ? namespace NotepadForms { public class MyForm:System.Windows.Forms.Form { public MyForm() { } ? [STAThread] static void Ma

C#高级编程 25.5 System.Transactions学习笔记

在.NET 1.x中,基本上是通过ADO.NET实现对不同数据库访问的事务..NET 2.0增加了System.Transactions名称空间,为.NET应用程序带来了一个新的事务变成模型. 所有的事务组件或者类型均定义在System.Transactions程序集中的System.Transactions命名空间下,我们直接称基于此的事务为System.Transactions事务. System.Transactions事务变成模型使我们可以显式(通过System.Transactions

《JavaScript高级程序设计 第3版》-学习笔记-2

P31-P82页 1.相等不相等与全等不全等 相等不相等:先转换后比较.对于只有一个对象,调用valueOf方法得到基本类型值再按基本类型转换:如果两个都是对象,则比较他们是否是同一个对象(引用或指针值比较):null与undefined是相等的,至少有一个为NaN则相等为false,不相等为true: 全等不全等:只比较.只在两个操作数未经转换就相等的情况下返回true,特别的,null与undefined不全等,因为连类型都不同 2.未指定返回值类型的函数返回的是一个特殊的值-undefin

《JavaScript高级程序设计 第3版》-学习笔记-1

P1-P30页 1.<script>标签的属性 async:async(html)  | async="async"(xhtml),表示立即下载脚本,但不马上执行(执行没有了先后顺序),不会暂停构建文档. defer:defer(html)| defer(XHTML),表示立即下载脚本,但延迟到解析到</html>标签才执行脚本. 2.在xhtml中嵌入js代码加CDATA <script> //<![CDATA[ ...code... if(

《JavaScript高级程序设计 第3版》-学习笔记-3

P84-P137页, 这一章看的真久,这个月事太多了.有些内容在代码注释里没提出来了 1.JS强大的数组类型,元素类型任意,提供了非常多的操作数组的方法和属性 1 /* 2 数组类型 3 */ 4 5 //stack 6 var colors = ['red','blue']; 7 colors.push('brown'); 8 console.log(colors); 9 console.log(colors.length); 10 var item = colors.pop(); 11 co

《UNIX环境高级编程 第2版》读书笔记

CH1-2:基础知识.标准化 1 文件和目录 文件名:不能含/(分隔路径)和null(终止路径),255字符. 目录处理:opendir() readdir() closedir() 更改工作目录:chdir() 2 输入输出 STDIN_FILENO STDOUT_FILENO 3 程序和进程 进程控制:fork() exec() waitpid() 4 出错处理 string.h:  char * strerror(int errnum)//返回errnum映射的出错信息字符串指针 stdi

Java泛型学习笔记 - (一)泛型的介绍

一.什么是泛型:泛型的作用是用来规定一个类, 接口或方法所能接受的数据的类型. 就像在声明方法时指定参数一样, 我们在声明一个类, 接口或方法时, 也可以指定其"类型参数", 也就是泛型. 不同的是, 声明方法时我们给其参数指定一个值, 而给其泛型指定一个数据类型.二.基本使用方式: 上面的概念啰嗦了许多, 其实我自己写的都累. 最简单有效的学习方法就是用一用嘛: 1 List<String> list = new ArrayList<String>(); 这就

【转】apue《UNIX环境高级编程第三版》第一章答案详解

原文网址:http://blog.csdn.net/hubbybob1/article/details/40859835 大家好,从这周开始学习apue<UNIX环境高级编程第三版>,在此,我要感谢网易的一个工程师朋友和室友,没有他们,我不会开始真正的学习这本书,希望大家以后开始慢慢进步.废话少说,直接上课后习题了. UNIX高级编程第一章习题答案: 1.1在系统上验证,除根目录外,目录l和l l是不同的. 答:这个验证有很多方法可使用命令ls .cd.vim等,目录.指向当前目录,目录..指

unix环境高级编程(第三版)中apue.h文件的配置问题

最近刚开始学习unix环境高级编程(第三版),其中有个作者自己写的apue.h文件,在这归总下相应的配置方法,希望对有需要的朋友们有所帮助 首先http://www.apuebook.com/code3e.html 上去下载相应的压缩包,注意自己书的版本. 下载完成之后,鉴于大多数朋友学习linux都是基于虚拟机的,所以顺便附上虚拟机与本地主机传输文件的方式 首先下载SSH Secure Shell 这个工具,然后直接点击quick connect, 弹出如下界面,输入虚拟机的ip地址,和登录用

Linux - Unix环境高级编程(第三版) 代码编译

Unix环境高级编程(第三版) 代码编译 本文地址:http://blog.csdn.net/caroline_wendy 时间:2014.10.2 1. 下载代码:http://www.apuebook.com/code3e.html 2. 安装依赖库:sudo apt-get install libbsd-dev  3. 进入下载目录make 4. 复制头文件和动态链接库 sudo cp ./include/apue.h /usr/include/ sudo cp ./lib/libapue