Выбор ответа Middle Дженерики и стирание обновлено

Ковариантность массивов

Вопрос

Что произойдёт при выполнении кода?

Number[] nums = new Integer[3];
nums[0] = 3.14;

Попробуйте сами

Выберите вариант, и откроется разбор.

Показать ответ и разбор

Коротко

Правильный ответ: ArrayStoreException во второй строке. Массивы ковариантны: Integer[] можно присвоить в Number[], компилятор доволен.

Варианты ответа

  1. Ошибка компиляции во второй строке
  2. Ошибка компиляции в первой строке
  3. ArrayStoreException во второй строкеправильный ответ
  4. Код выполнится, в массиве окажется Double

Разбор

Массивы ковариантны: Integer[] можно присвоить в Number[], компилятор доволен. Но массив помнит свой реальный тип элемента, и при записи Double JVM проверяет его и бросает ArrayStoreException. Именно чтобы избежать такой ошибки в рантайме, дженерики сделали инвариантными.

Ответьте сами, а не прочитайте

В тренажёре вопрос попадёт в повторения и вернётся, когда начнёт забываться. Плюс билеты с зачётом: 20 вопросов, не больше 2 ошибок.