Какой механизм в Java обеспечивает строгий контроль типов данных при компиляции и выполнении программы?

В Java строгий контроль типов обеспечивается системой статической типизации и механизмом проверки типов во время компиляции и выполнения.

Основные элементы этого механизма:

• Статическая типизация: типы переменных и выражений проверяются на этапе компиляции, что предотвращает присвоение несовместимых типов.
• Generics (обобщения): позволяют создавать типобезопасные коллекции и методы, снижая необходимость приведения типов и исключая ошибки времени выполнения.
• Проверка типов во время выполнения (runtime type checking): например, при приведении типов (casting) JVM проверяет корректность приведения и выбрасывает исключение ClassCastException при ошибке.

Пример:

List<String> list = new ArrayList<>();
list.add("Hello");
// list.add(123); // Ошибка компиляции: нельзя добавить Integer в List<String>

Object obj = "test";
String str = (String) obj; // корректное приведение
Integer num = (Integer) obj; // ClassCastException во время выполнения