简单学习C#中的泛型方法使用

泛型方法是使用类型参数声明的方法，如下所示：

static void swap<t>(ref t lhs, ref t rhs)
{
  t temp;
  temp = lhs;
  lhs = rhs;
  rhs = temp;
}

下面的代码示例演示一种使用 int 作为类型参数的方法调用方式：

public static void testswap()
{
  int a = 1;
  int b = 2;

  swap<int>(ref a, ref b);
  system.console.writeline(a + " " + b);
}

也可以省略类型参数，编译器将推断出该参数。下面对 swap 的调用等效于前面的调用：

swap(ref a, ref b);

相同的类型推理规则也适用于静态方法和实例方法。编译器能够根据传入的方法实参推断类型形参；它无法仅从约束或返回值推断类型形参。因此，类型推理不适用于没有参数的方法。类型推理在编译时、编译器尝试解析重载方法签名之前进行。编译器向共享相同名称的所有泛型方法应用类型推理逻辑。在重载解析步骤中，编译器仅包括类型推理取得成功的那些泛型方法。
在泛型类中，非泛型方法可以访问类级别类型参数，如下所示：

class sampleclass<t>
{
  void swap(ref t lhs, ref t rhs) { }
}

如果定义采用相同类型参数作为包含类的泛型方法，编译器将生成警告 cs0693，因为在方法范围内为内部 t 提供的参数隐藏了为外部 t 提供的参数。如果需要使用其他类型参数（而不是实例化类时提供的类型参数）来灵活地调用泛型类方法，请考虑为方法的类型参数提供另一个标识符，如下面示例的 genericlist2<t> 中所示。

class genericlist<t>
{
  // cs0693
  void samplemethod<t>() { }
}

class genericlist2<t>
{
  //no warning
  void samplemethod<u>() { }
}

使用约束对方法中的类型参数启用更专门的操作。此版本的 swap<t> 现在名为 swapifgreater<t>，它只能与实现 icomparable<t> 的类型参数一起使用。

void swapifgreater<t>(ref t lhs, ref t rhs) where t : system.icomparable<t>
{
  t temp;
  if (lhs.compareto(rhs) > 0)
  {
    temp = lhs;
    lhs = rhs;
    rhs = temp;
  }
}

泛型方法可以使用许多类型参数进行重载。例如，下列方法可以全部位于同一个类中：

void dowork() { }
void dowork<t>() { }
void dowork<t, u>() { }