C#之泛型详解
目录
- 一.泛型的特性
- 1.性能
- 2.类型安全
- 3.二进制代码的重用
- 4.代码的扩展
- 5.命名约定
- 二.使用类型
- 1.先创建一个非泛型的简化链表类。
- 2.下面编写一个泛型版本
- 三.泛型类的功能
- 1.默认值
- 2.约束
- 3.继承
- 4.静态成员
- 四.泛型接口
- 五.泛型结构
- 六.泛型方法
- 1.带约束的泛型方法
- 2.带委托的泛型方法
- 3.泛型方法规范
泛型不仅是C#的一部分,而且与程序集中的IL代码紧密地集成。有了泛型,就可以创建独立于被包含类型的类和方法。这样就可以不必给不同的类型编写功能相同的许多方法或类,只创建一个方法或类即可。
另一个减少代码的选项是使用Object类,因为Object类是不安全的。
泛型类使用泛型类型,并可以根据需要用特定的类型替换泛型类型。这就保证了类型安全性:如果某个类型不支持泛型类,编译器就会出现错误。
泛型不仅限于类,接口和方法也可以使用泛型。
泛型并不是一个全新的结构,在C++中模版就和泛型相似。泛型不仅是C#的一种结构,而且是CLR定义的。所以,即使泛型类在C#中定义,也可以VB中用一个特定的类型实例化该泛型。
一.泛型的特性
1.性能
对值类型使用非泛型集合类,在把值类型转换为引用类型,和把引用类型转换为值类型时,需要进行装箱和拆箱操作。虽然操作很容易,但性能损失比较大:
var list = new ArrayList(); list.Add(4);//装箱操作,ArrayList的Add方法参数是Object foreach(int i in list) { Console.WriteLine(i);//拆箱 }
System.Collections和System.Collections.Generic是非泛型和泛型集合类。System.Collections.Generic中的List<T>类不使用对象,而是在使用时定义类型。
var list = new List<int>(); list.Add(4); foreach(int i in list) { Console.WriteLine(i); }
2.类型安全
使用ArrayList类在集合中可以添加任意类型。
var list = new ArrayList(); list.Add(4); list.Add(“66”);
在遍历时就会出现异常,因为不是所有元素都可以强制装换为INT类型:
foreach(int i in list) { Console.WriteLine(i); }
错误应尽早发现。使用泛型类List<T>,泛型类型T定义了允许使用特定的类型。有了List<int>的定义,就只能把整数类型添加到集合中。
var list = new ArrayList(); list.Add(4); list.Add(66);
3.二进制代码的重用
泛型允许更好的重用二进制代码。泛型类可以定义一次,并且可以用许多不同的类型实例化。例如List<T>类可以用int,string,自定义类来实例化。
泛型类可以在一种语言中定义,在任何其它.NET语言中使用。
4.代码的扩展
因为泛型类的定义放在程序集中,所以用特定类型实例化泛型类不会在IL代码中复制这些类。但是,在JIT编译器把泛型类编译为本地代码时,会给每个值类型创建一个新类。引用类型共享一个本地类的所有相同的实现代码。这是因为引用类型在实例化的泛型类中只需要4个字节的内存地址(32为系统),就可以引用一个引用类型。值类型包含在实例化的泛型类的内存中,同时因为每个值类型对内存的要求不同,所以要为每个值类型实例化一个新类。
5.命名约定
在程序中使用泛型,在区分泛型类型和非泛型类型时使用命名约定就会有一定帮助。
泛型类型的命名规则:
- *泛型类型的名称用字母T作为前缀。
- *如果没有特殊的要求,泛型类型允许用任意类代替,且如果只能使用一个泛型类型,就可以用T作为泛型类型的名称。
Public class Person{}
- *如果泛型类型有特定的要求(比如它必须实现某个接口或派生自基类),或者使用了两个或多个泛型类型,就应给泛型类型使用描述性的名称:
public class SortedList{}
二.使用类型
1.先创建一个非泛型的简化链表类。
public class LinkedListNode { public LinkedListNode(object value) { this.Value = value; } public object Value { get; private set; }//value对外密封,只可以读取,设置值通过构造函数 public LinkedListNode Next { get; internal set; }//记录当前节点的下一节点 public LinkedListNode Prev { get; internal set; }//记录当前节点的上一节点 } public class LinkedList : IEnumerable { public LinkedListNode First { get; private set; }//记录链表的第一个节点,外部只可以读取,设置值通过内部方法 public LinkedListNode Last { get; private set; } public LinkedListNode AddLast(object node) { //实例化一个LinkedListNode var newNode = new LinkedListNode(node); //判断链表是否含有元素,如果没有就把newNode设置为链表的第一个元素 if (First == null) { First = newNode; Last = newNode; } else { LinkedListNode previous = Last;//获取链表的最后一个元素 Last.Next = newNode;//将newNode赋予最后一个元素的下一个元素 Last = newNode;//重新设置链表的最后一个元素 Last.Prev = previous;//newNode成为链表的最后一个元素,将原来的最后一个元素设置为newNode的上一个元素 //注意上述顺序 } return newNode; } //实现IEnumerable接口的GetEnumerator()方法,这样外部代码就可以用foreach语句遍历链表 public IEnumerator GetEnumerator() { LinkedListNode current = First; while (current != null) { yield return current.Value;//yield创建一个枚举器的状态机 current = current.Next; } } }
客户端代码:
var list1 = new LinkedList(); list1.AddLast(2); list1.AddLast(4); list1.AddLast("22"); foreach (object i in list1) { Console.WriteLine(i.ToString()); }
需要进行装箱拆箱操作。
2.下面编写一个泛型版本
public class LinkedListNode<T> { public LinkedListNode(T value) { this.Value = value; } public T Value { get; private set; }//value对外密封,只可以读取,设置值通过构造函数 public LinkedListNode<T> Next { get; internal set; }//记录当前节点的下一节点 public LinkedListNode<T> Prev { get; internal set; }//记录当前节点的上一节点 } //该类实现IEnumerable<T>接口,IEnumerable<T>继承自IEnumerable接口,所以需要实现GetEnumerator()方法和IEnumerator<T> GetEnumerator()方法 public class LinkedList<T> : IEnumerable<T> { public LinkedListNode<T> First { get; private set; }//记录链表的第一个节点,外部只可以读取,设置值通过内部方法 public LinkedListNode<T> Last { get; private set; } public LinkedListNode<T> AddLast(T node) { //实例化一个LinkedListNode var newNode = new LinkedListNode<T>(node); //判断链表是否含有元素,如果没有就把newNode设置为链表的第一个元素 if (First == null) { First = newNode; Last = newNode; } else { LinkedListNode<T> previous = Last;//获取链表的最后一个元素 Last.Next = newNode;//将newNode赋予最后一个元素的下一个元素 Last = newNode;//重新设置链表的最后一个元素 Last.Prev = previous;//newNode成为链表的最后一个元素,将原来的最后一个元素设置为newNode的上一个元素 //注意上述顺序 } return newNode; } //IEnumerable<T>接口继承IEnumerable //实现IEnumerable<T>接口的GetEnumerator()方法,这样外部代码就可以用foreach语句遍历链表 public IEnumerator<T> GetEnumerator() { LinkedListNode<T> current = First; while (current != null) { yield return current.Value;//yield创建一个枚举器的状态机 current = current.Next; } } //实现IEnumerable接口的GetEnumerator()方法 IEnumerator IEnumerable.GetEnumerator() { return GetEnumerator(); } }
客户端代码:
var list2 = new LinkedList<int>(); list2.AddLast(2); list2.AddLast(4); list2.AddLast(44); foreach (int i in list2) { Console.WriteLine(i); }
三.泛型类的功能
在创建泛型类时,有时需要一些C#关键字。
通过一个例子来介绍这些关键字:
public class DocumentManager<TDocument> where TDocument : IDocument { private readonly Queue<TDocument> documentQueue = new Queue<TDocument>(); public void AddDocument(TDocument doc) { lock (this) { documentQueue.Enqueue(doc); } } public bool IsDocumentAvailable { get { return documentQueue.Count > 0; } } public void DisplayAllDocuments() { foreach (TDocument doc in documentQueue) { Console.WriteLine(doc.Title); } } public TDocument GetDocument() { TDocument doc = default(TDocument); lock (this) { doc = documentQueue.Dequeue(); } return doc; } }
1.默认值
在GetDocument()方法中,需要把TDocument指定为null。但是,不能把null赋予泛型类型。因为泛型类型也可以实例化为值类型,而null只能用于引用类型。为了解决这个问题,可以使用default关键字。通过default,将null赋予引用类型,将0赋予值类型。
2.约束
如果泛型类需要调用泛型类型中的方法,就必须添加约束。
public interface IDocument { string Title { get; set; } string Content { get; set; } } public class Document : IDocument { public Document() { } public Document(string title, string content) { this.Title = title; this.Content = content; } public string Title { get; set; } public string Content { get; set; } }
在方法中遍历显示时,需要使用Document类的属性Title,这就需要约束泛型类型TDocument中包含这个属性,这里使用泛型类型TDocument必须实现IDocument接口。where子句指定了该约束。
泛型支持的约束类型:
约束 | 说明 |
---|---|
where T:struct | 对于结构约束,类型T必须是值类型 |
where T:class | 类约束指定类型T必须是引用类型 |
where T:IFoo | 指定类型T必须实现接口IFoo |
where T:Foo | 指定类型T必须派生自Foo |
where T:new() | 构造函数约束,指定类型T必须有一个默认构造函数 |
where T1:T2 | 这个约束指定类型T1派生自泛型类型T2。该约束也称为裸类型约束。 |
使用泛型类型也可以合并多个约束。where T:IFoo,new(),MyClass
3.继承
泛型类型可以实现泛型接口,也可以派生自一个类。泛型类可以派生自泛型基类。要求是必须重复接口的泛型类型,或者必须指定基类的类型。
派生类可以是泛型类或非泛型类。
4.静态成员
泛型类的静态成员和非泛型类的静态成员有区别,泛型类的静态成员只能在类的一个实例中共享:
public class StaticDemo<T> { public static int x; }
客户端代码:
StaticDemo<string>.x = 4; StaticDemo<int>.x = 5; //存在两组静态字段。
四.泛型接口
使用泛型可以定义接口,在接口中定义的方法可以带泛型参数。
五.泛型结构
泛型结构类似于泛型类,只是没有继承特性。
六.泛型方法
在泛型方法中,泛型类型用方法来定义。泛型方法可以在非泛型类中定义。
void Swap<T>(ref T x,ref T y) { T temp; temp = x; x=y; y=temp; } int i=4; int j = 5; Swap<int>(ref i,ref j);
因为C#编译器会通过调用Swap()方法来获取参数的类型,所以不需要把泛型类型赋予方法调用:
int i=4; int j = 5; Swap(ref i,ref j);
1.带约束的泛型方法
public static class Algorithm { public static decimal Accumulate<TAccount>(IEnumerable<TAccount> source) where TAccount : IAccount { decimal sum = 0; foreach (TAccount a in source) { sum += a.Balance; } return sum; } } public interface IAccount { decimal Balance { get; } string Name { get; } } public class Account : IAccount { public string Name { get; private set; } public decimal Balance { get; private set; } public Account(string name, Decimal balance) { this.Name = name; this.Balance = balance; } }
客户端代码:
var accounts = new List<Account>() { new Account("Christian", 1500), new Account("Stephanie", 2200), new Account("Angela", 1800), new Account("Matthias", 2400) }; decimal amount = Algorithm.Accumulate<Account>(accounts);
2.带委托的泛型方法
public static class Algorithm { public static T2 Accumulate<T1, T2>(IEnumerable<T1> source, Func<T1, T2, T2> action) { T2 sum = default(T2); foreach (T1 item in source) { sum = action(item, sum); } return sum; } } decimal amount = Algorithm.Accumulate<Account, decimal>(accounts, (item, sum) => sum += item.Balance);
3.泛型方法规范
泛型方法可以重载,为特定的类型定义规范。这样适用于带参数的方法。
public class MethodOverloads { public void Foo<T>(T obj) { Console.WriteLine("Foo<T>(T obj), obj type: {0}", obj.GetType().Name); } public void Foo(int x) { Console.WriteLine("Foo(int x)"); } public void Bar<T>(T obj) { Foo(obj); } }
如果传递了一个int,就选择带int参数的方法。对于其它参数类型,编译器会选择泛型方法。
var test = new MethodOverloads(); test.Foo(33); test.Foo("abc");
输出:
Foo(int x) Foo<T>(T obj), obj type: String
所调用的方法是在编译期间定义的,而不是运行期间。
test.Bar(44);
输出:
Foo<T>(T obj), obj type: Int32
Bar()方法选择了泛型Foo()方法,而不是int参数重载的方法。因为编译器是在编译期间选择Bar()方法调用的Foo()方法。由于Bar()方法定义了一个泛型参数,而且泛型Foo()方法匹配这个类型,所以调用Foo()方法。
到此这篇关于C#之泛型的文章就介绍到这了。希望对大家的学习有所帮助,也希望大家多多支持我们。