使用 where 子句约束泛型类型

代码:
public interface IEntitiesProvider
{
void Refresh(TEntity entity) where TEntity:class;
}
场景:这段代码,简答的多了,可以大致猜出来他是什么意思:定义了一个刷新一个实体的 方法。

但是 where TEntity:class 真的能知道这个原理的到时 不全。

发展:今天读别人的代码,到MSDN上看了下才知道出处。及用法的示例:

 

1.查阅MSDN上where(c#)

a.定义:where 子句用于指定类型约束,这些约束可以作为泛型声明中定义的类型参数的变量。

b.示例:

1.类型参数 T 就可以实现 IComparable<T> 接口
public class MyGenericClass<T> where T:IComparable
{
//。。。。。。
}
2.where 子句还可以包括基类约束,以指出某个类型必须将指定的类作为基类(或者就是该类本身),才能用作该泛型类型的类型参数。这样的约束一经使用,就必须出现在该类型参数的所有其他约束之前。
calss TestClass<T,V>
where T:class
where V::struct
{
//.........
}
3.where 子句还可以包括构造函数约束。可以使用 new 运算符创建类型参数的实例;但类型参数为此必须受构造函数约束 new() 的约束。new() 约束可以让编译器知道:提供的任何类型参数都必须具有可访问的无参数(或默认)构造函数。
using System;
public class MyGenericClass<T> where T:IComparable,new()
{
// The following line is not possible without new() constraint:【下面这一行必须要求有new()出现。】
T t=new T();
}
new() 约束出现在 where 子句的最后。

4.对于多个约束参数类型事,要求每个类型 使用一个 where
// cs_where_3.cs
// compile with: /target:library
using System;
using System.Collections;

interface MyInterface { }

class Dictionary <TKey,TVal>
where TKey:IComparable,IEnumrable
where TVal:MyInterface
{
public void Add(TKey key,TVal val)
{

}
}

5.还可以将约束附加到泛型方法的类型参数
public bool MyMehtod<T>(T t) where T:MyI
{
//...........
}
6.在delegate的方法中是一样的用法。

delegate T MyDelegate(T t) where T :new();



posted on 2011-11-14 19:08  Terry@  阅读(380)  评论(0编辑  收藏  举报

导航