Aliohjelma

Aliohjelma (kutsutaan eri yhteyksissä myös termeillä proseduuri, funktio, metodi tai rutiini) on ohjelmoinnissa itsenäinen ohjelman osa, joka suorittaa tietyn toiminnon ja jota voidaan kutsua eri puolilta pääohjelmaa tai muista aliohjelmista. Aliohjelman suorituksen jälkeen ohjelman suoritus jatkuu kutsuvassa ohjelmassa aliohjelmakutsua seuraavasta lauseesta.

Ohjelmoinnissa esiintyy usein tilanne, että samanlaista toimintoa tarvitaan ohjelman useassa eri kohdassa. Jos sama toiminto kirjoitettaisiin ohjelmaan yhä uudelleen, ohjelmakoodi pitenisi ja tulisi epäselväksi, virheiden mahdollisuus kasvaisi ja korjaukset ohjelmakoodiin pitäisi tehdä useaan paikkaan. Aliohjelmat myös lisäävät ohjelman modulaarisuutta, koska ne mahdollistavat ohjelmakoodin jakamisen pienempiin itsenäisiin osiin ja parantavat siten ohjelmiston luettavuutta, testattavuutta ja ylläpidettävyyttä.

Proseduraalisessa ohjelmointikielessä aliohjelmia kutsutaan proseduureiksi tai funktioiksi, jos ne palauttavat jonkin arvon. Olio-ohjelmoinnissa oliossa olevia funktioita nimitetään jäsenfunktioiksi tai metodeiksi. Aliohjelmaa voidaan kutsua useassa kohdassa ohjelmaa, ja antaa sille argumenttina käsiteltävä arvo, tai joissakin kielissä (esimerkiksi C++-kielessä), viittaus käsiteltävään arvoon. Aliohjelman määrittelyn yhteydessä esitellään joukko muuttujia, joiden avulla aliohjelmakutsun yhteydessä annettuja argumentteja on aliohjelman ohjelmakoodista käsin mahdollista käsitellä. Näitä muuttujia kutsutaan aliohjelman parametreiksi. Lisäksi aliohjelmalla voi olla paikallisia muuttujia, jotka näkyvät ja ovat käytettävissä vain aliohjelman alueella ja ovat jokaiselle kutsukerralle erillisiä.

Aliohjelman kutsu on toteutettu nykyisissä suorittimissa jo käskytasolla: konekielinen käsky tallentaa senhetkisen ohjelmalaskurin arvon pinoon ja hyppää toiseen kohtaan ohjelmaa. Kun aliohjelma päättyy, paluuosoite haetaan pinon päältä. Tilaa jonne osoite tallennetaan kutsutaan aliohjelman aktivaatiotietueeksi. Siihen tallennetaan lisäksi aliohjelman käyttämät paikalliset muuttujat. Jos aliohjelma kutsuu itseään useaan kertaan, eli toimii rekursiivisesti, aktivaatiotietueita on useampi pinon päällä.