.Net中的泛型(where T : class的含义)
Eg: class A<T>where T:new()
where表明了对类型变量T的约束关系。where T: A表示类型变量是继承于A的,或者是A本身。where T:new()指明了创建T的实例时应该使用的构造函数。
.NET支持的类型参数约束有以下五种:
where T : struct | T必须是一个结构类型
where T : class | T必须是一个Class类型
where T : new() | T必须要有一个无参构造函数
where T : NameOfBaseClass | T必须继承名为NameOfBaseClass的类
where T : NameOfInterface | T必须实现名为NameOfInterface的接口
下面先写一个简单的泛型
public class GenericClass<T>
{
void SomeMethod( T t )
{
//do something
}
}
其使用方法如下:
实例化一个类
GenericClass<int> gci=new GenericClass<int>();方法SomeMethod就具有整数类型的参数了
下面写一个例子
using System;
using System.Collections.Generic;
using System.Text;
namespace example
{
class GenericClass<T>
{
public void PrintType(T t)
{
Console.WriteLine("Value:{0} Type:{1}",t,t.GetType());
}
}
class Program
{
static void Main(string[] args)
{
int i = 0;
GenericClass<int> gci = new GenericClass<int>();
gci.PrintType(i);
string s = "hello";
GenericClass<string> gcs = new GenericClass<string>();
gcs.PrintType(s);
Console.ReadLine();
}
}
}
泛型方法可以出现在泛型或非泛型类型上。需要注意的是,并不是只要方法属于泛型类型,或者甚至是方法的形参的类型是封闭类型的泛型参数,就可以说方法是泛型方法。只有当方法具有它自己的类型参数列表时,才能称其为泛型方法。在下面的代码中,只有方法 G 是泛型方法。
class A
{
T G<T>(T arg) {...}
}
class Generic<T>
{
T M(T arg) {...}
}
泛型的Where
泛型的Where能够对类型参数作出限定。有以下几种方式。
·where T : struct 限制类型参数T必须继承自System.ValueType。
·where T : class 限制类型参数T必须是引用类型,也就是不能继承自System.ValueType。
·where T : new() 限制类型参数T必须有一个缺省的构造函数
·where T : NameOfClass 限制类型参数T必须继承自某个类或实现某个接口。
以上这些限定可以组合使用,比如: public class Point where T : class, IComparable, new()
例如:
class Person<T> where T:class
{
}
class Program
{
static void Main(string[] args)
{
Person<int> bb = new Person<int>(); //報錯,
错误 1 类型“int”必须是引用类型才能用作泛型类型或方法“ConsoleApplication1.Person<T>”中的参数“T”
}
}