C# 泛型的约束

2019-12-30 16:28:33刘景俊

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表示为引用类型