如何修改IL Emit代码在Getter和Setter中调用基类方法？

嘿，我之前也踩过IL Emit调用基类方法的坑，InvalidProgramException通常都是IL指令的栈操作不对或者调用签名不匹配导致的，咱们一步步捋清楚可能的问题和解决办法：

• 先确认基类方法的可见性与签名匹配
  首先要确保你要调用的基类方法是protected或public的（子类必须能合法访问），如果是private肯定会触发异常。另外一定要核对方法的参数类型、返回值类型和你在IL里调用的完全一致——比如基类Getter返回int，你不能在IL里把它当成string处理，栈类型不匹配是触发这个异常的高频原因。

• 正确选择Call还是Callvirt指令
  如果基类方法是非虚方法，要用Call指令；如果是虚方法/抽象方法，必须用Callvirt（哪怕你确定要调用基类的实现，Callvirt也能正确解析，而且对于引用类型的实例方法，它还会自动检查this是否为null，更安全）。
  举个Getter的例子，假设基类有protected int GetValue()，子类Getter的IL应该这么写：

  ldarg.0          // 加载当前实例this到栈上
  callvirt instance int BaseClass::GetValue()  // 调用基类方法
  ret              // 返回结果
  

• 严格遵守IL的栈操作规则
  栈不平衡是InvalidProgramException最常见的诱因：调用方法前没有把足够的参数（包括this）压入栈，或者调用后没有正确处理返回值，都会让CLR直接报错。
  比如Setter场景，基类有protected void SetValue(int value)，你的Setter IL应该是：

  ldarg.0          // 压入this实例
  ldarg.1          // 压入传入的value参数
  callvirt instance void BaseClass::SetValue(int32)
  ret
  

  最省心的办法是：手动写一个继承基类并调用基方法的普通子类，用ILDasm反编译它的IL，对比你生成的IL找差异——照着正确的模板改准没错。

• 确保属性访问器符合CLR规范
  Getter必须是无参数、有返回值的方法；Setter必须是单参数、无返回值的方法。如果你的IL生成的访问器不符合这个规则，CLR加载时就会抛出异常。另外，属性的SpecialName和HideBySig标志要正确设置，不然CLR可能无法识别这是属性的Getter/Setter。

• 用PEVerify工具定位问题
  别光瞎试IL代码，遇到异常时用peverify.exe（VS命令行工具里自带）验证你生成的程序集，它会精准告诉你哪一行IL有问题——比如栈不平衡、调用目标不存在、类型不匹配等，比自己猜问题高效太多。

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