class
SwapTest
{
static void Swap<T>(ref T left, ref T right)
{
T temp;
temp = left;
left = right;
right = temp;
}
public static void Main()
{
int a = 1;
int b = 2;
Swap(ref a, ref b);//Swap<int>(ref a,ref b);
Console.WriteLine(a + "," + b);
}
}
上面代码使用省略类型参数,编译器将推断出该参数。也可使用 int 作为类型参数的方法调用。
{
static void Swap<T>(ref T left, ref T right)
{
T temp;
temp = left;
left = right;
right = temp;
}
public static void Main()
{
int a = 1;
int b = 2;
Swap(ref a, ref b);//Swap<int>(ref a,ref b);
Console.WriteLine(a + "," + b);
}
}
相同的类型推断规则也适用于静态方法以及实例方法。编译器能够根据传入的方法参数推断类型参数;它无法仅从约束或返回值推断类型参数。因此,类型推断不适用于没有参数的方法。类型推断在编译时、编译器尝试解析任何重载方法签名之前进行。编译器向共享相同名称的所有泛型方法应用类型推断逻辑。在重载解析步骤中,编译器仅包括类型推断取得成功的那些泛型方法。
在泛型类中,非泛型方法可以访问类级别类型参数,如下所示:
class
SampleClass
<
T
>
{
void Swap(ref T lhs, ref T rhs) { }
}
如果定义的泛型方法接受与包含类相同的类型参数,编译器将生成警告 CS0693,因为在方法范围内,为内部 T 提供的参数将隐藏为外部 T 提供的参数。除了类初始化时提供的类型参数之外,如果需要灵活调用具有类型参数的泛型类方法,请考虑为方法的类型参数提供其他标识符,如下面示例中的
GenericList2<T> 所示。
{
void Swap(ref T lhs, ref T rhs) { }
}
class
GenericList1
<
T
>
{
// CS0693
void SampleMethod<T>() { }
}
class GenericList2 < T >
{
//No warning
void SampleMethod<U>() { }
}
使用约束对方法中的类型参数启用更专门的操作。此版本的
Swap<T> 现在称为
SwapIfGreater<T>,它只能与实现
IComparable<T> 的类型参数一起使用。
{
// CS0693
void SampleMethod<T>() { }
}
class GenericList2 < T >
{
//No warning
void SampleMethod<U>() { }
}
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;
}
}
泛型方法可以使用许多类型参数进行重载。例如,下列方法可以全部存在于同一个类中:
{
T temp;
if (lhs.CompareTo(rhs) > 0)
{
temp = lhs;
lhs = rhs;
rhs = temp;
}
}
void
DoWork()
{ }
void DoWork < T > () { }
void DoWork < T, U > () { }
void DoWork < T > () { }
void DoWork < T, U > () { }