《c#2005net3.0高级编程(第5版)第12章反射.doc》由会员分享，可在线阅读，更多相关《c#2005net3.0高级编程(第5版)第12章反射.doc（18页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、【精品文档】如有侵权，请联系网站删除，仅供学习与交流c#2005net3.0高级编程(第5版)第12章反射.精品文档.120第 章 反 射反射是一个普通术语，描述了在运行过程中检查和处理程序元素的功能。例如，反射允许完成以下任务： 枚举类型的成员 实例化新对象 执行对象的成员 查找类型的信息 查找程序集的信息 检查应用于类型的定制特性 创建和编译新程序集这个列表列出了许多功能，包括.NET Framework类库提供的一些最强大、最复杂的功能。但本章不可能介绍反射的所有功能，仅讨论最常用的功能。首先讨论定制特性，定制特性允许把定制的元数据与程序元素关联起来。这些元数据是在编译过程中创建的，并嵌
2、入到程序集中。接着就可以在运行期间使用反射的一些功能检查这些元数据了。在介绍了定制特性后，本章将探讨支持反射的一些基类，包括System.Type和System. Reflection.Assembly类，它们可以访问反射提供的许多功能。为了演示定制特性和反射，我们将开发一个示例，说明公司如何定期升级软件，自动解释升级的信息。在这个示例中，要定义几个定制特性，表示程序元素最后修改或创建的日期，以及发生了什么变化。然后使用反射开发一个应用程序，在程序集中查找这些特性，自动显示软件自某个给定日期以来升级的所有信息。本章要讨论的另一个示例是一个应用程序，该程序读写数据库，并使用定制特性，把类和特性标
3、记为对应的数据库表和列。然后在运行期间从程序集中读取这些特性，使程序可以自动从数据库的相应位置检索或写入数据，无需为每个表或列编写特定的逻辑。12.1 定制特性前面介绍了如何在程序的各个数据项上定义特性。这些特性都是Microsoft定义好的，作为.NET Framework类库的一部分，许多特性都得到了C#编译器的支持。对于这些特性，编译器可以以特殊的方式定制编译过程，例如，可以根据StructLayout特性中的信息在内存中布置结构。.NET Framework也允许用户定义自己的特性。显然，这些特性不会影响编译过程，因为编译器不能识别它们，但这些特性在应用于程序元素时，可以在编译好的程序
4、集中用作元数据。这些元数据在文档说明中非常有用。但是，使定制特性非常强大的因素是使用反射，代码可以读取这些元数据，使用它们在运行期间作出决策，也就是说，定制特性可以直接影响代码运行的方式。例如，定制特性可以用于支持对定制许可类进行声明代码访问安全检查，把信息与程序元素关联起来，由测试工具使用，或者在开发可扩展的架构时，允许加载插件或模块。12.1.1 编写定制特性为了理解编写定制特性的方式，应了解一下在编译器遇到代码中某个应用了定制特性的元素时，该如何处理。以数据库为例，假定有一个C#属性声明，如下所示。FieldName(SocialSecurityNumber)public string
5、SocialSecurityNumber get / etc.当C#编译器发现这个属性有一个特性FieldName时，首先会把字符串Attribute添加到这个名称的后面，形成一个组合名称FieldNameAttribute，然后在其搜索路径的所有命名空间(即在using语句中提及的命名空间)中搜索有指定名称的类。但要注意，如果用一个特性标记数据项，而该特性的名称以字符串Attribute结尾，编译器就不会把该字符串加到组合名称中，而是不修改该特性名。因此，上面的代码实际上等价于：FieldNameAttribute(SocialSecurityNumber)public string Soc
6、ialSecurityNumber get / etc.编译器会找到含有该名称的类，且这个类直接或间接派生自System.Attribute。编译器还认为这个类包含控制特性用法的信息。特别是属性类需要指定： 特性可以应用到哪些程序元素上(类、结构、属性和方法等) 它是否可以多次应用到同一个程序元素上 特性在应用到类或接口上时，是否由派生类和接口继承 这个特性有哪些必选和可选参数如果编译器找不到对应的特性类，或者找到一个这样的特性类，但使用特性的方式与特性类中的信息不匹配，编译器就会产生一个编译错误。例如，如果特性类指定该特性只能应用于字段，但我们把它应用到结构定义上，就会产生一个编译错误。继续
7、上面的示例，假定定义了一个FieldName特性：AttributeUsage(AttributeTargets.Property, AllowMultiple=false, Inherited=false)public class FieldNameAttribute : Attribute private string name; public FieldNameAttribute(string name) this.name = name;下面几节讨论这个定义中的每个元素。1. AttributeUsage特性要注意的第一个问题是特性(attribute)类本身用一个特性System.A
8、ttributeUsage来标记。这是Microsoft定义的一个特性，C#编译器为它提供了特殊的支持(AttributeUsage根本不是一个特性，它更像一个元特性，因为它只能应用到其他特性上，不能应用到类上)。AttributeUsage主要用于表示定制特性可以应用到哪些类型的程序元素上。这些信息由它的第一个参数给出，该参数是必选的，其类型是枚举类型AttributeTargets。在上面的示例中，指定FieldName特性只能应用到属性(property)上 这是因为我们在前面的代码段中把它应用到属性上。AttributeTargets枚举的成员如下： All Assembly Clas
9、s Constructor Delegate Enum Event Field GenericParameter(仅.NET 2.0提供) Interface Method Module Parameter Property ReturnValue Struct 这个列表列出了可以应用该特性的所有程序元素。注意在把特性应用到程序元素上时，应把特性放在元素前面的方括号中。但是，在上面的列表中，有两个值不对应于任何程序元素：Assembly和Module。特性可以作为一个整体应用到程序集或模块中，而不是应用到代码中的一个元素上，在这种情况下，这个特性可以放在源代码的任何地方，但需要用关键字asse
10、mbly或module来做前缀：assembly: SomeAssemblyAttribute(Parameters)module: SomeAssemblyAttribute(Parameters)在指定定制特性的有效目标元素时，可以使用按位OR运算符把这些值组合起来。例如，如果指定FieldName特性可以应用到属性和字段上，可以编写下面的代码： AttributeUsage(AttributeTargets.Property | AttributeTargets.Field, AllowMultiple=false, Inherited=false) public class Field
11、NameAttribute : Attribute也可以使用AttributeTargets.All指定特性可以应用到所有类型的程序元素上。Attributes Usage特性还包含另外两个参数AllowMultiple 和 Inherited。它们用不同的语法来指定：=，而不是只给出这些参数的值。这些参数是可选的，如果需要，可以忽略它们。AllowMultiple参数表示一个特性是否可以多次应用到同一项上，这里把它设置为false，表示如果编译器遇到下述代码，就会产生一个错误：FieldName(SocialSecurityNumber)FieldName(NationalInsurance
12、Number)public string SocialSecurityNumber / etc.如果Inherited参数设置为true，就表示应用到类或接口上的特性也可以自动应用到所有派生的类或接口上。如果特性应用到方法或属性上，也可以自动应用到该方法或属性的重载上。2. 指定特性参数下面介绍如何指定定制特性的参数。在编译器遇到下述语句时：FieldName(SocialSecurityNumber)public string SocialSecurityNumber / etc.会检查传送给特性的参数(在本例中，是一个字符串)，并查找该特性中带这些参数的构造函数。如果找到一个这样的构造函数
13、，编译器就会把指定的元数据传送给程序集。如果找不到，就生成一个编译错误。如后面所述，反射会从程序集中读取元数据，并实例化它们表示的特性类。因此，编译器需要确保存在这样的构造函数，才能在运行期间实例化指定的特性。在本例中，仅为FieldNameAttribute提供了一个构造函数，而这个构造函数有一个字符串参数。因此，在把FieldNameAttribute特性应用到一个属性上时，必须为它提供一个字符串参数，如上面的代码所示。如果可以选择特性的参数类型，当然可以提供构造函数的不同重载方法，但一般是仅提供一个构造函数，使用属性来定义其他可选参数，下面将介绍可选参数。3. 指定特性的可选参数在Att
14、ributeUsage特性中，可以使用另一个语法，把可选参数添加到特性中。这个语法指定可选参数的名称和值，处理特性类中的公共属性或字段。例如，假定修改SocialSecurityNumber属性的定义，如下所示：FieldName(SocialSecurityNumber, Comment=This is the primary key field)public string SocialSecurityNumber / etc.在本例中，编译器识别第二个参数的语法=，所以不会把这个参数传递给FieldNameAttribute构造函数，而是查找一个有该名称的公用属性或字段(最好不要使用公用字
15、段，所以一般情况下要使用属性)，编译器可以用这个属性设置第二个参数的值。如果希望上面的代码工作，必须给FieldNameAttribute添加一些代码： AttributeUsage(AttributeTargets.Property, AllowMultiple=false, Inherited=false) public class FieldNameAttribute : Attribute private string comment; public string Comment get return comment; set comment = value; / etc.12.1.2
16、 定制特性示例：WhatsNewAttributes 本节开始编写前面描述过的示例WhatsNewAttributes，该示例提供了一个特性，表示最后一次修改程序元素的时间。这个示例比前面所有的示例都复杂，因为它包含3个不同的程序集： WhatsNewAttributes程序集，它包含特性的定义。 VectorClass程序集，包含所应用的特性的代码。 LookUpWhatsNew程序集，包含显示已改变的数据项信息的项目。当然，只有LookUpWhatsNew是前面使用的一个控制台应用程序，其余两个程序集都是库文件，它们都包含类的定义，但都没有程序的入口。对于VectorClass程序集，我们
17、使用了VectorAsCollection示例，但删除了入口和测试代码类，只剩下Vector类。在命令行上编译，以此管理3个相关的程序集要求较高的技巧，所以我们分别给出编译这3个源文件的命令。也可以编辑代码示例，(可以从Wrox Press网站上下载)，组合为一个Visual Studio 2005解决方案，详见第14章。下载的文件包含所需的Visual Studio 2005解决方案文件。1. WhatsNewAttributes 库程序集首先从核心的WhatsNewAttributes程序集开始。其源代码包含在文件WhatsNewAttri butes.cs中，该文件位于本章示例代码的Wh
18、atsNewAttributes解决方案的WhatsNewAttributes项目中。编译为库的语法非常简单：在命令行上，给编译器提供标记target:library即可。要编译WhatsNewAttributes，键入：csc /target:library WhatsNewAttributes.csWhatsNewAttributes.cs文件定义了两个特性类LastModifiedAttribute和SupportsWhats New-Attribute。LastModifiedAttribute特性可以用于标记最后一次修改数据项的时间，它有两个必选参数(该参数传递给构造函数)；修改的日
19、期和包含描述修改的字符串。它还有一个可选参数Issues (表示存在一个公共属性)，它可以描述该数据项的任何重要问题。在现实生活中，或许想把特性应用到任何对象上。为了使代码比较简单，这里仅允许将它应用于类和方法，并允许它多次应用到同一项上(AllowMultiple=true)，因为可以多次修改一个项，每次修改都需要用一个不同的特性实例来标记。SupportsWhatsNew是一个较小的类，表示不带任何参数的特性。这个特性是一个程序集的特性，用于把程序集标记为通过LastModifiedAttribute维护的文档说明书。这样，以后查看这个程序集的程序会知道，它读取的程序集是我们使用自动文档说
20、明过程生成的那个程序集。这部分示例的完整源代码如下所示：using System;namespace Wrox.ProCSharp.WhatsNewAttributes AttributeUsage( AttributeTargets.Class | AttributeTargets.Method, AllowMultiple=true, Inherited=false) public class LastModifiedAttribute : Attribute private DateTime dateModified; private string changes; private st
21、ring issues; public LastModifiedAttribute(string dateModified, string changes) this.dateModified = DateTime.Parse(dateModified); this.changes = changes; public DateTime DateModified get return dateModified; public string Changes get return changes; public string Issues get return issues; set issues
22、= value; AttributeUsage(AttributeTargets.Assembly) public class SupportsWhatsNewAttribute : Attribute从上面的描述可以看出，上面的代码非常简单。但要注意，不必将set访问器提供给Changes和DateModified属性，不需要这些访问器是因为在构造函数中，这些参数都是必选参数。需要get访问器，是因为以后可以读取这些特性的值。2. VectorClass程序集本节就使用这些特性，我们用前面的VectorAsCollection 示例的修订版本来说明。注意这里需要引用刚才创建的WhatsNew
23、Attributes库，还需要使用using语句指定相应的命名空间，这样编译器才能识别出这些特性：using System;using System.Collections;using System.Text;using Wrox.ProCSharp.WhatsNewAttributes;assembly: SupportsWhatsNew在这段代码中，添加了一行用SupportsWhatsNew特性标记程序集本身的代码。 下面考虑Vector类的代码。我们并不是真的要修改这个类中的任何内容，只是添加两个LastModified特性，以标记出本章对Vector类进行的操作。把Vector定义为
24、一个类，而不是结构，以简化后面显示特性所编写的代码(在VectorAsCollection示例中，Vector是一个结构，但其枚举器是一个类。于是，这个示例的下一个版本在查看程序集时，必须同时考虑类和结构。这会使例子比较复杂)。namespace Wrox.ProCSharp.VectorClass LastModified(14 Feb 2007, IEnumerable interface implemented + So Vector can now be treated as a collection) LastModified(10 Feb 2007, IFormattable in
25、terface implemented + So Vector now responds to format specifiers N and VE) class Vector : IFormattable, IEnumerable public double x, y, z; public Vector(double x, double y, double z) this.x = x; this.y = y; this.z = z; LastModified(10 Feb 2002, Method added in order to provide formatting support) p
26、ublic string ToString(string format, IFormatProvider formatProvider) if (format = null) return ToString();再把包含的VectorEnumerator类标记为new： LastModified(14 Feb 2007, Class created as part of collection support for Vector) private class VectorEnumerator : IEnumerator为了在命令行上编译这段代码，应键入下面的命令：csc /target:lib
27、rary /reference:WhatsNewAttributes.dll VectorClass.cs上面是这个示例的代码。目前还不能运行它，因为我们只有两个库。在描述了反射的工作原理后，就介绍这个示例的最后一部分，查找和显示这些特性。12.2 反射本节先介绍System.Type 类，通过这个类可以访问任何给定数据类型的信息。然后简要介绍System.Reflection.Assembly类，它可以用于访问给定程序集的信息，或者把这个程序集加载到程序中。最后把本节的代码和上一节的代码结合起来，完成WhatsNewAttributes示例。12.2.1 System.Type类在本书中的许
28、多场合中都使用了Type类，但它只存储类型的引用：Type t = typeof(double)我们以前把Type看作一个类，但它实际上是一个抽象的基类。只要实例化了一个Type对象，就实例化了Type的一个派生类。Type有与每种数据类型对应的派生类，但一般情况下派生的类只提供各种Type方法和属性的不同重载，返回对应数据类型的正确数据。一般不增加新的方法或属性。获取指向给定类型的Type引用有3种常用方式： 使用C#的typeof运算符，如上所示。这个运算符的参数是类型的名称(不放在引号中)。 使用GetType()方法，所有的类都会从System.Object继承这个类。double d
29、 = 10;Type t = d.GetType();在一个变量上调用GetType()，而不是把类型的名称作为其参数。但要注意，返回的Type对象仍只与该数据类型相关：它不包含与类型实例相关的任何信息。如果有一个对象引用，但不能确保该对象实际上是哪个类的实例，这个方法也是很有用的。 还可以调用Type类的静态方法GetType()：Type t = Type.GetType(System.Double);Type是许多反射技术的入口。它执行许多方法和属性，这里不可能列出所有的方法和属性，而主要介绍如何使用这个类。注意，可用的属性都是只读的：可以使用Type确定数据的类型，但不能使用它修改该类
30、型！1. Type的属性由Type执行的属性可以分为下述3类： 有许多属性都可以获取包含与类相关的各种名称的字符串，如表12-1所示。表 12-1属 性返 回 值Name数据类型名FullName数据类型的完全限定名(包括命名空间名)Namespace定义数据类型的命名空间名 属性还可以进一步获取Type对象的引用，这些引用表示相关的类，如表12-2所示。表 12-2属 性返回对应的Type引用BaseType这个Type的直接基本类型UnderlyingSystemType这个Type在 .NET 运行库中映射的类型 (某些.NET基类实际上映射由IL识别的特定预定义类型) 许多Boolea
31、n 属性表示这个类型是一个类、还是一个枚举等。这些属性包括IsAbstract、IsArray、IsClass、IsEnum、IsInterface、IsPointer、IsPrimitive(一种预定义的基本数据类型)、IsPublic、IsSealed和IsValueType例如，使用一个基本数据类型：Type intType = typeof(int);Console.WriteLine(intType.IsAbstract);/ writes falseConsole.WriteLine(intType.IsClass);/ writes falseConsole.WriteLine(
32、intType.IsEnum);/ writes falseConsole.WriteLine(intType.IsPrimitive); / writes trueConsole.WriteLine(intType.IsValueType); / writes true或者使用Vector类：Type intType = typeof(Vector);Console.WriteLine(intType.IsAbstract);/ writes falseConsole.WriteLine(intType.IsClass);/ writes trueConsole.WriteLine(intT
33、ype.IsEnum);/ writes falseConsole.WriteLine(intType.IsPrimitive);/ writes falseConsole.WriteLine(intType.IsValueType);/ writes false也可以获取定义类型的程序集的引用，该引用作为System.Reflection.Assembly类实例的一个引用来返回：Type t = typeof (Vector);Assembly containingAssembly = new Assembly(t);2. 方法System.Type的大多数方法都用于获取对应数据类型的成员信
34、息：构造函数、属性、方法和事件等。它有许多方法，但它们都有相同的模式。例如，有两个方法可以获取数据类型的方法信息：GetMethod()和GetMethods()。GetMethod()方法返回System.Reflection.MethodInfo对象的一个引用，其中包含一个方法的信息。GetMethods()返回这种引用的一个数组。其区别是GetMethods()返回所有方法的信息，而GetMethod()返回一个方法的信息，其中该方法包含特定的参数列表。这两个方法都有重载方法，该重载方法有一个附加的参数，即BindingFlags枚举值，表示应返回哪些成员，例如，返回公有成员、实例成员和
35、静态成员等。例如，GetMethods()最简单的一个重载方法不带参数，返回数据类型所有公共方法的信息：Type t = typeof(double);MethodInfo methods = t.GetMethods();foreach (MethodInfo nextMethod in methods) / etc.Type的成员方法如表12-3所示遵循同一个模式。表 12-3返回的对象类型方法(名称为复数形式的方法返回一个数组)ConstructorInfoGetConstructor(), GetConstructors()EventInfoGetEvent(), GetEvents(
36、)FieldInfoGetField(), GetFields()InterfaceInfoGetInterface(), GetInterfaces()MemberInfoGetMember(), GetMembers()MethodInfoGetMethod(), GetMethods()PropertyInfoGetProperty(), GetProperties()GetMember()和GetMembers()方法返回数据类型的一个或所有成员的信息，这些成员可以是构造函数、属性和方法等。最后要注意，可以调用这些成员，其方式是调用Type的InvokeMember()方法，或者调用M
37、ethodInfo, PropertyInfo和其他类的Invoke()方法。12.2.2 TypeView示例下面用一个短小的示例TypeView来说明Type类的一些功能，这个示例可以列出数据类型的所有成员。本例中主要介绍double型的TypeView用法，也可以修改该样列中的一行代码，使用其他的数据类型。TypeView提供的信息要比在控制台窗口中显示的信息多得多，所以我们将打破常规，在一个消息框中显示这些信息。运行double型的TypeView示例，结果如图12-1所示。图 12-1该消息框显示了数据类型的名称、全名和命名空间，以及底层类型和基类的名称。然后迭代该数据类型的所有公有
38、实例成员，显示所声明类型的每个成员、成员的类型(方法、字段等)以及成员的名称。声明类型是实际声明类型成员的类名(换言之，如果在System.Double中定义或重载，该声明类型就是System.Double，如果成员继承了某个基类，该声明类就是相关基类的名称)。TypeView不会显示方法的签名，因为我们是通过MemberInfo对象获取所有公有实例成员的信息，参数信息不能通过MemberInfo对象来获得。为了获取该信息，需要引用MemberInfo和其他更特殊的对象，即需要分别获取每一个成员类型的信息。TypeView会显示所有公有实例成员的信息，但对于double来说，仅定义了字段和方法
39、。把TypeView编译为一个控制台应用程序，可以在控制台应用程序中显示消息框。但是，使用消息框就意味着需要引用基类程序集System.Windows.Forms. dll，它包含System.Windows.Forms命名空间中的类，在这个命名空间中，定义了我们需要的MessageBox类。下面列出TypeView的代码。开始时需要添加两条using语句：using System;using System.Text;using System.Windows.Forms;using System.Reflection;需要System.Text的原因是我们要使用StringBuilder对象建
40、立在消息框中显示的文本，以及消息框本身的System.Windows.Forms。全部代码都放在类MainClass中，这个类包含两个静态方法和一个静态字段，StringBuilder的一个实例叫作OutputText，用于创建在消息框中显示的文本。Main方法和类的声明如下所示： class MainClass Static StringBuilder OutputText = new StringBuilder(); static void Main() / modify this line to retrieve details of any / other data type Type
41、 t = typeof(double); AnalyzeType(t); MessageBox.Show(OutputText.ToString(), Analysis of type + t.Name); Console.ReadLine();Main()方法首先声明一个Type对象，表示我们选择的数据类型，再调用方法AnalyzeType()，从Type对象中提取信息，并使用该信息建立输出文本。最后在消息框中显示输出。使用MessageBox类是非常直观的：只需调用其静态方法Show()，给它传递两个字符串，分别为消息框中的文本和标题。这些都由AnalyzeType()来完成： stati
42、c void AnalyzeType(Type t) AddToOutput(Type Name: + t.Name); AddToOutput(Full Name: + t.FullName); AddToOutput(Namespace: + t.Namespace); Type tBase = t.BaseType; if (tBase != null) AddToOutput(Base Type: + tBase.Name); Type tUnderlyingSystem = t.UnderlyingSystemType; if (tUnderlyingSystem != null)
43、AddToOutput(UnderlyingSystem Type: + tUnderlyingSystem.Name); AddToOutput(nPUBLIC MEMBERS:); MemberInfo Members = t.GetMembers(); foreach (MemberInfo NextMember in Members) AddToOutput(NextMember.DeclaringType + + NextMember.MemberType + + NextMember.Name);执行这个方法，仅需调用Type对象的各种属性，就可以获得我们需要的类型名称的信息，再调
44、用GetMembers()方法，获得一个MemberInfo对象数组，该数组用于显示每个成员的信息。注意这里使用了一个辅助方法AddToOutput()，该方法创建要在消息框中显示的文本： static void AddToOutput(string Text) OutputText.Append(n + Text);使用下面的命令编译TypeView程序集：csc /reference:System.Windows.Forms.dll TypeView.cs12.2.3 Assembly类Assembly类是在System.Reflection命名空间中定义的，它允许访问给定程序集的元数据，它也包含可以加载和执行程序集(假定该程序集是可执行的)的方法。与Type类一样，Assembly类包含非常多的方法和属性，这里不可能逐一论述。下面仅介绍完成示例WhatsNewAttributes所需要的方法和属性。在使用Assembly实例做一些工作前，需要把相应的程序集加载到运行进程中。为此，可以使用静态成员Assembly.Load()或Assembly.LoadFrom()。这两个方法的区别是Load()的参数是程序集的名