Scelta del supertipo in una astrazione polimorfa
molto spesso è Object
- come nel caso di Vector
- i metodi dell’astrazione polimorfa devono poter essere definiti utilizzando soltanto i metodi di Object
talvolta è necessario utilizzare altri metodi
- il supertipo è definito da una apposita interface
- che prevede tali metodi
- che definisce i reali vincoli sul tipo degli elementi
nell’approccio più comune (element subtype)
- gli elementi sono sottotipi di tale interface
in un approccio alternativo (related subtype)
- bisogna definire un sottotipo dell’interface per ogni tipo potenziale di elementi