zoukankan      html  css  js  c++  java
  • c#进阶一:使用ILDASM来查看c#中间语言

      平时工作的时候总是使用ctrl c+ctrl v去快速开发实现业务功能,但是在工作之余,我们也应该要注意静下心来去学习和提高自己。进阶的文章随性来写,不定时更新。希望可以和大家共同学习,共同进步。今天我们一起来理解一下c#的运行机制。

      c#语言具有简单易入门的特点,初学者通常简单拖动几个控件,写几行代码就可以实现一个“程序”了,但是这样也让我们养成了一种依赖c#封装特性的习惯。

      c#是一种高级语言,通过它编写的代码不能被机器识别。在这个被机器识别的过程中:首先是windows加载MSCorEE.dll(一个.NET framework自带的链接库,可在你安装目录找到),主线程会通过调用MSCorEE.dll中的方法来初始化CLR来获取IL(即中间语言),但是,这时候的中间语言仍然不能被识别,还需要 JITCompiler 来将IL编译成可以被机器识别的cpu指令,至此,我们在项目中生成的dll或者exe文件才算是被识别。

      接下来,我们来详细探讨怎么查看这个IL(中间语言)。

     一:在vs2015中增加ILDASM反编译工具

      正所谓,工欲善其事,必先利其器。我们要想学习并且进阶,就要学会运用各类工具。首先,我们将ILDASM加载到宇宙第一开发IDE -- VS中,博主此时使用的是vs2015,因此就以vs2015来作为例子。

      在vs2015中打开工具-->外部工具,点开后选择添加,如图:(一般来说,ILDASM默认地址是:C:Program Files (x86)Microsoft SDKsWindowsv10.0AinNETFX 4.6.1 Tools)

      二:反编译后的IL详细解释

    在安装了ILDASM后,打开工具就可以看到已经多了一个工具ILDASM

    我们在程序中使用这个工具。如下:

    首先送上一张图片帮助大家理解

    1)双击打开MANIFEST,这是程序的清单文件。红色箭头表示引用的外部文件是mscorlib

    .publickeytoken = (标记 ) 指定所引用程序集的实际公钥标记。公钥能唯一确定程序集。

    .ver:指定引用程序集的版本

    .assembly 表示程序集

     2)打开program的扩展

    .class表示的Program是一个类,extends 代表Program类继承于程序集mscorlib中的System.Object类,这就告诉我们,在C#中所有的类的父类都是Object。

    private为访问权限,表明该类是私有的。

    auto:表明程序加载的时候内存布局是有CLR决定的,而不是由程序本身控制的。

    ansi:表明类的编码为ansi编码

    beforefieldinit :表明CLR可以在第一次访问静态字段之前的任何时刻执行类型构造函数。类型构造函数也就是构造函数,而使用beforefieldinit属性可以提高性能。

     3)

    .ctor 表示构造函数

    cil managed 表明方法体中的代码是IL代码,且是托管代码,即运行在CLR运行库中的代码

    .maxstack 表明执行构造函数时,评估堆栈可容纳数据项的最大个数。评估堆栈是保存方法中所需变量的值的一个内存区域,该区域在方法执行结束时会被清空,或者存储一个返回值

    IL_0000是代码行的开头。一般在IL_标记之前的部分为变量的声明和初始化操作。

    ldarg.0表明加载第一个成员参数,其中ldarg是load argument 的缩

    call 指令一般用于调用静态方法,而这段代码中call指令并不是在调用静态函数,而是调用System.Object构造函数。另外一个指令则一般用来调用实例方法,它的调用过程是:首先检查被调用的函数是否为虚函数,

    如果不是就直接调用,如果是则检查子类是否重写,如果有重写就调用子类中的实现,如果没有重写就继续调用原来函数。

    ret 指令表示执行完毕,就是return的缩写

    4)看了这么久,终于到达了IL中间语言的Main方法

    hidebysig :指令表示如果当前类作为父类,用该指令标记的方法将不会被子类继承

    .entrypoint :指令代表该函数是程序的入口函数,每个托管应用程序都有且只有一个入口函数,CLR加载的时候,首先从.entrypoint函数开始执行。

    .locals init ([0] int32 i1,[1] int32 i2)

    表示定义int类型的变量,变量名称是:i1,i2

    IL_0000: nop示不做任何操作 No Operation

    IL_0001:ldc.i4.1:此指令的意思是:在 Evaluation Stack 置入一個个4 byte 的常数:  

    stloc.0  :从计算堆栈的顶部弹出当前值并将其存储到索引 0 处的局部变量列表中,在此示例中:stloc.0。此指令的意思是:从 Evaluation Stack 取出一個值,放到第 0 号变数(V0)中

    ldloc.0 :将索引 0 处的局部变量加载到计算堆栈上。也就是:把变量helloString 加载到计算堆栈上(以ld为前缀的指令表示:入栈操作  st为前缀的指令则代表着出栈操作)

    ldloc.1:同上,将索引 1处的局部变量加载到计算堆栈上。

     add:增加两个变量的值

    ret:返回结果。

  • 相关阅读:
    不懂数据库索引的底层原理?那是因为你心里没点b树
    你必须了解的java内存管理机制(三)-垃圾标记
    一次给女朋友转账引发我对分布式事务的思考
    看完此文,妈妈还会担心你docker入不了门?
    再过半小时,你就能明白kafka的工作原理了
    IEEE 754浮点数表示标准
    ROM正弦波发生器
    对分布式工程的初步认识和理解
    泛型(二)
    泛型(一)
  • 原文地址:https://www.cnblogs.com/wanchenggui/p/10339231.html
Copyright © 2011-2022 走看看