Uzáver v informatike: definícia, vlastnosti a význam

Hodnoty môžu byť čísla alebo iný typ údajov, napríklad písmená, alebo dátové štruktúry zložené z jednoduchších častí. V pravidlách programovacieho jazyka sú hodnotami prvej triedy hodnoty, ktoré môžu byť zadané funkciám, vrátené funkciami a viazané na meno premennej. Funkcie, ktoré prijímajú alebo vracajú iné funkcie, sa nazývajú funkcie vyššieho rádu. Väčšina jazykov, ktoré majú funkcie ako hodnoty prvej triedy, má aj funkcie vyššieho rádu a uzávery.

Pozrite sa napríklad na nasledujúcu funkciu schémy:

V tomto príklade je lambda výraz (lambda (book) (>= (book-sales book) threshold)) súčasťou funkcie best-selling-books. Pri spustení funkcie musí Scheme vytvoriť hodnotu lambda výrazu. Urobí to tak, že vytvorí uzáver s kódom pre lambdu a odkazom na premennú threshold, ktorá je voľnou premennou vnútri lambdy. (Voľná premenná je meno, ktoré nie je viazané na hodnotu.)

Funkcia filtra potom vykoná uzáver na každej knihe v zozname, aby vybrala knihy, ktoré sa majú vrátiť. Keďže samotný uzáver má odkaz na prah, uzáver môže túto hodnotu použiť pri každom spustení funkcie filter. Samotná funkcia filter môže byť zapísaná v úplne samostatnom súbore.

Tu je ten istý príklad prepísaný v jazyku ECMAScript (JavaScript), ďalšom populárnom jazyku s podporou uzáverov:

ECMAScript tu používa slovo function namiesto lambda a metódu Array.filter namiesto funkcie filter, ale inak kód robí tú istú vec rovnakým spôsobom.

Funkcia môže vytvoriť uzáver a vrátiť ho. Nasledujúci príklad je funkcia, ktorá vracia funkciu.

V schéme:

V ECMAScripte:

Prostredie uzáveru zachováva viazané premenné f a dx po návrate uzatvárajúcej funkcie (derivácie). V jazykoch bez uzáverov by sa tieto hodnoty po návrate obklopujúcej funkcie stratili. V jazykoch s uzávermi musí byť viazaná premenná uchovávaná v pamäti dovtedy, kým ju má nejaký uzáver.

Uzáver nemusí byť vytvorený pomocou anonymnej funkcie. Napríklad programovací jazyk Python má obmedzenú podporu anonymných funkcií, ale má uzávery. Jedným zo spôsobov, ako by sa dal vyššie uvedený príklad ECMAScriptu implementovať v jazyku Python, je napríklad:

V tomto príklade funkcia s názvom gradient tvorí uzáver spolu s premennými f a dx. Vonkajšia obklopujúca funkcia s názvom derivácia vracia tento uzáver. V tomto prípade by fungovala aj anonymná funkcia.

Python musí často používať pomenované funkcie, pretože jeho lambda výrazy môžu obsahovať len iné výrazy (kód, ktorý vracia hodnotu) a nie príkazy (kód, ktorý má účinky, ale nemá hodnotu). V iných jazykoch, napríklad v Scheme, však všetok kód vracia hodnotu; v Scheme je všetko výraz.

Uzávery majú mnoho využití:

• Návrhári softvérových knižníc môžu používateľom umožniť prispôsobiť správanie odovzdávaním uzáverov ako argumentov dôležitých funkcií. Napríklad funkcia, ktorá triedi hodnoty, môže prijať argument uzáveru, ktorý porovnáva hodnoty, ktoré sa majú zoradiť podľa kritéria definovaného používateľom.
• Keďže uzávery odkladajú vyhodnotenie, t. j. nič "nerobia", kým nie sú zavolané, môžu sa použiť na definovanie riadiacich štruktúr. Napríklad všetky štandardné riadiace štruktúry jazyka Smalltalk vrátane vetiev (if/then/else) a cyklov (while a for) sú definované pomocou objektov, ktorých metódy akceptujú uzávery. Používatelia môžu ľahko definovať aj vlastné riadiace štruktúry.
• Možno vytvoriť viacero funkcií, ktoré sa uzavrú nad tým istým prostredím, čo im umožní súkromne komunikovať zmenou tohto prostredia (v jazykoch, ktoré umožňujú priradenie).

V schéme

• Uzávery možno použiť na implementáciu objektových systémov.

Poznámka: Niektorí používatelia nazývajú uzáverom akúkoľvek dátovú štruktúru, ktorá viaže lexikálne prostredie, ale tento termín sa zvyčajne vzťahuje konkrétne na funkcie.