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

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

Пример:

int number = 10; // тип int задан явно
number = "текст"; // ошибка компиляции: несовместимые типы

Ключевые особенности:

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