Чем строгая типизированность в Java связана с примитивными типами данных

Java — строго типизированный язык, где каждая переменная и выражение имеет конкретный тип, известный на этапе компиляции. Примитивные типы (int, double, boolean и др.) — это базовая часть системы типов Java. Они хранят значения напрямую, а не ссылки, и их строгая типизация означает:

1. Неявные преобразования ограничены (например, int нельзя автоматически привести к boolean).
2. Явное приведение требуется при сужающих преобразованиях (double → int).
3. Отсутствие null — примитивы не могут быть null, в отличие от объектов.

Пример:

int a = 10;
double b = a; // Неявное расширение (int → double)
int c = (int) b; // Явное сужение (требуется приведение)
boolean d = true; // boolean не конвертируется в int