如何修改动态程序集中构造函数与方法的.maxstack大小？

要让动态生成的程序集IL与C#编译结果完全匹配，需要针对性修正以下几个细节：

1. 显式设置.maxstack值 #

C#编译器会给多数方法默认设置.maxstack 8，而System.Reflection.Emit默认会自动计算栈深度（可能得到更小的值）。你需要在生成每个目标方法（构造函数、OnInitialized、RegisterTypes）的IL时，手动指定栈深度：

// 获取方法的IL生成器后，第一行显式设置maxstack
ILGenerator ilGen = methodBuilder.GetILGenerator();
ilGen.Emit(OpCodes.MaxStack, 8);

2. 补全nop指令 #

C#编译器会在构造函数、空方法的首尾插入nop指令，你需要在对应位置手动添加：

• 构造函数：在调用基类构造函数前后添加nop（匹配原编译结果的指令顺序）：

  ConstructorBuilder ctorBuilder = typeBuilder.DefineConstructor(
      MethodAttributes.Public | MethodAttributes.HideBySig | MethodAttributes.SpecialName | MethodAttributes.RTSpecialName,
      CallingConventions.Standard,
      Type.EmptyTypes);
  ILGenerator ctorIl = ctorBuilder.GetILGenerator();
  ctorIl.Emit(OpCodes.MaxStack, 8);
  // 开头添加nop
  ctorIl.Emit(OpCodes.Nop);
  // 调用基类构造函数
  ctorIl.Emit(OpCodes.Ldarg_0);
  ctorIl.Emit(OpCodes.Call, typeof(object).GetConstructor(Type.EmptyTypes));
  // 构造函数末尾添加nop
  ctorIl.Emit(OpCodes.Nop);
  ctorIl.Emit(OpCodes.Ret);
  

• OnInitialized/RegisterTypes方法：在方法开头和返回前添加nop：

  ILGenerator methodIl = onInitBuilder.GetILGenerator();
  methodIl.Emit(OpCodes.MaxStack, 8);
  // 开头nop
  methodIl.Emit(OpCodes.Nop);
  // 方法逻辑IL...
  // 返回前nop
  methodIl.Emit(OpCodes.Nop);
  methodIl.Emit(OpCodes.Ret);
  

3. 修正.locals init标记 #

ILSpy的警告源于生成的方法未启用局部变量初始化标记，而C#编译的方法默认会对局部变量生成.locals init：

• 如果方法包含局部变量，声明时传入true参数启用初始化：

  // 声明局部变量并启用.locals init
  LocalBuilder localVar = methodIl.DeclareLocal(typeof(int), true);
  

• 如果原编译方法无局部变量但仍包含.locals init ()（少见），可手动生成空的局部变量声明并启用初始化：

  // 生成空的.locals init标记
  methodIl.DeclareLocal(typeof(void), true);
  

额外注意事项 #

• 确保方法/构造函数的元数据属性与原编译结果完全一致（比如MethodAttributes.Public | MethodAttributes.HideBySig | MethodAttributes.Virtual等）；
• 匹配原程序集的模块、程序集属性（如版本、强命名、语言标志等）；
• 严格对齐原IL的指令顺序，包括所有隐式生成的指令（比如基类构造函数调用的位置）。

内容的提问来源于stack exchange，提问作者ackh