C# 6.0本质论（反射、特性和动态编程）

十七、反射、特性和动态编程

17.1 反射

17.1.1 概念及作用

• 反射
  • 指对程序集中的元数据进行检索的过程
    • 元数据包括类型名称、成员名称和特性
• 作用
  • 通过反射获取得到的元数据，在运行时可以动态
    • 创建
      • Activator.CreateInstance
      • Assembly.CreateInstance
    • 调用
      • 将类型绑定到现有对象
      • Type.InvokeMember
    • 访问类型实例

17.1.2 System.Type

• 作用
  • 提供特定类型的有关信息
    • Name
    • IsPublic
    • BaseType
    • GetInterfaces()
    • Assembly
    • GetProperties()、GetMethods()、GetFields()
    • GetCustomAttributes()
• 获取Type实例对象
  • Object对象.GetType()
    • 根据实例对象获取System.Type的实例
    • 静态类无法实例化
  • typeof()
    • 根据类型名称获取System.Type的实例
    • 可获取静态类的信息

17.1.3 调用成员

• 利用反射机制可以根据标识符名称调用对应的属性或方法
  • PropertyInfo对象
    • GetValue(object)
      • 获取指定对象的属性值
    • SetValue(object，value)
  • Methodnfo对象
    • Invoke(object obj, object[] parameters)
      • 调用指定对象的对应方法

17.1.4 泛型类型上的反射

• IsGenericType
  • 判断是否是泛型类型
• ContainsGenericParameters
  • 判断是否含有未设置的泛型参数
• GetGenericArguements()
  • 获取泛型参数的类型列表

17.1.5 nameof操作符

• 获取传入参数的标识符名称

17.1.6 反射实例

public class Example
{
   public static void Main()
   {
      ObjectHandle handle = Activator.CreateInstance("PersonInfo", "Person");
      Object p = handle.Unwrap();
      Type t = p.GetType();
      PropertyInfo prop = t.GetProperty("Name");
      if (prop != null)
         prop.SetValue(p, "Samuel");

      MethodInfo method = t.GetMethod("ToString");
      Object retVal = method.Invoke(p, null);
      if (retVal != null)
         Console.WriteLine(retVal);
   }
}

17.2 特性

17.2.1 概念及作用

• 作用
  • 在程序集中插入额外的元数据，并将元数据同编程构造（比如类、方法或者属性）关联起来
• 系统定义的特性可以省略Attribute
  • 例如，FlagsAttribute可以写为Flags
    • 编译器会自动加上

17.2.2 自定义特性

• 可以自定义特性，继承System.Attribute类
• 查找特性
  • PropertyInfo.GetCustomAttributes()
    • 返回的对象会使用指定的构造器参数来初始化
• 使用构造器来初始化特性

public class CommandLineSwitchAliasAttribute : Attribute
{
	public CommandLineSwitchAliasAttribute(string alias)
	{
		Alias = alias;
	}
	public string Alias{ get; private set;}
}

class CommandLineInfo
{
	[CommandLineSwitchAlias("?")]
	public bool Help { get; set; }
}

• 自定义特性的使用
  • 利用特性，将额外的信息绑定到属性或成员上
  • 通过特性来查找或匹配对应的属性或成员

17.2.3 预定义特性

• 利用编译器进行功能支持，而不是在运行时利用反射

17.2.3.1 AttributeUsageAttribute

• 作用
  • 限制特性能应用的目标
    • [AttributeUsage(AttributeTargets.Property)]
  • 是否允许特性在一个构造上进行多次复制
    • [AttributeUsage(AttributeTargets.Property, AllowMultiple=true)]
• 命名参数
  • 可选参数可以通过命名参数的方式出现在构造器调用时的构造参数的最后

17.2.3.2 ConditionalAttribute

• 作用
  • 类似 #if / #endif
  • 只有调用者中定义了相应的预处理标识符，方法才会执行

# define CONDITION_A
public class Program
{
	public static void Main()
	{
		MethodA();
		MethodB();
	}
	[Conditional("CONDITION_A")]
	static void MethodA()
	{
		Console.WriteLine("MethodA() execting...");
	}
	[Conditional("CONDITION_B")]
	static void MethodB()
	{
		Console.WriteLine("MethodB() execting...");
	}
}	

• 特点
  • 如#if #endif不同，会编译标注的代码
  • 编译器将所有调用方式移除
• 只能标注类和方法
  • 标注方法
    • 方法不能有返回值或者out关键字
      • 当方法不能调用时不知道返回什么值
  • 标注类
    • 只能标注派生于Attribute的类
      • 即自定义特性
      • 当调用者定义了预处理标识符时自定义特性才能起作用

17.2.3.3 ObsoleteAttribute

• 作用
  • 用于标注代码是否过时，编译时会出现警告
  • [Obsolete]
• [Obsolete(string message)]
  • 接收string参数的表示警告中出现附加信息
• [Obsolete(string message, bool error)]
  • 接收bool参数的表示警告升级为错误

17.2.3.4 与序列化相关的特性

17.2.3.4.1 SerializableAttribute

• 标注需要执行序列化的类

17.2.3.4.2 NonSerializableAttribute

• 标注不需要执行序列化的成员

public static void Main()
{
	Stream stream;
	Document documentBefore = new Document();
	documentBefore.Title = "...";
	Document documentAfter;
	//序列化到二进制文件中
	using(Stream = File.Open(documentBefore.Title + ".bin",FileMode.Create))
	{
		BinaryFormatter formatter = new BinaryFormatter();
		formatter.Serialize(stream, documentBefore);
	}
	//反序列化到对象
	using(Stream = File.Open(documentBefore.Title + ".bin",FileMode.Open))
	{
		BinaryFormatter formatter = new BinaryFormatter();
		documentAfter = (Document)formatter.Deserialize(stream);
	}
}

17.2.3.4.3 自定义序列化

• 作用
  • 可以在序列化之前对数据进行格式化处理，如加解密
• 实现ISerializable接口
  • 序列化
    • GetObjectData()方法
      • 接收参数
        • SerializationInfo
          • 键值对形式的集合
          • 一个元素代表一个需要序列化的成员名称及数据
          • 这一过程类似实现JAVA中的writeToParcell()方法
        • StreamingContext
  • 反序列化
    • 提供接收SerializationInfo、StreamingContext参数的构造器
      • 供序列化框架调用生成相应的对象
      • 从SerializationInfo读取存入的数据

[Serializable]
class EncryptableDocument : ISerializable
{
	enum Field
	{	
		Title,
		Data
	}
	public string Title;
	public string Data;
	public void GetObjectData(SerializationInfo info, StreamingContext context)
	{
		info.AddValue(Field.Title.ToString(),Title);
		info.AddValue(Field.Data.ToString(),Data);
	}
	public EncryptableDocument(SerializationInfo info, StreamingContext context)
	{
		Title = info.GetString(Field.Title.ToString());
		Data = info.GetString(Field.Data.ToString());
	}
}

17.2.3.4.4 OptionalFieldsAttribute

• 作用
  • 将字段标注为可选序列化字段
  • 向后兼容实现版本控制
    • 当原始类型中新增字段后，从已序列化的文件中反序列化得到对象会抛出异常，可以用该特性标注为可选字段
• 伪特性
  • 包括大部分预定义特性在CIL代码中出现在类定义的内部
  • Serializable特性出现在元数据表的设置位

17.3 使用动态对象进行编程

17.3.1 dynamic

• dynamic的概念
  • 编译器将有关语句的预期作用的信息一起打包到类型化为 dynamic 的对象或表达式
    • 在运行时，对存储的信息进行检查，任何无效的语句会导致运行 时异常。
  • 如果没有任何调用，dynamic类型声明和object没有区别
    • 一旦调用其成员，会再编译一段代码并注入调用点
• dynamic的作用
  • 类型转换
    • dynamic可以隐式转化为任意类型
    • 任意类型也可隐式转化为dynamic
  • 简化反射
    • 在Type类型上查找并调用成员的过程可以简化为直接调用成员
    • 效率比直接使用反射高
      • 动态编译
        • 直接注入到调用点
        • 后续调用没有反射和编译开销

public class Example
{
   public static void Main()
   {
      ObjectHandle handle = Activator.CreateInstance("PersonInfo", "Person");
      /*
      Object p = handle.Unwrap();
      Type t = p.GetType();

      MethodInfo method = t.GetMethod("ToString");
      Object retVal = method.Invoke(p, null);
	  */
	  dynamic p = handle.Unwrap();
	  Object retVal = p.ToString();
   }
}

17.3.2 动态绑定

• 概念
  • 在编译时，根据类无法分析出其包含的具体成员，需要在运行时才能真正分析出来
• 作用
  • 将类型、成员和操作的解析过程从编译时延迟到运行时
  • 静态编译的优点是类型安全，但当静态编译无法真正发挥作用时，静态编译和动态绑定的功能没有差别
  • 简化代码编写

XELement person = XElement.Parse(
	@"<person>
		<FirstName>Inigo</FirstName>
	 </person>");
//根据XELment类无法分析出其具有的成员
Console.WriteLine(person.Descendants("FirstName").FirstOrDefault().Value);

dynamic person = DynamicXml.Parse(
	@"<person>
		<FirstName>Inigo</FirstName>
	 </person>");
Console.WriteLine(person.FirstName);

17.3.3 自定义动态对象

• 实现方式
  • 实现System.Dynamic.IDynamicMetaObjectProvider接口
• 简化方式
  • 继承System.Dynamic.DynamicObject类
  • 只需要重写不合适的方法
• 自定义动态对象的作用是确定解释机制