AlegsaOnline.com

Uždarymas programavime: funkcija su aplinka ir susietais kintamaisiais

Sužinokite, kas yra uždarymas programavime: funkcija su aplinka ir susietais kintamaisiais, kaip veikia atmintyje, istorija, anoniminės funkcijos ir praktiniai pavyzdžiai.

Autorius: Leandro Alegsa

17-12-2025

Kompiuterių moksle uždarymas (angl. closure) – tai funkcija, kuri kartu saugo savo aplinką. Aplinka yra rinkinys susietų kintamųjų (vardų su reikšmėmis), kuriuos funkcija gali pasiekti net ir tada, kai ta funkcija yra vykdoma kitame kontekste nei ten, kur ji buvo sukurta. Uždaromosios struktūros aplinka saugo susietus kintamuosius atmintyje tarp uždaromosios struktūros naudojimo atvejų, todėl uždarymas gali „įsiminti“ tam tikras reikšmes.

1964 m. Peteris J. Landinas šią idėją pavadino uždarymu. Scheme programavimo kalba išpopuliarino uždarymą po 1975 m. Daugelis po to sukurtų programavimo kalbų turi uždarymų arba bent jau jų analogus.

Anoniminės funkcijos (funkcijos be vardo) kartais klaidingai vadinamos uždarymo funkcijomis. Daugumoje kalbų, kuriose yra anoniminių funkcijų, taip pat yra uždarymų. Anoniminė funkcija taip pat yra uždarymas, jei ji turi savo aplinką su bent vienu susietu kintamuoju. Anoniminė funkcija, neturinti savo aplinkos, nėra uždarymas. Įvardyta uždarymo funkcija nėra anoniminė.

Kaip veikia uždarymai

Paprastai uždarymas susidaro tada, kai funkcija apibrėžiama viduje kito bloko ar funkcijos ir naudoja aplinkos kintamuosius iš išorinio bloko. Svarbu atskirti dvi sąvokas:

Lexical (stebėjimo) scoping – funkcijos reikšmės susiejamos su aplinka tuo metu, kai funkcija yra apibrėžiama.
Dynamic scoping – kintamųjų reikšmės surandamos pagal vykdymo vietą; dauguma populiarių kalbų (JavaScript, Python, Scheme) naudoja lexicelį scope, todėl uždarymai veikia apibrėžimo metu.

Pavyzdžiai (sintaksės iliustracija)

Štai paprastas JavaScript pavyzdys, demonstruojantis, kaip funkcija „įsimena“ kintamąjį:

 function makeCounter() {   let count = 0;   return function() {     count += 1;     return count;   }; }  const c = makeCounter(); c(); // 1 c(); // 2

Funkcija grąžinama iš makeCounter ir toliau turi prieigą prie vietinio kintamojo count. Dėl to kiekvienas tokios fabriko funkcijos iškvietimas gali turėti savo atskirą būseną.

Python pavyzdys:

 def make_adder(x):     def add(y):         return x + y     return add  add5 = make_adder(5) add5(3)  # 8

Naudojimo sritys

Duomenų kapsuliavimas ir privatumas (pavyzdžiui, slėpti vietinius kintamuosius nuo išorinio pasaulio).
Atgaliniai kvietimai (callbacks) ir asinchroninis programavimas – uždarymai leidžia palaikyti būseną tarp kvietimų.
Funkcijų fabrikai (factory functions) – sukurti specializuotas funkcijas parametrizuojant uždaromosios aplinkos kintamuosius.
Dalinis taikymas (partial application) ir funkcijų komponavimas.

Įgyvendinimo ir atminties aspektai

Įgyvendinant uždarymus, kalbų vykdymo aplinka turi užtikrinti, kad tie kintamieji, kuriuos uždarymas naudoja, išliktų gyvi tiek, kiek reikia. Kai kuriose įgyvendinimuose vietinės funkcijų „rėmeliai“ perkeliami iš steko į šiukšlių rinkimo valdomą heap atmintį, kad reikšmės nepradingtų pasibaigus išoriniam funkcijos kvietimui. Dėl to gali padidėti atminties naudojimas; prastai valdomi uždarymai gali lemti netyčinius atminties nutekėjimus (pvz., laikant dideles struktūras ilgą laiką).

Optimizacijos, kurias naudoja kompiliatoriai/arbitražai:

Lambda lifting – perkelti uždarymams reikalingus kintamuosius į funkcijos parametrus.
Escape analysis – nuspręsti, ar vietinis kintamasis gali likti steke arba turi būti alokuotas heap'e.

Dažnos klaidos ir spąstai

Uždarymai gali netyčia „pagauti“ kintamuosius, kurie vėliau keičiasi (pavyzdžiui, senesnės JavaScript versijos su var ir ciklais). Sprendimas – naudoti let arba sukurti vidinę funkcinę kopiją kintamojo.
Bandymas seralizuoti uždarymus paprastai neveikia, nes uždarymo aplinka gali būti sudėtinga arba turėti nuorodas į išorinius išteklius.
Netinkamas uždaromųjų naudojimas gali apsunkinti atminties valdymą ir sudėtingumą bandant suprasti programos būseną.

Kada uždarymas YRA ir KADA NĖRA

Ne kiekviena funkcija yra uždarymas. Funkcija bus uždarymas tik tada, kai ji turi susietą aplinką su bent vienu kintamuoju, kurio reikšmė nėra vietinė tik tuo metu vykdant funkciją. Iš kitos pusės, anoniminė funkcija tampa uždarymu tik tuomet, kai ji iš tikrųjų pagavo (naudojasi) kintamuoju iš išorinės aplinkos. Įvardinta funkcija, kuri pagavo aplinkos kintamuosius, taip pat yra uždarymas – vardas neteikia ar neatima uždarymo savybių.

Trumpas santrauka

Uždarymai yra galingas konceptas programavimo kalbose, leidžiantis funkcijoms ne tik vykdyti kodą, bet ir išsaugoti būseną per laiko tarpą. Jie plačiai naudojami funkcinėje ir imperatyvioje paradigmoje, tačiau reikalauja supratimo apie scope, atminties valdymą ir galimas spąstus. Žinojimas, kada ir kaip uždarymai veikia, padeda rašyti aiškesnį, saugesnį ir efektyvesnį kodą.

Uždarymai ir pirmos klasės funkcijos

Vertės gali būti skaičiai arba kito tipo duomenys, pavyzdžiui, raidės, arba iš paprastesnių dalių sudarytos duomenų struktūros. Programavimo kalbos taisyklėse pirmos klasės reikšmės yra reikšmės, kurias galima pateikti funkcijoms, grąžinti funkcijomis ir susieti su kintamojo vardu. Funkcijos, kurios priima arba grąžina kitas funkcijas, vadinamos aukštesnės klasės funkcijomis. Dauguma kalbų, kuriose funkcijos yra pirmos klasės reikšmės, taip pat turi aukštesnės eilės funkcijas ir uždarymus.

Pavyzdžiui, pažvelkite į šią Scheme funkciją:

; Grąžinkite visų knygų, kurių parduota bent TIESIOGIAI egzempliorių, sąrašą. (define (best-selling-books threshold) (filter (lambda (book) (>= (book-sales book) threshold))) book-list)))

Šiame pavyzdyje lambda išraiška (lambda (book) (>= (book-sales book) threshold)) yra funkcijos best-selling-books dalis. Kai funkcija paleidžiama, Scheme turi sudaryti lambda išraiškos reikšmę. Tai ji padaro sudarydama uždarymą su lambda kodu ir nuoroda į kintamąjį threshold, kuris yra laisvas kintamasis lambda viduje. (Laisvasis kintamasis yra vardas, kuris nėra susietas su reikšme.)

Tada filtro funkcija atlieka kiekvienos sąraše esančios knygos uždarymą ir pasirenka, kurias knygas grąžinti. Kadangi pats uždarymas turi nuorodą į slenkstį, uždarymas gali naudoti šią vertę kiekvieną kartą, kai filtras paleidžia uždarymą. Pati filtravimo funkcija gali būti parašyta visiškai atskirame faile.

Toliau pateikiame tą patį pavyzdį, perrašytą ECMAScript (JavaScript) - kita populiaria kalba, palaikančia uždarymus:

// Grąžinamas visų knygų, kurių parduota ne mažiau kaip 'slenkstis' egzempliorių, sąrašas. funkcija bestSellingBooks(slenkstis) { return bookList. filter( funkcija(knyga) { return book. sales >= slenkstis; } ); }

ECMAScript vietoj žodžio lambda čia naudojamas žodis funkcija, o vietoj funkcijos filter - metodas Array.filter, tačiau kitais atžvilgiais kodas atlieka tą patį dalyką tuo pačiu būdu.

Funkcija gali sukurti uždarymą ir jį grąžinti. Toliau pateiktame pavyzdyje yra funkcija, grąžinanti funkciją.

Schemoje:

; Grąžinkite funkciją, aproksimuojančią f išvestinę ; naudojant dx intervalą, kuris turėtų būti atitinkamai mažas. (define (derivative f dx) (lambda (x) (/ (- (f (+ x dx))) (f x)) dx)))))

In ECMAScript:

// Grąžinkite funkciją, aproksimuojančią f išvestinę // naudojant dx intervalą, kuris turėtų būti atitinkamai mažas. funkcija derivative(f, dx) { return function(x) { return (f(x + dx) - f(x))) / dx; }; }; }

Uždarymo aplinka išlaiko susietus kintamuosius f ir dx po to, kai grįžta uždarančioji funkcija (išvestinė). Kalbose, kuriose nėra uždarumo, šios reikšmės būtų prarastos po to, kai grįžta uždarančioji funkcija. Kalbose su uždarosiomis struktūromis susietasis kintamasis turi būti saugomas atmintyje tol, kol jį turi bet kuri uždaroji struktūra.

Uždarymo nebūtina sudaryti naudojant anoniminę funkciją. Pavyzdžiui, "Python" programavimo kalba ribotai palaiko anonimines funkcijas, tačiau turi uždarymo funkcijas. Pavyzdžiui, vienas iš būdų, kaip pirmiau pateiktą ECMAScript pavyzdį būtų galima įgyvendinti Python kalba, yra toks:

# Grąžinkite funkciją, kuri aproksimuoja f išvestinę # naudodama dx intervalą, kuris turėtų būti atitinkamai mažas. def derivative(f, dx): def gradient(x): return (f(x + dx) - f(x)) / dx return gradientas

Šiame pavyzdyje funkcija, pavadinta gradientu, kartu su kintamaisiais f ir dx sudaro sandarą. Šį uždarumą grąžina išorinė uždarymo funkcija, pavadinta išvestine. Šiuo atveju tiktų ir anoniminė funkcija.

def derivative(f, dx): return lambda x: (f(x + dx) - f(x)) / dx

Pythone dažnai tenka naudoti pavadintas funkcijas, nes jo lambda išraiškose gali būti tik kitos išraiškos (kodas, kuris grąžina vertę), bet ne teiginiai (kodas, kuris turi poveikį, bet neturi vertės). Tačiau kitose kalbose, pavyzdžiui, Scheme, visas kodas grąžina vertę; Scheme viskas yra išraiška.

Uždarymo būdai

Uždarymo būdai turi daugybę paskirčių:

Programinės įrangos bibliotekų projektuotojai gali leisti naudotojams pritaikyti elgseną, perduodami uždarymus kaip argumentus svarbioms funkcijoms. Pavyzdžiui, funkcija, kuri rūšiuoja reikšmes, gali priimti uždarymo argumentą, kuris palygina rūšiuojamas reikšmes pagal naudotojo nustatytą kriterijų.
Kadangi uždaromosios struktūros atideda vertinimą, t. y. nieko nedaro, kol nėra iškviečiamos, jas galima naudoti valdymo struktūroms apibrėžti. Pavyzdžiui, visos standartinės Smalltalk valdymo struktūros, įskaitant šakas (if/then/else) ir ciklus (while ir for), yra apibrėžtos naudojant objektus, kurių metodai priima uždarymus. Vartotojai taip pat gali lengvai apibrėžti savo valdymo struktūras.
Gali būti sukurtos kelios funkcijos, kurios uždaromos toje pačioje aplinkoje, todėl jos gali privačiai bendrauti keisdamos tą aplinką (kalbomis, kurios leidžia priskyrimą).

Schemoje

(define foo #f) (define bar #f) (let ((secret-message "none")) (set! foo (lambda (msg) (set! secret-message msg))) (set! bar (lambda () secret-message))) (display (bar)) ; spausdina "none" (newline) (foo "meet me by the docks at the midnight") (display (bar)) ; spausdina "meet me by the docks at the midnight"

Uždarymai gali būti naudojami objektų sistemoms įgyvendinti.

Pastaba: kai kurie kalbėtojai bet kokią duomenų struktūrą, kuri susieja leksinę aplinką, vadina uždarymu, tačiau šis terminas paprastai taikomas būtent funkcijoms.

Klausimai ir atsakymai

K: Kas yra kompiuterių mokslo uždarymas?

A: Uždarymas - tai funkcija, turinti savo aplinką.

K: Ką sudaro uždarymo aplinka?

A: Uždarymo aplinkoje yra bent vienas susietas kintamasis.

K: Kas davė uždarumo idėjai pavadinimą?

A.: Peteris J. Landinas 1964 m. pavadino uždarumo idėją.

Klausimas: Kurios programavimo kalbos dėka uždarymai išpopuliarėjo po 1975 m.?

Atsakymas: Po 1975 m. uždaromosios sąvokos išpopuliarėjo programavimo kalba Scheme.

K: Ar anoniminės funkcijos ir uždarymai yra tas pats?

A: Anoniminės funkcijos kartais klaidingai vadinamos užraktais, tačiau ne visos anoniminės funkcijos yra užraktai.

K: Kas anoniminę funkciją paverčia uždarymu?

A: Anoniminė funkcija yra uždarymas, jei ji turi savo aplinką su bent vienu susietu kintamuoju.

K: Ar įvardyta uždarymo funkcija yra anoniminė?

Atsakymas: Ne, įvardyta uždarymo funkcija nėra anoniminė.