MSIL 静态类在 IL 定义上和非静态类的差异

本文来聊聊 MSIL 的基础知识，给一个 C# 的类标记了 static 以后和标记 static 以前，生成这个类的 IL 代码有什么不一样

如如下的代码是一个默认的控制台程序

class Program
    {
        static void Main(string[] args)
        {
        }
    }

此时生成的 IL 代码，大概以下

.class private auto ansi beforefieldinit KakawbaijairKacheberelere.Program
        extends [System.Runtime]System.Object

而若是给 Program 加上静态，如如下代码，生成的 IL 代码是和以前不相同的

static class Program
    {
        static void Main(string[] args)
        {
        }
    }

生成的 IL 代码以下

.class private abstract sealed auto ansi beforefieldinit
  KakawbaijairKacheberelere.Program
    extends [System.Runtime]System.Object

复习一下 IL 代码的知识

在 MSIL 里，采用 .class 表示这是类型的定义，类型定义的格式大概以下

.class [访问权限] [其余修饰] [命名空间].[类名] extends [继承的基类]

能够看到上下两个 IL 代码的不一样在于，若是标记了 static 那 IL 将加上 abstract sealed 修饰。和 C# 代码的含义相同，经过 abstract 表示此类型不能被实例化，经过 sealed 表示此类型不能被继承。所以这就构成了静态类的特色，不能被建立实例，也不能被继承