Wykrywanie przepełnienia liczby całkowitej

Question

Jak wykryć przepełnienie liczby całkowitej w D? (Sprawdź flagę carry?)

oryginalny przykład:

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

Revised przykład:

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? 

także z mnożenia i pre/post-przyrostu.

Answer 1

Można go sprawdzić dość łatwo z jakimś zespołem inline:

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 */ 

Uwaga: prawdopodobnie nie da się tego w funkcji, ponieważ wywołanie funkcji można wyzerować flagę. Będziesz chciał umieścić go bezpośrednio po operacji, którą jesteś zainteresowany.

Możliwe jest stworzenie typu, który wykorzystuje przeciążenie operatora do wyrzucenia przy przepełnieniu: http://arsdnet.net/dcode/ranged.d jest jednym z przykładów. Lub myślę, że moduł jest std.bigint w standardowej bibliotece, która unika przepełnienia, oferując arbitralnie dużą liczbę całkowitą.

Answer 2

Na początek kod, który podałeś, nie będzie się nawet kompilował, ponieważ cała matematyka całkowita o rozmiarach mniejszych niż int jest wykonywana z int. Zatem wynikiem a + b jest int, a int nie będzie domyślnie konwertować na ubyte, ponieważ jest to konwersja zawężająca. Jeśli chcesz go przypisać do c, musisz go przesłać.

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

Teraz, to oczywiście Niesprawdzony konwersji i będzie szczęśliwie rzeczy 44 do c (ponieważ jest to wynikiem obsady danej wartości 100 i 200). Jeśli chcesz zaznaczony konwersję, a następnie użyć std.conv.to:

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

To rzuci ConvOverflowException (która jest podklasą ConvException), ponieważ wynik nie będzie pasował do żądanego typu.

Jeśli chcesz sam wykonać rzut, a następnie sprawdzić, czy doszło do przepełnienia, to jesteś w zasadzie tą samą łodzią, co C/C++, i nie ma żadnych flag przenoszenia ani niczego podobnego. Być może takie rzeczy istnieją, jeśli sprawdzasz za pomocą kodu zespołu. Nie wiem Ale język z pewnością nie zapewnia czegoś takiego. std.conv.to oblicza go, sprawdzając wynik i sprawdzając, czy jest zbyt duży lub zbyt mały (w zależności od znaku i rodzaju argumentu).