Un sottotipo: MaxIntSet
si comporta come IntSet
- ma ha un metodo nuovo max
- che ritorna l’elemento massimo nell’insieme
- la specifica di MaxIntSet definisce solo quello che c’è di nuovo
- il costruttore
- il metodo max
- tutto il resto della specifica viene ereditato da IntSet
perché non realizzare semplicemente un metodo max stand alone esterno alla classe IntSet?
- facendo un sottotipo si riesce ad implementare max in modo più efficiente