Mir ist kürzlich aufgefallen, dass Arrays in Java reified sind. Das heißt, sie kennen die Typinformationen nur zur Laufzeit. Aber ich bin ein bisschen verwirrt mit dieser Definition.

Wenn Arrays die Typinformationen nur zur Laufzeit kennen sollen, sollte es mir buchstäblich möglich sein, allen Arrays Werte zuzuweisen, da die Typisierung nur zur Laufzeit bekannt ist und Fehler nur zur Laufzeit ausgegeben werden. Dies ist jedoch in Echtzeit nicht der Fall. Wir bekommen dafür einen Kompilierungsfehler.

Kann jemand also ein Licht auf "Was bedeutet es, wenn Arrays reifiziert werden" werfen?