Subprogramma
In de informatica is een subroutine, functie of procedure (soms ook subprogramma genoemd) een duidelijk afgebakend programmablok met een eigen naam binnen een computerprogramma, dat elders in het programma aangeroepen (uitgevoerd) kan worden. De naam die aan subprogramma's wordt gegeven kan afhangen van de gebruikte programmeertaal.
Inhoud |
[bewerk] Onderscheid tussen procedures en functies
Sommige programmeertalen, zoals Pascal, maken onderscheid tussen procedures en functies; functies zijn dan een speciale geval van procedures, die een resultaatwaarde retourneren aan het aanroepende programma. Ze worden vooral gebruikt voor het implementeren van wiskundige functies.
In andere talen, zoals C, worden alle subroutines functies genoemd, ook als ze geen waarde retourneren.
In functionele talen worden (vrijwel) alleen functies in de wiskundige zin gebruikt. In zuiver functionele talen als Haskell en Clean kunnen deze functies zelfs geen neveneffecten veroorzaken.
[bewerk] Redenen om een subprogramma te gebruiken
Er zijn verschillende redenen om een subprogramma te gebruiken:
- Om redundantie te vermijden;
- Om code in meerdere programma's en toepassingen te kunnen hergebruiken;
- Om de complexiteit van een programma in kleinere, beter beheersbare delen te kunnen opsplitsen;
- Om de leesbaarheid van een programma te verbeteren;
- Om een deel van een programma te verbergen of beschermen.
[bewerk] Parameters en returnwaarden
Veel programmeertalen faciliteren het doorgeven van gegevens tussen het aanroepende programma en het subprogramma. Deze gegevens worden vanuit het aanroepende programma aan het subprogramma doorgegeven als parameters. Hierbij wordt onderscheid gemaakt tussen invoer- en uitvoerparameters. Invoerparameters geven alleen waarden aan het subprogramma door. Uitvoerparameters geven data vanuit het subprogramma terug aan het hoofdprogramma. Meer strikte talen als C# (programmeertaal) kennen een aparte type waarin de parameters beiden kunnen zijn, andere talen gebruiken de uitvoerparameters tevens als invoerparameter.
Over het algemeen gesproken zijn er drie mechanismen van het doorgeven van parameters aan subprogramma's:
- pass by value
- Bij dit mechanisme wordt, in de aanroep van een subprogramma, voor iedere formele parameter van het subprogramma een uitdrukking in de zin van de programmeertaal opgegeven. Tijdens het uitvoeren van het programma wordt, bij aanroep van het subprogramma, die expressie doorgerekend. De waarde van die expressie wordt dan als initiële waarde van de formele parameter doorgegeven aan het subprogramma. Een duidelijk kenmerk van dit mechanisme ten opzicht van andere mechanismes is dat als de expressie bestaat uit een programma-variabele, de waarde van die variabele doorgegeven wordt aan het subprogramma maar de variabele zelf niet. Wat het subprogramma ook met die waarde of de formele parameter doet, heeft geen effect op de waarde van de programma-variabele.
- pass by reference
- Bij dit mechanisme wordt een formele parameter van het subprogramma een synoniem voor een variabele van het hoofdprogramma. Kenmerkend voor dit mechanisme is dat ieder verandering aan de formele parameter in het subprogramma ook direct een verandering is aan de waarde van de doorgegeven variabele. De meeste talen die dit mechanisme gebruiken, stellen verplicht dat wat er doorgegeven wordt aan het subprogramma als parameter een variabele is en niets anders.
- pass by name
- Bij dit mechanisme wordt, bij aanroep van een subprogramma, de naam van een variabele doorgegeven. Tijdens het uitvoeren van het programma wordt in de programmatekst van het subprogramma de naam van de formele parameter vervangen door de doorgegeven variabelenaam. Dit mechanisme wordt eigenlijk niet meer gebruikt -- het is moeilijk te begrijpen en te volgen, het maakt recursie in subprogramma's moeilijk of onmogelijk, het introduceert fouten en moeilijkheden omdat subprogramma's feitelijk geen eigen naamruimte hebben en het is mogelijk om programma's te forceren waarvan het gedrag onverwacht is of waarvan de uitvoering zelfs vastloopt.
Soms wordt er gebruikgemaakt van een combinatie van mechanismen, of van een neveneffect van een mechanisme waardoor meer dan één waarde doorgegeven wordt. De Java-taal bijvoorbeeld kent als typen voor programma-variabelen een aantal basis-typen en verder de "object referentie"; variabelen van dit type zijn doorzichtig en worden in de taal feitelijk behandeld alsof het de objecten zijn waarnaar zij verwijzen. Daarnaast kent Java als parametermechanisme pass by value. Wordt echter de waarde van een object referentie doorgegeven, dan wordt natuurlijk feitelijk ook dat object doorgegeven -- alsof het pass by reference was. Men zou dit mechanisme zoiets als "pass by reference-value" kunnen noemen.
Bij subprogramma's wordt soms onderscheid gemaakt in de waarden die geretourneerd worden na een aanroep. Sommige talen kennen alleen subprogramma's met een resultaat-waarde, sommige talen kennen alleen subprogramma's zonder, weer andere talen kennen een combinatie.
[bewerk] Gezond programmeren
Vanuit het oogpunt van gestructureerd programmeren gelden verschillende vuistregels bij het schrijven van subroutines.
- Allereerst dienen zowel de procedure zelf als de parameters speaking names, dus zichzelf verklarende namen te hebben.
- Een subroutine hoort één en slechts één taak uit te voeren. Wanneer er twee taken zijn, breng deze dan in twee subroutines onder.
- Een subroutine dient evenals elk programma slechts één ingang en één uitgang te hebben.
- Een subroutine heeft strong cohesion en weak coupling, dat wil zeggen dat de elementen binnen de subroutine een sterke samenhang vertonen en naar buiten toe slechts weinig raakvlakken hebben.
[bewerk] Recursie
Sommige talen staan toe dat subprogramma's zichzelf aanroepen. Dit verschijnsel wordt recursie genoemd. Het is belangrijk dat er in het subprogramma een voorwaarde geldt voor de recursieve aanroep, om te voorkomen dat een subprogramma, door zichzelf aan te roepen, in een oneindige lus terecht komt. De voorwaarde waaraan moet worden voldaan om de recursie te laten eindigen wordt wel de stopconditie genoemd.
