空合併操作符含義？

Question

後來我編譯了兩個版本的代碼，一個使用(Nullable<T>)x.GetValueOrDefault(y)，另一個使用(Nullable<T>)x ?? y)。

在反編譯爲IL後，我注意到空合併運算符被轉換爲GetValueOrDefault調用。

由於這是一個方法調用，可以傳遞一個表達式，該表達式在執行該方法之前被評估，因此似乎總是執行y。

例如：

using System; 

public static class TestClass 
{ 
    private class SomeDisposable : IDisposable 
    { 
     public SomeDisposable() 
     { 
      // Allocate some native resources 
     } 

     private void finalize() 
     { 
      // Free those resources 
     } 

     ~SomeDisposable() 
     { 
      finalize(); 
     } 

     public void Dispose() 
     { 
      finalize(); 
      GC.SuppressFinalize(this); 
     } 
    } 

    private struct TestStruct 
    { 
     public readonly SomeDisposable _someDisposable; 
     private readonly int _weirdNumber; 

     public TestStruct(int weirdNumber) 
     { 
      _weirdNumber = weirdNumber; 
      _someDisposable = new SomeDisposable(); 
     } 
    } 

    public static void Main() 
    { 
     TestStruct? local = new TestStruct(0); 

     TestStruct local2 = local ?? new TestStruct(1); 

     local2._someDisposable.Dispose(); 
    } 
} 

似乎導致成不適對象，並可能影響性能了。

首先，這是真的嗎？或者JIT或類似的東西改變了實際執行的ASM代碼？

其次，有人可以解釋爲什麼它有這種行爲？

NOTE：這只是一個例子，它不是基於真實的代碼，並且請不要發表評論，如「這是錯誤的代碼」。

IL DASM：
好的，當我.Net框架2.0編譯此它導致相同碼與呼叫空聚結和GetValueOrDefault。使用.NET Framework 4.0中，它會產生這兩個代碼：

GetValueOrDefault：

.method private hidebysig static void Main() cil managed 
{ 
    .entrypoint 
    // Code size  19 (0x13) 
    .maxstack 2 
    .locals init ([0] valuetype [mscorlib]System.Nullable`1<int32> nullableInt, 
      [1] int32 nonNullableInt) 
    IL_0000: nop 
    IL_0001: ldloca.s nullableInt 
    IL_0003: initobj valuetype [mscorlib]System.Nullable`1<int32> 
    IL_0009: ldloca.s nullableInt 
    IL_000b: ldc.i4.1 
    IL_000c: call  instance !0 valuetype [mscorlib]System.Nullable`1<int32>::GetValueOrDefault(!0) 
    IL_0011: stloc.1 
    IL_0012: ret 
} // end of method Program::Main 

空凝聚：

.method private hidebysig static void Main() cil managed 
{ 
    .entrypoint 
    // Code size  32 (0x20) 
    .maxstack 2 
    .locals init (valuetype [mscorlib]System.Nullable`1<int32> V_0, 
      int32 V_1, 
      valuetype [mscorlib]System.Nullable`1<int32> V_2) 
    IL_0000: nop 
    IL_0001: ldloca.s V_0 
    IL_0003: initobj valuetype [mscorlib]System.Nullable`1<int32> 
    IL_0009: ldloc.0 
    IL_000a: stloc.2 
    IL_000b: ldloca.s V_2 
    IL_000d: call  instance bool valuetype [mscorlib]System.Nullable`1<int32>::get_HasValue() 
    IL_0012: brtrue.s IL_0017 
    IL_0014: ldc.i4.1 
    IL_0015: br.s  IL_001e 
    IL_0017: ldloca.s V_2 
    IL_0019: call  instance !0 valuetype [mscorlib]System.Nullable`1<int32>::GetValueOrDefault() 
    IL_001e: stloc.1 
    IL_001f: ret 
} // end of method Program::Main 

事實證明，這是不再的情況下並且當HasValue返回false時，它完全跳過GetValueOrDefault呼叫。

Answer 1

反編譯後，我注意到，空合併運算符轉換爲GetValueOrDefault調用。

x ?? y被轉換成x.HasValue ? x.GetValueOrDefault() : y。它不會被轉換爲x.GetValueOrDefault(y)，如果是的話，它會是一個編譯器錯誤。你是對的，y不應該評估，如果x不爲空，它不是。

編輯：如果y的評價，可以無副作用證明（這裏的「副作用」包括「拋出一個異常」），然後轉化爲x.GetValueOrDefault(y)不一定是錯的，但它仍然是一個我認爲編譯器不會執行的轉換：並不是所有這些優化都會有用的情況。