.NET 泛型方法

泛型方法

泛型方法是使用类型参数声明的方法

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

类型推断

相同的类型推断规则也适用于静态方法以及实例方法编译器能够根据传入的方法参数推断类型参数;它无法仅从约束或返回值推断类型参数因此类型推断不适用于没有参数的方法类型推断在编译时编译器尝试解析任何重载方法签名之前进行编译器向共享相同名称的所有泛型方法应用类型推断逻辑在重载解析步骤中编译器仅包括类型推断取得成功的那些泛型方法

Swap(ref a ref b);

非泛型方法使用泛型参数

在泛型类中非泛型方法可以访问类级别类型参数

class SampleClass<T>{ void Swap(ref T lhs ref T rhs) { }}

泛型类与泛型方法使用相同的泛型参数

如果定义的泛型方法接受与包含类相同的类型参数编译器将生成警告 CS因为在方法范围内为内部 T 提供的参数将隐藏为外部 T 提供的参数除了类初始化时提供的类型参数之外如果需要灵活调用具有类型参数的泛型类方法请考虑为方法的类型参数提供其他标识符如下面示例中的 GenericList 所示

class GenericList<T>{ // CS void SampleMethod<T>() { }}class GenericList<T>{ //No warning void SampleMethod<U>() { }}

泛型约束

使用约束对方法中的类型参数启用更专门的操作此版本的 Swap 现在称为 SwapIfGreater它只能与实现 IComparable 的类型参数一起使用

void SwapIfGreater<T>(ref T lhs ref T rhs) where T : SystemIComparable<T>{ T temp; if (lhsCompareTo(rhs) > ) { temp = lhs; lhs = rhs; rhs = temp; }}

方法重载

泛型方法可以使用许多类型参数进行重载

void DoWork() { }void DoWork<T>() { }void DoWork<T U>() { }