Polymorfismi
Polymorfismi on olio-ohjelmoinnissa esiintyvä käsite, jonka mukaan aliluokat voivat määrittää oman yksilöllisen toimintansa ja silti jakaa saman toiminnallisuuden yläluokan kanssa.[1] Virtuaalimetodi on jäsenfunktio, joka voidaan määritellä uudelleen perityssä luokassa.[2] Bjarne Stroustrupin mukaan polymorfismi tarjoaa yhden rajapinnan eri tyyppisiin entiteetteihin.[3][4] Polymorfismin käsite pohjautuu biologian periaatteeseen, että yhdellä eliöllä voi olla monia eri muotoja tai vaiheita.[5]
Perinteisesti tyypitetyt kielet, jotka perustuvat funktioille ja proseduureille, tukevat vain uniikkeja tyyppejä operandeilla.[6] Tämäntyyppiset kielet ovat monomorfisia: esimerkiksi Pascal on monomorfinen kieli.[6] Pascal ja Ada sisältävät keinoja tiukan monomorfisuuden helpottamiseen erikoistapauksissa, josta johtuen niitä voidaan sanoa enimmäkseen monomorfisiksi.[6]
Historia
[muokkaa | muokkaa wikitekstiä]Kiinnostus polymorfisen tyyppisiä järjestelmiä kohtaan kasvoi 1990-luvulla merkittävästi, ja käytännön toteutukset alkoivat ilmaantua saman vuosikymmenen lopulla. Ad hoc -polymorfismi ja parametrinen polymorfismi kuvattiin alun perin Christopher Stracheyn julkaisussa Fundamental Concepts in Programming Languages[7] , jossa ne on lueteltu polymorfismin "kahdeksi pääluokaksi". Ad hoc -polymorfismi oli Algol 68:n ominaisuus, kun taas parametrinen polymorfismi oli ML-kielen tyyppijärjestelmän ydinominaisuus.
Peter Wegner ja Luca Cardelli esittelivät vuoden 1985 artikkelissa inkluusiopolymorfismi-termin alatyyppien ja periytymisen mallintamiseen [8], ja katsoivat Simulan olevan ensimmäinen ohjelmointikieli, joka toteuttaa sen.
Luokittelu
[muokkaa | muokkaa wikitekstiä]Luca Cardellin ja Peter Wegnerin luokittelussa polymorfiset kielet voidaan jakaa seuraavasti:[6]
- universaali
- parametrinen
- liittävä
- ad-hoc
- ylikuormittava
- pakottava
Universaali polymorfismi toimii äärettömällä määrällä tyyppejä ja suorittaa samaa ohjelmakoodia kaikille tyypeille.[6] Ad-hoc polymorfismi toimii rajatulla määrällä tyyppejä ja voidaan toteuttaa joukolla monomorfisia funktioita, jolloin eri tyypeille käytetään eri ohjelmakoodia.[6]
Christopher Strachey erotteli epämuodollisesti kaksi polymorfismin päätyyppiä luentomuistiossa vuonna 1967.[6] Luennot pidettiin aluksi muistiinpanoista ja artikkeli Fundamental Concepts in Programming Languages kirjoitettiin kurssin lopuksi.[7] Stracheyn luokittelun parametrinen polymorfismi saadaan kun funktio toimii joukolla tyyppejä, joissa normaalisti on jokin sama yhteinen rakenne. Ad-hoc polymorfismi saadaan kun funktio toimii tai näyttää toimivan usealla eri tyypillä (joissa ei välttämättä ole yhteistä rakennetta) ja voi toimia toisistaan riippumattomilla tavoilla eri tyypeillä.[6]
Cardellin ja Wegnerin luokittelu lisää uuden tyypin liittävä polymorfismi alatyypeille ja perinnälle. Liittävä polymorfismi on parametrisen polymorfismin kanssa toinen merkittävä alakategoria universaalille polymorfismille. Varhaisin esimerkki liittävästä polymorfismista on Simula 67.[6] Ad-hoc polymorfismille on myös kaksi kategoriaa. Ylikuormittavassa polymorfismissa samaa muuttujanimeä käytetään osoittamaan eri funktioita ja kontekstista päätellään mitä funktiota osoitetaan nimen instanssilla. Pakottava polymorfismi on semanttinen operaatio, jota tarvitaan muuttamaan argumentti funktion odottamalle tyypille. Algol 68 on tunnettu tyypin pakottamisesta.[6]
Ralf Lämmel ja Joost Visser esittävät artikkelissa Type Combinators for Generic Traversal polytyyppisen ohjelmoinnin käsitteen.[9]
Myös rivipolymorfismia on kuvattu.[10][11]
Lisäksi on myös Rank-polymorfismi, jota käytetään taulukko-ohjelmointikielissä ja se on jopa niiden määrittävä piirre.
Toteutustavat
[muokkaa | muokkaa wikitekstiä]Staattinen ja dynaaminen polymorfismi
[muokkaa | muokkaa wikitekstiä]Polymorfismi voidaan erottaa siitä, milloin toteutus valitaan: staattisesti (käännösaikana) vai dynaamisesti (ajon aikana, tyypillisesti virtuaalisen funktion kautta). Tämä tunnetaan vastaavasti staattisena lähetyksenä ja dynaamisena lähetyksenä, ja vastaavia polymorfismin muotoja kutsutaan vastaavasti staattiseksi polymorfismiksi ja dynaamiseksi polymorfismiksi.
Staattinen polymorfismi suoritetaan nopeammin, koska dynaamista lähetystä ei ole, mutta se vaatii lisäkääntäjätukea. Lisäksi staattinen polymorfismi mahdollistaa suuremman staattisen analyysin kääntäjien (erityisesti optimointia varten), lähdekoodin analysointityökalujen ja ihmislukijoiden (ohjelmoijien) toimesta. Dynaaminen polymorfismi on joustavampaa, mutta hitaampaa – esimerkiksi dynaaminen polymorfismi mahdollistaa ankkakirjoituksen, ja dynaamisesti linkitetty kirjasto voi toimia objekteissa tietämättä niiden täyttä tyyppiä.
Staattista polymorfismia esiintyy tyypillisesti ad hoc -polymorfismissa ja parametrisissa polymorfismissa, kun taas dynaaminen polymorfismi on tavallista alatyyppipolymorfismissa. On kuitenkin mahdollista saavuttaa staattista polymorfismia alatyypeillä käyttämällä metaohjelmointia.
Katso myös
[muokkaa | muokkaa wikitekstiä]Lähteet
[muokkaa | muokkaa wikitekstiä]- ↑ Polymorphism docs.oracle.com. Viitattu 19.2.2020. (englanniksi)
- ↑ Polymorphism cplusplus.com. Viitattu 19.2.2020. (englanniksi)
- ↑ Bjarne Stroustrup's C++ Glossary stroustrup.com. Viitattu 22.2.2020. (englanniksi)
- ↑ Glenn G. Chappell: CS 331 Spring 2018 A Primer on Type Systems cs.uaf.edu. Viitattu 22.2.2020. (englanniksi)
- ↑ David Parsons: Inheritance, Polymorphism, and Interfaces, s. 159–195. London: Springer London, 2012. doi:10.1007/978-1-4471-2479-5_8 ISBN 978-1-4471-2478-8
- ↑ a b c d e f g h i j Luca Cardelli & Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism (PDF) lucacardelli.name. doi:10.1145/6041.6042 Viitattu 22.2.2020. (englanniksi)}
- ↑ a b Christopher Strachey: Fundamental Concepts in Programming Languages. Higher-Order and Symbolic Computation, 2000, 13. vsk, nro 1/2, s. 11–49. doi:10.1023/a:1010000313106 ISSN 1388-3690
- ↑ Luca Cardelli, Peter Wegner: On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 10.12.1985, 17. vsk, nro 4, s. 471–523. doi:10.1145/6041.6042 ISSN 0360-0300 Artikkelin verkkoversio.
- ↑ Ralf Lämmel & Joost Visser: Type Combinators for Generic Traversal (PDF) citeseerx.ist.psu.edu. elokuu 2001. Viitattu 4.2.2023. (englanniksi)
- ↑ Row polymorphism (PDF) cl.cam.ac.uk. Viitattu 4.2.2023. (englanniksi)
- ↑ Neel Krishnaswami: Objects and Aspects: Row Polymorphism (PDF) cs.cmu.edu. Viitattu 4.2.2023. (englanniksi)
Aiheesta muualla
[muokkaa | muokkaa wikitekstiä]- Polymorphic variants (englanniksi)