从C#方法表看透方法调用的本质

从C#方法表看透方法调用的本质,第1张

概述类、结构和接口可以拥有自己的方法。委托作为一个特殊的类,也有自己的方法。 引用类型通过类型对象指针可以找到类型方法表,从而调用方法。 对于值类型,也有方法表(任何类型 类、结构和接口可以拥有自己的方法。委托作为一个特殊的类,也有自己的方法。

引用类型通过类型对象指针可以找到类型方法表,从而调用方法。

对于值类型,也有方法表(任何类型都有方法表),但值类型的实例没有类型对象指针指向它,需要访问类型元数据获得方法表。

类型方法表是在类型加载的过程中建立的,和类型对象的建立位于相同的阶段。

我们使用下面的示例类型:
interface ITest{    string interfaceMethod();}class FatherClass : ITest{    public static int i = 1;    public string interfaceMethod()    {        Console.Writeline("继承接口的方法");        return "test";    }    public int normalMethod(int a)    {        return a + 1;    }    public int normalMethod2(int a)    {        return a + 2;    }    public int normalMethod3(int a)    {        return a + 3;    }    public virtual voID VirtualMethod1()    {        Console.Writeline("VirtualMethod1");    }    public virtual voID VirtualMethod2()    {        Console.Writeline("VirtualMethod2");    }}
主程序:
static voID Main(string[] args){    var a = new FatherClass();    Console.Writeline("没调用方法");    Console.ReadKey();    a.normalMethod(100);    Console.Writeline("调用方法");    Console.ReadKey();}
方法表类型对象中最重要的部分无疑是方法表,它是类加载过程中生成的。

在上面的代码中,示例类型含有三个普通方法:两个虚方法,一个来自接口继承的方法,以及实例构造函数 .ctor 和静态构造函数 .cctor (因为包含了对静态字段的赋值),可以在方法表中找到它们。

另外,方法表还含有类型所有父类的虚方法,父类的其他方法不出现在子类的方法表中。

方法表的排列顺序严格按照方法定义的顺序,并从最高辈分开始往下排。因此,示例类型的方法表含有下面的成员(还有其他成员):
Object 的四个非虚方法自己继承自接口的方法自己的虚方法两个构造函数自己的普通方法
这些成员组成了方法表的一部分——方法槽表(method slot table)。

方法槽表按照如下顺序排列:继承的虚方法、自己继承自接口的方法、自己的虚方法、构造函数、自己的实例方法、自己的静态方法(不同版本的 CLR,顺序可能不同)。

我们可以看到 Object 类中有一些方法不在其中,这是因为它们不是虚方法。

方法槽表的每一个成员都包含着另一个表,即方法描述(MethodDesc)的其中一个位置,和那个表实现一一对应关系。
方法调用方法的调用是 .NET 框架中最有趣的功能之一。简单来说,方法的调用是一个路由的过程。

我们通过栈上的引用找到类型的方法表指针,它又指向方法表的开头。

通过确定的偏移量,CLR 马上就可以定位到接口虚表的开头,或者方法槽表的开头。

对前者来说,假设要调用的方法 X 位于接口 Y 中,接下来的事情就是查找到指向 Y 的方法表在接口虚表中的位置(不会顺序寻找,因为每个接口的偏移量都已经被索引好了)。

然后,就可以定位到 Y 的方法表,之后,再次通过偏移量跳转到 Y 的方法槽表的开头,最后就和后者相同。

对于后者来说,CLR 在方法槽表中找到方法,然后找到存根例程,根据它后面的 jmp 指令,就可以被引导到 JIT 编译器代码或者机器码,从而继续方法的调用。

而实际上,每个方法都有自己的偏移量(在类型加载时,方法表的顺序就已经确定了,偏移量也就可以被计算出来了)。

因此,CLR 是不会一个一个地寻找的,它总是一步到位。
1) 方法的反射调用我们可以想象,如果直接访问类型对象获得了某个方法的地址,并传入必须的参数,那么我们是不是就可以进行方法调用了呢?答案是肯定的。

这种类型的方法调用甚至不需要一个对应类型的实例,因为我们是直接从类型对象(元数据的一部分)出发的,而传统的方式是从栈上的引用(实例)出发的,这样的做法就叫做反射(reflection),如下图所示。


方法的元数据被打包在 MethodInfo 对象中,通过 MethodInfo.Invoke 调用方法,不需要实例对象。

这种方法的好处是:不需要实例对象,也不需要对方法的签名有先验的了解(MethodInfo.Invoke 的其中一个重载接受一个 object 类型的数组)可以调用到任意访问级别的方法,即使是 private 也可以
当然,这种方法的调用也有代价,就是远远慢于直接调用,这是因为在对传入参数类 型的验证上牺牲了性能。

实际上,如果我们获得了方法表的地址,那么我们也可以通过直接书写IL的形式,通 过calli指令调用方法表上对应的方法(通过合适的偏移量)。
2) 方法的委托调用当想要将一个特定的方法绑定到一个特定的对象时,我们通常使用委托。

委托具有一个自定义的签名,然后,它便可以被绑定到与签名匹配的方法上。

因此,结合前面的知识, 委托的绑定需要如下的信息:
方法的地址(方法指针)。CLR 可以通过 ldftn 或 ldvirtftn *** 作符获得方法的地址。一个类型的实例。当方法和类型内部的成员发生互动时,将可以提供必要的信息。
只需要这两个就够了,而且,如果绑定的是静态方法,那么实例可以为 null。

在 System.Delegate 中,可以找到这两个成员(_methodPtr 和 _target)。

每个委托都继承自 MulticastDelegate 类,它再继承自 System.Delegate。MulticastDelegate 类提供了 Invoke 方法供我们调用 methodPtr 指向的方法,它是强类型的,因此委托调用不需要类型验证,速度远快于反射调用,和直接调用没有什么区别。

如果需要一种通用的方式,System.Delegate 提供了 DynamicInvoke 方法,和反射的 Invoke 方法类似,允许传入一个 object 类型的数组。

显而易见,这样的调用的性能又会跌到和反射差不多。
3) 通过 calli 间接调用方法上面我们谈到了使用 ldftn *** 作符,可以获得方法的地址。然后,我们可以使用 calli 来调用方法,这样等于引入一个函数指针,我们可以像 C 语言一样使用指针来调用方法。

不过,C# 并不支持这样的行为。取而代之的是,它做了一个再包装(委托),将真正的指针 _methodPtr 打包在里面,并且,我们无法修改它。

这样做的主要目的是为了类型安全。如果要在 C# 上完成使用指针来调用方法这个动作,必须通过 Emit 类书写 IL。或者,也可以直接写 IL 来做到,这是一件颇有难度的事情。
4) 方法调用小结在 C# 中,有如下的方法调用方式:
直接调用(实例方法则必须先要有一个实例)这样会从栈上的对象出发,然后通过方法表指针找到类型对象上的方法表,之后通过查找元数据,找到偏移量,进行方法调用。

如果是静态方法则直接从类型对象开始。
反射调用无论是实例还是静态方法,都必须先要拿到类型对象(通过 GetType 方法),然后,反射出方法资料 Methodinfo,之后调用 Invoke 方法,传入变量。Calli 调用通过 ldftn 获得函数指针,然后使用 calli 指令。这类似 C 的函数指针,但 C# 不支持这种行为。
委托调用第三种调用的官方版本。微软将函数指针和实例对象打包成一个 Delegate 类型,它提供 DynamicInvoke 和 Invoke 方法。
异步调用第四种调用中,Delegate 类型的子类 MulticastDelegate 还提供 BeginInvoke 和 EndInvoke 方法。

它们的代码是 extern 的,并借助线程池来完成异步请求。表达式调用任何东西都是表达式,方法调用也不例外(Expression.Call 表达式)。 不同的方法调用方式有不同的使用场景。 总结

以上是内存溢出为你收集整理的从C#方法表看透方法调用的本质全部内容,希望文章能够帮你解决从C#方法表看透方法调用的本质所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错,欢迎将内存溢出网站推荐给程序员好友。

欢迎分享,转载请注明来源:内存溢出

原文地址: https://outofmemory.cn/langs/1235028.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2022-06-06
下一篇 2022-06-06

发表评论

登录后才能评论

评论列表(0条)

保存