C#泛型学习笔记之一(约束)

泛型可以使代码重用率提高

泛型需要编译器解决类型安全并降低装箱拆箱引发的性能损耗

泛型给编译器带来的问题：约束

约束分为：

1.一般约束

T Find(K key)
{
   Node current = m_Head;
   while(current.NextNode != null)
   {
      if(current.Key == key) //编译将不能通过
         break;
      else
         current = current.NextNode;
   }
   return current.Item;
}

以上编译错误是因为编译器无法保证Key类中包含==操作而引发

若要避免可将代码加上约束where 关键字，此关键字等于告诉编译器K实现了Icomparable的接口，附带的好处是将会在此类中为K类型的变量提供智能提示。

public class LinkedList where K : IComparable
{
   T Find(K key)
   {
      Node current = m_Head;
      while(current.NextNode != null)
      {
         if(current.Key.CompareTo(key) == 0)
           
            break;
         else     
           
            current = current.NextNode;
      }
      return current.Item;
   }
   //Rest of the implementation
}

可以为某个类提供多个约束

public class LinkedList where K : IComparable
                             where T : ICloneable
{...}

2.派生约束

可以为某个子类K提供派生约束如下
public class MyBaseClass
{...}
public class LinkedList where K : MyBaseClass
{...}

同样加上where关键字等同于告诉编译器K继承自MyBaseClass类，可以在LinkedList中为K提供智能提示

注意：

在此类约束中必须注意子类以及基类的访问控制

public class MyBaseClass
{}
internal class MySubClass where T : MyBaseClass
{}

是没有问题的。但是，如果这两个类的可见性被颠倒，例如：
internal class MyBaseClass
{}
public class MySubClass where T : MyBaseClass
{}
则编译器会发出错误，因为程序集外部的任何客户端都无法使用一般类型 MySubClass，从而使得 MySubClass 实际上成为内部类型而不是公共类型。外部客户端无法使用 MySubClass 的原因是，要声明 MySubClass 类型的变量，它们需要使用派生自内部类型 MyBaseClass 的类型。

3.构造函数约束

class Node where T : new()
{
   public K Key;
   public T Item;
   public Node NextNode;
   public Node()
   {
      Key      = default(K);
      Item     = new T();
      NextNode = null;
   }
}

加上new()关键字，等同于告诉编译器T类型一定包含有无参数的(默认的)构造函数。

可以将构造函数约束与派生约束组合起来，前提是构造函数约束出现在约束列表中的最后：

public class LinkedList where K : IComparable,new()
{...}

 

 

MSDN上泛型的介绍：http://msdn2.microsoft.com/zh-cn/library/ms379564(vs.80).aspx#EWAA

以及示例：下载GenericsInCSharp.msi 示例文件