关于泛型 熟悉class文件结构以及字节码的朋友应该都知道,Java泛型是通过"类型擦除"实现的,在编译期由编译器将泛型擦除,泛型类擦除后就是对应类型的裸类型。 如泛型类的类型签名,编译后存储在该类的class文件结构的属性表的Signature属性中;泛型字段的类型签名,编译后存储在该字段结构的属性表的Signature属性中;泛型方法的方法签名,编译后存储在该方法结构的属性表的 那么,我们如何通过反射获取一个泛型类的参数化类型T的实际类型呢? 如何获取泛型T的实际类型 以jackson框架的TypeReference类为例,TypeReference的源码如下(为了便于读者理解,我简化了): public abstract class TypeReference 实例的getGenericSuperclass方法获取泛型父类; 3、最后调用Type的getActualTypeArguments方法获取泛型父类的参数实际类型; 泛型也叫参数化类型ParameterizedType
Integer(10)); // OK someMethod(new Double(10.1)); // OK 当然泛型也是如此,在执行泛型类型调用时,将Number作为其类型参数传递,如果参数是 那么问题来了,当类的泛型相关时,如何在两个泛型类之间创建类似子类型的关系呢?例如如何让Box<Integer> 和Box<Double>变得与Box<Number>有关呢? 为了搞懂这个问题,我们先来了解一下同一类型的对象是如何实现子类型化的吧。 小结:可以通过继承泛型类或者实现接口来对其进行子类型化。 搞懂了子类型化的问题,我们回到“如何在两个泛型类之间创建类似子类型的关系“的问题。 泛型类或者接口并不会仅仅因为它们的类型之间有关系而变得相关,如果要达到相关,我们可以使用通配符来创建泛型类或接口之间的关系。
个人网站、项目部署、开发环境、游戏服务器、图床、渲染训练等免费搭建教程,多款云服务器20元起。
因为我们的数组中存储的元素类型是不确定的,所以这里我们用到了泛型,其中where T : strut子句约束参数类型T必须为值类型。当然这个程序我们不使用泛型,直接定义Object类型的数组也可以。 下面重点说说C#中泛型类型参数的约束: 在定义泛型类时,可以对客户端代码能够在实例化类时用于类型参数的类型种类施加限制。 如果客户端代码尝试使用某个约束所不允许的类型来实例化类,则会产生编译时错误。 有关更多信息,请参见使用可以为 null 的类型(C# 编程指南)。 T:class 类型参数必须是引用类型;这一点也适用于任何类、接口、委托或数组类型。 T:new() 类型参数必须具有无参数的公共构造函数。 当与其他约束一起使用时,new() 约束必须最后指定。 T:<基类名> 类型参数必须是指定的基类或派生自指定的基类。 于是,我想能不能写一个简单的泛型类,其中里面实现对数值类型的加减乘除四则运算,遇到的问题是 :where子句后面的约束怎么写,我查看的数值型的类Int32等等,它们的基类是Object,如果直接定义一个泛型参数
前言 在.NET 4之前,泛型接口是不变的。.NET 4通过协变和抗变为泛型接口和泛型委托添加了一个重要的扩展。协变和抗变指对参数和返回值的类型进行转换。 基类-派生类 在函数输出时,函数的输出类型(返回类型)从string转换成object。派生类-基类。 这里就比较接近泛型接口的协变和抗变的概念了。 理解泛型接口的协变和抗变(in、out) 我们下面来看看泛型接口的协变及抗变的例子: 首先我们看下协变,在C#高级编程(第十一版)中指出,如果泛型类型用out关键字标注,泛型接口就是协变的。 在C#高级编程中指出的概念:如果泛型类型用in关键字标注,泛型接口就是抗变的。这样,接口只能把泛型类型T用作其方法的输入。 而泛型接口中的泛型类型用来作为参数传递了。我们再看调用时,正常传入object类型的参数,,但是我们修改传入参数类型为string类型也是可以的。
C#泛型由CLR在运行时支持,这使得泛型可以在CLR支持的各种语言上无缝集合; C#泛型代码在被编译[第一次编译]为IL代码和元数据时[泛型版的IL和元数据], 采用特殊的占位符来表示泛型类型,并用专有的 C#泛型类型携带有丰富的元数据,因此C#的泛型类型可以应用于强大的反射技术;采用[基类, 接口, 构造器, 值类型/引用类型]的约束方式来实现对类型参数的"显式约束", 提高了类型的安全性。 泛型类型和泛型方法 可以用于泛型的类型有类、接口,结构、委托。 C#支持泛型方法,但不支持除方法外的其他成员[属性、事件、索引器、构造器、析构器。 泛型约束支持四种形式的约束【接口约束,基类约束,构造器约束,值类型/引用类型约束】; 约束并不是必须的,如果没有指定约束,那么类型参数将只能访问System.Object类型中的公有方法。 基类约束:表是类型参数必须是继承子指定的类型<where T : 基类>; 构造器约束:只支持无参的构造器约束,就是必须保障参数类型可以调用它的无参构造器<where T : new()>: 值类型/引用类型约束
所以结构处理作为基类型对待的小对象,而类处理某个商业逻辑因为结构是值类型所以结构之间的赋值可以创建新的结构,而类是引用类型,类之间的赋值只是复制引用 注:1.虽然结构与类的类型不一样,可是他们的基类型都是对象 执行时的行为:泛型也是对象,泛型类的“类型参数”变成了元数据;CLR会在需要的时候构造利用它们的类。一个泛型类经过编译好之后和普通的类并没有什么区别。编译的结果只有元数据和CIL。 基于值类型的泛型实例化:CLR会讲指定的类型参数放到CIL中合适的位置,从而创建一个具体化的泛型类型。 所以CLR会为没个新的参数值创建具体的泛型类型 基于引用类型的实例化:CLR会创建一个具体化的泛型类型。 举例说明平时编程中您定义的泛型类型。
前言 泛型是C#和.Net的一个重要概念,泛型不仅是C#编程语言中的一部分,而且与程序集中的IL(Intermediate Language)代码紧密的集成。 优点 下面介绍下泛型的优点,尤其是下面几个: l 性能 l 类型安全 l 二进制代码重用 一、性能 泛型的一个主要优点就是性能,在泛型集合类和非泛型集合类中,对值类型使用非泛型集合类 这也就是泛型的主要优点了。 二、类型安全 泛型另一个优点就是类型安全,这里我们还是使用非泛型集合类ArrayList()和泛型集合类List<T>来做案例。 泛型类型还可以在一种语言定义,然后再其他任何.Net语言中使用。 泛型类的功能 这里我们可以来了解下创建泛型类了之后,泛型类有哪些功能呢? l 默认值 l 约束 l 继承 l 静态成员 一、默认值 在我们定义了泛型类型之后如何赋值呢?
废话不多说,首先,我们先来回顾一下C#类的内部由什么东西组成: (1) 字段-C#类中保存数据的地方,由访问修饰符、类型和名称组成; (2) 属性-C#类中特有的东西,由访问修饰符、类型、名称和 ,由访问修饰符、方法名、泛型参数、入参、出参构成; (4) 构造器-C#类中一种特殊的方法,该方法是专门用来创建对象的方法,由访问修饰符、与类名相同的方法名、入参构成。 (3) 实现-C#类可以实现多个接口,并实现接口中的所有方法 (4) 泛型-C#类可以包含泛型参数,此外,类还可以对泛型实现约束 以上就是C#类所具备的一些元素,以下为样例: public 这里的代码量会比较大,请读者慢慢阅读,也可以参照以上我写的类生成il代码进行比对。 (GenericParameterAttributes.NotNullableValueTypeConstraint); (5) 继承和实现接口,注意当实现类的泛型参数需传递给接口时,需要将泛型接口添加泛型参数后再调用
IList 接口与List的区别是什么? 2.泛型的主要约束和次要约束是什么? 3. 如何把一个array复制到arraylist里? 4.数组和 list 和 arraylist 的区别? 5. C#异常类返回哪些信息? 10. 如何创建一个自定义异常? IList 接口与List的区别是什么? IList 泛型接口是 Icollection 接口的子代,并且是所有非泛型列表的基接口。 IList 是个接口,定义了一些操作方法这些方法要你自己去实现,当你只想使用接口的方法时,这种方式比较好.他不获取实现这个接口的类的其他方法和字段,有效的节省空间. 2.泛型的主要约束和次要约束是什么? 当一个泛型参数没有任何约束时,它可以进行的操作和运算是非常有限的,因为不能对实参进行任何类型上的保证,这时候就需要用到泛型约束。 泛型的约束分为:主要约束和次要约束,它们都使实参必须满足一定的规范,C#编译器在编译的过程中可以根据约束来检查所有泛型类型的实参并确保其满足约束条件。
---- 正在整理中…… 代码分析(Microsoft.Analyzers.ManagedCodeAnalysis) 设计问题 编号 名称 含义 CA1004 泛型方法应提供类型参数 如果泛型方法的参数列表中没有用到声明的所有泛型 ,那么就会出现此提示(这是因为此时泛型不能被隐式推断,库使用者的学习成本会提高,详见:CA1004) CA1005 避免泛型类型的参数过多 如果写泛型的时候有超过 2 个泛型类型,就会出现此提示 CA1006 不要将泛型类型嵌套在成员签名中 如果出现类似 Func<Task<T> 这样的嵌套泛型出现在方法参数签名中,则会出现此提示 CA1018 用 AttributeUsageAttribute 标记特性 如果继承自一个已有的 Attribute,即便基类已经写了 AttributeUsage,此类型也应该再写一遍,以提高代码可读性和便于文档制作 CA1019 定义特性参数的访问器 自定义 Attribute 基类中显式实现了一个接口方法,导致子类中无法调用此接口方法 CA1040 避免使用空接口 意思就是“避免使用空接口”,这种接口就像是一个标记一样并没有什么作用,考虑使用自定义的 Attribute 来实现
二、泛型概述 泛型类型是 C# 2.0 引入的,它的引入在一定程度上减轻了开发人员的压力,同时也使得程序变得更加健壮和稳定。泛型类的语法也很简单,用尖括号声明泛型类型参数和提供泛型类型实参即可。 在部分文章或图书中会将类型参数数量称为 元数 。 5.嵌套泛型类型 嵌套泛型类型在开发中用的比较少,但是还是有必要在这里说一下,因为有部分开发人员对于这一块不甚了解。 泛型方法 前面我们所说的都是泛型类,在 C# 中除了有泛型类还有泛型方法,泛型方法的语法和泛型类的语法类似,并且泛型方法不仅可以出现在泛型类种也可以出现在普通类中。 由于派生的泛型类类型参数时泛型基类的类型实参,所以类型参数必须具有等同于或者强于泛型基类的约束条件。 Tip 2:泛型方法同样也可以使用约束,约束条件和泛型类类似。 由于派生的泛型类类型参数时泛型基类的类型实参,所以类型参数必须具有等同于或者强于泛型基类的约束条件。 Tip 2:泛型方法同样也可以使用约束,约束条件和泛型类类似。
C#中的泛型 2008-12-17 作者: 张子阳 分类: C# 语言 .Net 1.1版本最受诟病的一个缺陷就是没有提供对泛型的支持。 不行的,因为我们要记得:泛型类是一个模板类,它对于在执行时传递的类型参数是一无所知的,也不会做任何猜测,我们知道Book类现在实现了IComparable,对它进行比较很容易,但是我们的SortHelper 我们需要告诉SortHelper<T>类(准确说是告诉编译器),它所接受的T类型参数必须能够进行比较,换言之,就是实现IComparable接口,这便是本小节的主题:泛型约束。 ,会看到下面的输出: Id:45 Title:.Net之美 Id:124 Title:C# 3.0揭秘 除了可以约束类型参数T实现某个接口以外,还可以约束T是一个结构、T是一个类、T拥有构造函数、T继承自某个基类等 总结 本节中我们学习了掌握泛型所需要的最基本知识,你看到了需要泛型的原因,它可以避免重复代码,还学习到了如何使用类型参数约束和泛型方法。拥有了本节的知识,你足以应付日常开发中的大部分场景。
链接: B站刘铁猛C#入门精要. ---- 【重点面试题】3、装箱和拆箱的区别 值类型和引用类型的最终基类是Object 装箱:值类型转换成引用类型的过程,生成新的引用 拆箱;引用类型转换成值类型的过程 不支持指针,但可以使用Unsafe,不安全模式,CLR不检测 C#可以定义指针的类型、整数型、实数型、struct结构体 C#指针操作符、C#指针定义 使用fixed,可以操作类中的值类型 相同点 . ---- 【重点面试题】32、泛型是什么 多个代码对 【不同数据类型】 执行 【相同指令】的情况 泛型:多个类型共享一组代码 泛型允许类型参数化,泛型类型是类型的模板 5种泛型:类、结构、接口 、委托、方法 类型占位符 T 来表示泛型 泛型类不是实际的类,而是类的模板 从泛型类型创建实例 声明泛型类型》通过提供【真实类型】创建构造函数类型》从构造类型创建实例 类<T1,T2> 泛型类型参数 ,且只有一种泛型 Func的泛型里前者和方法参数类型相同,最后一个与返回值类型相同 一般用于回调方法,注册事件,类直接数据交互松耦合 链接: 参考资料. ---- 【重点面试题】35、unity常用资源路径有哪些
2.1.1 示例:泛型诞生前的集合 .NET 1有如下3大类集合。数组:语言和运行时直接支持数组。数组的大小在初始化时就已经确定。普通对象集合:API中的值(或者键)由System.Object描述。 同样,当声明有基类或者接口时,泛型形参也可以用作基类或者接口的泛型实参,比如声明泛型类List<T>实现自泛型接口IEnumerable<T>:public class List<T> : IEnumerable 2.1.3 泛型的适用范围 并非所有类型或者类型成员都适用泛型。对于类型,这很好区分,因为可供声明的类型比较有限:枚举型不能声明为泛型,而类、结构体、接口以及委托这些可以声明为泛型类型。 直接调用构造器的实现代码比较烦琐:new Tuple<int, string, int>(10, "x", 20) 但是使用静态方法配合类型推断,代码就简单多了4:4前面说过构造器不能为泛型,构造器中的泛型参数实际上是来自它所在类的类型形参 假设有一个泛型类定义如下:如果要获取它基类的类型,得到的类型将包含一个具体的类型形参(string)和一个类型形参形式的类型实参(T)。
不然 泛型集合和ArrayList的装箱拆箱 常见的泛型类型 泛型类和泛型方法 泛型约束 泛型委托 ###泛型很难理解? 泛型的定义主要有以下两种: 1.在程序编码中一些包含类型参数的类型,也就是说泛型的参数只可以代表类,不能代表个别对象。(这是当今较常见的定义) 2.在程序编码中一些包含参数的类。 Food… 声明泛型类和方法时只需要传入类型的地方用 ,有点类似于占位符的作用,用的时候传入具体的类型。 :这个泛型类常用api通用接口的泛型类。 where T:<基类名> 类型参数必须是指定的基类或派生自指定的基类。 where T:<接口名称> 类型参数必须是指定的接口或实现指定的接口。可以指定多个接口约束。约束接口也可以是泛型的。
C#是一种编程语言,可以基于.NET平台的应用。 值类型和引用类型的区别? 在C#中值类型的变量直接存储数据,而引用类型的变量持有的是数据的引用,数据存储在数据堆中。 泛型将类型参数的概念引入 .NET Framework,这样就可以设计具有以下特征的类和方法:在客户端代码声明并初始化这些类和方法之前,这些类和方法会延迟指定一个或多个类型。 泛型最常见的用途是创建集合类。 .NET Framework 类库在 System.Collections.Generic 命名空间中包含几个新的泛型集合类。 应尽可能使用这些类来代替某些类,如 System.Collections 命名空间中的 ArrayList。 可以创建自己的泛型接口、泛型类、泛型方法、泛型事件和泛型委托。 可以对泛型类进行约束以访问特定数据类型的方法。 在泛型数据类型中所用类型的信息可在运行时通过使用反射来获取。
在c#中,通过尖括号“<>”将类型参数括起来,表示泛型。声明泛型接口时,与声明一般接口的唯一区别是增加了一个<T>。一般来说,声明泛型接口与声明非泛型接口遵循相同的规则。 T:<基类名> 类型参数必须是指定的基类或派生自指定的基类。 T:<接口名称> 类型参数必须是指定的接口或实现指定的接口。可以指定多个接口约束。约束接口也可以是泛型的。 可以看到,在泛型接口的T前面有一个out关键字修饰,而且T只能是返回值类型,不能作为参数类型,这就是协变。使用了协变以后,左边声明的是基类,右边可以声明基类或者基类的子类。 注意 1.泛型代码中的 default 关键字 在泛型类和泛型方法中会出现的一个问题是,如何把缺省值赋给参数化类型,此时无法预先知道以下两点: T将是值类型还是引用类型 如果T是值类型,那么T将是数值还是结构 通常情况下,建议您使用泛型集合,因为这样可以获得类型安全的直接优点而不需要从基集合类型派生并实现类型特定的成员。
,如果你的英文水平比较好的话,可以直接直接阅读全文。 泛型是C#语言和公共语言运行库(CLR)中的一个新功能,它将类型参数的概念引入.NET Framework。 泛型类 描述 Collection<T> 泛型集合的基类,可以比较两个泛型对象是否相等 简单的泛型类示例 以下示例显示了一个简单的泛型类型的操作。 <string> obj1 = new TestClass<string>(); Obj1.Add("hello"); 通用方法 虽然大多数开发人员通常会使用基类库中的现有泛型类型,但也有可能会构建自己的泛型成员和自定义的泛型类型
double else enum event explicit extern False finally static float for foreach goto if implicit in in(泛型修饰符 ) int interface internal is lock long namespace new null object operator out out(泛型修饰符) override params : base 访问基类的成员。 var 使编译器能够确定在方法作用域中声明的变量的类型。 where 将约束添加到泛型声明。(另请参见where)。 yield 在迭代器块中使用,用于向枚举数对象返回值或发信号结束迭代。 orderby 基于元素类型的默认比较器按升序或降序对查询结果进行排序。 join 基于两个指定匹配条件之间的相等比较来联接两个数据源。
前言 在引用类型系统时,协变、逆变和不变性具有如下定义。 这些示例假定一个名为 Base 的基类和一个名为 Derived的派生类。 在C#中,目前只有泛型接口和泛型委托可以支持协变和逆变, 协变(Covariance) 内置的泛型协变接口,IEnumerator<T>、IQuerable<T>、IGrouping<Tkey, TElement out关键子标识,并且占位符T只能用于只读属性、方法或者委托的返回值,out简而易懂,就是输出的意思 当要进行类型转换,占位符T要转换的目标类型也必须是其基类,上述例子则是Foo隐式转为FooBase 当要进行类型转换,占位符T要转换的目标类型也必须是其子类,上述例子则是FooBase转为Foo 总结 协变和逆变只对泛型委托和泛型接口有效,对普通的泛型类和泛型方法无效 协变和逆变的类型必须是引用类型 ,因为值类型不具备继承性,因此类型转换存在不兼容性 泛型接口和泛型委托可同时存在协变和逆变的类型参数,即占位符T 参考 泛型中的协变和逆变 | Microsoft Docs 《你必须知道的.NET(第2
云端获取和启用云服务器,并实时扩展或缩减云计算资源。云服务器 支持按实际使用的资源计费,可以为您节约计算成本。 腾讯云服务器(CVM)为您提供安全可靠的弹性云计算服务。只需几分钟,您就可以在云端获取和启用云服务器,并实时扩展或缩减云计算资源。云服务器 支持按实际使用的资源计费,可以为您节约计算成本。
扫码关注腾讯云开发者
领取腾讯云代金券