C#泛型(五)

七、泛型方法

泛型方法是声名了类型参数的方法，如下：

void Swap<T>( ref T lhs, ref T rhs)
{
  T temp;
  temp = lhs;
  lhs = rhs;
  rhs = temp;
}


下面的示例代码显示了一个以int作为类型参数，来调用方法的例子：

int a = 1;
int b = 2;
//…
Swap<int>(a, b);

也可以忽略类型参数，编译器会去推断它。下面调用Swap的代码与上面的例子等价：
Swap(a, b);


静态方法和实例方法有着同样的类型推断规则。编译器能够根据传入的方法参数来推断类型参数；而无法单独根据约束或返回值来判断。因此类型推断对没有参数的方法是无效的。类型推断发生在编译的时候，且在编译器解析重载方法标志之前。编译器对所有同名的泛型方法应用类型推断逻辑。在决定（resolution）重载的阶段，编译器只包含那些类型推断成功的泛型类。更多信息，请参见C# 2.0规范，20.6.4类型参数推断

在泛型方法中，非泛型方法能访问所在类中的类型参数，如下：
class MyClass<T>
{
  //…
  void Swap (ref T lhs, ref T rhs){…}
}

[JX1] 定义一个泛型方法，和其所在的类具有相同的类型参数；试图这样做，编译器会产生警告CS0693。

class MyList<T>
{
// CS0693
    void MyMethod<T>{...}   
}

class MyList<T>
{
//This is okay, but not common.
    void SomeMethod<U>(){...}   
}

使用约束可以在方法中使用更多的类型参数的特定方法。这个版本的Swap<T>称为SwapIfGreater<T>，它只能使用实现了IComparable<T>的类型参数。
void SwapIfGreater<T>( ref T lhs, ref T rhs) where T: IComparable<T>
{
  T temp;
  if(lhs.CompareTo(rhs) > 0)
    {
      temp = lhs;
      lhs = rhs;
      rhs = temp;
    }
}

泛型方法通过多个类型参数来重载。例如，下面的这些方法可以放在同一个类中：
void DoSomething(){}
void DoSomething<T>(){}
void DoSomething<T,U>(){}

八、泛型委托
无论是在类定义内还是类定义外，委托可以定义自己的类型参数。引用泛型委托的代码可以指定类型参数来创建一个封闭构造类型，这和实例化泛型类或调用泛型方法一样，如下例所示：

public delegate void MyDelegate<T>(T item);
public void Notify(int i){}
//...

MyDelegate<int> m = new MyDelegate<int>(Notify);

C#2.0版有个新特性称为方法组转换（method group conversion），具体代理和泛型代理类型都可以使用。用方法组转换可以把上面一行写做简化语法：
MyDelegate<int> m = Notify;

在泛型类中定义的委托，可以与类的方法一样地使用泛型类的类型参数。
class Stack<T>
{
T[] items;
      int index
//...
public delegate void StackDelegate(T[] items);
}

引用委托的代码必须要指定所在类的类型参数，如下：

Stack<float> s = new Stack<float>();
Stack<float>.StackDelegate myDelegate = StackNotify;


泛型委托在定义基于典型设计模式的事件时特别有用。因为sender[JX2] ，而再也不用与Object相互转换。
public void StackEventHandler<T,U>(T sender, U eventArgs);
class Stack<T>
{
    //…
    public class StackEventArgs : EventArgs{...}
    public event StackEventHandler<Stack<T>, StackEventArgs> stackEvent;
    protected virtual void OnStackChanged(StackEventArgs a)
    {
      stackEvent(this, a);
    }
}
class MyClass
{
  public static void HandleStackChange<T>(Stack<T> stack, StackEventArgs args){...};
}
Stack<double> s = new Stack<double>();
MyClass mc = new MyClass();
s.StackEventHandler += mc.HandleStackChange;

九、泛型代码中的 default 关键字
在泛型类和泛型方法中会出现的一个问题是，如何把缺省值赋给参数化类型，此时无法预先知道以下两点：
l T将是值类型还是引用类型
l 如果T是值类型，那么T将是数值还是结构

对于一个参数化类型T的变量t，仅当T是引用类型时，t = null语句才是合法的； t = 0只对数值的有效，而对结构则不行。这个问题的解决办法是用default关键字，它对引用类型返回空，对值类型的数值型返回零。而对于结构，它将返回结构每个成员，并根据成员是值类型还是引用类型，返回零或空。下面MyList类的例子显示了如何使用default关键字。更多信息，请参见泛型概述。

public class MyList<T>
{
    //...
        public T GetNext()
        {
            T temp = default(T);
            if (current != null)
            {
                temp = current.Data;
                current = current.Next;
            }
            return temp;
        }
}

十一 、运行时中的泛型
当泛型类或泛型方法被编译为微软中间语言(MSIL)后，它所包含的元数据定义了它的类型参数。根据所给的类型参数是值类型还是引用类型，对泛型类型所用的MSIL也是不同的。
当第一次以值类型作为参数来构造一个泛型类型，运行时用所提供的参数或在MSIL中适当位置被替换的参数，来创建一个专用的泛型类型。[JX3]

   例如，假设你的程序代码声名一个由整型构成的栈，如：
Stack<int> stack;
此时，运行时用整型恰当地替换了它的类型参数，生成一个专用版本的栈。此后，程序代码再用到整型栈时，运行时复用已创建的专用的栈。下面的例子创建了两个整型栈的实例，它们共用一个Stack<int>代码实例：

Stack<int> stackOne = new Stack<int>();
Stack<int> stackTwo = new Stack<int>();

    然而，如果由另一种值类型——如长整型或用户自定义的结构——作为参数，在代码的其他地方创建另一个栈，那么运行时会生成另一个版本的泛型类型。这次是把长整型替换到MSIL中的适当的位置。由于每个专用泛型类原本就包含值类型，因此不需要再转换。

    对于引用类型，泛型的工作略有不同。当第一次用任何引用类型构造泛型类时，运行时在MSIL中创建一个专用泛型类，其中的参数被对象引用所替换。之后，每当用一个引用类型作为参数来实例化一个已构造类型时，就忽略其类型，运行时复用先前创建的专用版本的泛型类。这可能是由于所有的引用的大小都相同。

    例如，假如你有两个引用类型，一个Customer类和一个Order类；进一步假设你创建了一个Customer的栈：

Stack<Customer> customers;

    此时，运行时生成一个专用版本的栈，用于稍后存储对象的引用，而不是存储数据。假如下一行代码创建了一个另一种引用类型的栈，名为Order：

Stack<Order> orders = new Stack<Order>();

    和值类型不同，运行时并没有为Order类型创建另一个栈的专用版本。相反，运行时创建了一个专用版本栈实例，并且变量orders指向这个实例。如果之后是一行创建Customer类型的栈的代码：

customers = new Stack<Customer>();

和之前以Order类型创建的栈一样，创建了专用栈的另一个实例，并且其中所包含的指针指向一块大小与Customer类一致的内存。由于不同程序间引用类型的数量差别很大，而编译器只为引用类型的泛型类创建一个专用类，因此C#对泛型的实现极大地降低了代码膨胀。
    此外，当用类型参数实现一个泛型C#类时，想知道它是指类型还是引用类型，可以在运行时通过反射确定它的真实类型和它的类型参数。

十二 、基础类库中的泛型
2.0版的.NET框架类库提供了一个新的命名空间，System.Collections.Generic，其中包含了一些已经可以使用的泛型容器类和相关的接口。和早期版本的.NET框架提供的非泛型容器类相比，这些类和接口更高效且是类型安全的。在设计、实现自定义的容器类之前，请你考虑是否使用或继承所列出类中的一个。

下面的表格列出了新的泛型类和接口，旁边是对应的非泛型类和接口。在一些地方要特别注意，如List<T>和Dictionary<T>，新泛型类的行为（behavior）与它们所替换的非泛型类有些不同，也不完全兼容。更详细的内容，请参考System.Collections.Generic的文档