funktiokutsua

Funktiokutsu on ohjelmointikielessä toiminnon tai aliohjelman suoritus, jossa ohjelma siirtää ohjauksen kutsutun funktion ruumiiseen ja antaa sille tarvittavat argumentit. Kutsun lopullinen tulos on usein funktion palauttama arvo, mutta kutsu voi myös aiheuttaa sivuvaikutuksia, kuten tilan muutoksia globaalien muuttujien kohdalla.

Suorituksen kulku alkaa yleensä argumenttien evaluoinnilla ja uuden aktivointikehyksen (activation frame) luomisella, johon tallennetaan paikalliset muuttujat ja palautusarvo. Kun funktio on suoritettu, sen tulos palautetaan kutsuvalle kontekstille ja tila vapautuu takaisin kutsuoperaation jälkeen.

Syntaksi ja kielikohtaiset erot vaihtelevat. Erilaisissa kielissä funktion kutsu kirjoitetaan esimerkiksi foo(a, b) tai foo a b riippuen kielestä. Joissain kielissä on variadic-argumentteja tai erilaisia syntakseja erilaisten arvojen välittämiseksi. Yleisesti kutsun suorittaminen lisää pinoa kutsuvasta ohjelmasta riippuen.

Argumenttien välittäminen voi olla arvojen kopiointia (pass-by-value) tai viitteiden välittämistä (pass-by-reference). Joissain kielissä, kuten Pythonissa ja JavaScriptissä, argumentteina välitetään olioiden viitteitä, mikä vaikuttaa siihen, miten kutsun sisällä muutetaan muuttujia.

Rekursio ja korkeamman asteen funktiot laajentavat mahdollisuuksia käyttää funktiokutsuja. Joissain kielissä funktiot voivat olla first-class-objekteja ja toimia argumentteina tai palautusarvoina itsessään.