3

今日、Long(Int64)をInteger(Int32)に変換する際に問題が発生しました。問題は、私のコードが常に32ビット環境で機能していたことですが、64ビットコンピューターで同じ実行可能ファイルを試してみると、System.OverflowException例外でクラッシュします

Visual Studio 2008で、デフォルト設定の新しいプロジェクトでこのテストコードを準備しました。

Module Module1

    Sub Main()
      Dim alpha As Long = -1
      Dim delta As Integer

      Try
         delta = CInt(alpha And UInteger.MaxValue)
         Console.WriteLine("CINT OK")
         delta = Convert.ToInt32(alpha And UInteger.MaxValue)
         Console.WriteLine("Convert.ToInt32 OK")
      Catch ex As Exception
         Console.WriteLine(ex.GetType().ToString())
      Finally
         Console.ReadLine()
      End Try
   End Sub

End Module

私の32ビットセットアップ(Windows XPSP332ビットおよびWindows732ビット)では「CINTOK」まで出力されますが、64ビットコンピューター(Windows 7 64ビット)では同じものをテストしました実行可能では、例外名のみを出力します。

この動作は文書化されていますか?参照を見つけようとしましたが、惨めに失敗しました。

参考までに、CILコードも残しておきます。

.method public static void  Main() cil managed
{
  .entrypoint
  .custom instance void [mscorlib]System.STAThreadAttribute::.ctor() = ( 01 00 00 00 )
  // Code size       88 (0x58)
  .maxstack  2
  .locals init ([0] int64 alpha,
           [1] int32 delta,
           [2] class [mscorlib]System.Exception ex)
  IL_0000:  nop
  IL_0001:  ldc.i4.m1
  IL_0002:  conv.i8
  IL_0003:  stloc.0
  IL_0004:  nop
  .try
  {
    .try
    {
      IL_0005:  ldloc.0
      IL_0006:  ldc.i4.m1
      IL_0007:  conv.u8
      IL_0008:  and
      IL_0009:  conv.ovf.i4
      IL_000a:  stloc.1
      IL_000b:  ldstr      "CINT OK"
      IL_0010:  call       void [mscorlib]System.Console::WriteLine(string)
      IL_0015:  nop
      IL_0016:  ldloc.0
      IL_0017:  ldc.i4.m1
      IL_0018:  conv.u8
      IL_0019:  and
      IL_001a:  call       int32 [mscorlib]System.Convert::ToInt32(int64)
      IL_001f:  stloc.1
      IL_0020:  ldstr      "Convert.ToInt32 OK"
      IL_0025:  call       void [mscorlib]System.Console::WriteLine(string)
      IL_002a:  nop
      IL_002b:  leave.s    IL_0055
    }  // End .try
    catch [mscorlib]System.Exception
    {
      IL_002d:  dup
      IL_002e:  call       void [Microsoft.VisualBasic]Microsoft.VisualBasic.CompilerServices.ProjectData::SetProjectError(class [mscorlib]System.Exception)
      IL_0033:  stloc.2
      IL_0034:  nop
      IL_0035:  ldloc.2
      IL_0036:  callvirt   instance class [mscorlib]System.Type [mscorlib]System.Exception::GetType()
      IL_003b:  callvirt   instance string [mscorlib]System.Type::ToString()
      IL_0040:  call       void [mscorlib]System.Console::WriteLine(string)
      IL_0045:  nop
      IL_0046:  call       void [Microsoft.VisualBasic]Microsoft.VisualBasic.CompilerServices.ProjectData::ClearProjectError()
      IL_004b:  leave.s    IL_0055
    }  // End handler
  }  // End .try
  finally
  {
    IL_004d:  nop
    IL_004e:  call       string [mscorlib]System.Console::ReadLine()
    IL_0053:  pop
    IL_0054:  endfinally
  }  // End handler
  IL_0055:  nop
  IL_0056:  nop
  IL_0057:  ret
} // End of method Module1::Main

動作が異なる命令は、conv.ovf.i4またはldc.i4.m1/conv.u8ペアのいずれかであると思われます。

何が起こっている?

Convert.ToInt32(long)両方の環境で失敗します。動作が異なるのはCInt(Long)だけです。

4

4 に答える 4

2

残念ながら、64 ビット バージョンは正確です。これは実際にはオーバーフローです。式の結果は、値が &hffffffff の long になります。符号ビットは値から AND 演算され、負ではなくなります。結果の値は整数に変換できません。最大の整数値は &h7ffffff です。これは、次のコードをスニペットに追加することで確認できます。

 Dim value As Long = alpha And UInteger.MaxValue
 Console.WriteLine(value)

出力: 4294967295

x64 ジッタは、まったく異なる方法でオーバーフローをチェックします。CPU オーバーフロー例外に依存するのではなく、値を Integer.MaxValue および Integer.MinValue と明示的に比較します。x86 のジッターは、コードを最適化しすぎて、CPU 例外を発生させない符号なし操作を行うことになります。

connect.microsoft.com でバグ レポートを提出することは、おそらく努力する価値はありません。x86 のジッターに対してこれを修正すると、劇的な破壊的変更になります。このロジックを作り直す必要があります。方法がわからない、あなたが何をしようとしているのかわかりません。

于 2010-05-06T20:42:42.117 に答える
0

そのような実際の参照はわかりませんが、このページにアクセスすると、次のようになります。

http://msdn.microsoft.com/en-us/library/system.int32.aspx

彼らが使用しているサンプルで、ハンドラーCIntでラップしていることがわかります(そのページで検索して見つけてください)。したがって、少なくとも彼らは、特定の状況でそれを投げることができると暗黙のうちに言っています。OverflowExceptionCIntCInt

例外がスローされないようにする場合はRemove integer overflow checks、[高度なコンパイルオプション]ページで設定を変更できます。

于 2010-05-06T19:44:29.400 に答える
0

ビルド プラットフォーム ターゲットを「任意の CPU」から「x86」に変更してみてください。

于 2010-05-06T20:32:35.530 に答える
0

この問題のドキュメントを完成させるために、私はこれを作成しました:

Imports System.Runtime.InteropServices

Module Module1
   <DllImport("KERNEL32.DLL", EntryPoint:="DebugBreak", _
        SetLastError:=False, CharSet:=CharSet.Unicode, _
        ExactSpelling:=True, _
        CallingConvention:=CallingConvention.StdCall)> _
        Public Sub DebugBreak()
   End Sub

   Sub Main()
      Dim alpha As Long = -1
      Dim delta As Integer

      DebugBreak() ' To call OllyDbg
      ' Needed to prevent the jitter from raising the overflow exception in the second CInt without really doing the convertion first
      alpha = alpha Xor Environment.TickCount
      Console.WriteLine(alpha)

      delta = CInt(alpha And UInteger.MaxValue)
      Console.WriteLine(delta)

      alpha = alpha And UInteger.MaxValue
      delta = CInt(alpha)
      Console.WriteLine(delta)

      Console.ReadLine()
   End Sub
End Module

OllyDbg を使用すると、次のようになりました。

CPU Disasm
Address   Hex dump          Command                                  Comments
00D10070    55              PUSH EBP
00D10071    8BEC            MOV EBP,ESP
00D10073    57              PUSH EDI
00D10074    56              PUSH ESI
00D10075    53              PUSH EBX
00D10076    E8 A1BFC7FF     CALL 0098C01C
00D1007B    E8 A18C1879     CALL <JMP.&KERNEL32.GetTickCount>        ; Jump to KERNEL32.GetTickCount
00D10080    99              CDQ
00D10081    F7D0            NOT EAX
00D10083    F7D2            NOT EDX
00D10085    8BF0            MOV ESI,EAX
00D10087    8BFA            MOV EDI,EDX
00D10089    E8 62D25D78     CALL 792ED2F0                            ; Called everytime Console is referenced here
00D1008E    57              PUSH EDI
00D1008F    56              PUSH ESI
00D10090    8BC8            MOV ECX,EAX
00D10092    8B01            MOV EAX,DWORD PTR DS:[ECX]
00D10094    FF90 C4000000   CALL DWORD PTR DS:[EAX+0C4]              ; Console.WriteLine(Int64)
00D1009A    8BDE            MOV EBX,ESI                              ; Note: EDI:ESI holds alpha variable
00D1009C    83E3 FF         AND EBX,FFFFFFFF                         ; delta = CInt(alpha And UInteger.MaxValue)
00D1009F    E8 4CD25D78     CALL 792ED2F0
00D100A4    8BC8            MOV ECX,EAX
00D100A6    8BD3            MOV EDX,EBX
00D100A8    8B01            MOV EAX,DWORD PTR DS:[ECX]
00D100AA    FF90 BC000000   CALL DWORD PTR DS:[EAX+0BC]              ; Console.WriteLine(Int32)
00D100B0    33FF            XOR EDI,EDI                              ; alpha = alpha And UInteger.MaxValue
00D100B2    85F6            TEST ESI,ESI                             ; delta = CInt(alpha) [Begins here]
00D100B4    7C 06           JL SHORT 00D100BC
00D100B6    85FF            TEST EDI,EDI
00D100B8    75 2B           JNE SHORT 00D100E5
00D100BA    EB 05           JMP SHORT 00D100C1
00D100BC    83FF FF         CMP EDI,-1
00D100BF    75 24           JNE SHORT 00D100E5
00D100C1    8BDE            MOV EBX,ESI                              ; delta = CInt(alpha) [Ends here]
00D100C3    E8 28D25D78     CALL 792ED2F0
00D100C8    8BC8            MOV ECX,EAX
00D100CA    8BD3            MOV EDX,EBX
00D100CC    8B01            MOV EAX,DWORD PTR DS:[ECX]
00D100CE    FF90 BC000000   CALL DWORD PTR DS:[EAX+0BC]              ; Console.WriteLine(Int32)
00D100D4    E8 1B1AA878     CALL 79791AF4
00D100D9    8BC8            MOV ECX,EAX
00D100DB    8B01            MOV EAX,DWORD PTR DS:[ECX]
00D100DD    FF50 64         CALL DWORD PTR DS:[EAX+64]
00D100E0    5B              POP EBX
00D100E1    5E              POP ESI
00D100E2    5F              POP EDI
00D100E3    5D              POP EBP
00D100E4    C3              RETN

ご覧のように、2 番目の CInt 文は単純な AND よりもはるかに複雑です (EBX は変更されず、EFLAGS はどこにも消費されないため、実際には抑制できます)。この問題の考えられる原因は、ハンスの回答に見られます

于 2010-05-06T22:20:57.817 に答える