Lazy evaluation — ifoda qiymatini u haqiqatan kerak bo‘lguncha hisoblamaslik strategiyasidir. Dastur qiymat o‘rniga hisoblash rejasi, thunk, iterator yoki query graph saqlaydi. Bu keraksiz ishni chetlab o‘tish, cheksiz ketma-ketlik bilan ishlash va optimizatorga amallarni qayta tashkil etish imkonini beradi. Evaziga bajarilish vaqti, xato joyi va resurs umri kamroq yaqqol bo‘lishi mumkin.
Til semantikasi
Call-by-name argument ishlatilgan har safar ifodani qayta hisoblaydi. Call-by-need birinchi natijani memoize qilib, keyingi foydalanishda qaytaradi. Haskell kabi tillar lazy semantikani keng qo‘llaydi. Ko‘p eager tillarda generator, stream API, future yoki maxsus lazy obyekt orqali shu xususiyat olinadi.
Quyidagi generator barcha sonni oldindan yaratmaydi:
def squares():
n = 0
while True:
yield n * n
n += 1
Consumer faqat dastlabki o‘nta qiymatni olsa, qolganlari hisoblanmaydi. Oddiy ro‘yxat bilan cheksiz ketma-ketlik yaratib bo‘lmaydi.
Query va data pipeline
DataFrame yoki ORMda filter, projection va join chaqiriqlari darhol databasega bormasdan logical plan qurishi mumkin. collect, execute yoki iteratsiya action bo‘lib, hisoblashni boshlaydi. Optimizer filterni sourcega yaqin suradi, keraksiz ustunlarni olib tashlaydi va join tartibini o‘zgartiradi.
Distributed engine lazy plan sabab bir nechta transformatsiyani yagona DAGda ko‘radi. U stage chegaralarini va shuffle ni rejalashtiradi. Ammo action ikki marta chaqirilsa, natija cache qilinmagan bo‘lsa pipeline qayta bajarilishi mumkin. Qimmat oraliq datasetni persist qilish foydali, lekin xotira va eski data xavfini oshiradi.
Short-circuit
Boolean A and B ifodasida A false bo‘lsa B kerak emas. Bu lazy evaluationning sodda ko‘rinishi. B side effectga ega bo‘lsa, uning bajarilmasligi dastur xulqiga ta’sir qiladi. Xuddi shuningdek, iterator pipeline faqat terminal consumer so‘ragan elementgacha ishlaydi.
Cheksiz yoki katta qidiruvda take(1) birinchi mos natijada to‘xtashi mumkin. Lekin oldidagi global sort barcha kirishni ko‘rmasdan natija bermaydi. Har operator streaming yoki blocking ekani bajarilish xotirasini belgilaydi.
Xotira va xatolar
Lazy qiymat closure orqali katta obyektga havola saqlab, kutilmagan memory retention keltirishi mumkin. Uzun thunk zanjiri hisoblanmaguncha xotirada o‘sadi; strict evaluation nuqtalari uni nazorat qiladi. Memoization natija endi kerak bo‘lmasa ham keshda qolishi mumkin.
Fayl iteratori yaratilib, keyin boshqa qatlamda iste’mol qilinsa, file handle uzoq ochiq qoladi yoki oldin yopilib xato beradi. Resurs chegarasi lazy oqimning iste’mol umri bilan moslanadi. Xato action vaqtida yuz bergani uchun stack trace ifoda qurilgan joydan uzoq bo‘lishi mumkin; query plan va lineage diagnostikada zarur.
Lazy evaluation tezlik kafolati emas. Kichik ishda thunk va iterator overhead eager hisoblashdan qimmat bo‘lishi mumkin. Profiling qaysi ish chetlab o‘tilgani, necha marta qayta bajarilgani va peak memoryni ko‘rsatadi.
Debugging va kuzatuv
Lazy pipeline qurilgan paytda emas, terminal actionda bajarilgani sabab log va breakpoint joyi chalg‘itishi mumkin. Dvigatel logical hamda physical plan, operator cardinality va materialization nuqtalarini ko‘rsatadi. Iteratorni debuggerda preview qilishning o‘zi uni iste’mol qilib yuborishi ehtimoli bor; takror iteratsiya qilinmaydigan oqim nusxalanmaydi. Testlar actionni majburan chaqirib, faqat plan tuzilganini muvaffaqiyat deb qabul qilmaydi.
Referential transparency
Pure expressionni kech yoki qayta hisoblash natijani o‘zgartirmaydi. Tashqi fayl, vaqt yoki mutable statega bog‘liq ifoda esa action paytida boshqa qiymat olishi mumkin. Lazy API side effectni aniq terminal bosqichga ajratganda tushunarliroq ishlaydi.
Bog‘liq tushunchalar
Eager evaluation, Generator, Iterator, Memoization, Query optimizer, Short-circuit evaluation, Thunk