Dlaczego liczba całkowita typów danych przepełnia się po cichu, a nie wyrzuca wyjątku

Question

Nauczyłem się (co najmniej w języku Java), że wartości całkowite/długie przepełniają się w trybie cichym, a ich wartości zaczynają się od wartości minimalnej na przepełnieniu, a nie rzucają żadnego wyjątku.

Użyłem zewnętrznego interfejsu API dla niektórych operacji na plikach, w których maksymalny rozmiar pliku był ładowany z pliku właściwości. Wszystko było w porządku w moim lokalnym środowisku testowym. Jak tylko kod przeszedł do środowiska na żywo, maksymalny limit rozmiaru pliku nie działał w ogóle. Po dwóch dniach debugowania/analizy kodu, nie było żadnego sukcesu. Następnie z innych powodów wziąłem plik live constants.properties i debugowałem go za pomocą tego pliku. o_0

Po prostu chcę zapytać, co przeszkodziło im rzucić wyjątek na przepełnienie?

Answer 1

W wielu przypadkach Java jest oparta na C lub C++ i są one oparte na Zgromadzeniu. Przepełnienie/niedopełnienie jest ciche w C i C++ i prawie bezgłośne w montażu (chyba że zaznaczysz specjalne flagi). Wynika to prawdopodobnie z faktu, że C i C++ nie miały wyjątków, kiedy były po raz pierwszy proponowane. Jeśli chcesz zobaczyć przepełnienia/niedopełnienia, użyłeś większego typu. na przykład long long int lub long double;) Zestaw BTW ma coś podobnego do wyjątków zwanych pułapkami lub przerwań, przepełnienia/niedopełnienia nie powodują pułapki AFAIK.

Co wolę użyć: long i double, chyba że jestem pewien, że te typy są znacznie większe niż potrzebne. Nie możesz mieć urządzenia, które przepełnia rozmiar long.

Answer 2

Powodem jest "ponieważ specyfikacja języka Java mówi tak".

Section 4.2.2. Integer Operations z JLS mówi:

Operatorzy całkowitymi nie wskazują przepełnienia w jakikolwiek sposób.