В чем проявляется строгая типизация в Java?

Строгая типизация в Java проявляется в следующем:

1. Явное указание типов: Необходимо явно указывать тип переменной, возвращаемого значения метода и параметров.

   // Явное указание типа int для переменной count
   int count = 10;
   
   // Явное указание типа String для возвращаемого значения метода
   public String getName() {
       return "Java";
   }
   

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

   // Ошибка компиляции: нельзя присвоить String переменной int
   // int number = "hello"; 
   
   // Ошибка компиляции: нельзя вызвать метод с несовместимыми типами параметров
   // String message = "world";
   // System.out.println(123 + message); // Это работает благодаря конкатенации строк
   // Но вот так не скомпилируется:
   // int result = "hello" * 5; 
   

3. Необходимость приведения типов (кастинга): Для преобразования переменной одного типа к другому явному приведению.

   // Преобразование double к int с потерей точности
   double pi = 3.14;
   int integerPart = (int) pi; // Явное приведение
   
   // Преобразование объектов разных типов в иерархии наследования
   // Object obj = "String value";
   // String str = (String) obj; // Явное приведение
   

4. Ограничения неявных преобразований: Неявные преобразования происходят только для "расширяющих" преобразований (например, из int в long), где нет потери данных. Обратные преобразования требуют явного приведения.

Строгая типизация повышает надежность кода, обнаруживая ошибки на ранней стадии разработки (этапе компиляции), что уменьшает количество ошибок во время выполнения.