泛型的约束理解

来源:转载

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  2.StringBuilder只实现了ISerializable接口,无法通过途径转换为IDisposableclass 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?希望可以指正

分享给朋友:
您可能感兴趣的文章:
随机阅读: