32、C泛型：类型参数与约束的深入解析

C#泛型：类型参数与约束的深入解析

1. 泛型基础与默认操作符

在C#中，泛型提供了一种强大的方式来创建可重用的代码。默认操作符 default 可在泛型上下文之外使用，任何语句都能调用它。例如下面的 Pair<T> 结构体：

public struct Pair<T>: IPair<T>
{
  public Pair(T first)
  {  
      _First = first;
  }

  // ... 
}

这个结构体使用了一个类型参数 T ，并通过构造函数初始化了一个字段 _First 。

2. 多类型参数泛型

泛型类型可以使用任意数量的类型参数。最初的 Pair<T> 示例只有一个类型参数，若要支持存储如名称/值对这样的二元对象对，就需要扩展 Pair<T> 以支持两个类型参数，如下所示：

interface IPair<TFirst, TSecond> 
{
    TFirst First { get; set; }
    TSecond Second { get; set; } 
}
public struct Pair<TFirst, TSecond>: IPair<TFirst