Что такое строгая типизированность в Java

Java — строго типизированный язык: каждая переменная и выражение имеет конкретный тип, известный на этапе компиляции. Компилятор проверяет соответствие типов и не позволяет выполнять операции между несовместимыми типами без явного приведения.

Пример:

int a = 5;
String b = "10";
// int c = a + b; // Ошибка компиляции - несовместимые типы
int c = a + Integer.parseInt(b); // Явное приведение типа

Особенности:

• Нельзя изменить тип переменной после объявления
• Автоматические преобразования только между совместимыми типами (например, int → long)
• Для объектов проверяется иерархия наследования
• Generics добавляют дополнительный уровень проверки типов