.Net基础——程序集与CIL及C#编译执行过程

最新推荐文章于 2024-06-09 00:20:02 发布

qq_38234381

最新推荐文章于 2024-06-09 00:20:02 发布

阅读量616

点赞数

分类专栏： Unity和C#

原文链接：https://www.cnblogs.com/freddysia/p/9314658.html

版权

Unity和C# 专栏收录该内容

58 篇文章 2 订阅

订阅专栏

这篇博客介绍了.NET程序集的构成，包括CIL（Common Intermediate Language）的作用。程序集包含CIL、元数据、程序集清单和资源，C#代码经编译器转化为CIL，然后由CLR通过JIT编译器编译为本机代码执行。通过ILASM和ILDASM工具，我们可以查看和修改CIL，以控制程序执行。CIL作为中间语言，消除了不同语言间的差异，简化了跨语言调用，并减少了编译器数量需求。

摘要由CSDN通过智能技术生成

来源：https://www.cnblogs.com/freddysia/p/9314658.html

概念：

1. 程序集和CIL:

程序集是由.NET语言的编译器接受源代码文件产生的输出文件，通常分为exe和dll两类，其中exe包含Main入口方法可以双击执行，dll则需要被其他程序集调用执行。
CIL（Common Intermediate Language): 公共中间语言，需要被编译成二进制机器码之后才会被计算机执行。

2. 程序集包含:

程序的CIL
程序中使用的类型的元数据(metadata)
程序集清单
一些资源集

C#编译执行过程：

1.当前C#项目被C#编译器编译为相应的程序集

2.程序被编译成程序集（exe为例）之后，双击运行，程序集会被加载入CLR(Common Language Runtime),执行下面的步骤：

①检查程序集的安全特性。

②进行内存分配。

③把程序集中的可执行代码发送给JIT（Just-in-Time）编译器，把其中的一部分代码编译成为本机代码（其中，JIT只会编译被调用的部分CIL代码，并把编译的结果缓存起来，以备在后面的程序中的多次调用, 这保证了编译与运行的效率）。

3.经过JIT编译之后的代码即是本机代码，本机代码最终被CPU执行。

我们通过一段简单的代码来加深理解：

using System;

namespace ILTest
{
    public class Program
    {
        public static void Main(string[] args)
        {
            Console.WriteLine("Hello Fred");
            Console.Read();
        }
    }
}

2. 使用 ILASM工具将程序集反编译为IL(也可生成为ILTest.txt，后缀名不影响文本文件内容)：

ildasm ILTest.exe /output:ILTest.IL

生成文本文件如下：

//  Microsoft (R) .NET Framework IL Disassembler.  Version 4.6.1055.0

// Metadata version: v4.0.30319
.assembly extern mscorlib
{
  .publickeytoken = (B7 7A 5C 56 19 34 E0 89 )                         // .z\V.4..
  .ver 4:0:0:0
}
.assembly ILTest
{
  .custom instance void [mscorlib]System.Runtime.CompilerServices.CompilationRelaxationsAttribute::.ctor(int32) = ( 01 00 08 00 00 00 00 00 )
  .custom instance void [mscorlib]System.Runtime.CompilerServices.RuntimeCompatibilityAttribute::.ctor() = ( 01 00 01 00 54 02 16 57 72 61 70 4E 6F 6E 45 78   // ....T..WrapNonEx
                                                                                                             63 65 70 74 69 6F 6E 54 68 72 6F 77 73 01 )       // ceptionThrows.

  // --- 下列自定义特性会自动添加，不要取消注释 -------
  //  .custom instance void [mscorlib]System.Diagnostics.DebuggableAttribute::.ctor(valuetype [mscorlib]System.Diagnostics.DebuggableAttribute/DebuggingModes) = ( 01 00 07 01 00 00 00 00 )

  .custom instance void [mscorlib]System.Reflection.AssemblyTitleAttribute::.ctor(string) = ( 01 00 06 49 4C 54 65 73 74 00 00 )                // ...ILTest..
  .custom instance void [mscorlib]System.Reflection.AssemblyDescriptionAttribute::.ctor(string) = ( 01 00 00 00 00 )
  .custom instance void [mscorlib]System.Reflection.AssemblyConfigurationAttribute::.ctor(string) = ( 01 00 00 00 00 )
  .custom instance void [mscorlib]System.Reflection.AssemblyCompanyAttribute::.ctor(string) = ( 01 00 00 00 00 )
  .custom instance void [mscorlib]System.Reflection.AssemblyProductAttribute::.ctor(string) = ( 01 00 06 49 4C 54 65 73 74 00 00 )                // ...ILTest..
  .custom instance void [mscorlib]System.Reflection.AssemblyCopyrightAttribute::.ctor(string) = ( 01 00 12 43 6F 70 79 72 69 67 68 74 20 C2 A9 20   // ...Copyright ..
                                                                                                  20 32 30 31 38 00 00 )                            //  2018..
  .custom instance void [mscorlib]System.Reflection.AssemblyTrademarkAttribute::.ctor(string) = ( 01 00 00 00 00 )
  .custom instance void [mscorlib]System.Runtime.InteropServices.ComVisibleAttribute::.ctor(bool) = ( 01 00 00 00 00 )
  .custom instance void [mscorlib]System.Runtime.InteropServices.GuidAttribute::.ctor(string) = ( 01 00 24 38 34 66 35 62 34 30 65 2D 39 31 61 65   // ..$84f5b40e-91ae
                                                                                                  2D 34 62 66 63 2D 61 62 38 39 2D 34 61 30 66 66   // -4bfc-ab89-4a0ff
                                                                                                  66 36 64 30 38 31 61 00 00 )                      // f6d081a..
  .custom instance void [mscorlib]System.Reflection.AssemblyFileVersionAttribute::.ctor(string) = ( 01 00 07 31 2E 30 2E 30 2E 30 00 00 )             // ...1.0.0.0..
  .custom instance void [mscorlib]System.Runtime.Versioning.TargetFrameworkAttribute::.ctor(string) = ( 01 00 1C 2E 4E 45 54 46 72 61 6D 65 77 6F 72 6B   // ....NETFramework
                                                                                                        2C 56 65 72 73 69 6F 6E 3D 76 34 2E 36 2E 31 01   // ,Version=v4.6.1.
                                                                                                        00 54 0E 14 46 72 61 6D 65 77 6F 72 6B 44 69 73   // .T..FrameworkDis
                                                                                                        70 6C 61 79 4E 61 6D 65 14 2E 4E 45 54 20 46 72   // playName..NET Fr
                                                                                                        61 6D 65 77 6F 72 6B 20 34 2E 36 2E 31 )          // amework 4.6.1
  .hash algorithm 0x00008004
  .ver 1:0:0:0
}
.module ILTest.exe
// MVID: {90543B0E-D1B4-4FFF-9260-57E27FBC4F8B}
.imagebase 0x00400000
.file alignment 0x00000200
.stackreserve 0x00100000
.subsystem 0x0003       // WINDOWS_CUI
.corflags 0x00020003    //  ILONLY 32BITPREFERRED
// Image base: 0x00960000


// =============== CLASS MEMBERS DECLARATION ===================

.class public auto ansi beforefieldinit ILTest.Program
       extends [mscorlib]System.Object
{
  .method public hidebysig static void  Main(string[] args) cil managed
  {
    .entrypoint
    // 代码大小       19 (0x13)
    .maxstack  8
    IL_0000:  nop
    IL_0001:  ldstr      "Hello Fred"
    IL_0006:  call       void [mscorlib]System.Console::WriteLine(string)
    IL_000b:  nop
    IL_000c:  call       int32 [mscorlib]System.Console::Read()
    IL_0011:  pop
    IL_0012:  ret
  } // end of method Program::Main

  .method public hidebysig specialname rtspecialname
          instance void  .ctor() cil managed
  {
    // 代码大小       8 (0x8)
    .maxstack  8
    IL_0000:  ldarg.0
    IL_0001:  call       instance void [mscorlib]System.Object::.ctor()
    IL_0006:  nop
    IL_0007:  ret
  } // end of method Program::.ctor

} // end of class ILTest.Program


//

其中包含了程序的元数据，程序集清单和一些其他资源信息。

它们描述并组成了这段程序的类型信息，安全信息，版本信息以及对其它程序集的引用信息等，使得程序集拥有了自我描述的特性。其中，元数据是反射得以实现的重要条件。

除此之外还包含了CIL代码，CIL是经过编译器（这里是csc）编译产生的中间语言代码。

我们可以通过修改CIL代码来控制程序的执行：

打开生成的文本文件，将Main方法中的输出字符串修改为"Hello Tommy"：