Mono 方法元数据解析：运行时方法结构、反射成本与跨语言调用

引言：跨语言调用事故的共同根源

反射调用报 NullReferenceException、参数类型不匹配抛 InvalidCastException、C++ 嵌入 Mono 调用托管方法直接内存访问违规——这些事故的根源通常不在业务逻辑，而在对方法元数据结构与互操作规则的理解不足。方法元数据是运行时描述"一个方法长什么样"的载体，理解它在原生与托管两侧的存在形态，是反射、跨语言互操作与性能优化的基础。

一、方法元数据的两层形态

1.1 原生侧：MonoMethod 结构

Mono 运行时（C 实现）内部用MonoMethod结构表达方法元数据，其唯一性由四元组决定：所属类型 + 方法名 + 参数签名 + 泛型实例（仅靠"命名空间::类名::方法名"三段式无法区分重载，签名必须参与定位）。结构内包含：

• 参数类型列表与调用约定（决定 ABI 与 Marshalling 规则）；
• 方法头（MonoMethodHeader）：局部变量表、异常处理表、最大栈深度；
• IL 字节码指针与 JIT 编译后的原生代码入口（首次调用时惰性生成）。

1.2 托管侧：MethodInfo 反射接口

C# 反射体系中的MethodInfo是托管层对方法元数据的公开视图（Mono 内部实现经句柄关联原生结构）。注意区分：不存在公开的可强转的 "MonoMethod" 托管类，托管代码只能经由System.Reflection操作：