使用C# Emit生成DateOnly转DateTime动态方法报错求助

一、内存保护错误的常见原因 #

你遇到的内存访问错误，基本都是IL栈操作不规范导致的——CLR对栈的参数数量、类型匹配有严格要求，一旦出错就会触发非法内存访问。针对你的场景，重点检查这几点：

1. 实例方法的调用前提
   DateOnly.ToDateTime是实例方法，调用前必须先加载DateOnly实例（也就是动态方法的输入参数）。如果Emit代码漏了OpCodes.Ldarg_0，栈上没有实例对象，调用方法时就会访问非法内存。

2. 方法签名与调用指令匹配
   要确保获取的MethodInfo是DateOnly.ToDateTime(TimeOnly)这个重载，调用时用OpCodes.Callvirt（实例方法调用），如果误写成OpCodes.Call（静态方法调用），会直接导致栈结构错误。

3. 返回值与ret指令
   动态方法的返回类型必须设为DateTime，且最后必须调用OpCodes.Ret返回结果，遗漏ret会让CLR执行到非法内存区域。

正确的Emit代码示例 #

// 定义动态方法：输入DateOnly，返回DateTime
var dynamicMethod = new DynamicMethod(
    "DateOnlyToDateTime",
    typeof(DateTime),
    new[] { typeof(DateOnly) },
    typeof(Program).Module);

var il = dynamicMethod.GetILGenerator();

// 1. 加载输入的DateOnly实例（第一个参数）
il.Emit(OpCodes.Ldarg_0);
// 2. 构造TimeOnly(0)：加载0，调用TimeOnly的int参数构造函数
il.Emit(OpCodes.Ldc_I4_0);
il.Emit(OpCodes.Newobj, typeof(TimeOnly).GetConstructor(new[] { typeof(int) })!);
// 3. 调用DateOnly.ToDateTime实例方法
il.Emit(OpCodes.Callvirt, typeof(DateOnly).GetMethod(nameof(DateOnly.ToDateTime), new[] { typeof(TimeOnly) })!);
// 4. 返回结果
il.Emit(OpCodes.Ret);

// 创建委托并测试
var converter = (Func<DateOnly, DateTime>)dynamicMethod.CreateDelegate(typeof(Func<DateOnly, DateTime>));
var result = converter(DateOnly.FromDateTime(DateTime.Now));

二、反编译IL中局部变量与无条件分支的作用 #

你看到的额外DateTime局部变量和无条件分支，是Roslyn编译器的代码生成模板产物，没有实际功能意义。比如你写的C#代码：

public static DateTime Convert(DateOnly date)
{
    return date.ToDateTime(new TimeOnly(0));
}

反编译后的IL可能会有类似这样的代码：

.locals init ([0] DateTime V_0)
IL_0000: ldarg.0
IL_0001: ldc.i4.0
IL_0002: newobj instance void [System.Runtime]System.TimeOnly::.ctor(int32)
IL_0007: callvirt instance valuetype [System.Runtime]System.DateTime [System.Runtime]System.DateOnly::ToDateTime(valuetype [System.Runtime]System.TimeOnly)
IL_000c: stloc.0
IL_000d: br.s IL_000f
IL_000f: ldloc.0
IL_0010: ret

• 局部变量V_0：编译器把方法结果先存到局部变量，再加载返回——这是编译器统一处理多return路径的模板，哪怕只有一个return，也会沿用这个逻辑。
• 无条件分支br.s IL_000f：同样是模板的一部分，没有实际跳转必要，直接在IL_0007后ret完全没问题。

你自己写Emit代码时完全可以忽略这些冗余部分，直接调用方法后返回即可，不会影响功能。

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