1.引用类型约束
struct refsample<t> where t:class 引用类型用class表示约束，其他的引用类型为具体的约束。
表示对于的约束必须为一个类（引用类型）不能是值类型（int，char，datatime，struct），可以是接口interface
区分，数组为引用类型，因为定义数组时需要new出一个对象。
虽然定义成 refsample<t> 传入的必须为引用类型 但是refsample仍然为值类型
2.值类型约束
class valsample<t> where t:struct
为引用类型，因为int，char等类型都是struct
valsample<int>
3.构造函数类型约束
|
1
2
3
4
|
public t createinstance<t>() where t:new()
{
return new t();
}
|
指定的类型t必须有构造函数，createinstance<int>和createinstance<object> 都是有效的。但是createinstance<strings>没有构造函数。
4.转换类型约束
一种约束允许你指定另一个类型，类型实参必须可以通过一致性、引用或装箱转换隐式地转换为该类型。你还可以规定一个类型实参必须可以转换为另一个类型实参——这称为类型参数约束。
理解的意思：可以互换，就是我们可以通过装箱或者强制类型转换成目标类型的 类型都可以用于类型参数传入。
class sample<t> where t:stream
有效：sample<stream> 这本身符合约束
无效:sample<string> 因为string类型无法通过引用或者装箱拆箱强制转换成stream、
struct sample<t> where t:idisposable
规定t必须为idisposable 类型的 引用类型
有效：sample<sqlconnection>引用转换
无效：sample<stringbuilder>
分析：为什么sqlconnection 可以而stringbuilder不可以？它们都是引用类型
1.sqlconnection实现了idisposable接口，所以可以协变
2.stringbuilder只实现了iserializable接口，无法通过途径转换为idisposable
class sample<t> where t:icomparable<t>
因为将icomparable<t>整体当作约束,分析icomparable<t>的类型，可以用type.isvaluetype判断，true为值类型，false为引用类型
typeof(icomparable<t>).isvaluetype 结果为false表示为引用类型
有效：sample<int>（装箱转换）
无效：sample<fileinfo>
也可以指定多种约束：
class sample<t> where t：stream，ienumerable<string>,icomparable<int>
class sample<t,u> where t:u
有效：sample<stream,idisposable>
无效：sample<string,idiposable>
总结：要看传入类参数是否可以转换，查看规定参数和传入类参数是否实现同一接口，如果实现则可以，否则不可以。
不可以是以下：system.object,system.enum,system.valuetype,system.delegate,结构或密封类(string)
5.组合约束
对类型参数的约束有多个，注意：只能是一种类型，值类型和引用类型不能同时存在，没用一个类型即是引用类型，又是值类型。
由于每一个值类型都有一个无构造函数，此后不能再有构造函数约束
有效:
class sample<t> where t：class，idisposable，new()
class sample<t,u> where t：stream where u:idispsable
无效：
class sample<t> where t：class，struct (没有任何类型即时引用类型又是值类型的,所以为无效的)
class sample<t> where t：stream，class (引用类型约束应该为第一个约束，放在最前面,所以为无效的) stream只是约束传入参数为stream具体类型，而class约束为引用类型，一开始我理解错了
class sample<t> where t：new(),stream (new() 必须放在最后)
class sample<t> where t：idisposable，stream (类必须放在接口前面，所以为无效的)
class sample<t> where t：xmlreader，icomparable，icomparable （对于转换类型约束，同一个接口不能出现多次）
class sample<t，u> where t：struct where u：class，t (类型形参“t”具有“struct”约束，因此“t”不能用作“u”的约束,所以为无效的)
class sample<t，u> where t：stream ,u:idisposable 语法错误
看到网上还有这种版本也是有效的我表示不理解：
class sample<t> where t：struct,idisapsable idisapsable为值类型？
class sample<t,u> where t：class where u:struct ,t t为引用类型为何与值类型一起约束u？
希望可以指正
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，同时也希望多多支持服务器之家！
原文链接：http://www.cnblogs.com/haibozhu/p/6374977.html