Dlaczego ta kompilacja?

Question

byłem zaskoczony w dniu dzisiejszym podczas debugowania kodu, aby znaleźć to coś jak następuje nie rzucać wyjątek podczas kompilacji:

public Test() { 
    HashMap map = (HashMap) getList(); 
} 

private List getList(){ 
    return new ArrayList(); 
} 

Jak można sobie wyobrazić, o ClassCastException jest wyrzucane w czasie wykonywania, ale może ktoś wyjaśnić, dlaczego odlewanie List do HashMap jest uważane za legalne w czasie kompilacji?

Answer 1

Ponieważ prawdopodobnie getList() może zwracać podklasę HashMap, która implementuje także List. Jest mało prawdopodobne, tak, ale możliwe, a zatem możliwe do skompilowania.

Answer 2

Po pierwsze lista to interfejs. Nie ma powodu, dla którego nie mogłaby istnieć podklasa HashMap, która również implementuje interfejs List. W tej sytuacji byłaby całkowicie słuszna.