本文将详细介绍c# 泛型的约束:引用类型约束;值类型约束;构造函数类型约束;转换类型约束;组合约束的相关知识。具有很好的参考价值,下面跟着小编一起来看下吧
1.引用类型约束
struct refsample8742468051c85b06f0a0af9e3e506b5c where t:class 引用类型用class表示约束,其他的引用类型为具体的约束。
表示对于的约束必须为一个类(引用类型)不能是值类型(int,char,datatime,struct),可以是接口interface
区分,数组为引用类型,因为定义数组时需要new出一个对象。
虽然定义成 refsample8742468051c85b06f0a0af9e3e506b5c 传入的必须为引用类型 但是refsample仍然为值类型
2.值类型约束
class valsample8742468051c85b06f0a0af9e3e506b5c where t:struct
为引用类型,因为int,char等类型都是struct
valsamplebd43222e33876353aff11e13a7dc75f6
3.构造函数类型约束
public t createinstance<t>() where t:new()
{
return new t();
}
指定的类型t必须有构造函数,createinstancebd43222e33876353aff11e13a7dc75f6和createinstance273238ce9338fbb04bee6997e5552b95 都是有效的。但是createinstance8ac337f12ac35ec97e8dd89560472ecc没有构造函数。
4.转换类型约束
一种约束允许你指定另一个类型,类型实参必须可以通过一致性、引用或装箱转换隐式地转换为该类型。你还可以规定一个类型实参必须可以转换为另一个类型实参——这称为类型参数约束。
理解的意思:可以互换,就是我们可以通过装箱或者强制类型转换成目标类型的 类型都可以用于类型参数传入。
class sample8742468051c85b06f0a0af9e3e506b5c where t:stream
有效:sample7deb1b66c2439bfe6895a394cbb2197a 这本身符合约束
无效:samplef7e83be87db5cd2d9a8a0b8117b38cd4 因为string类型无法通过引用或者装箱拆箱强制转换成stream、
struct sample8742468051c85b06f0a0af9e3e506b5c where t:idisposable
规定t必须为idisposable 类型的 引用类型
有效:sampleee3398fcc71686d89f0818db05b7a88f引用转换
无效:sample66631937a557270cbf0605de1ac49062
分析:为什么sqlconnection 可以而stringbuilder不可以?它们都是引用类型
1.sqlconnection实现了idisposable接口,所以可以协变
2.stringbuilder只实现了iserializable接口,无法通过途径转换为idisposable
class sample8742468051c85b06f0a0af9e3e506b5c where t:icomparable8742468051c85b06f0a0af9e3e506b5c
因为将icomparable8742468051c85b06f0a0af9e3e506b5c整体当作约束,分析icomparable8742468051c85b06f0a0af9e3e506b5c的类型,可以用type.isvaluetype判断,true为值类型,false为引用类型
typeof(icomparable8742468051c85b06f0a0af9e3e506b5c).isvaluetype 结果为false表示为引用类型
有效:samplebd43222e33876353aff11e13a7dc75f6(装箱转换)
无效:sampled0869186ef29f1614dd65eb5411320d5
也可以指定多种约束:
class sample8742468051c85b06f0a0af9e3e506b5c where t:stream,ienumerable98c455a79ddfebb79781bff588e7b37e,icomparablebd43222e33876353aff11e13a7dc75f6
class samplea62d1d8805a91a8900e4e7c7c3ba59db where t:u
有效:sample8ef407ed57caac12483dcecdcac4eb46
无效:sample6f72722a2a297c03396b6f57d1a9f381
总结:要看传入类参数是否可以转换,查看规定参数和传入类参数是否实现同一接口,如果实现则可以,否则不可以。
不可以是以下:system.object,system.enum,system.valuetype,system.delegate,结构或密封类(string)
5.组合约束
对类型参数的约束有多个,注意:只能是一种类型,值类型和引用类型不能同时存在,没用一个类型即是引用类型,又是值类型。
由于每一个值类型都有一个无构造函数,此后不能再有构造函数约束
有效:
class sample8742468051c85b06f0a0af9e3e506b5c where t:class,idisposable,new()
class samplea62d1d8805a91a8900e4e7c7c3ba59db where t:stream where u:idispsable
无效:
class sample8742468051c85b06f0a0af9e3e506b5c where t:class,struct (没有任何类型即时引用类型又是值类型的,所以为无效的)
class sample8742468051c85b06f0a0af9e3e506b5c where t:stream,class (引用类型约束应该为第一个约束,放在最前面,所以为无效的) stream只是约束传入参数为stream具体类型,而class约束为引用类型,一开始我理解错了
class sample8742468051c85b06f0a0af9e3e506b5c where t:new(),stream (new() 必须放在最后)
class sample8742468051c85b06f0a0af9e3e506b5c where t:idisposable,stream (类必须放在接口前面,所以为无效的)
class sample8742468051c85b06f0a0af9e3e506b5c where t:xmlreader,icomparable,icomparable (对于转换类型约束,同一个接口不能出现多次)
class samplec619abd6b5b072b4427165f6c9e6f6e4 where t:struct where u:class,t (类型形参“t”具有“struct”约束,因此“t”不能用作“u”的约束,所以为无效的)
class samplec619abd6b5b072b4427165f6c9e6f6e4 where t:stream ,u:idisposable 语法错误
看到网上还有这种版本也是有效的我表示不理解:
class sample8742468051c85b06f0a0af9e3e506b5c where t:struct,idisapsable idisapsable为值类型?
class samplea62d1d8805a91a8900e4e7c7c3ba59db where t:class where u:struct ,t t为引用类型为何与值类型一起约束u?
希望可以指正
以上就是c# 泛型的约束图文详细介绍的内容。