Introduksjon til Java 5.0

Hva er nytt i 5.0? Generiske typer For-løkke med iterator (for-hver løkke) Automatisk innpakking av primitive typer Metadata Enum typer Import av statiske funksjoner Formatert I/O (tilsvarende C++ printf) Variabelt antall argumenter

Generiske typer Før: collections opererer på objekter av typen Object Må typecaste det som kommer ut Kompilator sjekker ikke for typer Nå: Kan spesifisere en type til en collection Dette collection objektet godtar kun objekter av riktig type Kompilatoren sjekker typen Trenger ikke å typecaste Spesifiseres med syntaks: ArrayList

Fordeler med Generiske Typer Garanterer at returverdier er av den angitte typen (Trenger ikke å typecaste ved uttak) ArrayList strengliste;... String s = strengliste.get(0); Typesjekking ved kompilering Før: ClassCastException ved kjøretid under uttak Nå: strengliste.add(new Integer(5)) ulovlig Ser derfor bedre hvor feilen skjer

Generiske Typer og Arving 1/2 Generiske typer kan subklasses som normalt ArrayList subklasse av List Generiske typer med ulike typeparametre regnes som ulike typer ArrayList forskjellig fra ArrayList

Generiske Typer og Arving 2/2 G og G er urelaterte selv om B er subklasse av A! List ls = new ArrayList (); //1: OK List lo = ls; // 2: Ikke OK! lo.add(new Object()); // 3 String s = ls.get(0); // 4: attempts to assign an Object to a String!

Supertyper for Generiske Typer 1/2 Ønsker å lage en metode som funker uansett typeparameter Eksempel: Metode for å skrive ut innholdet Første forsøk: void printCollection(Collection c) { for (Object e : c) { System.out.println(e);}} Denne vil bare fungere for en Collection og ikke for andre collections!

Supertyper for Generiske Typer 2/2 Trenger ny formalisme: void printCollection(Collection c) { for (Object e : c) { System.out.println(e);}} indikerer en hvilken som helst type Kan ta ut men ikke legge inn (fordi den faktiske typen er ukjent) Mer generelt: Kan bruke returverdi men ikke sende inn parametre til metoder

Begrensete Ukjente Typer Ønsker å kalle spesifikk funksjon på objektene som kommer ut Eksempel: contains funksjonen for en Shape for å sjekke om et oppgitt punkt er inne i den. public void findContainingShapes(Point p, List shapes) {... } Kan ha flere begrensninger

Generiske Metoder Ønsker å skrive metode som jobber med generiske typer Kan erklære en metode som generisk Bruker følgende syntaks static void fromArrayToCollection(T[] a, Collection c) { for (T o : a) { c.add(o); // correct }} Trenger ikke å oppgi typen i kallet siden den kan utledes av kompilatoren. Brukes hvis returverdi eller andre parametre er avhengige av T (ellers brukes wildcards)

For-løkke med iterator Brukes for å gjøre en operasjon på alle medlemmene av en collection Før: ArrayList list = new ArrayList (); Integer sum; for (Iterator i = list.iterator(); i.hasNext();) { Integer value=(Integer)i.next(); sum = sum + value.intValue(); } Nå: ArrayList list = new ArrayList (); for (Integer i : list) { sum = sum + i.intValue(); }

Automatisk innpakking av primitive typer Java konverterer automatisk mellom primitive typer og innpakningstyper Før: ArrayList list = new ArrayList (); list.add(0, new Integer(42)); int total = (list.get(0)).intValue(); Nå: ArrayList list = new ArrayList (); list.add(0, 42); int total = list.get(0);

Metadata Kan oppgi annotasjoner (metadata) med metoder Kan lage programmer som prosesserer annotasjonene Kan lage nye filer

Metadata Før: public interface PingIF extends Remote { public void ping() throws RemoteException;} public class Ping implements PingIF { public void ping() {... }} Nå (med prosesseringsprogram): public class Ping { void ping() {... }} APT Annotation Processing Tool Skriv klasser for å behandle annotasjonene

Enum typer Man kan nå lage en type som har en oppgitt liste av verdier public enum StopLight { red, amber, green }; StopLight s = StopLight.red; Kan bruke nullverdier

Import av statiske medlemmer Man kan nå importere statiske medlemmer av en klasse med import static Eksempel: import static java.lang.Math.*; Etter denne setningen kan man skrive ”PI” i stedet for ”Math.PI”.

Formatert I/O Utskrift String user; int total; System.out.printf("name count%n"); System.out.printf("%s %5d%n", user,total); Innlasting Scanner s= new Scanner(System.in); String param= s.nextLine(); int value=s.nextInt(); s.close();

Printf Format Beskrivelser %dDesimalt heltall %xHeksadesimalt heltall %fFlyttall med fast komma %eFlyttall med eksponentialnotasjon %gGenerelt flyttall (den korteste av f og e) %aHeksadesimalt flyttall %s Streng %cEnkelttegn %bBoolsk verdi

Variabelt Antall Argumenter Enkelte metoder (som f.eks. printf) tar et variabelt antall argumenter Erklæres med følgende syntaks Void enMetode(Object... args) { } Parameteren ”args” behandles som en array i metoden

Mer Generics – Hvordan Bruke Gammel Kode Rå type – Generic objekt uten typeparameter Collection = Collection Mister typesikkerheten Laget sånn fordi det må være slik for at ny kode skal kunne bruke gammel kode Genererer unchecked warning

Hvordan Generics er Implementert Generics eksisterer bare i kompilatoren Virtual Machine ser ikke generics Kompilator konverterer Collection til Collection og setter inn typecasts hvor nødvendig Typevariable blir konvertert til øverste grense Object for ubegrensete typevariable Årsak: Gjør tilbakekompatibilitet enklere

Konsekvenser av Implementeringa Alle instanser av en generisk klasse Bruker den samme.class fila Har samme type ved kjøretid instanceOf kan ikke sjekke typeparametre Casts med typeparametre lager unchecked advarsler Kan ikke lage array objekter med elementer med typeparameter

Array Eksempel List [] lsa = new List [10]; // not really allowed Object o = lsa; Object[] oa = (Object[]) o; List li = new ArrayList (); li.add(new Integer(3)); oa[1] = li; // unsound, but passes run time store check String s = lsa[1].get(0); // run-time error - ClassCastException

Øving 1 – Bruk av Generiske Typer Idrettsresultater Skal skrive inn X antall resultater Resultatene er positive flyttall Avslutt med et negativt tall Programmet skal så skrive ut Gjennomsnittet For hver utøver: hvor mye han/hun er over snittet

Øving 2 – Skriv Generisk Metode Lag en statisk metode som tar inn et Pair av en type som implementerer Comparable Metoden skal ordne paret slik at det minste elementet er først.

Øving 3 – Skriv Subklasse til Generisk Type Skriv en subklasse til Pair som er uordnet, dvs at Pair(”A”, ”B”) er lik Pair(”B”, ”A”) i følge equals metoden

Øving 4 – Avansert Generisk Metode Skriv en metode som sorterer en vilkårlig sorterbar collection med MergeSort algoritmen.