C# 泛型的约束图文详细介绍

本文将详细介绍c# 泛型的约束：引用类型约束；值类型约束；构造函数类型约束；转换类型约束；组合约束的相关知识。具有很好的参考价值，下面跟着小编一起来看下吧

1.引用类型约束

struct RefSample where T:class         引用类型用Class表示约束，其他的引用类型为具体的约束。

表示对于的约束必须为一个类（引用类型）不能是值类型（int，char，datatime，struct），可以是接口interface

区分，数组为引用类型，因为定义数组时需要new出一个对象。

虽然定义成 RefSample 传入的必须为引用类型 但是RefSample仍然为值类型

2.值类型约束

class ValSample where T:struct

为引用类型，因为int，char等类型都是struct

ValSample

3.构造函数类型约束

public T CreateInstance() where T:new()
{
  return new T();
}

指定的类型T必须有构造函数，CreateInstance和CreateInstance

4.转换类型约束

一种约束允许你指定另一个类型，类型实参必须可以通过一致性、引用或装箱转换隐式地转换为该类型。你还可以规定一个类型实参必须可以转换为另一个类型实参——这称为类型参数约束。

理解的意思：可以互换，就是我们可以通过装箱或者强制类型转换成目标类型的 类型都可以用于类型参数传入。

class Sample where T:Stream

有效：Sample 这本身符合约束

无效:Sample 因为String类型无法通过引用或者装箱拆箱强制转换成Stream、

struct Sample where T:IDisposable

规定T必须为IDisposable 类型的 引用类型

有效：Sample引用转换

无效：Sample

分析：为什么SqlConnection 可以而StringBuilder不可以？它们都是引用类型

1.SqlConnection实现了IDisposable接口，所以可以协变

2.StringBuilder只实现了ISerializable接口，无法通过途径转换为IDisposable

class Sample where T:IComparable

因为将IComparable整体当作约束,分析IComparable的类型，可以用Type.IsValueType判断，true为值类型，false为引用类型

typeof(IComparable).IsValueType   结果为false表示为引用类型

有效：Sample（装箱转换）

invideo AI

InVideo 使用现成的模板简化视频创建

下载

无效：Sample

也可以指定多种约束：

class sample where T：stream，IEnumerable,IComparable

class Sample where T:U

有效：Sample

无效：Sample

总结：要看传入类参数是否可以转换，查看规定参数和传入类参数是否实现同一接口，如果实现则可以，否则不可以。

不可以是以下：System.Object,System.Enum,System.ValueType,System.Delegate,结构或密封类(String)

5.组合约束

对类型参数的约束有多个，注意：只能是一种类型，值类型和引用类型不能同时存在，没用一个类型即是引用类型，又是值类型。

由于每一个值类型都有一个无构造函数，此后不能再有构造函数约束

有效:

class Sample where T：class，IDisposable，new()
class Sample where T：Stream where U:IDispsable

无效：

class Sample where T：class，struct (没有任何类型即时引用类型又是值类型的,所以为无效的)

class Sample where T：Stream，class (引用类型约束应该为第一个约束，放在最前面,所以为无效的) Stream只是约束传入参数为Stream具体类型，而class约束为引用类型，一开始我理解错了
class Sample where T：new(),Stream   (new() 必须放在最后)

class Sample where T：IDisposable，Stream (类必须放在接口前面，所以为无效的)

class Sample where T：XmlReader，IComparable，IComparable （对于转换类型约束，同一个接口不能出现多次）

class Sample where T：struct where  U：Class，T (类型形参“T”具有“struct”约束，因此“T”不能用作“U”的约束,所以为无效的)

class Sample where T：Stream ,U:IDisposable  语法错误

看到网上还有这种版本也是有效的我表示不理解：

class Sample where T：struct,IDisapsable  IDisapsable为值类型？

class Sample where T：class where U:struct ,T   T为引用类型为何与值类型一起约束U？

希望可以指正

 以上就是C# 泛型的约束图文详细介绍的内容，更多相关内容请关注PHP中文网（www.php.cn）！