Обманывание JVM в литейные массивы

Question

Я хотел бы знать, есть ли способ сделать массив из SuperType и массив из SubType. Как так:

SubType[] subArray = (SubType[])someSuperTypeArray; 

Я знаю, что во время выполнения этого бросает ClassCastException. Способ преобразования массива состоит в том, чтобы скопировать его в другой массив. В моем случае копирование это не вариант.

Могу ли я обмануть JVM в убеждении, что актер действителен и обходит проверки типа класса? Создание ссылки на массив из SuperType, через который он рассматривается как некоторый массив SubType. (Возможно, перед опасностью необъяснимых ошибок)

Answer 1

если вы определите массив как

SuperType[] array = {element1, element2}; 
SubType[] array2 = (SubType[]) array; 

он не будет работать, однако вы можете сделать это:

SuperType[] array = new SubType[]{element1, element2}; 
SubType[] array2 = (SubType[]) array; 

Вы просто должны убедиться, что поле array всегда должно быть массивом вашего SubType, когда вы его производите.

Answer 2

Есть только два возможных экземпляра массива, на которые может ссылаться someSuperTypeArray.

1. SuperType someSuperTypeArray = new SuperType[10];: Вы можете добавить SuperType объекты или SubType объекты в массив
2. SuperType someSuperTypeArray = new SubType[10];: Вы можете добавлять только SubType объекты в этом массиве. (Технически, вы можете добавить SuperType объекты в этом массиве во время компиляции, но это приведет к ArrayStoreException во время выполнения)

Давайте предположим на секунду, что в случае 1, вам удастся обмануть JVM в позволяя вам для перевода ссылки someSuperTypeArray на ссылку SubType[]. Что делать, если someSuperTypeArray имеет элемент типа SuperType? Вы действительно не можете ожидать, что приведение неявно отменит все элементы SuperType.

В случае 2 есть ли какая-либо точка использования ссылки SuperType[] на экземпляр массива SubType[], если все, что вы хотите сделать, это ссылка на ссылку SubType[]. Просто используйте ссылку SubType[].