第一章都是讲泛型的，距离上一篇Effective C#的随笔已经是很久以前的事情了。。。 今天Item4，讲的是泛型的类型推断功能。 东西好不好，都是比较出来了，当然也不是绝对的好或者绝对的不好。 首先上一段不用泛型的代码。 证明，我错了，确实是Exception，再看一下代码，factory实例化的时候传入了参数theType。为什么要传这个参数呢？我想应该还是性能问题吧。 解决了原先的几个问题。 ①类型转换。泛型类中的LoadFromFile方法，返回的类型其实已经被限定了，就是T类型，至于T具体是什么类型，就看自己在调用的时候尖括号之间写的具体的值了。 最后一段： 很多时候如果用了Type类型的参数，通常都可以定义出一个泛型的版本。编译器就会 “Create the Specific version for you.”。
领8888元新春采购礼包，抢爆款2核2G云服务器95元/年起，个人开发者加享折上折
首先，来看一个程序，对泛型有一个初步的认识。 因为我们的数组中存储的元素类型是不确定的，所以这里我们用到了泛型，其中where T : strut子句约束参数类型T必须为值类型。当然这个程序我们不使用泛型，直接定义Object类型的数组也可以。 下面重点说说C#中泛型类型参数的约束： 在定义泛型类时，可以对客户端代码能够在实例化类时用于类型参数的类型种类施加限制。 如果客户端代码尝试使用某个约束所不允许的类型来实例化类，则会产生编译时错误。 T：<接口名称> 类型参数必须是指定的接口或实现指定的接口。 可以指定多个接口约束。 约束接口也可以是泛型的。 T：U 为 T 提供的类型参数必须是为 U 提供的参数或派生自为 U 提供的参数。 于是，我想能不能写一个简单的泛型类，其中里面实现对数值类型的加减乘除四则运算，遇到的问题是 ：where子句后面的约束怎么写，我查看的数值型的类Int32等等，它们的基类是Object，如果直接定义一个泛型参数
一、泛型集合List<T>排序 经sort方法之后，采用了升序的方式进行排列的。 在int类型中实现了IComparable，所以可以通过Sort（）直接排序； ? int类型是实现了IComparable这个接口的。 三、对集合按照多种不同规则进行排序 实际使用中，经常需要对集合按照多种不同规则进行排序，这就需要定义其他比较规则，可以在Compare方法中定义，该方法属于IComparer<T>泛型接口，请看下面的代码 其中的Comparer.Default返回一个内置的Comparer对象，用于比较两个同类型对象。 四、使用linq进行排序 sort方法的一个重载是Comparison<T>类型的参数； ? 那就看一下 Comparison<T>是怎么一回事吧： ?
提到类型转换，首先要明确C#中的数据类型，主要分为值类型和引用类型： 1.常用的值类型有：（struct） 整型家族：int，byte，char，short，long等等一系列 浮点家族：float，double 当然了，无论是装箱和拆箱，对于性能都是有消耗的，不到万不得已的时候尽量不要用（虽然我才不管这些，只要我用的爽就行了233） 虽然一般不提倡用object类型作为函数参数，取而代之使用泛型成为首选，那么如何判断泛型参数的具体数据类型并进行有效转换呢 ，包含标签，具体值和属性类别（是主属性还是副属性），并使用泛型约束数据为值类型。 现在想要快速对这个结构体进行加法操作，于是增加操作符重载函数，方便愉快的对两个属性的值相加，但问题是泛型是无法强转为任何一种非object数据类型，直接相加则更是不可能。 .Net 4.0 以后开始支持动态数据类型——也就是dynamic关键字；令人兴奋的是，dynamic可以被赋值为任何一种类型的值，当然也包括泛型。
运行在JVM中也是一样的，那你可能会有疑问，既然将类型擦除了，那为什么我声明的泛型为String类型时，不能往里add一个整型的数据呢？ 2、不能用来方法的重载 为什么呢？举个例子： ? 如上图所示，在不同的泛型作为参数时，编译器编译时进行类型擦除，那参数不就一样了吗？那还谈什么重载呢！ 而C#没有进行类型擦除，所以编译完后是带有泛型的类型的，所以可以当作是重载的。 3、泛型类型不能当作真实的类型使用 ? 上图中展示了5种使用方式，除了第四种Java能正常使用，其他Java都不能使用，而C#完全没问题。 4、静态方法无法引用类的泛型类型 ? Java中的泛型是类实例化的时候才能确定泛型的准确类型，而静态方法是不需要类实例化就能调用的，显然不能使用。 5、类型强转的开销 ?
从这点上看Lambda明显要比匿名委托强大很多，最重要的是它还支持泛型的类型推断特性。 那么什么是泛型的类型推断？ (这里要记住目前IDE编辑器只支持方法调用的泛型类型推断，也就是说其他方面的泛型使用是不支持隐式的类型推断，还是需要我们手动加上类型实参。) 泛型类型推断的不足之处; 当然类型推断还存在不足的地方，这里可以顺便参见一下我们老赵大哥的一篇文章：“C#编译器对泛型方法调用作类型推断的奇怪问题”；我在实际工作中也遇到过一个很头疼问题，这里顺便跟大家分享一下 按照常理说我在泛型方法的形参里面定义一个泛型的委托，他们的形参类型都是一样的占位符，但是如果我使用带有形参的方法作为委托的参数的话是无法进行类型推断的，然后使用无参数的方法作为委托参数是完全没有问题的。 但是如果我使用GetOrderListByModel作为GetModelList<TSource, TResult>(Func<TSource, TResult> GetFunc)重载版本的泛型方法时就不能真确的推断出类型
我认为，数组协变机制是C#早期的一处设计失误。有关数组协变的内容超出了本书范畴，暂不讨论。 对于这些无法声明为泛型的类型成员，通常很难想象出它们如何才能成为泛型。有时我也有编写泛型构造器或者泛型索引器的需求，可最后往往是用一个泛型方法就实现了同样的功能。 直接调用构造器的实现代码比较烦琐：new Tuple<int, string, int>(10, "x", 20) 但是使用静态方法配合类型推断，代码就简单多了4：4前面说过构造器不能为泛型，构造器中的泛型参数实际上是来自它所在类的类型形参 C#语言设计团队一直致力于让类型推断能够应用于更多场景，在此探索过程中，类型推断的实现原理也在不断更新变化。 泛型是C# 2截至目前最庞大的一个特性了，也是对C# 1的一项重大改进。下面介绍可空值类型，此项特性正是基于泛型建立的。
泛型的定义和使用就这么多，是不是很简单呢？下面我们就来讲解一下泛型各个方面。在学习泛型类之前我们要先来了解一下它的优点，来看看为什么微软在 C# 2.0 中引入了泛型类。 嵌套泛型类型的外层也是一个泛型类型，外层的这个泛型类型通常被称为包容泛型类型，嵌套泛型类型会自动获得包容泛型类型的类型参数，这段话有些绕口，我详细讲解一下。 泛型方法和泛型类相比有一个很特别的地方，就是泛型方法可以自己推断类型。编译器可以根据传给方法的实参来推断泛型参数类型。因此如果想让方法类型推断成功那么实参类型必须与泛型方法的形参相匹配。 在这里我通过简单的几句来说一下约束继承。首先无论是泛型类型参数还是它们的约束都不会被 派生类 继承，这是因为泛型类型参数和约束不是类的成员。虽然不能被派生类继承，但是可以被从其派生的泛型类所继承。 六、总结 这篇文章我主要讲解了泛型的一些知识，不能说很全面，但已经覆盖了百分之九十的内容。泛型在开发中可以说是经常用到，良好的使用泛型可以提高代码复用率以及程序的运行性能。
msdn 解释如下： “协变”是指能够使用与原始指定的派生类型相比，派生程度更大的类型。 “逆变”则是指能够使用派生程度更小的类型。 解释的很正确，大致就是这样，不过不够直白。 正因如此，所以微软新增了两个关键字：Out,In,下面是他们的msdn解释： 协变的英文是：“covariant”，逆变的英文是：“Contravariant” 为什么Microsoft选择的是”Out out: 输出(作为结果),in:输入(作为参数) 所以如果有一个泛型参数标记为out,则代表它是用来输出的，只能作为结果返回，而如果有一个泛型参数标记为in,则代表它是用来输入的，也就是它只能作为参数 想要回答这个问题需要在回头看看Clr via C# 关于泛型和接口的章节了，我就不解释了， 答案是不可以。 上面演示的是协变，接下来要演示下逆变。 In 关键字：逆变，代表输入，代表着只能被使用，不能作为返回值，所以C#编译器可以根据in关键字推断这个泛型类型只能被使用，所以Action<Dog> actionDog = actionAnimal;
你将在本文中学到什么 本文介绍TypeScript中泛型（Generics）的概念和用法，它为什么重要，及其使用场景。我们会以一些清晰的例子，介绍其语法，类型和如何构建参数。 然而，不要把TypeScript中的泛型错当成any类型来使用——你会在后面看到这两者的不同。 类似C#和Java这种语言，在它们的工具箱里，泛型是创建可复用代码组件的主要手段之一。 这是因为，TypeScript现在可以从指定的泛型类型推断出001不是字符串。在T出现的地方，就可以使用string类型，这就实现了类型安全。 使用泛型，许多属性的类型都能被TypeScript推断出来，然而，在某些TypeScript不能做出准确推断的地方，它不会做任何假设。 但理解了它，你就能看到在使用泛型时，设置泛型约束是多么有用。 为什么是泛型 一个活跃于Stack Overflow社区的成员，Behrooz，在后续内容中很好的回答了这个问题。
Hejlsberg: 首先，我非常高兴的我们在2.0里面加入了泛型编程。你现在看我们做的C# 3.0 里面的很多东西都是泛型在起作用。 现在我们抛开表面看本质，Java 和 C# 的泛型实现机制是截然不同的。我认为最大的不同在于：.NET平台下的泛型不只是一个语言特色。泛型根植于 CLR 和 .NET 的类型系统。 这也就是为什么泛型可以在运行的时候表现出来。 而 Java 则选择了另一个不同的方式实现泛型，一言以蔽之，他们是在编译时实现的。 相对于我们的泛型实现来说，java 的泛型并不能带来性能的收益，很显然吗，不管外表 List<T> 看起来多么泛型，Java 在运行时压根没泛型这马事儿，你不得不自己做运行时的动态检查和类型转换。 我还可以说：为什么不给我一个 System.Type 的 List<T>也可以是，你为什么没有把 T 绑定到 Order ？也就是说我们可以把类型转换为 List<Order> ，并创建他的一个实例。
二.隐式类型（var） var定义变量有一下四个特点： 1、必须在定义时初始化 2、一旦初始化完成，就不能再给变量赋与初始值不同类型的值了 3、var要求是局部变量 4、使用var定义变量和object 不同，它在效率上和使用强类型方式定义变量完全一样 三.参数默认值和命名参数 C#方法的可选参数是.net 4.0最新提出的新的功能，对应简单的重载可以使用可选参数和命名参数混合的形式来定义方法，这样就可以很高效的提高代码的运行效率 调用其方法时，可以重新指定分配了默认值的参数，也可以使用默认值。重新指定分配默认值的参数时，可以显式地为指定参数名称赋值；隐式指定的时候，是根据方法参数的顺序，靠C#编译器的推断。 它必须放在一个非嵌套、非泛型的静态类中（的静态方法）；它至少有一个参数；第一个参数必须附加this关键字；第一个参数不能有任何其他修饰符（out/ref）.第一个参数不能是指针类型。 七、内置泛型委托 Action<T> 可以使用Action<T>委托以参数形式传递方法，而不用显示声明自定义的委托。
可能大多数人刚学习泛型的时候觉得很难理解，当然我也是这样的，所以便写下这篇文章加深一下对泛型的印象。 泛型的定义主要有以下两种： 1.在程序编码中一些包含类型参数的类型，也就是说泛型的参数只可以代表类，不能代表个别对象。（这是当今较常见的定义） 2.在程序编码中一些包含参数的类。 所以.net 2.0的程序时应该放弃使用ArrayList，推荐使用使用List《T》 泛型集合。这也是我们为什么要使用泛型的原因之一。 ###泛型类型参数约束### 为什么要使用类型参数的约束呢，简单点说就是筛选类型参数，在使用泛型的代码中如果违反了某个约束不允许的类型来实例化则会产生编译错误，类型参数的约束是使用关键字where。 ： “类型Product必须是不可以为NUll值得类型”，引用类型的默认值就是NULL，所以该房型方法的类型参数不能是引用类型，这就是使用类型参数约束的好处。
我心里那个佩服啊… 虽然我坐在那里没有听课，但我却不闲着，拿出我的手机打开电子书，看起.NET泛型应用的文章来。 他是类型安全的。实例化了int类型的栈，就不能处理string类型的数据，其他数据类型也一样。 2. 无需装箱和折箱。 C#泛型的几个特点 如果实例化泛型类型的参数相同，那么JIT编译器会重复使用该类型，因此C#的动态泛型能力避免了C++静态模板可能导致的代码膨胀的问题。 C#泛型类型携带有丰富的元数据，因此C#的泛型类型可以应用于强大的反射技术。 当然，C#的泛型还很多应用，现在我还只是了解了它的机制和原理，在接下来的学习中我会系统得学习泛型所支持的抽象泛型，接口泛型，结构和委托等！
大家好，又见面了，我是你们的朋友全栈君。 Template 基础篇-函数模板 Template所代表的泛型编程是C++语言中的重要的组成部分，我将通过几篇blog对这半年以来的学习做一个系统的总结，本文是基础篇的第一部分。 Template 基础篇-函数模板 为什么要有泛型编程 函数模板定义 普通函数模板 成员函数模板 为什么成员函数模板不能是虚函数virtual 实参推断 如何使用 当返回值类型也是参数时 实参推断时的自动类型转换 函数模板重载 模板函数特化 为什么要有泛型编程 C++是一门强类型语言，所以无法做到像动态语言（python javascript）那样子，编写一段通用的逻辑，可以把任意类型的变量传进去处理。 泛型编程弥补了这个缺点，通过把通用逻辑设计为模板，摆脱了类型的限制，提供了继承机制以外的另一种抽象机制，极大地提升了代码的可重用性。
C#中的泛型 2008-12-17 作者: 张子阳 分类: C# 语言 .Net 1.1版本最受诟病的一个缺陷就是没有提供对泛型的支持。 通过使用泛型，我们可以极大地提高代码的重用度，同时还可以获得强类型的支持，避免了隐式的装箱、拆箱，在一定程度上提升了应用程序的性能。本文将系统地为大家讨论泛型，我们先从理解泛型开始。 为什么要有泛型？ 我想不论大家通过什么方式进入了计算机程序设计这个行业，都免不了要面对数据结构和算法这个话题。 ，.Net框架内置的快速排序算法不能满足要求，所以我们考虑自己实现一个自己的排序算法，注意到SuperSearch()和SuperSort()方法接受的参数类型不同，所以我们最好定义一个泛型来解决，我们将这个算法叫做 这里我想说的是一个有趣的编译器能力，它可以推断出你传递的数组类型以及它是否满足了泛型约束，所以，上面的SpeedSort()方法也可以像下面这样调用： calculator.SpeedSort(bookArray
更新于 2018-03-23 13:56 因为我希望在要求很高的库中及时发现潜在的代码问题，所以我开启了 Visual Studio 的代码分析 但是在修改规则的时候发现规则的名称都是在用我懂的每一个字描述我一点都不懂的概念，于是打算一个个尝试以找出每一个代码分析的实际意义。 在整理的过程当中，发现要么是名称看不懂，要么是错误提示看不懂。 ---- 正在整理中…… 代码分析（Microsoft.Analyzers.ManagedCodeAnalysis） 设计问题 编号 名称 含义 CA1004 泛型方法应提供类型参数 如果泛型方法的参数列表中没有用到声明的所有泛型 ，那么就会出现此提示（这是因为此时泛型不能被隐式推断，库使用者的学习成本会提高，详见：CA1004） CA1005 避免泛型类型的参数过多 如果写泛型的时候有超过 2 个泛型类型，就会出现此提示 CA1006 不要将泛型类型嵌套在成员签名中 如果出现类似 Func<Task<T> 这样的嵌套泛型出现在方法参数签名中，则会出现此提示 CA1018 用 AttributeUsageAttribute 标记特性
：类型不安全 四、泛型的示例： 像List<T>和Dictionary<TKey,TValue>之类的泛型类型我们经常用到 下面我介绍几个不常用到的泛型类型 ObservableCollection< .NET类库里有很多泛型的接口 比如：IEnumerator<T>、IList<T>等 这里不对这些接口做详细描述了 值说说为什么要有泛型接口。 (2); obj.CompareTo("123"); 有人会问：“这不可能，没有指定CompareTo方法的TParam类型，肯定会编译出错的” 我告诉你：不会的，编译器可以帮你完成类型推断的工作。 注意： 如果你为一个方法指定了两个泛型参数，而且这两个参数的类型都是T， 那么如果你想使用类型推断，你必须传递两个相同类型的参数给这个方法 不能一个参数用string类型，另一个用object类型，这会导致编译错误 注意： 只有接口和委托的泛型类型才可以使用逆变和协变的特性 参考资料 Mgen的博客 CLR VIA C#(第三版)
，通过反射可以访问特性信息 Literals：字面值（或理解为常量值），区别常量，常量是和变量相对的 C#2.0新特性 泛型及其相关，匿名方法 泛型 2.0版本的C#语言和公共语言运行时（CLR）中增加了泛型 泛型将类型参数的概念引入.NET Framework，类型参数允许类和方法将一个或多个类型的指定延迟到和护短代码声明并实例化该类或方法的时候。 当定义泛型类的实例时，必须指定这个实例所存储的实际类型： List<string> lst = new List<string>(); 泛型允许将一个实际的数据类型规约延迟至泛型的实例被创建时才确定 泛型主要由两个优点： 编译时可以保证类型安全。 不用做类型转换，获得一定的性能提升。 co- and contravariance：泛型的协变和逆变 Embedded interop types (“NoPIA”)：开启嵌入类型信息，增加引用COM组件程序的中立性 C# 5特性 (VS
云端获取和启用云服务器，并实时扩展或缩减云计算资源。云服务器 支持按实际使用的资源计费，可以为您节约计算成本。 腾讯云服务器（CVM）为您提供安全可靠的弹性云计算服务。只需几分钟，您就可以在云端获取和启用云服务器，并实时扩展或缩减云计算资源。云服务器 支持按实际使用的资源计费，可以为您节约计算成本。
扫码关注腾讯云开发者
领取腾讯云代金券
云服务器
即时通信 IM
网站备案
对象存储
实时音视频
