反射

元数据

元数据是用一系列表来存储的，生成一个程序集或模块时，编译器会创建一个类型定义表、一个字段定义表、一个方法定义表以及其它表。

反射

程序运行的时候解析这些元数据表以获取信息，该行为便是反射。反射允许在运行时发现并使用编译时还不了解的类型及其成员。

反射的性能

• 反射会造成编译时无法保证类型安全性。反射需要重度依赖字符串，所以会丧失编译时的类型安全。例如执行Type.GetType("A")，在一个程序集中查找类型名为“A”的类型，但程序集实际包含的类型可能是“AA”，代码会通过编译，但运行时会出错。
• 反射速度慢，使用反射时，类型及其成员的名称在编译时未知，要使用字符串名称标识每个类型及其成员，以便在运行时发现它们。也就是说在扫描程序集的元数据时，反射要不断的执行字符串的搜索，而字符串的搜索执行的是不区分大小写的比较，这会进一步影响速度。

反射调用一个成员时也会对性能产生影响

反射调用方法时，首先必须将实参打包成一个数组，在内部反射必须将这些实参解包到线程栈上。此外在调用方法前，CLR必须检查实参具有正确的数据类型，最后CLR还需确保调用者有正确的安全权限来访问被调用的成员。

*综上所述，最好避免使用反射技术来访问字段或者调用方法。

获取Type对象的几种方式

• Type的静态方法GetType：接收一个string参数，必须指定类型的全名(包括命名空间)，如果调用程序集没有定义指定的类型，就查找MSCorLib.dll定义的类型，如果还是没找到就返回null
• Type的静态方法ReflectionOnlyGetType：行为与GetType相似，只是类型会加载到一个“仅反射”上下文中，不能执行

构造类型的实例

• Activator的静态方法CreateInstance：调用该方法可以传递一个Type对象引用，也可以传递标识了想要创建的类型的一个String。其中直接获取一个类型对象的几个重载版本相对简单，为类型的构造器传递一组实参，方法返回的是对新对象的一个引用。而使用字符串来指定所需类型的几个重载版本要稍微复杂一些，首先必须指定另一个字符串来标识定义了类型的那个程序集。其次这些版本返回的不是对新对象的引用，而是一个System.Runtime.Remoting.ObjectHandle对象。ObjectHandle类型允许将一个AppDomain中创建的对象传至其它AppDomain，期间不强迫对象具体化，要具体化该对象可以调用ObjectHandle对象的Unwrap方法。在一个AppDomain中调用这个方法时，它会将定义了要具体化的类型的程序集加载到这个AppDomain中。如果对象按引用封送就创建代理类型和对象。如果按值封送，对象的副本会被反序列化。
• Activator的静态方法CreateInstanceFrom：行为与CreateInstance方法相似，不同的是必须通过字符串来指定类型及其程序集。程序集要使用Assembly的LoadFrom(而非Load)方法加载到调用的AppDomain中。由于没有接收Type参数的版本，所以返回的都是ObjectHandle对象的引用，必须调用ObjectHandle的Unwrap方法进行具体化

构造泛型类型的实例

static void Main()
{
    //获取泛型类型的类型对象的一个引用
    Type temp = typeof(List<>);

    //使用int类型封闭泛型类型
    Type closedType = temp.MakeGenericType(typeof(int));

    //构造封闭类型的实例
    object o = Activator.CreateInstance(closedType);

    Console.WriteLine(o.GetType());
}

运行结果

发现类型成员

字段、构造器、方法、属性、事件和嵌套类型都可以被定义为类型的成员。FCL包含一个System.Reflection.MemberInfo的类型，封装了一组所有类型都通用的属性。层次结构图如下：

查询一个类型的成员并显示与之相关的一些信息

static void Main()
{
    Assembly[] assemblies = AppDomain.CurrentDomain.GetAssemblies();
    //遍历AppDomain中加载的所有程序集
    foreach (var item in assemblies)
    {
        Console.WriteLine("Assembly: {0}", item);

        //查找程序集中的类型
        foreach (var t in item.GetExportedTypes())
        {
            Console.WriteLine("Type: {0}", t);

            //发现类型成员
            const BindingFlags bf = BindingFlags.DeclaredOnly |
                BindingFlags.NonPublic | BindingFlags.Public |
                BindingFlags.Instance | BindingFlags.Static;

            foreach (var mi in t.GetMembers(bf))
            {
                var typeName = string.Empty;
                if (mi is Type)
                    typeName = "Type";
                else if (mi is FieldInfo)
                    typeName = "FieldInfo";
                else if (mi is MethodInfo)
                    typeName = "MethodInfo";
                else if (mi is ConstructorInfo)
                    typeName = "ConstructorInfo";
                else if (mi is PropertyInfo)
                    typeName = "PropertyInfo";
                else if (mi is EventInfo)
                    typeName = "EventInfo";

                Console.WriteLine("mi typeName: {0}", typeName);
            }
        }
    }
}

BindingFlags枚举(筛选返回的成员类型)

• Default：指定未定义任何绑定标志
• IgnoreCase：返回与指定字符串匹配的成员(忽略大小写)
• DeclaredOnly：只返回被反射的那个类型的成员，忽略继承的成员
• Instance：返回实例成员
• Static：返回静态成员
• Public：返回公共成员
• NonPublic：返回非公共成员
• FlattenHierarchy：返回基类型定义的公共成员和受保护静态成员

遍历反射对象模型图

基于一个AppDomain可发现加载到其中的所有程序集。基于一个程序集可发现构成它的所有模块。基于一个程序集或模块可发现它定义的所有类型。基于一个类型可发现它的嵌套类型、字段、构造器、方法、属性和事件

发现类型的接口

interface ITest1 : IDisposable
{
    void Method1();
    void Method2();
}

interface ITest2
{
    void Method1();
}

class MyClass : ITest1, ITest2, IDisposable
{
    //ITest1
    void ITest1.Method1() { }

    public void Method2() { }

    //ITest2
    void ITest2.Method1() { }

    //IDisposable
    public void Dispose() { }

    //非接口方法
    public void Method1() { }
}

class Program
{
    static void Main()
    {
        //查找MyClass实现的接口
        Type t = typeof(MyClass);
        Type[] interfaces = t.FindInterfaces(TypeFilter, typeof(Program).Assembly);

        //显示每个接口的信息
        foreach (var item in interfaces)
        {
            Console.WriteLine("接口: {0}", item);

            //获取接口映射
            InterfaceMapping map = t.GetInterfaceMap(item);

            for (int i = 0; i < map.InterfaceMethods.Length; i++)
            {
                Console.WriteLine("方法 {0} 在 {1} 中实现", map.InterfaceMethods[i], map.TargetMethods[i]);
            }
        }

        Console.ReadKey();
    }

    private static bool TypeFilter(Type t, object filterCriteria)
    {
        //如果接口是由filterCriteria标识的程序集中定义的就返回true
        return t.Assembly == (Assembly)filterCriteria;
    }
}

结果

调用类型的成员

Type类提供了一个InvokeMember方法，可以通过这个方法调用一个类型的成员。在调用这个方法时，会在类型的成员中搜索一个匹配的成员，如果没有找到则会抛出一个异常。反之则会调用成员，该成员返回什么InvokeMember方法也会返回一个同样的信息数据。

InvokeMember使用的BindingFlags

一次绑定多次调用

使用InvokeMember方法的弊端在于每次调用该方法，都必须先绑定到一个特定的成员然后才能调用，这大大地增加了耗时。可以直接调用Type的某个方法来绑定成员(GetFields,GetMethods等)，可以返回对一个对象的引用，通过对象引用直接访问特定成员。

示例代码

class SomeType
{
    private int m_SomeValue;
    public int SomeValue
    {
        get
        {
            return this.m_SomeValue;
        }

        set
        {
            this.m_SomeValue = value;
        }
    }

    public string SomeMethod()
    {
        Console.WriteLine("Run SomeMethod");
        return "SomeMethod Rusult";
    }
}

static void Main()
{
    var bf = BindingFlags.DeclaredOnly | BindingFlags.Instance | BindingFlags.Public | BindingFlags.NonPublic;
    Type t = typeof(SomeType);
    //构造Type实例
    object o = t.InvokeMember(null, bf | BindingFlags.CreateInstance, null, null, null);
    Console.WriteLine("o type : {0}", o.GetType().ToString());

    //读写字段
    t.InvokeMember("m_SomeValue", bf | BindingFlags.SetField, null, o, new object[] { 1 });
    int v = (int)t.InvokeMember("m_SomeValue", bf | BindingFlags.GetField, null, o, null);
    Console.WriteLine("m_SomeValue = {0}", v);

    //调用一个方法
    string methodRes = (string)t.InvokeMember("SomeMethod", bf | BindingFlags.InvokeMethod, null, o, null);
    Console.WriteLine("methodRes = {0}", methodRes);

    Console.WriteLine("\n---------分割线---------\n");

    //构造实例
    ConstructorInfo ctor = t.GetConstructor(new Type[] { });
    o = ctor.Invoke(null);

    //读写字段
    FieldInfo fi = o.GetType().GetField("m_SomeValue", bf);
    fi.SetValue(o, 2);
    Console.WriteLine("m_SomeValue = {0}", fi.GetValue(o));

    //调用方法
    MethodInfo mi = o.GetType().GetMethod("SomeMethod", bf);
    methodRes = (string)mi.Invoke(o, null);
    Console.WriteLine("methodRes = {0}", methodRes);

    Console.ReadKey();
}

结果

使用句柄减少进程中内存的消耗

由于Type和MemberInfo的派生对象需要大量内存，因此如果应用程序容纳了太多这样的对象，但只是偶尔调用一下，内存消耗将急剧增长，对性能产生负面影响。

解决方法：如果需要大量缓存Type和MemberInfo的派生对象，我们可以使用允许时句柄来替代对象，从而减小工作集。FCL定义了三个运行时句柄类型，分别是：RuntimeTypeHandle，RuntimeFieldHandle，RuntimeMethodHandle，三个类型均属于值类型，只包含一个IntPtr字段，这个字段是一个句柄，引用了AppDomain的Loader堆中的一个类型、字段或方法。

转化方法：

• Type转RuntimeTypeHandle：调用Type的静态方法GetTypeHandle
• RuntimeTypeHandle转Type：调用Type的静态方法GetTypeFromHandle
• FieldInfo转RuntimeFieldHandle：查询FieldInfo实例只读字段FieldHandle
• RuntimeFieldHandle转FieldInfo：调用FieldInfo的静态方法GetFieldFromHandle
• MethodInfo转RuntimeMethodHandle：查询MethodInfo实例只读字段MethodHandle
• RuntimeMethodHandle转MethodInfo：调用MethodInfo的静态方法GetMethodFromHandle

示例代码

private static void Show(string s)
{
    Console.WriteLine("堆大小 : {0,12:##,###,###} - {1}", GC.GetTotalMemory(true), s);
}

static void Main()
{
    var bf = BindingFlags.FlattenHierarchy | BindingFlags.Instance | BindingFlags.Static | BindingFlags.Public | BindingFlags.NonPublic;

    Show("任何反射操作之前的堆的大小");

    //为MSCorlid.dll中所有方法构建MethodInfo对象缓存
    List methodBases = new List();
    foreach (var item in typeof(Object).Assembly.GetExportedTypes())
    {
        if (item.IsGenericTypeDefinition)
            continue;

        MethodBase[] mb = item.GetMethods(bf);
        methodBases.AddRange(mb);
    }
    Console.WriteLine("方法个数 : {0}", methodBases.Count);
    Show("绑定所有方法后堆的大小");

    //为所有MethodInfo对象构建RuntimeMethodHabdle缓存
    List runtimeMethodHandles = methodBases.ConvertAll(mb => mb.MethodHandle);
    Show("构建RuntimeMethodHandle后堆的大小");

    //阻止缓存被过早垃圾回收
    GC.KeepAlive(methodBases);

    //垃圾回收
    methodBases = null;
    Show("垃圾回收methodBases后堆的大小");

    Console.ReadKey();
}

结果