Aanroepvolgorde

Aanroepvolgorde is de volgorde waarin functies, methoden of callbacks geactiveerd worden tijdens de uitvoering van een programma. De term heeft betrekking op de evaluatievolgorde van expressies en argumenten, evenals op de volgorde waarin procedures worden aangeroepen en terugkoppelingen plaatsvinden. In veel talen is deze volgorde vastgelegd in de taalspecificatie, maar in andere talen kan de volgorde afhankelijk zijn van de implementatie of van de context, zoals bij asynchrone of event-driven code.

Een belangrijke component is de evaluatie- en aanroepvolgorde. Bij elke functie-aanroep wordt een nieuw frame op de call stack geplaatst en worden de bijbehorende bewerkingen uitgevoerd voordat de controle terugkeert naar de aanroepende code. Recursie beïnvloedt de aanroepvolgorde doordat meerdere niveaus van functie-aanroepen achter elkaar bestaan. De combinatie van deze volgorde met mogelijke bijwerkingen maakt deterministische uitvoering soms lastig te voorspellen.

Taalverschillen kunnen de verwachting over aanroepvolgorde beïnvloeden. In Java en Python worden argumenten meestal van links naar rechts geëvalueerd voordat een functie wordt aangeroepen. JavaScript evalueert eveneens van links naar rechts, maar asynchrone operaties (zoals promises en callbacks) kunnen ervoor zorgen dat uiteindelijke acties later plaatsvinden dan de oorspronkelijke aanroepen doen vermoeden. In C en C++ is de volgorde van evaluatie van functie-argumenten traditioneel ongespecificeerd, wat tot afhankelijkheden van de compiler kan leiden.

Het begrip van aanroepvolgorde is essentieel voor debugging, het voorkomen van bijwerkingen en het ontwerp van API's en asynchrone logica. Zie ook evaluatievolgorde, call stack en tail call-optimisatie.