Static semantics — dastur sintaktik jihatdan to‘g‘ri parse qilingandan keyin, uni bajarmasdan turib tekshiriladigan ma’no va cheklovlar majmuasidir. Type mosligi, nomning scope’da mavjudligi, funksiya argumentlari soni va ayrim control-flow qoidalari shunga kiradi. U grammar ifodalay olmaydigan, ammo compile vaqtida aniqlanadigan talablarni belgilaydi.
Syntaxdan keyingi bosqich
Parser x + y uchun to‘g‘ri syntax tree yaratishi mumkin. Static semantic analysis x va y e’lon qilinganmi, ularning typelari + operatorini qo‘llaydimi va natija qayerda ishlatilishi mumkinligini tekshiradi. Shuning uchun syntax error va type error turli bosqichga tegishli.
Compiler ko‘pincha symbol table yaratib, declarationlarni scope bilan bog‘laydi. Shadowing ruxsat etilishi, forward declaration va import resolution til qoidalariga bog‘liq. Bir xil nomning qaysi bindingga tegishli ekanini name resolution aniqlaydi.
Type tekshiruvi
Type checker expression type’ini hosil qilib, assignment va function call bilan mosligini tekshiradi. Explicit annotation yoki type inference ishlatilishi mumkin. Generic constraint, variance va overload resolution murakkab static semantic qoidalardir.
Static typing barcha runtime xatoni bartaraf etmaydi. Array index chegarasi, input qiymati yoki null holati type tizimi qanchalik ifodali ekaniga bog‘liq. Refinement yoki dependent type ko‘proq invariantni compile vaqtida ifodalashi mumkin, ammo proof va annotation narxi oshadi.
Control-flow tahlili
Definite assignment o‘zgaruvchi o‘qilishidan oldin barcha yo‘lda qiymat olganini tekshiradi. Unreachable code, return path va exhaustiveness ham static tahlil qilinishi mumkin. Pattern matchingda barcha variant qamralmagan bo‘lsa compiler warning yoki error beradi.
Borrow checker ownership va lifetime qoidalarini static semantics sifatida majburiy qilishi mumkin. Effect system funksiya I/O, exception yoki async ta’sirini type darajasida ifodalaydi. Qaysi qoida til spetsifikatsiyasining majburiy qismi, qaysisi linter siyosati ekanini ajratish muhim.
Diagnostic va recovery
Bitta missing declaration ko‘p downstream type xato keltirishi mumkin. Compiler cascade’ni kamaytirish uchun error type yoki placeholder binding bilan tahlilni davom ettiradi. Diagnostic primary cause, tegishli declaration va ehtimoliy fixni ko‘rsatadi.
IDE incomplete source’da ham symbol completion va type hint berishi uchun incremental semantic model yuritadi. Source o‘zgarganda faqat ta’sirlangan module qayta analiz qilinishi mumkin. Cache key compiler option va imported interface’ni qamrab oladi.
Formal ko‘rinish
Til spetsifikatsiyasi typing judgment, inference rule yoki proza bilan static semanticsni ta’riflaydi. Masalan, operandlar integer bo‘lsa addition natijasi integer degan qoida formal yozilishi mumkin. Compiler implementatsiyasi shu qoidalarga mos test suite bilan tekshiriladi.
Static semantics security uchun foydali invariantlarni erta ushlaydi, lekin unsafe escape, foreign function va dynamic input chegarasida qo‘shimcha runtime validation zarur.
Modul va inkremental tahlil
Compiler modulning public type interface’ini alohida summary sifatida saqlashi mumkin. Implementation o‘zgarsa, interface digest bir xil qolgan consumerlarni qayta type-check qilish shart emas. Bu katta loyihada feedback vaqtini kamaytiradi.
Import cycle static initialization va name resolutionni murakkablashtiradi; til uni taqiqlashi yoki maxsus tartib belgilashi mumkin. Generic instantiation xatosi declaration va foydalanish orasida uzoq diagnostic zanjir beradi. Compiler constraintning qaysi qismi bajarilmaganini ko‘rsatadi. Language server stale semantic cache bilan noto‘g‘ri suggestion bermasligi uchun compiler option, feature flag va dependency versionini keyga kiritadi.
Bog‘liq tushunchalar
Syntax, Type system, Name resolution, Symbol table, Type inference, Control-flow analysis, Dynamic semantics