首页 > 代码库 > 一般约束

一般约束

一般约束

  使用 C# 泛型,编译器会将一般代码编译为 IL,而不管客户端将使用什么样的类型实参。因此,一般代码可以尝试使用与客户端使用的特定类型实参不兼容的一般类型参数的方法、属性或成员。这是不可接受的,因为它相当于缺少类型安全。在 C# 中,您需要通知编译器客户端指定的类型必须遵守哪些约束,以便使它们能够取代一般类型参数而得到使用。存在三个类型的约束。

  1、派生约束指示编译器一般类型参数派生自诸如接口或特定基类之类的基类型,即接口约束。

  2、默认构造函数约束指示编译器一般类型参数公开了默认的公共构造函数(不带任何参数的公共构造函数),即new约束

  3、引用/值类型约束将一般类型参数约束为引用类型或值类型,即值/引用约束

  需要注意的是,尽管约束是可选的,但它们在开发一般类型时通常是必不可少的。没有它们,编译器将采取更为保守的类型安全方法,并且只允许在一般类型参数中访问 Object 级别功能。约束是一般类型元数据的一部分,以便客户端编译器也可以利用它们。客户端编译器只允许客户端开发人员使用遵守这些约束的类型,从而实施类型安全。

  

  上述行将无法编译,因为编译器不知道 K(或客户端提供的实际类型)是否支持 == 运算符。默认情况下,结构不提供这样的实现。您可以尝试通过使用IComparable 接口来克服 == 运算符局限性:

  

  如果您与之进行比较的对象等于实现该接口的对象,则 CompareTo() 返回 0;因此,Find() 方法可以按如下方式使用它:

  

  使用IComparable需要使用接口约束,如下:

  

struct约束

  可以使用struct约束来将T约束为值类型,如下:

  

class约束

  通过class约束来将T约束为引用类型,如下:

  

参考:http://msdn.microsoft.com/zh-cn/library/ms379564(VS.80).aspx