Turinys:
Apibrėžimas - ką reiškia statiškai įvestas?
Statiškai įvesta programavimo kalbos savybė, kurioje kintamųjų tipai yra aiškiai deklaruojami ir nustatomi kompiliavimo metu. Tai leidžia kompiliatoriui nuspręsti, ar duotas kintamasis gali atlikti veiksmus, kurių iš jo reikalaujama, ar ne.
Statinis spausdinimas tipus sieja su kintamaisiais, o ne su reikšmėmis. Kai kurie statiškai įvestų programavimo kalbų pavyzdžiai:
- Haskell
- FORTRANAS
- „Java“
- C
- C #
- C ++
- Ada
- Jade
- Paskalis
- ML
- Perlas
- Scala
„Techopedia“ paaiškina statiškai tipizuotą
Statant tekstą nereikia atlikti papildomų patikrinimų vykdymo metu, norint patvirtinti, kad objektas gali atlikti kai kuriuos veiksmus. Statiškai įvestos programavimo kalbos tipo patikrinimą atlieka rinkimo, o ne vykdymo metu, todėl šiomis kalbomis parašytos programos veikia daug greičiau.
Be to, įrankiai ir reaktorių atstatymas yra geresni statiškai įvestomis kalbomis, nes įrankiai gali sužinoti kintamųjų tipus, kai programa yra koduojama. Tai padeda akimirksniu suprasti tam tikros funkcijos parametrus ir metodus, galimus konkrečiam objektui. Tai taip pat palengvina reagavimo procesą.
Su keletu išimčių, kai metodas ar objektas yra pataisytas, lengva iš karto suprasti, kokie kiti kodai nuo jo priklauso. Tačiau tai kainuoja. Išskyrus keletą išimčių, statiškai įvestos kalbos reikalauja papildomų komentarų, kad sudarytojui būtų pranešta apie numatomus autoriaus tikslus.
Kalbant apie objekto struktūrą, statiškai įvestos kalbos yra mažiau lanksčios, palyginti su jų dinaminėmis atitikmenimis. Negalima pridėti laukų ir metodų prie nurodyto objekto vykdymo metu. Tai gali būti sudėtinga tvarkant mažiau struktūruotus duomenis; pavyzdžiui, analizuojant JSON, XML ar duomenų bazės užklausas, objekto atvaizdavimas yra ne toks, koks būtų idealus.
