15. Ohjelmoinnin tekniikkaa

Esitys aiheesta: "15. Ohjelmoinnin tekniikkaa"— Esityksen transkriptio:

1 15. Ohjelmoinnin tekniikkaa

2 Sisällys For-each-rakenne. Geneerinen ohjelmointi.
Lueteltu tyyppi enum.

3 For-each-rakenne For-rakenteen variaatio taulukoiden ja muiden kokoelmien silmukoimiseen: for (muuttuja : kokoelma) { ... } missä muuttuja on samaa tyyppiä kuin kokoelman alkio. Java sijoittaa muuttujaan kullakin kierroksella kokoelman seuraavan alkion arvon. Lasketaan yksiulotteisen taulukon alkioiden summa eri tavoin. int[] luvut = { 1, 2, 3, 4, 5 }; ... for (int i = 0; i < luvut.length; i++) { summa1 += luvut[i]; } for (int luku : luvut) { summa2 += luku;

4 For-each-rakenne Lasketaan kaksiulotteisen taulukon alkioiden summa eri tavoin. int[][] luvut = { { 1, 2, 3 }, { 4, 5, 6 } }; ... for (int i = 0; i < luvut.length; i++) for (int j = 0; j < luvut[i].length; j++) summa1 += luvut[i][j]; // Kaksiulotteisen taulukon rivit ovat yksiulotteisia taulukoita. for (int[] rivi : luvut) for (int luku : rivi) summa2 += luku;

5 Geneerinen ohjelmointi
Geneerinen ohjelmointi (generic programming, generics) tarkoittaa muun muassa ohjelmointitekniikkaa, jossa algoritmeja toteutetaan yleisesti sitomatta niitä käsiteltävän tiedon tyyppiin. Algoritmien yleinen toteutus on mahdollista myös tyyppien monimuotoisuuden avulla, mutta tällöin on kiinnitettävä tyyppejä jo algoritmin suunnittelun aikana. Tunnetuin geneerisyyden mahdollistava mekanismi lienevät C++-kielen kaavaimet (template). Geneerisyys lisättiin Javaan vasta versiossa 1.5. Javassa geneerisyyttä tarvitaan erityisesti kokoelmaluokkien (esimerkiksi ArrayList) yhteydessä.

6 Geneerinen ohjelmointi
Geneerisesti ohjelmoiden saadaan turvallisempaa koodia, koska lisätyyppitarkistuksien avulla havaitaan virheitä helpommin ja ohjelmassa tarvitaan vähemmän tyyppimuunnoksia. Geneerisyyttä käytettäessä käännös ei onnistu, jos esimerkiksi kokoelmaa käytetään vaarallisesti. Geneerisyyden tuottamat lisätarkistukset eivät ole käytettävissä ohjelman ajon aikana. Geneerinen ohjelmointi ei ole pakollista – Java-kääntäjä kuitenkin varoittaa, jos luokkaa tai rajapintaa käytetään perinteisellä (vaarallisemmalla) tavalla.

7 Geneerinen ohjelmointi
Geneerisen luokan tai rajapinnan otsikossa on määritelty kulmasuljeparin sisällä yksi tai useampia tyyppiparametreja. Tyyppiparametri E tarkoittaa kokoelman alkioiden tyyppiä. public class ArrayList<E> ... Tyyppiparametrille annetaan arvo kulmasuljenotaatiolla aina, kun koodissa esiintyy geneerisen tyypin tunnus. // Taulukkolistaan voidaan sijoittaa kaiken tyyppisiä viitteitä. ArrayList<Object> mitaTahansa = new ArrayList<Object>(); // Ainoastaan Integer-tyyppiset viitteet kelpaavat. ArrayList<Integer> kokonaislukuja = new ArrayList<Integer>(); Tällä kurssilla riittää tietää kuinka voi ottaa geneerisyyden käyttöön, geneerisiä luokkia tai rajapintoja ei tarvitse tehdä.

8 Lueteltu tyyppi Lueteltu tyyppi (enumeration) on tietotyyppi, jossa tyypin arvoille kiinnitetään nimet luettelemalla kaikki tyypin arvot. Esimerkiksi pelikorttien maat ovat pata, risti, hertta ja ruutu. Javassa luokkatyypin erikoistapaus. Määritellään avainsanalla enum. Periytyy Enum-luokasta, joka on Object-luokan aliluokka. Arvot automaattisesti julkisia luokkavakioita (public static final). Paljon rajoitteita luokkatyyppiin verrattuna. Olioiden luominen ei ole mahdollista. Lueteltua tyyppiä ei voi periä toisesta luetellusta tyypistä. Rakentajia ei voi julkaista public- tai protected-määreillä.

9 Lueteltu tyyppi Tällä kurssilla lueteltu tyyppi
esitellään hyvin yksinkertaisessa muodossa ja sijoitetaan luokan tapaan omaan tiedostoonsa. // Pelikorttien maat lueteltuna tyyppinä (Maa.java). // Tyypin määrittelyyn riittää jo pelkästään tyypin otsikko // ja arvojen esittely luettelemalla ne tyypin rungossa. public enum Maa { // Maa-tyyppisellä tunnuksella voi olla jokin näistä arvoista. PATA, RISTI, HERTTA, RUUTU; }

10 Lueteltu tyyppi // Viikonpäivät lueteltuna tyyppinä (Viikonpaiva.java). public enum Viikonpaiva { // Luetellun tyypin rakentajaa kutsutaan arvojen esittelyn yhteydessä. MA("maanantai"), TI("tiistai"), KE("keskiviikko"), TO("torstai"), PE("perjantai"), LA("lauantai"), SU("sunnuntai"); private String nimi; // Viikonpäivän nimi. private Viikonpaiva(String uusiNimi) throws IllegalArgumentException { if (uusiNimi == null) { throw new IllegalArgumentException("Virheellinen nimi!"); } nimi = uusiNimi; ...

11 Lueteltu tyyppi Kullakin luetellulla tyypillä on erikoismetodit:
// Palauttaa luetellun tyypin E arvot taulukossa. public static E[ ] values() // Muuntaa annetun merkkijonon luetellun tyypin E arvoksi. // Heittää IllegalArgumentException-poikkeuksen, // jos muunnos ei onnistu. public static E valueOf(String name) Nämä metodit eivät periydy Enum-luokasta, vaan kääntäjä muodostaa ne.