首页 / C# / [C# 基础知识系列]专题七: 泛型深入理解(一) （转载）

[C# 基础知识系列]专题七: 泛型深入理解(一) （转载）

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了[C# 基础知识系列]专题七: 泛型深入理解(一) （转载），小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含8598字，纯文字阅读大概需要13分钟。

内容图文

引言：

　　在上一个专题中介绍了C#2.0 中引入泛型的原因以及有了泛型后所带来的好处，然而上一专题相当于是介绍了泛型的一些基本知识的，对于泛型的性能为什么会比非泛型的性能高却没有给出理由，所以在这个专题就中将会介绍原因和一些关于泛型的其他知识。

一、泛型类型和类型参数

　　泛型类型和其他int,string一样都是一种类型，泛型类型有两种表现形式的：泛型类型（包括类、接口、委托和结构，但是没有泛型枚举的）和泛型方法。那什么样的类、接口、委托和方法才称作泛型类型的呢？我的理解是类、接口、委托、结构或方法中有类型参数就是泛型类型，这样就有类型参数的概念的。 类型参数 ——是一个真实类型的一个占位符（我想到一个很形象的比喻的，比如大家在学校的时候，一到中午下课的时候食堂人特别多的，所以很多应该都有用书本占位置的习惯的，书本就相当于一个占位符，真真坐在位置上的当然是自己的，讲到占位置，以前听过我同学说，他们班有个很牛逼的MM，中午下完课的时候用手机占位子的，等它打完饭回来的时候手机已经不见，当时听完我就和我同学说，你们班这位女生真牛逼的，后面我们就 [C# 基础知识系列]专题七: 泛型深入理解(一) （转载） - 文章图片），泛型声明中，类型参数必须放在一对尖括号里面（即<>这个符号），并且用逗号分隔多个类型参数，如List<T>类中T就是类型参数，在使用泛型类型或方法的时候，我们要用真实类型来代替，就像用书本占位子一个，书本只是暂时的在那个位置上，等打好饭了就要换成你坐在位置上了，同样在C#中泛型也是同样道理，类型参数只是暂时的在那个位置，真真使用中要用真实的类型去代替它的位置，此时我们把真实类型又取名为类型实参，如上一专题的代码中List<int>，类型实参就是int(代替T的位置)。

　　如果没有为类型参数提供类型实参，此时我们就声明了一个未绑定的泛型类型，如果指定了类型实参，此时的类型就叫做已构造类型（这里同样可以以书占位置去理解），然而已构造类型又可以是开放类型或封闭类型的，这里先给出这个两个概念的定义的：开放类型——具有类型参数的类型就是开放类型（所有的未绑定的泛型类型都属于开放类型的），封闭类型——为每个类型参数都传递了实际的数据类型。对于开放类型，我们创建开放类型的实例。

　　注意:在C#代码中，我们唯一可以看到未绑定泛型类型的地方（除了作为声明之外）就是在typeof操作符里。

下面通过以下代码来更好的说明这点：

using System;
using System.Collections.Generic;

namespace CloseTypeAndOpenType
{
    // 声明开放泛型类型
    public sealed class DictionaryStringKey<T> : Dictionary<string, T>
    {
 
    }

   public class Program
    {
        static void Main(string[] args)
        {
            object o = null;

            // Dictionary<,>是一个开放类型，它有2个类型参数
            Type t = typeof(Dictionary<,>);

            // 创建开放类型的实例（创建失败，出现异常）
            o = CreateInstance(t);
            Console.WriteLine();

            // DictionaryStringKey<>也是一个开放类型，但它有1个类型参数
            t = typeof(DictionaryStringKey<>);

            // 创建该类型的实例（同样会失败，出现异常）
            o = CreateInstance(t);
            Console.WriteLine();

            // DictionaryStringKey<int>是一个封闭类型
            t = typeof(DictionaryStringKey<int>);

            // 创建封闭类型的一个实例（成功）
            o = CreateInstance(t);

            Console.WriteLine("对象类型 = " + o.GetType());
            Console.Read();
        }


       // 创建类型
        private static object CreateInstance(Type t)
        {
            object o = null;
            try
            {
                // 使用指定类型t的默认构造函数来创建该类型的实例
                o = Activator.CreateInstance(t);
                Console.WriteLine("已创建{0}的实例", t.ToString());
            }
            catch(Exception ex)
            {
                Console.WriteLine(ex.Message);
            }

            return o;
        }
    }
}

运行结果为（从结果中也可以看出开放类型不能创建该类型的一个实例，异常信息中指出类型中包含泛型参数）：

[C# 基础知识系列]专题七: 泛型深入理解(一) （转载） - 文章图片

二、泛型类型中的静态字段和静态构造函数

　　首先实例字段是属于一个实例的，静态字段是从属于它们声明的类型，即如果在某个Myclass类中声明了一个静态字段field,则不管创建Myclass的多少个实例，也不管从Myclass中派生出多少个实例，都只有一个Myclass.x字段。然而每个封闭类型都有它自己的静态字段（使用类型实参时，实际上CLR会定义一个新的类型对象，所以每个静态字段都是不一样对象里面的静态字段，所以才会每个都有各自的值）通过以下代码来更好说明下——每个封闭类型都有它自己的静态字段：

namespace GenericStaticFieldAndStaticFunction
{
    // 泛型类，具有一个类型参数
    public static class TypeWithStaticField<T>
    {
        public static string field;
        public static void OutField()
        {
            Console.WriteLine(field+":"+typeof(T).Name);
        }
    }

    // 非泛型类
    public static class NoGenericTypeWithStaticField
    {
        public static string field;
        public static void OutField()
        {
            Console.WriteLine(field);
        }
    }
    class Program
    {
        static void Main(string[] args)
        {
            // 使用类型实参时，实际上CLR会定义一个新的类型对象
            // 所以每个静态字段都是不一样对象里面的静态字段，所以才会每个都有各自的值
            // 对泛型类型类的静态字段赋值
            TypeWithStaticField<int>.field = "一";
            TypeWithStaticField<string>.field = "二";
            TypeWithStaticField<Guid>.field = "三";

            // 此时filed 值只会有一个值，每个赋值都是改变了原来的值
            NoGenericTypeWithStaticField.field = "非泛型类静态字段一";
            NoGenericTypeWithStaticField.field = "非泛型类静态字段二";
            NoGenericTypeWithStaticField.field = "非泛型类静态字段三";

            NoGenericTypeWithStaticField.OutField();

            // 证明每个封闭类型都有一个静态字段
            TypeWithStaticField<int>.OutField();
            TypeWithStaticField<string>.OutField();
            TypeWithStaticField<Guid>.OutField();
            Console.Read();

        }
    }
}

运行结果：

[C# 基础知识系列]专题七: 泛型深入理解(一) （转载） - 文章图片

同样每个封闭类型都有一个静态构造函数的，通过下面的代码可以让大家更加明白这点：

   // 静态构造函数的例子
    public static class Outer<Tx>
    {
        // 嵌套类
        public class Inner<Ty>
        {
            // 静态构造函数
            static Inner()
            {
                Console.WriteLine("Outer<{0}>.Inner<{1}>", typeof(Tx), typeof(Ty));
            }

            public static void Print()
            { 
            }
        }
    }
class Program
    {
        static void Main(string[] args)
        {
   #region 静态函数的演示

            // 静态构造函数会运行多次
            // 因为每个封闭类型都有单独的一个静态构造函数
            Outer<int>.Inner<string>.Print();
            Outer<int>.Inner<int>.Print();
            Outer<string>.Inner<int>.Print();
            Outer<string>.Inner<string>.Print();
            Outer<object>.Inner<string>.Print();
            Outer<object>.Inner<object>.Print();
            Outer<string>.Inner<int>.Print();
            Console.Read();
            #endregion
        }
    }

运行结果：

[C# 基础知识系列]专题七: 泛型深入理解(一) （转载） - 文章图片

从上图的运行结果可能会发现，我们代码中7个需要输出的，但是结果中只有6个结果输出的，这是因为任何封闭类型的静态构造函数只执行一次，最后一行的 Outer<string>.Inner<int>.Print();这行不会产生第7行输出，因为Outer<string>.Inner<int>.Print();的静态构造函数在之前已经执行过的（第三行已经执行过了）。

三、编译器如何解析泛型

　　在上一个专题中，我只是贴出了泛型与非泛型的比较结果来说明泛型具有高性能的好处，却没有给出具体导致泛型比非泛型效率高的原因，所以在这个部分来剖析下泛型效率的具体原因。

这里先贴出上一个专题中说明泛型高性能好处的代码，然后再查看IL代码来说明泛型的高性能（针对泛型和非泛型，C#编译器是如何解析为IL代码的）：

namespace GenericStaticFieldAndStaticFunction
{
    // 泛型类，具有一个类型参数
    public static class TypeWithStaticField<T>
    {
        public static string field;
        public static void OutField()
        {
            Console.WriteLine(field+":"+typeof(T).Name);
        }
    }

    // 非泛型类
    public static class NoGenericTypeWithStaticField
    {
        public static string field;
        public static void OutField()
        {
            Console.WriteLine(field);
        }
    }
    class Program
    {
        static void Main(string[] args)
        {
            // 使用类型实参时，实际上CLR会定义一个新的类型对象
            // 所以每个静态字段都是不一样对象里面的静态字段，所以才会每个都有各自的值
            // 对泛型类型类的静态字段赋值
            TypeWithStaticField<int>.field = "一";
            TypeWithStaticField<string>.field = "二";
            TypeWithStaticField<Guid>.field = "三";

            // 此时filed 值只会有一个值，每个赋值都是改变了原来的值
            NoGenericTypeWithStaticField.field = "非泛型类静态字段一";
            NoGenericTypeWithStaticField.field = "非泛型类静态字段二";
            NoGenericTypeWithStaticField.field = "非泛型类静态字段三";

            NoGenericTypeWithStaticField.OutField();

            // 证明每个封闭类型都有一个静态字段
            TypeWithStaticField<int>.OutField();
            TypeWithStaticField<string>.OutField();
            TypeWithStaticField<Guid>.OutField();
            Console.Read();

        }
    }
}

当使用非泛型的的ArrayList数组时，IL的代码如下（这里只是贴出了部分主要的中间代码，具体的大家可以下载示例源码用IL反汇编程序查看的）：

  IL_001f:  ldloc.1
  IL_0020:  ldloc.3
  IL_0021:  box        [mscorlib]System.Int32
  IL_0026:  callvirt   instance int32 [mscorlib]System.Collections.ArrayList::Add(object)
  IL_002b:  pop
  IL_002c:  nop
  IL_002d:  ldloc.3
  IL_002e:  ldc.i4.1
  IL_002f:  add

在上面的IL代码中，我用红色的标记的代码主要是在执行装箱操作（装箱过程肯定是要消耗的事件的吧，就像生活中寄包裹一样，包装起来肯定是要花费一定的时间的，装箱操作同样会，然而对于泛型类型就可以避免装箱操作，下面会贴出使用泛型类型的IL代码的截图）——这个操作也是影响非泛型的性能不如泛型类型的根本原因。然而为什么使用ArrayList类型在调用Add方法来向数组添加元素之前要装箱的呢？原因其实主要出在Add方法上的，大家可以用Reflector反射工具查看ArrayList的Add方法定义，下面是一张Add方法原型的截图：

[C# 基础知识系列]专题七: 泛型深入理解(一) （转载） - 文章图片

从上面截图可以看出，Add(objec value)需要接收object类型的参数，然而我们代码中需要传递的是int实参，此时就需要会发生装箱操作（值类型int转化为object引用类型,这个过程就是装箱操作），这样也就解释了为什么调用Add方法会执行装箱操作的，同时也就说明泛型的高性能的好处。

下面是使用泛型List<T>的IL代码截图（从图片中可以看出，使用泛型时，没有执行装箱的操作，这样就少了装箱的时间，这样当然就运行的快了，性能就好了。）：

[C# 基础知识系列]专题七: 泛型深入理解(一) （转载） - 文章图片

四、小结

　　说到这里本专题的内容也就介绍结束了，本专题主要是进一步介绍了泛型的其他内容的，由于篇幅的关于我将泛型的其他内容放在下一专题中，如果都在放在这个专题中内容会显得非常多，这样也不利于大家的消化和大家的阅读，所以我在下一个专题中继续介绍泛型的其他的一些内容。

内容总结

以上是互联网集市为您收集整理的[C# 基础知识系列]专题七: 泛型深入理解(一) （转载）全部内容，希望文章能够帮你解决[C# 基础知识系列]专题七: 泛型深入理解(一) （转载）所遇到的程序开发问题。如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端

扫描二维码推送至手机访问。

本文链接：https://qyyshop.com/info/841250.html

来源：【匿名】

【上一篇】[C# 基础知识系列]专题五：当点击按钮时触发Click事件背后发生的事情（转载）【下一篇】assemblyinfo.csC#Assembly类访问程序集信息

更多 ►

【[C# 基础知识系列]专题七: 泛型深入理解(一) （转载）】教程文章相关的互联网学习教程文章

C# 基础知识

一、运算符　　　　1、运算符及算数表达式　　　　　　+: 加法运算符　　　　　　-: 减法运算符　　　　　　*: 乘法运算符　　　　　　/: 乘法运算符　　　　　　%: 摸运算符　　　　2、关系运算符与关系表达式　　　　　　==:　　等于运算符　　　　　　!=: 　　不等于运算符　　　　　　<: 　　小于预算符　　　　　　>: 　　大于运算符　　　　　　<=:　　小于等于运算符　　　　...

C#基础知识之八

C#基础知识之八由朱朱编写，转载请注明出自朱朱家园http://blog.csdn.net/zhgl76881、枚举数类型有3种：非泛型接口（IEnumerator/IEnumerable接口）、泛型接口（IEnumerator<T>/IEnumerable<T>接口）、不使用接口。2、 IEnumerator接口包含3个函数成员：current返回当前位置项（只读属性），movenext把枚举数位置前到下一项的方法、返回布尔值说明新位置是否有效，reset方法把位置重置为原始状态。3、创建非泛型接口的枚举数类...

C# 基础知识 protected 关键字【代码】

class BaseTest{publicint a = 10;protectedint b = 2;protectedvoid Test(){}}class ChildTest : BaseTest{int c;int d;publicvoid printTest(){//protected 关键字是一个成员访问修饰符。受保护成员在其所在的类中可由派生类实例访问；//既只有在通过派生类类型发生访问时，基类的受保护成员在派生类中才是可访问的。//=>(1)通过base访问Console.WriteLine(base.a.ToString());Console.WriteLine(base.b.ToString());//=>(2)Bas...

C#语言基础知识(6):C# List<T>用法【代码】

List<T>和List的用法是一模一样的,不同的是,List支持任何类型而List<T>只支持T类型,T是在定义时指定的类型.如:List<string> list=new List<string>;这样的话,每个list里的元素都是字符串.同理,List<int> list=new List<int>;这样的话,每个list里的元素都是整形. List<T>是一个实现List接口反省集合,分开说的话List理解成一个集合,T就代表一个类型,T可以是任何类型,主要用于强制规范一个集合内存放的数据类型必须一致,这样避免了一些...

C#——编程基础知识【图】

编程基础知识适用于所有高级编程语言。学了C#的第一小节，又对这些基础知识梳理了一遍。感觉比学习VB的时候的理解好了很多。下面看图：基础知识：数据类型，表达式，流程控制语句。一切皆在图中。一直在做编织知识网的工作。自己真的是不撞南墙不回头啊。米老师早就说过：要记笔记，要少记笔记，多了没用，又不会回头看。可是自己看的时候完全相反了。依旧几乎全部是截图，总结的时候特别费劲儿。得浏览所有截图，...

C#基础知识总结(二)【代码】

摘要　　第二篇主要讲：变量、连接符占位符等、转义字符、数据的计算、数据的转换、try-catch的简单熟悉、复合运算符和自加自减一、变量1.数据存储在内存中：内存叫做RAM，内存被分隔为一小格一小格的，每个小格有个地址。内存的特点是：断电后数据丢失　　2.变量：变量代表着一块内存空间，我们可以通过名称向内存存或读数据，有变量就不需要我们记忆复杂的内存地址　　3.声明整数类型，并赋值：int number = 1000;　　4.变量的简...

C#学习笔记——需要注意的基础知识【代码】【图】

#region 和#endregion 关键字可以对代码分为几个片段进行说明注释，且可以展开和折叠该段代码区域。基本类型的别名及取值范围：以上数字后面得加字母的，如float值后面必须加上F，不然会被编译器当作double处理。使用Unicode转义序列可以指定Unicode 字符，该转义序列包括标准的\字符，后跟一个u和一个4位十六进制值(例如，单引号的unicode是0x0027)。下面的字符串是等价的："Karli\‘s string.""Karli\u0027s string."字符串之前加...

C# 基础知识系列- 13 常见类库介绍（二）日期时间类【代码】【图】

0. 前言上一篇内容介绍了Console类和Math类，这篇内容着重介绍一下C#中时间日期的处理方式。上一篇勘误：上一篇中关于静态类没有构造函数，这一表述有误。正确的说法是C#中静态类不包含常规构造函数，但可以添加一个静态构造函数。静态构造函数与普通普通构造函数的区别是，静态构造函数没有访问修饰符，即访问修饰符是默认的，且静态构造函数只能是无参的，并添加 static 修饰符；静态构造函数不能手动调用，会在类加载的时候由...

ASP.NET中的C#基础知识【代码】

ASP.NET中的C#基础知识说明：asp.net作为一种开发框架现在已经广为应用，其开发的基础除了前端的html、css、JavaScript等后端最重要的语言支持还是C#，下面将主要用到的基础知识做一个总结，方面后面的学习。一、C#是一种面向对象的变成语言，主要用于开发可以在.net平台上运行的应用程序。是一种强类型语言，一次每个变量都必须具有声明类型。C#中有两种数据类型：值类型和引用类型。（其中值类型用于存储值，引用类型用于存储实际...

黑马程序员_C#基础知识

一、IDE及.net版本.net1.0 ----> VS2002.net1.1 ----> VS2003.net2.0 ----> VS2005.net3.5 ----> VS2008.net4.0 ----> VS2010.net4.5 ----> VS2012.net4.5.1----> VS2013二、常用类型及取值范围 8种整数类型类型　　占用字节　　取值范围　　备注　　小数点后有效数字 sbyte　　1　　　　-128~127 有符号字节型 byte　　1　　　　　　0~255 无符号字节型 short　　2 -32768~32767 ...