Fondamenti di Informatica T2 Modulo 2. Corso di Laurea in Ingegneria Informatica Anno accademico 2008/2009. Enumerativi

Transcript

1 Università degli Studi di Bologna Facoltà di Ingegneria Fondamenti di Informatica T2 Modulo 2 Corso di Laurea in Ingegneria Informatica Anno accademico 2008/2009 Enumerativi Finora abbiamo creato enumerativi tramite insiemi di costanti pre-inizializzate In realtà, Java offre un tipo enumerativo (enum) ben più completo e potente rispetto agli enum del C Enum in C Basati sugli interi, quindi compatibili con gli interi non typesafe Nessun comportamento associabile Usabili in switch case Enum in Java Basati sul Typesafe Enum Pattern typesafe Possono avere comportamento: sono classi a tutti gli effetti e possono avere stato e metodi (anche statici) Usabili in switch case 2

2 Un esempio: tipo "direzione" Nella declinazione più semplice: ANOMALIA: in uno switch è obbligatorio usare le costanti in forma NON QUALIFICATA (NORTH), mentre in ogni altro contesto vanno sempre usate in forma QUALIFICATA (Direction.NORTH). public enum Direction NONE, NORTH, SOUTH, EAST, WEST; Direction dir = Direction.NORTH; switch (dir) case NORTH: System.out.println( North ); break; case SOUTH: System.out.println( South ); break; case EAST: System.out.println( East ); break; case WEST: System.out.println( West ); break; case NONE: System.out.println( None ); break; 3 Enum: cosa c'è sotto (1) Una dichiarazione di enum è compilata come se fosse: public final class Direction extends Enum<Direction> public static final Direction NONE = new Direction(); public static final Direction NORTH = new Direction(); public static final Direction SOUTH = new Direction(); public static final Direction EAST = new Direction(); public static final Direction WEST = new Direction(); public static Direction[] values() return un array creato automaticamente dal compilatore contenente tutti i valori possibili private Direction() // costruttore privato!??? 4

3 Enum: cosa c'è sotto (2) Se i valori degli enum sono istanze, come mai lo switch funziona, visto che accetta solo valori scalari? Il motivo è che il compilatore aggiunge al tipo enum anche un metodo getordinal che associa un valore intero a ogni possibile valore dell enumerativo in particolare, per il primo valore getordinal restituisce zero, per il secondo valore restituisce uno, ecc. Lo switch è basato proprio su getordinal 5 Il tipo "direzione" migliorato Poiché gli enumerativi sono istanze di una classe, la definizione del tipo può includere la specifica di metodi Esempio: un metodo getopposite che restituisca la direzione opposta public enum Direction NONE, NORTH, SOUTH, EAST, WEST; public Direction getopposite() switch (this) case NORTH: return SOUTH; case SOUTH: return NORTH; case EAST: return WEST; case WEST: return EAST; default: return NONE; 6

4 e DayOfWeek? Possiamo riformulare il codice relativo alla classe DayOfWeekEnum vista in precedenza in modo da utilizzare il costrutto enum se ne va molto codice Inizializzazione Metodo values() ora generato automaticamente rimangono i metodi aggiuntivi per le conversioni Vantaggi evidenti: Meno codice da scrivere = meno errori Integrazione con il linguaggio (supporto per switch) 7 DayOfWeek public enum DayOfWeek SUNDAY(GregorianCalendar.SUNDAY), MONDAY(GregorianCalendar.MONDAY), TUESDAY(GregorianCalendar.TUESDAY), WEDNESDAY(GregorianCalendar.WEDNESDAY), THURSDAY(GregorianCalendar.THURSDAY), FRIDAY(GregorianCalendar.FRIDAY), SATURDAY(GregorianCalendar.SATURDAY); private int value; private DayOfWeek(int gregoriancalendarday) this.value = gregoriancalendarday; 8

5 DayOfWeek public boolean iscontainedin(dayofweek[] days) for (DayOfWeek day : days) if (day == this) return true; return false; public int togregoriancalendardayofweek() return value; 9 DayOfWeek public static DayOfWeek fromgregoriancalendardayofweek(int gregoriancalendarday) for (DayOfWeek day : DayOfWeek.values()) if (day.value == gregoriancalendarday) return day; return null; 10