Расскажи о приведении типов в Java, что такое понижение и повышение типов?

Приведение типов в Java - это преобразование значения одного типа данных в другой.

Различают два вида приведения:

1. Расширяющее приведение (Widening Conversion) или повышение типа. Происходит автоматически, если тип, в который преобразуется значение, способен вместить все возможные значения исходного типа. Потери данных не происходит.

Примеры:

• int -> long
• float -> double

// Пример расширяющего приведения
int ival = 10;
long lval = ival; // Автоматическое повышение типа int к long

2. Сужающее приведение (Narrowing Conversion) или понижение типа. Требует явного указания в коде с использованием оператора приведения (тип). Может привести к потере данных, если значение исходного типа выходит за пределы диапазона целевого типа.

Примеры:

• long -> int
• double -> float

// Пример сужающего приведения
long lval = 1000L;
int ival = (int) lval; // Явное понижение типа long к int. Без явного приведения - ошибка компиляции.

double dval = 123.45;
int intFromDouble = (int) dval; // Потеря дробной части и понижение к int

Приведение ссылочных типов:

• Повышение (Subtype به Supertype): происходит автоматически, можно присвоить экземпляр подкласса переменной типа суперкласса.
• Понижение (Supertype به Subtype): требует явного приведения и проверки совместимости типов во время выполнения (исключение ClassCastException).

// Пример приведения ссылочных типов
class Animal {}
class Dog extends Animal {}

Animal animal = new Dog(); // Повышение: Dog к Animal (автоматически)

Dog dog = (Dog) animal; // Понижение: Animal к Dog (требует явного приведения)

// Опасно: может выбросить ClassCastException
Animal anotherAnimal = new Animal();
// Dog anotherDog = (Dog) anotherAnimal; // Ошибка во время выполнения, Animal не является Dog