12

我目前正在处理一个涉及System.Reflection.Emit代码生成的问题。我试图弄清楚在我将default(SomeType)在 C# 中使用的地方发出什么 CIL。

我从 Visual Studio 11 Beta 运行了一些基本实验。JustDecompiledefault(bool)向我显示了、default(string)和的以下 CIL 输出default(int?：

.locals init (
    [0] bool                                         V_0,
    [1] string                                       V_1,
    [2] valuetype [mscorlib]System.Nullable`1<int32> V_2    
)

// bool b = default(bool);
ldc.i4.0
stloc.0

// string s = default(string);
ldnull
stloc.1

// int? ni = default(int?);
ldloca.s V_2
initobj valuetype [mscorlib]System.Nullable`1<int32>

由此看来default(T)，编译器似乎已将其解析为给定类型的最合适的 CIL。

我继续使用三种通用方法查看在更一般的情况下会发生什么：

T CreateStructDefault<T>() where T : struct { return default(T); }
T CreateClassDefault<T>()  where T : class  { return default(T); }
T CreateClassNull<T>()     where T : class  { return null;       }

所有三种方法都产生相同的 CIL 方法体：

.locals init (
    [0] !!T V_0,
    [1] !!T V_1
)

IL_0000: nop    
IL_0001: ldloca.s V_1
IL_0003: initobj !!T
IL_0009: ldloc.1
IL_000a: stloc.0
IL_000b: br.s IL_000d
IL_000d: ldloc.0
IL_000e: ret

问题：

我能从这一切中得出结论，C#default(SomeType)最接近 CIL 的……

  • initobj对于非原始类型（除了string？）
  • ldc.iX.0//ldnull等对于原始类型（加号string）？

为什么不CreateClassNull<T>只是翻译成ldnull，而是翻译成initobj？毕竟，ldnull是为string（这也是一个引用类型）发出的。

4

2 回答 2

15

我可以从所有这些中得出结论，C#default(SomeType)最接近于 CIL 的initobj非原始类型和ldc.i4.0,ldnull等。

这是一个合理的总结，但更好的思考方式是：如果 C# 编译器将分类default(T)为编译时常量，则发出该常量的值。数字类型为零，bool 为 false，任何引用类型为 null。如果它不会被归类为常量，那么我们必须 (1) 发出一个临时变量，(2) 获取临时变量的地址，(3) 通过其地址初始化该临时变量，以及 (4) 确保临时变量的值是在需要时在堆栈上。

为什么不CreateClassNull<T>只是转换为 ldnull，而是转换为 initobj？

好吧，让我们按照自己的方式去做，看看会发生什么：

... etc
.class private auto ansi beforefieldinit P
       extends [mscorlib]System.Object
{
  .method private hidebysig static !!T  M<class T>() cil managed
  {
    .maxstack  1
    ldnull
    ret
  } 
  ... etc

...

D:\>peverify foo.exe

Microsoft (R) .NET Framework PE Verifier.  Version  4.0.30319.17379
Copyright (c) Microsoft Corporation.  All rights reserved.

[IL]: Error: 
[d:\foo.exe : P::M[T]]
[offset 0x00000001]
[found Nullobjref 'NullReference']     
[expected (unboxed) 'T'] 
Unexpected type on the stack.
1 Error(s) Verifying d:\foo.exe

这可能就是我们不这样做的原因。

于 2012-05-01T16:38:14.083 回答
1

是的，就是default这样。0您推断它只是基本（或等价物）的语法糖是正确的。

于 2012-05-01T15:59:20.297 回答