Aliohjelmilla

Aliohjelmilla tarkoitetaan ohjelmointikielissä erillistä koodilohkoa, jonka suoritus voidaan aloittaa ohjelmasta useista paikoista. Aliohjelma voi vastaanottaa parametreja, suorittaa tehtävän ja antaa takaisin tuloksen tai toimittaa sivuvaikutuksia. Sen tarkoituksena on lisätä koodin uudelleenkäytettävyyttä, parantaa luettavuutta ja helpottaa virheiden hallintaa uneven.

Historian ja terminologian näkökulmasta aliohjelmilla on pitkä perinne ohjelmoinnissa. Eri kielissä lait muodostuvat hieman erilaisia nimiä: Fortranin subrutiinit, Pascalin proseduurit sekä C:n ja muiden kielten funktiot voivat edustaa samaa peruskäytäntöä, jossa koodi voidaan kutsua ulkopuolelta. Eri kielissä erikseen voidaan huomioida, onko aliohjelma palauttanut arvo vai onko kyseessä vain operaatio (procedurian) ilman palautusarvoa.

Toimintaperiaate perustuu ohjausmuistin hallintaan. Kun aliohjelma kutsutaan, nykyinen tilanne tallennetaan kutsunpaluuosoitteineen, parametrit syötetään aliohjelmalle ja ohjaus siirtyy sen sisäiseen toteutukseen. Aliohjelmat voivat käyttää paikallista tilaa sekä, sananlaskun mukaan, viitata ulkoisiin arvoihin. Parametrit voivat olla kopioita (pass-by-value) tai viitteitä (pass-by-reference), mikä vaikuttaa sivuvaikutuksiin ja suoritusoptimointeihin. Rekursio, jossa aliohjelma kutsuu itseään, on yleinen ilmiö.

Nykyisessä ohjelmoinnissa aliohjelmat käytetään käytännössä kaikissa kielissä toimintoina, funktioina tai menetelminä. Ne tukevat modulaarisuutta, testattavuutta ja ylläpidettävyyttä. Kehittäjät harkitsevat suunnittelussa selkeää vastuuta, minimointia sivuvaikutuksiin ja mielekästä nimeämistä, jotta aliohjelmien käyttö pysyy hallittavana.