Чем выражается строгая типизация в Java

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

Основные проявления:

1. Обязательное объявление типа
   java

   Копировать

   int number = 10; // тип `int` указан явно
   String text = "Hello"; // тип `String`

2. Проверка типов при компиляции
   java

   Копировать

   int a = "текст"; // Ошибка: несовместимые типы

3. Ограниченные неявные преобразования
   Автоматически разрешены только "безопасные" приведения (например, int → long), но не наоборот:
   java

   Копировать

   long big = 100; // OK
   int small = big; // Ошибка: требуется явное приведение (int)

4. Жёсткие правила для методов
   Перегрузка работает строго по сигнатуре, включая тип возвращаемого значения:
   java

   Копировать

   void print(int x) {}
   void print(String x) {} // OK: разные типы параметров

5. Generic-типы с проверкой на этапе компиляции (стирание типов — runtime-нюанс).

Исключение: Object и механизм рефлексии могут частично обходить строгую типизацию.