Ohjelmoinnin peruskurssien laaja oppimäärä



Samankaltaiset tiedostot
Ohjelmoinnin peruskurssien laaja oppimäärä

Perintä (inheritance)

Ohjelmoinnin peruskurssien laaja oppimäärä

Ohjelmoinnin peruskurssien laaja oppimäärä, kevät

Ohjelmoinnin perusteet Y Python

Ohjelmoinnin peruskurssien laaja oppimäärä

Ohjelmointikielet ja -paradigmat 5op. Markus Norrena

Java kahdessa tunnissa. Jyry Suvilehto

Opintojakso TT00AA11 Ohjelmoinnin jatko (Java): 3 op Rajapinnat ja sisäluokat

Ohjelmoinnin peruskurssien laaja oppimäärä

Olio-ohjelmointi Javalla

Sisällys. JAVA-OHJELMOINTI Osa 7: Abstrakti luokka ja rajapinta. Abstraktin luokan idea. Abstrakti luokka ja metodi. Esimerkki

9. Periytyminen Javassa 9.1

Sisällys. 9. Periytyminen Javassa. Periytymismekanismi Java-kielessä. Periytymismekanismi Java-kielessä

Ohjelmoinnin peruskurssien laaja oppimäärä

Ohjelmoinnin perusteet Y Python

Sisällys. 9. Periytyminen Javassa. Periytymismekanismi Java-kielessä. Periytymismekanismi Java-kielessä

Harjoitus Olkoon olemassa luokat Lintu ja Pelikaani seuraavasti:

Sisällys. JAVA-OHJELMOINTI Osa 6: Periytyminen ja näkyvyys. Luokkahierarkia. Periytyminen (inheritance)

Ohjelmoinnin peruskurssien laaja oppimäärä

Javan perusteita. Janne Käki

Ohjelmoinnin peruskurssien laaja oppimäärä

Luento 17: Perintä. self.points = 0 self.status = 'Student'

9. Periytyminen Javassa 9.1

TIE Ohjelmistojen suunnittelu. Luento 8..9: moniperintä

Common Lisp Object System

Ohjelmoinnin perusteet Y Python

Sisällys. Yleistä attribuuteista. Näkyvyys luokan sisällä. Tiedonkätkentä. Aksessorit. 4.2

Ohjelmoinnin perusteet Y Python

Ohjelmoinnin perusteet Y Python

T Olio-ohjelmointi Osa 5: Periytyminen ja polymorfismi Jukka Jauhiainen OAMK Tekniikan yksikkö 2010

1. Olio-ohjelmointi 1.1

2. Olio-ohjelmoinista lyhyesti 2.1

Ohjelmoinnin jatkokurssi, kurssikoe

Ohjelmoinnin peruskurssien laaja oppimäärä

Opintojakso TT00AA11 Ohjelmoinnin jatko (Java): 3 op Taulukot & Periytyminen

Ohjelmistojen mallintaminen luokkamallin lisäpiirteitä

Solidity älysopimus ohjelmointi. Sopimus suuntautunut ohjelmointi

P e d a c o d e ohjelmointikoulutus verkossa

Ohjelmoinnin peruskurssi Y1

Ohjelmoinnin perusteet Y Python

Aalto Yliopisto T Informaatioverkostot: Studio 1. Oliot ja luokat Javaohjelmoinnissa

Ohjelmoinnin peruskurssi Y1

Rajapinta (interface)

Tutoriaaliläsnäoloista

Concurrency - Rinnakkaisuus. Group: 9 Joni Laine Juho Vähätalo

Ohjelmoinnin peruskurssi Y1

Ohjelmistojen mallintaminen Luokkakaaviot Harri Laine 1

12. Monimuotoisuus 12.1

SEPA REFAKTOROINTI Antti Ahvenlampi, 57408L Erik Hakala, 57509T

Ohjelmoinnin peruskurssien laaja oppimäärä

Sisällys. Yleistä attribuuteista. Näkyvyys luokan sisällä ja ulkopuolelta. Attribuuttien arvojen käsittely aksessoreilla. 4.2

Ohjelmoinnin peruskurssien laaja oppimäärä

TIES542 kevät 2009 Oliokielten erityiskysymyksiä

P e d a c o d e ohjelmointikoulutus verkossa

ELM GROUP 04. Teemu Laakso Henrik Talarmo

Sisällys. Mitä on periytyminen? Yksittäis- ja moniperiytyminen. Oliot ja perityt luokat. Periytymisen käyttö. 8.2

Ohjelmoinnin perusteet Y Python

Pythonin alkeet Syksy 2010 Pythonin perusteet: Ohjelmointi, skriptaus ja Python

Ohjelmoinnin perusteet Y Python

Tentti: T Ohjelmoinnin peruskurssi, osa 1. Yleistä. Tehtävä 1

Mitä on periytyminen?

Joskus yleistäminen voi tapahtua monen ominaisuuden pohjalta. Myös tällöin voi tulla moniperintätilanteita.

Ohjelmointi 1 C#, kevät 2013, 2. tentti

Ohjelmoinnin peruskurssien laaja oppimäärä

A) on käytännöllinen ohjelmointitekniikka. = laajennetaan aikaisemmin tehtyjä luokkia (uudelleenkäytettävyys)

Olion elinikä. Olion luominen. Olion tuhoutuminen. Olion tuhoutuminen. Kissa rontti = null; rontti = new Kissa();

Ohjelmoinnin peruskurssien laaja oppimäärä

Ohjelmoinnin perusteet Y Python

Olio-ohjelmoinnissa luokat voidaan järjestää siten, että ne pystyvät jakamaan yhteisiä tietoja ja aliohjelmia.

815338A Ohjelmointikielten periaatteet Harjoitus 5 Vastaukset

812347A Olio-ohjelmointi, 2015 syksy 2. vsk. IV Periytyminen ja monimuotoisuus

Oliosuunnitteluesimerkki: Yrityksen palkanlaskentajärjestelmä

Ohjelmoinnin peruskurssien laaja oppimäärä

812336A C++ -kielen perusteet,

815338A Ohjelmointikielten periaatteet

15. Ohjelmoinnin tekniikkaa 15.1

Ohjelmoinnin peruskurssi Y1

Ohjelmoinnin perusteet Y Python

Ohjelmoinnin peruskurssien laaja oppimäärä

Ohjelmoinnin perusteet Y Python

4. Luokan testaus ja käyttö olion kautta 4.1

- Komposiittityypit - Object (Mukaanlukien funktiot) - Array. - Erikoisdatatyypit - null - undefined

Ohjelmoinnin peruskurssien laaja oppimäärä

Ohjelmoinnin peruskurssi Y1

Ohjelmoinnin perusteet Y Python

1 Tehtävän kuvaus ja analysointi

Kompositio. Mikä komposition on? Kompositio vs. yhteyssuhde Kompositio Javalla Konstruktorit set-ja get-metodit tostring-metodi Pääohjelma

16. Javan omat luokat 16.1

Tähtitieteen käytännön menetelmiä Kevät 2009 Luento 5: Python

812341A Olio-ohjelmointi Peruskäsitteet jatkoa

Ohjelmointikielet ja -paradigmat 5op. Markus Norrena

Sisällys. Metodien kuormittaminen. Luokkametodit ja -attribuutit. Rakentajat. Metodien ja muun luokan sisällön järjestäminen. 6.2

Ohjelmoinnin peruskurssien laaja oppimäärä

15. Ohjelmoinnin tekniikkaa 15.1

815338A Ohjelmointikielten periaatteet

Muutamia peruskäsitteitä

Ohjelmoinnin peruskurssien laaja oppimäärä

Yksikkötestaus. import org.junit.test; public class LaskinTest public void testlaskimenluonti() { Laskin laskin = new Laskin(); } }

ITKP102 Ohjelmointi 1 (6 op)

Transkriptio:

Ohjelmoinnin peruskurssien laaja oppimäärä Luento 2: Perinnän käyttäminen Riku Saikkonen (osa kalvoista on suoraan ei-laajan kurssin luennoista) 1. 2. 2012

Sisältö 1 Esimerkki perinnästä 2 Pohdintaa perinnän käyttämisestä 3 Pythonin olioiden yksityiskohtia 4 Abstraktit luokat ja isinstance 5 Moniperintä

(ei-laajan kurssin kalvo: luento 3 sivu 6) Esimerkki Kirjaston tietokanta sisältää nykyisin varsin monenlaisia lainattavia asioita Kirjoja Kasetteja CD:itä Videoita DVD-levyjä Nuotteja, mikrofilmejä, jne Näillä on paljon yhteisiä ominaisuuksia Luokkia mallinnettaessa yhteiset ominaisuudet tulisi mahdollisuuksien mukaan kerätä yliluokkaan. 10:31

(ei-laajan kurssin kalvo: luento 3 sivu 7) Esimerkki: ennen perintää Luokissa on yhteisiä tai melkein yhteisiä toteutusosia Koodia toistetaan turhaan Ohjelmaa muutettaessa samat korjaukset tehdään kaikkiin luokkiin class CD(object): def get_name(self): def get_artists(self): class Book(object): def def get_play_time(self): get_name(self): def get_authors(self): class Magazine(object): def get_name(self): def get_pages(self): def get_editors(self): Nimi on kaikilla Artist, author ja editor ovat oikeastaan sama asia def get_issn(self): 10:31

(ei-laajan kurssin kalvo: luento 3 sivu 8) Esimerkki: perinnän jälkeen Yhteiset piirteet luokassa LibraryItem Kaikilla aliluokilla metodit get_name ja get_authors class LibraryItem(object): def get_name(self): def get_authors(self): class CD(LibraryItem): def get_play_time(self): class Book(LibraryItem): def get_pages(self): class Magazine(LibraryItem): def get_issn(self): 10:31

(ei-laajan kurssin kalvo: luento 3 sivu 9) Perintähierarkia Yhdellä luokalla voi olla monta aliluokkaa ja millä tahansa aliluokalla taas omia aliluokkia jne. Perintähierarkia on termi, jolla viitataan siihen kuinka luokat perinnän kautta muodostavat puumaisen rakenteen jonka huipulla on Pythonissa luokka object. Object Person Numbers Mappings jne Admin User Integers 10:31

(ei-laajan kurssin kalvo: luento 3 sivu 22) Korvaaminen (Overriding) Lisätään kirjastoesimerkkiin metodi get_details() Metodi palauttaa merkkijonoesityksen kulloisestakin esineestä. Metodin voi korvata aliluokassa, jolloin eri esineet voivat tulostaa erilaisen kuvauksen tyypistään riippuen Ongelma Nyt jokaisen aliluokan täytyisi toteuttaa ISBNkenttien tms. tulostukset toisistaan erillään. Turhaa toistoa Voidaanko yliluokan get_details-metodia käyttää apuna? 10:31

(ei-laajan kurssin kalvo: luento 3 sivu 23) Korvaaminen (Overriding) Aliluokasta (ja vain sieltä) voidaan eksplisiittisesti kutsua yliluokan metodia super(aliluokka, ilmentymä).metodi(parametrit) Yleensä kutsu tehdään vastaavassa aliluokan metodissa import abc class LibraryItem(object): metaclass = abc.abcmeta def get_details(self): return 'name: {}, author(s): {}, class Magazine(LibraryItem): def get_details(self): return 'Magazine:\n' + super(magazine, self).get_details() + 10:31

Sisältö 1 Esimerkki perinnästä 2 Pohdintaa perinnän käyttämisestä 3 Pythonin olioiden yksityiskohtia 4 Abstraktit luokat ja isinstance 5 Moniperintä

(ei-laajan kurssin kalvo: luento 3 sivu 24) Perinnän etuja Koodia tarvitsee kirjoittaa vähemmän Uudelleenkäyttö (Reuse) Koodin ylläpito selkiytyy Muutokset yliluokkaan päivittyvät myös aliluokkiin Mallinnusnäkökulma Olioita voidaan tarvittaessa käsitellä luokasta riippumatta yliluokan tasolla. 10:31

Perinnän ongelmia 1/2 edellisestä kirjastoesimerkistä: entä jos aluksi olisi tiedossa vain LibraryItemin tiedot, ja vasta myöhemmin selviäisi että olio onkin CD? entä jos sama LibraryItem sisältäisi kirjan ja CD:n? em. ongelmat syntyvät siitä, että oliolla on vain yksi luokka eikä sitä voi luomisen jälkeen muuttaa vrt. että LibraryItemin tyyppi ja lisätiedot olisivat kenttiä toisenlainen ongelma: mitä toimintoja ja koodia esim. jokin CD-olio kaiken kaikkiaan sisältää? tai: mihin koodiin on mahdollista mennä, kun CD-luokan metodi kutsuu toista saman olion metodia? periaatteessa pitää käydä koko perintähierarkia läpi dokumentointi ja ohjelmointityökalut (esim. Eclipse) auttavat mm. tämänkaltaisista syistä perintää käytetään usein paljon vähemmän kuin voisi kuvitella luokkahierarkiaa aluksi suunnitellessa syntyy helposti paljon syvempi hierarkia kuin mitä lopulta käytetään

Perinnän ongelmia 2/2 entä jos yliluokan toimintaa joutuu muuttamaan olennaisesti? kaikki aliluokat pitää käydä läpi ja tarkistaa siis yliluokkien toimintoja suunnitellessa pitää olla varovainen, jos aliluokkia on paljon mitä metodeja saa muuttaa luokkaa periessä ja miten? (siis mikä on perimisen kannalta luokan sisäistä tietoa) monimutkaista määritellä, joten jätetään usein tekemättä usein käytännössä tulee paljon tyhmiä metodeja, jotka vain välittävät viestejä eteenpäin toiselle oliolle tai rajapinnalle toinen joukko tyhmiä metodeja ovat useimmat get- ja set-metodit sekä jotkin konstruktorit monissa oliokielissä (mm. Common Lisp, Scala, Python) on tapa välttää niitä tai tehdä niitä automaattisesti osalle näistä ongelmista on vastine myös ei-olio-ohjelmoinnissa

Miten pitäisi periä? olio-ohjelmoinnissa aliluokan olio on (is a) myös yliluokan jäsen luokkaa periessä pitäisi aina säilyttää yliluokan toiminnot siis mihin tahansa koodiin, jossa käytetään yliluokan oliota, voisi sijoittaa aliluokan olion, niin että koodi edelleen toimii järkevästi toisin sanottuna: jokaisen yliluokan metodin (myös niiden, joita ei periessä korvaa!) semantiikka eli merkitys pitää säilyttää tämä nk. substituutioperiaate (Liskov Substitution Principle, LSP) on eräs perinnän käyttämisen perusohjeista käytännössä tästä kuitenkin aina välilllä poiketaan ja samalla oletetaan, ettei yliluokkaa käytetä väärin... usein ei ole tarpeeksi tarkkaan mietitty, mitä metodin pitäisi tehdä Substituutioperiaate formaalisti ((sub)type (ali)luokka) Let φ(x) be a property provable about objects x of type T. Then φ(y) should be true for objects y of type S where S is a subtype of T. B. Liskov, J. Wing: A behavioral notion of subtyping. ACM Trans. on Prog. Lang. and Syst., 16(6), 1994.

Substituutioperiaatteen seurauksia substituutioperiaatteesta seuraa: metodin argumentin tyyppiä voi aliluokassa yleistää muttei tiukentaa (eli argumenttityyppi on kontravariantti) metodin paluutyyppiä voi aliluokassa tiukentaa muttei yleistää (eli paluutyyppi on kovariantti) säännöt koskevat sekä ohjelmoijan kirjoittamia tyyppejä (staattisesti tyypitetyissä kielissä) että yleisemmin sitä, mikä kelpaa argumentiksi tai mitä metodi voi palauttaa esim. jos yliluokan metodi haluaa argumentiksi luvun välillä [1..10], aliluokan metodi saa hyväksyä muitakin lukuja mutta paluuarvolla toisin päin mm. Java ei kuitenkaan anna muuttaa staattista argumenttityyppiä koko olion toimintaan liittyen periaatteesta seuraa mm: (esim. metodien) esiehtoja ei saa tiukentaa aliluokassa jälkiehtoja ei saa heikentää aliluokassa aliluokan olio ei saa muuttua yliluokan metodeista näkyvällä tavalla, joka ei olisi mahdollinen yliluokassa

Perinnän käyttötapoja 1/2 Kaksi tietystä näkökulmasta vastakkaista perinnän käyttötapaa: aliluokka erikoistuu johonkin eli tarjoaa yliluokan toimintojen lisäksi jotain omaa, pyrkien säilyttämään substituutioperiaatteen tai toteuttaa abstraktissa yliluokassa kuvatut metodit esim. aliluokka CD yliluokasta LibraryItem tämä lienee tyypillisin perinnän käyttötapa aliluokka yleistää yliluokkaa muokkaamalla sen toimintoja monipuolisemmiksi (ja mahdollisesti lisäämällä uusia) esim. aliluokka ColoredPoint yliluokasta Point toimintojen muokkaaminen voi rikkoa substituution: esim. Point:n draw-metodia aiemmin käyttänyt koodi voisi olla olettanut, että piirretyt pisteet ovat kaikki saman näköisiä joskus perintähierarkia olisi loogisempi toisin päin (yleisempi isänä: värillinen piste ei ole erikoistapaus pisteestä vaan lisätoiminto) perintä väärin päin voi syntyä esim. a) jos perintähierarkia suunnitellaan lähtien datasta eikä toiminnoista tai b) kun olemassaolevaa yliluokkaa itseään ei haluta muuttaa

Perinnän käyttötapoja 2/2 Lisää tapoja, joilla perintää usein käytetään: em. yleistämisen sijaan yliluokan laajentaminen eli kokonaan uusien irrallisten toimintojen tarjoaminen aliluokassa ei ole ongelma substituutioperiaatteen kannalta aliluokka voi rakentaa uuden (yliluokasta riippumattoman) toiminnon käyttäen apuna yliluokan toimintoja tässä yliluokan päätoimintoa ei yleensä enää käytetä aliluokan koodin ulkopuolelta (jolloin substituutioperiaate saa rikkoutua) usein delegointi toiselle oliolle on perintää selkeämpi vaihtoehto aliluokka rajoittaa yliluokan toimintoja, esim. tarkistaa että metodeja käytetään halutulla tavalla esim. aliluokka Stack yliluokasta Deque tämä perintätapa rikkoo aina substituutioperiaatteen aliluokalla ja yliluokalla on yhteistä koodia, mutta ne eivät konseptuaalisesti liity toisiinsa kumminkaan päin ehkä yhteisen koodin voisi siirtää molemmille yhteiseen yliluokkaan

Millainen abstraktio olio on? olio-ohjelmoinnissa ratkaistava ongelma jaetaan osiin luokkien ja yksittäisten olioiden avulla puhtaimmillaan olio on (yleensä) itsenäinen kokonaisuus jolla on omaa tilaa (kentät) joka reagoi viesteihin (= metodikutsuihin) muuttamalla tilaansa tai lähettämällä muille viestejä olio-ohjelmoinnin tavoite (?): olioita käyttävä ohjelma on (vain) joukko itsenäisiä olioita, jotka hoitavat kukin omaa tehtäväänsä ja tarvittaessa kommunikoivat keskenään viesteillä kaikki ohjelman luokat eivät ole täysin erilaisia, vaan niillä kannattaa olla yhteisiä osia perintä on mekanismi tämän helpompaan toteuttamiseen

Sisältö 1 Esimerkki perinnästä 2 Pohdintaa perinnän käyttämisestä 3 Pythonin olioiden yksityiskohtia 4 Abstraktit luokat ja isinstance 5 Moniperintä

(ei-laajan kurssin kalvo: luento 3 sivu 20) Perintä ja näkyvyys Nimi sellaisenaan kertoo, että muuttuja/metodi on käytettävissä luokan ulkopuolelta '_' (yksi alaviiva) nimen edessä kertoo, että muuttujaa tai metodia ei ole tarkoitus käyttää suoraan luokan ulkopuolelta Aliluokat voivat kuitenkin käyttää sitä ' ' (kaksi alaviivaa) nimen edessä kertoo, että tulkki muuttaa nimen muotoon _luokka nimi, jolloin aliluokkakaan ei voi käyttää sitä (name mangling) Tarkoituksena estää yli- ja aliluokkien väliset nimitörmäykset Private methods are private for a reason, but like many other things in Python, their privateness is ultimately a matter of 10:31 convention, not force. (http://www.diveintopython.net/object_oriented_framework/private_functions.html)

(ei-laajan kurssin kalvo: luento 3 sivu 11) Luokka oliona Kun tulkki kohtaa avainsanan class, se luo muistiin olion TestiLuokka Koska oliosta TestiLuokka voi luoda ilmentymiä, sen täytyy olla luokka class TestiLuokka(object): pass olio = TestiLuokka() olio.muuttuja = 456 print olio.muuttuja TestiLuokka.muuttuja = 123 print TestiLuokka.muuttuja Koska oliolle TestiLuokka voi lisätä muuttujan, sen täytyy olla myös olio Koska luokka on olio, se voidaan luoda ohjelman suorituksen aikana. def luo_luokka_uusi(): class Uusi(object): def init (self, arvo): self.arvo = arvo return Uusi luokka = luo_luokka_uusi() print luokka toinen_olio = luokka(8) print toinen_olio.arvo 10:31

(ei-laajan kurssin kalvo: luento 6 sivu 2) Sisäkkäiset luokat Sisäkkäiset luokat ovat toisten luokkien sisällä määriteltyjä luokkia Toisen luokan sisällä määritelty luokka käyttäytyy kuten mikä tahansa luokka Kuitenkin: Olion luominen ulommasta luokasta ei automaattisesti luo oliota sen sisällä olevasta luokasta Sisällä olevasta luokasta voi luoda olion ilman, että ulommasta luokasta luodaan olio. Luokka ei pääse käyttämään ulomman luokan metodeja eikä muuttujia, vain omiaan 18:47

(ei-laajan kurssin kalvo: luento 6 sivu 3) class A(object): def init (self): self.y = 0 class B(object): def init (self): self.x = 0 def f(self): print 'Hei' if name == ' main ': a = A() print a.y #print B.f() 0 Hei b = A.B() b.f() #print b.y #print a.x 18:47

(ei-laajan kurssin kalvo: luento 6 sivu 4) Sisäkkäiset luokat Pythonissa ei ole paljon käyttöä sisäkkäisille luokille, koska useampia luokkia voi olla samassa moduulissa. Luokan voi myös määritellä metodin tai funktion sisällä. class SomeClass(object): def init (self, x): self.x = x def get_value(self): return self.x def make_new_class(self): class New(object): def init (self, value): self.value = value def get_value(self): return self.value return New first = SomeClass(3) print first.get_value() new_class = first.make_new_class() new_object = new_class(8) print new_object.get_value() 18:47

(ei-laajan kurssin kalvo: luento 3 sivu 12) type-funktio Funktio type näyttää olion tyypin Se pystyy myös luomaan luokan saamistaan parametreista: def alusta(self, arvo): self.arvo = arvo def hae_nimi(self): return self.nimi print type(olio) print type(olio.muuttuja) print type(luokka) <class ' main.testiluokka'> <type 'int'> <type 'type'> Uusi = type('uusi', (), {' init ': alusta, 'hae_nimi': hae_nimi, 'nimi': 'jussi'}) On sama kuin: class Uusi(object): def init (self, arvo): self.arvo = arvo self.nimi = 'jussi' def hae_nimi(self): return self.nimi Ja kummallekin toimii: print Uusi hemmo = Uusi(3) print hemmo print hemmo.hae_nimi() print hemmo.arvo 10:31

(ei-laajan kurssin kalvo: luento 3 sivu 13) Metaluokka Pythonissa luokat luodaan metaluokilla luokkien luokilla Funktio type on metaluokka, jota Python käyttää kaikkien luokkien luomiseen 4 on int-luokan ilmentymä, joka taas on type-luokan ilmentymä ja hae_nimi on instancemethod-luokan ilmentymä, joka sekin on type-luokan ilmentymä Metaluokka on siis periaatteessa Pythonin maailmankaikkeuden luoja. Kaikki Pythonin sisäänrakennetut luokat ovat sen ilmentymiä Sen avulla voi myös luoda omia luokkia ohjelman suorituksen aikana 10:31

Sisältö 1 Esimerkki perinnästä 2 Pohdintaa perinnän käyttämisestä 3 Pythonin olioiden yksityiskohtia 4 Abstraktit luokat ja isinstance 5 Moniperintä

(ei-laajan kurssin kalvo: luento 3 sivu 14) Omat metaluokat type on Pythonissa sisäänrakennettuna mutta metaluokkia voi myös luoda itse. Pythonin kirjastossa on moduuli abc, josta löytyy metaluokka ABCMeta Jos oman luokan metaluokaksi valitsee tämän ABCMeta type:n sijaan, luodaankin hieman toisenlainen luokkaolio Luokasta tulee abstrakti perusluokka Sillä on hieman erilaiset säännöt periytymisen suhteen 10:31

(ei-laajan kurssin kalvo: luento 3 sivu 16) Abstrakti luokka Kertomalla, että luokan metaluokka on ABCMeta, voidaan käyttää abstrakteja metodeja Jos luokkaan lisätään metodi, joka merkitään abstraktiksi, silloin luokasta ei voi luoda oliota Aliluokista voi luoda olioita vain silloin, kun kaikki abstraktit metodit on korvattu aliluokassa 10:31

(ei-laajan kurssin kalvo: luento 3 sivu 19) Esimerkki perinnästä Pohdintaa Yksityiskohtia Abstraktit luokat Moniperintä Abstrakti luokka (esimerkki) LibraryItem abstraktina luokkana Kaikissa siitä periytyvissä luokissa oltava metodit init ja is_available() Lehdet taas eivät kaikki ole lainattavissa, joten DailyPaper abstraktiksi import abc class LibraryItem(object): metaclass = abc.abcmeta @abc.abstractmethod def init (self, author_list, ): class DailyPaper(LibraryItem): metaclass = abc.abcmeta @abc.abstractmethod def init (self, name, year, ): LibraryItem. init (self, ) def get_number(self): return self.number def is_available(self): pass class Book(LibraryItem): def get_authors(self): return self.author_list @abc.abstractmethod def is_available(self): '''Method docstring. ''' def init (self, author_list, ): LibraryItem. init (self, ) def is_available(self): if self.due_date: return False else: return True 10:31

isinstance: onko olio haluttua luokkaa? Pythonissa isinstance-funktiolla voi kysyä, onko jokin olio tietyn luokan tai sen aliluokan jäsen: x = Luokka() isinstance(x, Luokka) True isinstance(42, int) True (edellä mainittu type kysyi olion tarkkaa luokkaa) Javassa ja C++:ssa isinstance on nimeltään instanceof tyypillinen käyttötapa on toiminto, joka toimii hieman eri tavalla riippuen argumentin tyypistä esim. tekee hieman eri asian jokaiselle LibraryItem:n aliluokalle (vaikkapa tekee listasta LibraryItem:ejä HTML-taulukon) isinstance ei ole puhdasta olio-ohjelmointia: ongelma on, että uutta aliluokkaa tehdessä kaikkea isinstance:a käyttävää koodia voi joutua muokkaamaan (ottamaan huomioon myös uusi luokka)

Perinnän käyttäminen isinstance:n sijaan sen sijaan että olion tyyppiä kysyy koodissa isinstance:lla, pitäisi asia puhtaassa olio-ohjelmoinnissa hoitaa perinnällä siis aliluokkiin metodi, joka tekee sen, mitä isinstance-tyypin perusteella yritettiin tehdä (tulostaa HTML-taulukon yhden rivin) aina perinnän käyttö ei kuitenkaan ole järkevää Pythonissa voi joskus myös käyttää poikkeuksia: kutsutaan kaipaamaamme metodia, ja jos sitä ei löydy, käsitellään poikkeus eräs yleinen käyttö isinstance:lle on, että yritetään pitää tietty toiminto yhtenäisessä kohdassa koodia puhtaaseen oliotyyliin kuuluisi, että toiminnon koodi jaettaisiin osiin käsiteltävän asian (luokan) mukaan jolloin uuden käsiteltävän asian voi lisätä tekemällä aliluokan mutta uutta toimintoa lisätessä pitää muuttaa kaikkia luokkia tai tehdä metodi, jonka isinstance:n avulla tekee koko toiminnon mutta yleisesti ottaen isinstance:a kannattaa välttää

(ei-laajan kurssin kalvo: luento 3 sivu 15) Abstrakti perusluokka Abstrakti perusluokka on luokkamäärittely jossa mille tahansa luokalle voi määrätä virtuaalisen yliluokan. Pythonissa sarjatyypin luokille on määrätty metaluokaksi abstrakti perusluokka Sequence tai MutableSequence Tarkoituksena on että isinstance- ja issubclassfunktiot voivat tunnistaa olioita ja luokkia jonkin tietyn luokan ilmentymiksi tai aliluokiksi: isinstance([], Sequence) issubclass(list, Sequence) issubclass(list, MutableSequence) isinstance((), Sequence) not issubclass(tuple, MutableSequence) 10:31

Sisältö 1 Esimerkki perinnästä 2 Pohdintaa perinnän käyttämisestä 3 Pythonin olioiden yksityiskohtia 4 Abstraktit luokat ja isinstance 5 Moniperintä

(ei-laajan kurssin kalvo: luento 3 sivu 10) Moniperintä Luokka voi periä ominaisuutensa useammasta eri luokasta class Oval(Circle, Rectangle): def get_area(self): def get_perimeter(self): Viitattaessa aliluokan metodiin (tai muuttujaan) hakujärjestys perintärakenteessa on alhaalta ylös, vasemmalta oikealle. (ratkaisee ns. timanttiongelman) Ensin etsittäisiin siis Circle-luokasta ja sen yliluokista ja vasta sitten Rectangle-luokasta ja sen yliluokista. Python käyttää ensimmäistä osumaa. Sen ylä- ja oikealla puolella olevia täytyy erikseen kutsua class Oval(Circle, Rectangle): def init (self, x, y, r1, r2): Rectangle. init (self, x, y, r1, r2) 10:31

Moniperinnästä moniperinnän toiminta ei ole kovin vakiintunutta, vaan toimii eri kielissä hieman eri tavalla esim. Common Lisp, C++ ja Python tukevat moniperintää esim. Java taas ei (paitsi rajoittuneesti) mm. samannimisten metodien valintajärjestys vaihtelee hieman moniperintä sallisi joskus parempia abstraktioita kuten tavallisellakin perinnällä, sillä voi vähentää koodin kopiointia samoin ongelman mallinnus olioiksi ja luokiksi olisi joskus luonnollisempaa moniperinnän avulla, sillä luonnollinen malli ei aina ole puu mutta käytännössä moniperinnän (laajamittainen) käyttäminen usein monimutkaistaa ohjelmaa turhan paljon ja moniperinnän tukeminen monimutkaistaa olio-ohjelmointikieliä

Moniperinnän ongelmia ohjelmointikielissä moniperinnän perusongelma: jos useammassa perintäverkon haarassa on korvattu sama metodi, mitä niistä käytetään? eri moniperintää tukevilla kielillä on hieman erilainen ratkaisu, mutta yleensä ne perustuvat siihen, missä järjestyksessä yliluokkien nimet kerrotaan aliluokassa mutta toiminta ei ole aina kovin intuitiivista tai helppoa ymmärtää... kentissä on samankaltainen ongelma: jos jokin yliluokka A peritään kahta polkua pitkin, pitäisikö perivään luokkaan tulla yksi vai kaksi kappaletta yliluokan A kenttiä? näkevätkö D-oliossa alla B:n ja C:n metodit eri vai saman x:n? class A { class A(object): int x; } self.x = class B extends A { } class B(A): class C extends A { } class C(A): class D extends B and C { } class D(B, C): molempia tapoja on käytössä eri kielissä (Pythonissa saman)

Ohjelmointikielten tekemiä ratkaisuja jotkin ohjelmointikielet ratkaisevat em. ongelmia rajoittamalla moniperintää esim. kielletään periminen niin, että useammassa haarassa olisi korvattu samoja metodeita tai ohjelmoijan pitää erikseen kertoa, minkä yliluokan metodi aliluokan oliosta näkyy (esim. C++) Javan ja C#:n ratkaisu: vain rajapintojen moniperintä on mahdollista, varsinaisia suoria yliluokkia on aina yksi rajapinnassa ei ole kenttiä eikä metodien toteutuksia, joten em. ongelmia ei esiinny mutta jos useassa rajapinnassa on samanniminen metodi, onko se tarkoitettu samaksi? muitakin ratkaisuja on: esim. Scala-kielessä on rajapinnan sijaan sen ja luokan välimuoto nimeltä trait, jolla moniperintää voi tehdä