Java kalbos naujovės (nenagrinėtos paskaitose: versijos) R.Vaicekauskas. mif.vu

Transcription

1 Java kalbos naujovės (nenagrinėtos paskaitose: versijos) R.Vaicekauskas. mif.vu 2016

2 Java nuo 5 versijos (2004 rugs.) kalbinės ypatybės Parametrizuojamieji tipai (generics); for ciklas iteratoriams; neišreikštinė primityviųjų tipų konversiją į objektus ir atvirkščiai(auto boxing, unboxing); vardiniai tipai (enum); metodai su kintamu parametrų skaičiumi (varargs); statinių elementų importas.

3 Generics parametrizuojami tipai Įgalina naudoti tipizuotas kolekcijas. Sumažina klaidų kiekį, kurios atsirastų, vykdant nekontroliuojamą tipų konversiją. Java naudoja C++ pavidalo sintaksę. Javoje tipų kontrolė vykdoma kompiliacijos metu, o gautas (.class) kodas suderinamas su ankstesnėmis java versijomis. Kritika: komplikuota tipų hierarchija, ribotos galimybės, pvz., lyginant su C++ šablonais.

4 Parametr. tipai : pavyzdys // Removes 4-letter words from c. Elements must be strings static void expurgate(collection c) { for (Iterator i = c.iterator(); i.hasnext(); ) if (((String) i.next()).length() == 4) i.remove(); // Generics atvejis static void expurgate ( Collection<String> c) { for (Iterator<String> i = c.iterator(); i.hasnext(); ) if (i.next().length() == 4) i.remove();

5 for ciklas konteinerių peržiūrai void cancelall(collection<timertask> c) { // Senas for (Iterator<TimerTask> i = c.iterator(); i.hasnext(); ) i.next().cancel(); void cancelall(collection<timertask> c) { // Naujas for (TimerTask t : c) t.cancel();

6 for ciklas masyvams // Returns the sum of the elements of a int sum(int[] a) { int result = 0; for (int el : a) result += el; return result;

7 Parametr. tipų apibrėžimas (Pagal: public interface List<E> { void add(e x); Iterator<E> iterator(); // Kita... public interface Iterator<E> { E next(); boolean hasnext(); // Kita

8 Tipų (ne)suderinamumas List<String> ls = new ArrayList<String>(); // Tinka, kadangi ArrayList išvestas iš List List<Object> lo = ls; // Klaida, nes priešingu atveju galiotų: lo.add(new Object()); String s = ls.get(0); // Nesuderinami tipai Pastaba: prisiminkime situaciją su masyvais.

9 Bendrinių tipų (wildcards) naudojimas Bendr. tipų įvedimą iššaukė poreikis turėti supertipą parametrizuotiems tipams Pavyzdys: aprašome funkciją, kuri gebėtų atspausdinti visus kolekcijos elementus. void printcollection( Collection<?> c) { for (Object e : c) { System.out.println(e);

10 Bendriniai tipai (2) Collection<?> - visų kolekcijų supertipas? žymi bet kurį tipą (išvestą iš Object), taigi leistina: Collection<?> c = new ArrayList<String>(); Tačiau: c.add(new Object()); //kompil. klaida

11 Riboti bendriniai tipai (Bounded Wildcards) tai deklaracija, jog (nežinomas) parametrizuotas išvestas iš konkretaus tipo (t.y., įgyvendina tam tikrą sąsają) Pavyzdys, turime klasių hierarchiją. Circle draw() Shape draw() Rectangle draw() Problema. Kaip apibrėžti bendrą tipą visų figūrų kolekcijoms, kad įgalinti braižomumą?

12 Sprendimas public void drawall(list<? extends Shape> shapes) { for (Shape s: shapes) s.draw(); // Panaudojimas List<Circle> lc = new ArrayList<Circle>(); drawall(lc);

13 Kaina, mokama už lankstumą public void addrectangle( List<? extends Shape> shapes) { shapes.add(0, new Rectangle()); // Kompiliavimo klaida!

14 Parametrizuoti metodai - pavyzdys static <T> void fromarraytocollection( T[] a, Collection<T> c) { for (T o : a) { c.add(o); //Tipas T nustatomas kvietimo metu: Object[] oa = new Object[100]; Collection<Object> co = new ArrayList<Object>(); fromarraytocollection(oa, co);// T :Object String[] sa = new String[100]; Collection<String> cs = new ArrayList<String>(); fromarraytocollection(sa, cs);// T : String fromarraytocollection(sa, co);// T : Object

15 Parametrizuotų metodų ir bendrinių tipų bendras naudojimas Įmanomas, pavyzdys: class Collections { public static <T> void copy(list<t> dest, List<? extends T> src){... Įmanoma: class Collections { public static <T, S extends T> void copy(list<t> dest, List<S> src){...

16 Bendriniai riboti iš apačios tipai (1) interface Sink<T> { flush(t t); public static <T> T writeall(collection<t> coll, Sink<T> s) {... T last; for (T t : coll) { last = t; s.flush(last); return last; Sink<Object> s; Collection<String> cs; String str = writeall(cs, s); // Illegal parameters

17 Bendriniai riboti iš apačios tipai (2) public static <T> T writeall (Collection<? extends T>, Sink<T>) { String str = writeall(cs, s); // Wrong return type. public static <T> T writeall(collection<t> coll, Sink<? super T> snk) {... String str = writeall(cs, s); // OK!

18 Diamond (rombo) operacija Supaprastina parametrizuotų tipų apibrėži-mą (nuo java 1.7). Vietoje: Map<String, List<String>> mymap = new HashMap<String, List<String>>(); Map<String, List<String>> mymap = new HashMap<>();

19 Suderinamumas su java v.1.4 Leidžiama naudoti primityviasias neparametrizuotąsias (raw) kolekcijas. Jas reikėtų traktuoti kaip nežinomo tipo (<?>), o kompiliatorius gali generuoti įspėjimus. Bet kuriuo atveju sukompiliuotame kode jokios tipų informacijos nebelieka: List <String> l1 = new ArrayList<String>(); List<Integer> l2 = new ArrayList<Integer>(); System.out.println(l1.getClass() == l2.getclass()); //true

20 Realizacijos ypatybės Visi parametrizuotos klasės panaudojimai vykdymo metu dalijasi vienu klasės egzemplioriumi Todėl nėra prasmės tikrinti ar duotasis objektas yra konkretaus parametrizuoto tipo egzempliorius (instanceof) kompiliatoriaus įspėjimas Negalima naudoti klasės parametrą apibrėžiant statinius elementus, negalima kurti parametro tipo objekto. Yra apribojimų naudojant masyvus class Mylist<T>{ T t1 = new T(); // Draudžiama static T t; // Draudžiama

21 Autoboxing Tai automatinė tipų konversija tarp primityviųjų tipų (int,double,...) ir atitinkamų juos gaubiančiųjų klasių (Integer,Double,... ) Poreikis konteinerių naudojamas skaičiams (primit. tipams) saugoti Įgalina išraiškas žemiau pateiktos išraiškos naudojimą. Reikiamą kodą paruošia kompiliatorius. Integer refinteger = 1;

22 Autoboxing naudojimo pavyzdys import java.util.*; // Prints a frequency table of the words on the command line public class Frequency { public static void main(string[] args) { Map<String, Integer> m = new TreeMap<String, Integer>(); for (String word : args) { Integer freq = m.get(word); m.put(word, (freq == null? 1 : freq + 1)); System.out.println(m); java Frequency if it is to be it is up to me to do the watusi {be=1, do=1, if=1, is=2, it=2, me=1, the=1, to=3, up=1, watusi=1

23 enum vardinis tipas public static final int SEASON_WINTER = 0; public static final int SEASON_SPRING = 1; public static final int SEASON_SUMMER = 2; public static final int SEASON_FALL = 3; enum Season { WINTER, SPRING, SUMMER, FALL // Naujoji versija Iš esmės tai klasė, kurios objektai konstatiniai (vardiniai) elementai. Papildomos galimybės: Season[] vals = Season.values();

24 varargs metodai su kintamu argumentų skaičiumi Pavyzdys: klasės java.util.formatter format() metodas, kuriam paskutinieji parametrai gali būti perduoti kaip masyvas arba tiesiog atskirti kableliais. public static String format (String pattern, Object... args); Ypač paprastas panaudojimas naudojant autoboxing ypatybę. String result =Formatter.format ( %d min iki %s, 5, paskaitos );

25 Lambda išraiškos (1) import java.util.*; import java.util.function.*; public class ForEach { public static void main(string[] args){ List<String> l = Arrays.asList("vienas", "du","trys"); l.foreach( new Consumer<String>(){ public void accept(string s) { System.out.println(s); ); // Lambdas l.foreach( e -> System.out.println( e ) );

26 Lambda išraiškos (2) Arrays.asList( "a", "b", "d" ).foreach( ( String e ) -> System.out.println( e ) ); Arrays.asList("a", "b", "d").foreach( e -> { System.out.print( e ); System.out.print( e ); ); final String separator = ","; Arrays.asList( "a", "b", "d" ).foreach( ( String e ) -> System.out.print( e + separator ) ); Arrays.asList( "a", "b", "d" ).sort( ( e1, e2 ) -> e1.compareto( e2 ) ); Arrays.asList( "a", "b", "d" ).sort( ( e1, e2 ) -> { int result = e1.compareto( e2 ); return result; );

27 Pabaiga