建议34:为泛型参数设定约束
“约束”这个词可能会引起歧义,有些人肯能认为对泛型参数设定约束是限制参数的使用,实际情况正好相反。没有“约束”的泛型参数作用很有限,倒是“约束”让泛型参数具有了更多的行为和属性。
查看下面代码,我们会发现参数t1或参数t2仅仅具有object的属性和行为,所以几乎不能再方法中对它们进行任何操作:
class SalaryComputer { public int Cpmpare<T>(T t1, T t2) { return 0; } } class Salary { public int BaseSalary { get; set; } public int Bonus { get; set; } }
但是,在添加了约束后,我们会发现参数t1和t2变成了一个有用的对象。由于为其指定了对应类型,t1和t2现在就是一个Salary了,在方法中它拥有了属性BaseSalary和Bonus,代码如下:
class SalaryComputer { public int Cpmpare<T>(T t1, T t2) where T : Salary { if (t1.BaseSalary > t2.BaseSalary) { return 1; } if (t1.BaseSalary == t2.BaseSalary) { return 0; } return -1; } }
那么可以为泛型指定哪些约束呢?如下所示:
1)指定参数是值类型(除Nullable外):
public void Method1<T>(T t) where T : struct { }
2)指定参数是引用类型:
public void Method1<T>(T t) where T : class { } public void Method2<T>(T t) where T : Salary { }
注意,object不能用来约束。
3)指定参数具有无参数的公共构造方法:
public void Method1<T>(T t) where T : new() { }
注意,CLR目前只支持无参构造方法的约束。
4)指定参数必须是指定的基类,或者派生自指定的基类。
5)指定参数必须是指定接口,或者实现指定接口。
6)指定T提供的参数类型必须是为U提供的参数,或者派生自为U提供的参数:
class Sample<U> { public void Method1<T>(T t) where T : U { } }
7)可以对同一类型的参数应用多个约束,并且约束自身可以是泛型类型。
在编程过程中应该考虑为泛型参数设定约束,约束使泛型参数成为一个实实在在的“对象”,让它具有了我们想要的行为和属性,而不仅仅是一个object。
可参考MSDN:类型参数的约束(C# 编程指南)
转自:《编写高质量代码改善C#程序的157个建议》陆敏技
时间: 2024-10-12 05:34:15