Originariamente inviato da andbin
Certo! Ovviamente non potrai invocarli in modo "polimorfico". Cioè non puoi fare:

codice:
SuperTipo s = new SottoTipo();  // ok
s.metodoNuovoInSottoTipo();     // NO!
Questo però era perchè il polimorfismo in java garantisce che il linguaggio è type safe giusto?

Cioè se dichiaro s del supertitpo ma lo costruisco come un suo sottotipo...allora potrò usarvi sopra solo i metodi del supertitpo....

E se ad esempio io dichiarassi un vettore di oggetti supertipo...e ci vado a mettere dentro oggetti creati come sottotipi? allo stesso modo non potrei usare i metodi dei sottotipi?

Grazie
Andrea