Dlaczego int i = 1024 * 1024 * 1024 * 1024 skompilować bez błędu?

1024 * 1024 * 1024 * 1024 i 2147483648 nie mają tej samej wartości w Javie.

Właściwie, 2147483648 nie jest nawet wartością(chociaż 2147483648L jest) w Javie. Kompilator dosłownie nie wie, co to jest, ani jak z niego korzystać. Więc jęczy.

1024 jest poprawną wartością int w języku Java, a poprawna int pomnożona przez inną poprawną int jest zawsze poprawną int. Nawet jeśli nie jest to ta sama wartość, której intuicyjnie oczekujesz, ponieważ obliczenia przepełnią się.

Przykład

Rozważ przykład kodu:

public static void main(String[] args) {
    int a = 1024;
    int b = a * a * a * a;
}

Czy spodziewasz się, że wygeneruje to błąd kompilacji? Teraz staje się trochę bardziej śliska.
Co zrobić, jeśli umieścimy pętlę z 3 iteracjami i pomnożony w pętli?

Kompilator może optymalizować, ale nie może zmienić zachowania programu w trakcie jego działania.

Kilka informacji o tym, jak ta sprawa jest faktycznie prowadzona:

W Javie i wielu innych językach liczby całkowite będą składać się ze stałej liczba bitów. Obliczenia, które nie mieszczą się w podanej liczbie bitów, będą przepełnione ; obliczenia są zasadniczo wykonywane moduł 2^32 w Javie, po czym wartość jest zamieniana z powrotem na signed integer.

Inne języki lub API używają dynamicznej liczby bitów (BigInteger w Javie), wywołują wyjątek lub ustawiają wartość magiczną, taką jak not-a-number.

Nie mam pojęcia, dlaczego drugi wariant nie powoduje błędu.

Zachowanie, które sugerujesz -- to jest Tworzenie komunikatu diagnostycznego, gdy obliczenia dają wartość większą niż największa wartość, która może być przechowywana w liczbie całkowitej -- jest funkcją . Aby korzystać z dowolnej funkcji, funkcja musi być pomyślana, uważana za dobry pomysł, zaprojektowana, określona, wdrożona, przetestowana, udokumentowana i wysłana do użytkowników.

Dla Javy, jedna lub więcej rzeczy na tej liście nie wydarzyło się, a zatem nie masz tej funkcji. Nie wiem który, trzeba by zapytać projektanta Javy.

Dla C#, wszystkie te rzeczy się wydarzyły-około czternaście lat temu-i tak odpowiedni program w C# wyprodukował błąd od C# 1.0.

Oprócz odpowiedzi arszajii chcę pokazać jeszcze jedną rzecz:

To nieprzypisanie powoduje błąd, ale po prostu użycie dosłownego . Kiedy spróbujesz

long i = 2147483648;

Zauważysz, że powoduje również błąd kompilacji, ponieważ prawa strona nadal jest literalna int i jest poza zasięgiem.

Więc operacje z int - wartościami (i to łącznie z przypisaniami) mogą przepełnić się bez błędu kompilacji( i bez błędu runtime), ale kompilator nie radzi sobie z tymi zbyt dużymi literałami.

O: ponieważ to nie jest błąd.

Background: mnożenie 1024 * 1024 * 1024 * 1024 doprowadzi do przepełnienia. Przepełnienie jest bardzo często błędem. Różne języki programowania wytwarzają różne zachowania, gdy występują przepełnienia. Na przykład, C i C++ nazywają to "niezdefiniowanym zachowaniem" dla podpisanych liczb całkowitych, a zachowanie jest zdefiniowane jako niepodpisane liczby całkowite (weź wynik matematyczny, dodaj UINT_MAX + 1 tak długo, jak wynik jest ujemny, odjmij UINT_MAX + 1 tak długo, jak wynik jest większy niż UINT_MAX).

W przypadku Javy, jeśli wynik operacji z wartościami int nie mieści się w dozwolonym zakresie, koncepcyjnie Java dodaje lub odejmuje 2^32, dopóki wynik nie znajdzie się w dozwolonym zakresie. Tak więc oświadczenie jest całkowicie legalne i nie jest błędne. To po prostu nie daje rezultatu, na który możesz mieć nadzieję.

Możesz z pewnością argumentować, czy takie zachowanie jest pomocne i czy kompilator powinien dać ci Ostrzeżenie. Osobiście powiedziałbym, że Ostrzeżenie byłoby bardzo przydatne, ale błąd byłby nieprawidłowy, ponieważ jest to legalna Java.