C# 泛型的约束

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

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

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

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?

希望可以指正

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

(0)

相关推荐

  • C#泛型约束的深入理解

    where 子句用于指定类型约束,这些约束可以作为泛型声明中定义的类型参数的变量.1.接口约束.例如,可以声明一个泛型类 MyGenericClass,这样,类型参数 T 就可以实现 IComparable<T> 接口: 复制代码 代码如下: public class MyGenericClass<T> where T:IComparable { } 2.基类约束:指出某个类型必须将指定的类作为基类(或者就是该类本身),才能用作该泛型类型的类型参数.这样的约束一经使用,就必须出现在

  • C#中的where泛型约束介绍

    泛型约束的意思就是说:类的泛型,只能是where字句后面所写的接口或类.这么说好像也有点不大明白,举个例子.我有一个接口,如下: 复制代码 代码如下: /// /// 国籍的接口 /// public interface INationality {     string Nationality     {         set;         get;     }     string GetNationality(); } 然后该接口有两个实现,如下: 复制代码 代码如下: ///  /

  • 介绍C# 泛型类在使用中约束

    首先看一下泛型的基本语法 访问修饰符 返回类型 泛型方法名 <T>(T 参数) 1):无法在泛型方法内部给任何 T 类型创建实例的对象,因为在泛型方法内部不知道传进来的对象有哪些构造函数2):约束是对内部的!(对于泛型方法)约束也是会被继承的! 3):给泛型类 加类型(引用类型,值类型)的约束:where T:class,new ( ) 遇到的问题:在写MongodbHelper类的时候,为了能处理多种类别,所以如下定义了该类: 复制代码 代码如下: public class MongodbH

  • c# 泛型类型参数与约束的深入分析

    泛型类型参数简介在定义泛型类型和泛型方法时,常用到泛型类型参数,泛型类型参数是在实例化泛型时指定类型的占位符.泛型类型参数放在"<>"内.泛型类型参数命名建议:(1)当泛型类型参数为单个字母时,建议用T表示.(2)当泛型类型参数用单词定义时,建议在单词前加T. 复制代码 代码如下: private void PromptName<T>(T t) {}private void PromptName<Tuser>(Tuser user){} 泛型类型参数

  • C# 泛型的简单理解(安全、集合、方法、约束、继承)分享

    前言 泛型允许你在编译时实现类型安全.它们允许你创建一个数据结构而不限于一特定的数据类型.然而,当使用该数据结构时,编译器保证它使用的类型与类型安全是相一致的.泛型提供了类型安全,但是没有造成任何性能损失和代码臃肿.在这方面,它们很类似于C++中的模板,不过它们在实现上是很不同的. 使用泛型集合 .NET 2.0的System.Collections.Generics 命名空间包含了泛型集合定义.各种不同的集合/容器类都被"参数化"了.为使用它们,只需简单地指定参数化的类型即可. 复制

  • C# 泛型的约束

    1.引用类型约束 struct RefSample<T> where T:class         引用类型用Class表示约束,其他的引用类型为具体的约束. 表示对于的约束必须为一个类(引用类型)不能是值类型(int,char,datatime,struct),可以是接口interface 区分,数组为引用类型,因为定义数组时需要new出一个对象. 虽然定义成 RefSample<T> 传入的必须为引用类型 但是RefSample仍然为值类型 2.值类型约束 class Val

  • .net泛型通用函数的特殊问题的解决方法

    自从2.0版本的net framework推出之后泛型(Generic)得到了广泛好评.它不必像object类型一样性能上因为"拆箱"或者"装箱"得到损失,同时在编译语法检测阶段就可以实时检测出传入或者传出的类型是否符合特定条件. 但"金无赤足,人无完人"--在我们享受这些幸福编程的同时,泛型自身类型的不确定也带来了一个显著的问题--无法进行运算符重载.譬如现在我要写一个函数(一个通用的选择排序算法,使用泛型T),该怎么办呢?如果你简单使用这样的

  • C#泛型相关讲解

    我们在编写程序时,经常 遇到两个模块的功能非常相似,只是一个是处理int数据,另一个是处理string数据,或者其他自定义的数据类型,但我们没有办法,只能分别写多个方法 处理每个数据类型,因为方法的参数类型不同.有没有一种办法,在方法中传入通用的数据类型,这样不就可以合并代码了吗?泛型的出现就是专门解决这个问题 的.读完本篇文章,你会对泛型有更深的了解.为什么要使用泛型 为了了解这个问题,我们先看下面的代码,代码省略了一些内容,但功能是实现一个栈,这个栈只能处理int数据类型: 复制代码 代码如

  • C#泛型实例详解

    本文以实例形式讲述了C#泛型的用法,有助于读者深入理解C#泛型的原理,具体分析如下: 首先需要明白什么时候使用泛型: 当针对不同的数据类型,采用相似的逻辑算法,为了避免重复,可以考虑使用泛型. 一.针对类的泛型 针对不同类型的数组,写一个针对数组的"冒泡排序". 1.思路 ● 针对类的泛型,泛型打在类旁. ● 由于在"冒泡排序"中需要对元素进行比较,所以泛型要约束成实现IComparable接口. class Program { static void Main(s

  • C#基础之泛型

    1.泛型的本质 泛型的好处不用多说,在.NET中我看到有很多技术都是以泛型为基础的,不过因为不懂泛型而只能对那些技术一脸茫然.泛型主要用于集合类,最主要的原因是它不需要装箱拆箱且类型安全,比如很常用的List<T>.对于List<T>我以后还想进行深究,现在我写了一个超简版的MyList<T>集合,如下面第一段代码所示.代码很简单,但在写的过程中有一个细节,如果我为listInt赋值string类型的变量时编译器会提示报错.编译器很智能,但是从这个现象中你会不会好奇泛型

  • C#语法之泛型的多种应用

    本篇文章主要介绍泛型的应用. 泛型是.NET  work 2.0 版类库就已经提供的语法,主要用于提高代码的可重用性.类型安全性和效率. 泛型的定义 下面定义了一个普通类和一个泛型类,我们可以明确看到泛型类和普通类最大的区别就是多了一个<T>. 所以,这个<T>就标记了,这个类是泛型类.其中这个T,也可以写成A,B,C,D或其他字符. public class Generic { public String Name; } public class Generic<T>

  • Java 泛型全解析

    泛型简介 什么是泛型? 参化类型,数是JDK1.5的新特性.(定义泛型时使用参数可以简单理解为形参),例如List<E>,Map<K,V> 编译时的一种类型,此类型仅仅在编译阶段有效,运行时无效.例如List<String>在运行时String会被擦除,最终系统会认为都是Object. 为什么要使用泛型? 泛型是进行类型设计或方法定义时的一种约束规范,基于此规范可以: 提高编程时灵活性(有点抽象,后续结合实例理解). 提高程序运行时的性能.(在编译阶段解决一些运行时需要

  • C#泛型运作原理的深入理解

    前言# 我们都知道泛型在C#的重要性,泛型是OOP语言中三大特征的多态的最重要的体现,几乎泛型撑起了整个.NET框架,在讲泛型之前,我们可以抛出一个问题,我们现在需要一个可扩容的数组类,且满足所有类型,不管是值类型还是引用类型,那么在没有用泛型方法实现,如何实现? 一.泛型之前的故事# 我们肯定会想到用object来作为类型参数,因为在C#中,所有类型都是基于Object类型的.因此Object是所有类型的最基类,那么我们的可扩容数组类如下: public class ArrayExpandab

  • C#泛型的使用及示例详解

    目录 一.什么是泛型 二.为什么使用泛型 三.泛型类型参数 四.泛型类 五.泛型约束 六.泛型的协变和逆变 七.泛型缓存 这篇文章主要讲解C#中的泛型,泛型在C#中有很重要的地位,尤其是在搭建项目框架的时候. 一.什么是泛型 泛型是C#2.0推出的新语法,不是语法糖,而是2.0由框架升级提供的功能. 我们在编程程序时,经常会遇到功能非常相似的模块,只是它们处理的数据不一样.但我们没有办法,只能分别写多个方法来处理不同的数据类型.这个时候,那么问题来了,有没有一种办法,用同一个方法来处理传入不同种

  • Go1.18新特性之泛型使用三步曲(小结)

    目录 01 Go中的泛型是什么 1.1 传统的函数编写方式 1.2 泛型函数编写方式 02 从泛型被加入之前说起 2.1 针对每一种类型编写一套重复的代码 2.2 使用空接口并通过类型断言来判定具体的类型 2.3 传递空接口并使用反射解析具体类型 2.4 通过自定义接口类型实现 03 深入理解泛型--泛型使用“三步曲” 3.1 第一步:类型参数化 3.2 第二步:给类型添加约束 3.3 第三步:类型参数实例化 04 泛型类型约束和普通接口的区别 总结 01 Go中的泛型是什么 众所周知,Go是一

随机推荐