欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

C# 泛型的约束

程序员文章站 2022-05-31 16:55:03
1.引用类型约束 struct refsample where t:class      &...

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

C# 泛型的约束

valsample<int>

3.构造函数类型约束

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接口,所以可以协变

C# 泛型的约束

C# 泛型的约束

2.stringbuilder只实现了iserializable接口,无法通过途径转换为idisposable

C# 泛型的约束

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?

希望可以指正

以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,同时也希望多多支持!