8
Чому масиви коваріантні, але генеричні дані інваріантні?
З ефективної Java Джошуа Блоха, Масиви відрізняються від загального типу двома важливими способами. Перші масиви є коваріантними. Дженріки інваріантні. Коваріант просто означає, що якщо X є підтипом Y, то X [] також буде підтипом Y []. Масиви є коваріантними, оскільки рядок є підтипом Object So String[] is subtype of Object[] …