當您將Int32設置爲等於Int16時，幕後會發生什麼？

Question

當我這樣做時，發生在低級別的事情是什麼？

Int32 a = 0; 
Int16 b = 50; 

a = b; 

Answer 1

事情是這樣的：

IL_0001: /* 1F | 32    */ ldc.i4.s 50 
IL_0003: /* 0B |     */ stloc.1 
IL_0004: /* 07 |     */ ldloc.1 
IL_0005: /* 0A |     */ stloc.0 

在一個較低的水平，這取決於機器架構和優化水平。這樣的代碼特別的，沒有效果，可能完全被省略。否則，這將是簡單的代碼，或許是這樣的：

movsx eax, word ptr [ebp+12] 
mov [ebp+8], eax 

movsx是x86指令它保存在它被裝載到一個更大的目標更短的數字的符號;基本上，它會查看較小數據源的最重要位，並在擴展數字時將其複製到其餘位中。

Answer 2

從反射器：

.method public hidebysig static void Main() cil managed 
{ 
    .entrypoint 
    .maxstack 1 
    .locals init (
     [0] int32 num, 
     [1] int16 num2) 
    L_0000: nop 
    L_0001: ldc.i4.0   ; Load the constant 0 
    L_0002: stloc.0   ; Store the value into local var 0 
    L_0003: ldc.i4.s 50  ; Load the constant 50 - notice it treats it as a 32-bit value 
    L_0005: stloc.1   ; Store the value into local var 1 
    L_0006: ldloc.1   ; Load local var 1 
    L_0007: stloc.0   ; Store the value into local var 0 
    L_0008: ret 
} 

在IL級，沒有什麼特別發生在分配，但是請注意ldc.i4.s 50對待字面值作爲一個4字節（32位）整數。

當代碼編譯爲JIT時，生成的彙編代碼可能只是將值50提升爲32位寬的值。

Answer 3

評估堆棧沒有小於32位的表示。 [編輯，大多數個案（感謝您對評論的更新:)]直到您實際存儲除堆棧以外的某個16位值，沒有任何特殊情況發生，因爲short和int的大小相同。這裏是唯一的操作，其中，你會看到一個區別：

• b = (short)a
  會結果的16位符號擴展到一個完整的32位寬的變量。這是評論中提到的conv.i4指令。
• *(short*)c = b或分配到該結構被標記StructLayout.Explicit或具有結構構件的襯墊小於4
  只會寫入其32位表示的低16位。
• checked { b = (short)a; }
  如果(a < -32768 || a > 32767)會拋出異常。