整数のオーバーフローを検出する

Question

Dの整数オーバーフローを検出する方法は？ （キャリーフラグをチェックする？）

オリジナル例：

ubyte a = 100; 
ubyte b = 200; 
ubyte c = a + b; 
// c can't represent 300; how to detect the overflow now? 

改訂例：乗算とプリ/ポストインクリメントとも

uint a = 2_000_000_000; 
uint b = 3_000_000_000; 
uint c = a + b; 
// c can't represent 5_000_000_000; how to detect the overflow now? 

。

Answer 1

あなたは、いくつかのインラインアセンブリでかなり簡単に確認できます。

asm { jo overflowed; } // for checking signed types 
// or 
asm { jc overflowed; } // use this for checking unsigned types 

/* continue going */ 

return; 

overflowed: 

/* do whatever to handle it */ 

注：関数を呼び出すと、フラグをリセットすることができますので、あなたはおそらく機能でこれを置くことができません。関心のある操作の直後にインラインで配置したいと考えています。 http://arsdnet.net/dcode/ranged.dは、オーバーフローを起こすために演算子のオーバーロードを使用する型を作ることができます： http://arsdnet.net/dcode/ranged.dあるいは、モジュールは、標準的なライブラリのstd.bigintだと思います。これは、任意の大きな整数型を提供することによってオーバーフローを回避します。

Answer 2

intより小さいすべての整数の計算がintで行われるため、最初に入力したコードはコンパイルされません。したがって、a + bの結果はintであり、intは暗黙的にubyteに変換されません。これはその変換が狭いためです。それをcに割り当てる場合は、それをキャストする必要があります。

ubyte c = cast(ubyte)(a + b); 

は今、それは明らかに未チェックの変換だし、（それが100と200の値が与えられたキャストの結果なので）それが楽しくcに44を詰め込むます。あなたがチェックし、変換したい場合は、std.conv.toを使用します。結果は要求された型に収まらないので、（ConvExceptionのサブクラスである）ConvOverflowExceptionをスローします

ubyte c = to!ubyte(a + b); 

。

キャストを自分で行い、オーバーフローがあったかどうかを確認するには、C/C++と本質的に同じボートにあり、キャリーフラグや並べ替えがありません。おそらく、あなたがアセンブリコードでチェックすると、そんなことがあるかもしれません。知りません。しかし、言語は確かにそのようなものを提供しません。 std.conv.toは、結果をチェックして、大きすぎるか小さすぎるかを調べることによって（引数の符号と型によって）調べます。