Čo je Lua: história, dizajn, reálne využitie a kľúčové vlastnosti jazyka

Informatec Digital » Jazyky » Čo je Lua: história, dizajn, skutočné využitie a kľúčové aspekty jazyka

Lua je jeden z tých jazykov, ktoré prekvapujú svojou vyváženosťou : je malý, rýchly a navrhnutý na vloženie do aplikácií, no zároveň dostatočne expresívny na to, aby pokryl viacero programovacích štýlov. Ak vás zaujíma, čo to vlastne je, na čo sa používa a prečo si ho vyberá toľko nástrojov, tu je praktický a dobre zdokumentovaný sprievodca.

Predtým, ako sa ponoríme do detailov, je vhodné objasniť dva kľúčové body: Lua bola vytvorená v roku 1993 v Brazílii (PUC-Rio, skupina TeCGraf) s cieľom byť ľahká a rozšíriteľná a od verzie 5.0 je distribuovaná pod licenciou MIT (predtým licencia podobná BSD). Pri jej vykonávaní sa zdrojový text priamo neinterpretuje: kompiluje sa do bajtkódu a spúšťa sa vo vlastnom virtuálnom stroji; navyše je k dispozícii LuaJIT pre kompiláciu za behu.

Čo je Lua a odkiaľ pochádza?

Lua znamená v portugalčine „mesiac“ a vytvorili ju Roberto Ierusalimschy, Luiz Henrique de Figueiredo a Waldemar Celes. Jeho zameranie bolo od začiatku veľmi jasné: byť vstavaným, prenosným a minimalistickým jazykom s jednoduchou syntaxou inšpirovanou jazykom C a rozšíriteľnosťou podobnou Perlu. V priebehu rokov sa etabloval ako skriptovací engine pre videohry, pluginy a vstavané systémy.

Od svojho vzniku bola prenosnosť kľúčovým zameraním : implementovaný v jazyku ISO C , beží prakticky kdekoľvek, od veľkých serverov až po mikrokontroléry s iba niekoľkými stovkami kilobajtov pamäte. Prvé verzie boli licencované pod licenciou typu BSD a od Lua 5.0 používajú licenciu MIT , ktorá je plne kompatibilná s licenciou GPL.

Filozofia a dizajn: ľahká, zapustená a multiparadigmálna

Lua uprednostňuje „niekoľko veľmi výkonných prvkov“. Jeho koncepčný rámec je zhrnutý v troch pilieroch : tabuľky ako jediná dátová štruktúra, funkcie ako prvotriedni občania a korutiny pre kolaboratívne riadenie toku. S týmito základmi môžu používatelia vytvárať vlastné moduly, objekty, prostredia a abstrakcie .

Často sa opisuje ako procedurálny, ale prirodzene prijíma funkčné štýly (uzávierky, príkazy vyššej úrovne), objektovo orientované prístupy (prostredníctvom metatabuliek a prototypov) a prístup riadený dátami. Jeho minimalizmus neznamená rigiditu: jazyk sa rozširuje a prispôsobuje predefinovaním správania prostredníctvom metatabuliek.

Základná syntax a vykonávanie

V jazyku Lua premenné nemajú statické typy ; ich hodnotám sú priradené typy. Ponúka osem základných typov : nil , boolean , number , string , table , function , userdata a thread (korutiny). Okrem toho podporuje riadené premieňanie medzi číslami a reťazcami počas behu programu.

Jazyk je organizovaný v kúsky (kúsky kódu), ktoré kompilátor transformuje do anonymných funkcií; to pomáha zapuzdriť štát teraz beží bez náhodných „magických globálnych premenných“. Pripomienky sú označené -- a podporuje reťazcové literály s dlhými úvodzovkami alebo zátvorkami; operátorov zahŕňajú aritmetické, relačné, skratové logiky (and, or, not), zreťazenie (..) a dĺžka (#).

Pokiaľ ide o riadenie toku, našli sme if/elseif/else, while, repeat until (telo zaručené aspoň raz) a dva varianty for: číselná (so začiatkom, koncom a krokom) a rodový (iterátory ako pairs o ipairs). The miestne vyhlásenia obmedziť lexikálny rozsah a návrat umožňuje viacero hodnôt.

Typy údajov a vynucovanie

Lua je zámerne typovaná dynamicky . Automatické konverzie prebiehajú predovšetkým medzi reťazcom a číslom v aritmetických operáciách alebo textových kontextoch. Podmienené príkazy berú ako nepravdu iba hodnoty false a nil ; všetko ostatné je pravdivé (vrátane 0 a prázdneho reťazca).

Medzi kľúčové dátové typy patria tabuľky (slovníky/asociatívne polia), funkcie (hodnoty prvej triedy), používateľské dáta (bloky pamäte C) a vlákna (korutiny). Tabuľky sú heterogénne , akceptujú akýkoľvek typ kľúča okrem nil a tvoria základ zložitých štruktúr, ako sú zoznamy, záznamy, stromy a riedke polia.

Tabuľky a metatabuľky: srdce jazyka

Tabuľka je jediná dátová štruktúra a používa sa na všetko: od jednoduchého poľa ({10,20,30}) do katalógov, objektov, modulov a prostredí. Prístup k t y t.x je ekvivalentné, keď je kľúčom názov. Konštruktory so zátvorkami umožňujú veľmi kompaktné výrazy inicializácie.

s metatabuľky se predefinovať správanie operátorov a prístupov: __add, __eq, __lt, __concat, __len, __index, __newindex, __callatď. To umožňuje preťažiť sčítanie, porovnávanie, zreťazenie alebo ako reagovať na prístup k chýbajúcemu poľu, okrem iného. Môžete si tak vytvoriť triedy komplexných čísel, proxy, validátory alebo obaly len s niekoľkými riadkami.

Moduly a prostredia

Funkcia require načíta modul (kúsok, ktorý po spustení zvyčajne vráti tabuľku s funkciami a konštantami). Lua interne skompiluje kód do funkcie a vykoná ju vo svojom prostredie, pričom vráti výsledok na opätovné použitie. Globálne premenné „nachádzajú sa“ v tabuľke a sú prístupné ako _G a v modernejších verziách prostredníctvom viditeľného prostredia funkcie (_ENV).

Táto architektúra udržiava malú veľkosť binárneho súboru : namiesto načítania všetkého každý modul sprístupňuje iba to, čo je potrebné, a vývojár rozhodne, čo zahrnúť. Lexikálna viditeľnosť a oddelenie prostredia minimalizujú vedľajšie účinky medzi časťami kódu.

Funkcie, uzávery a chunky

V jazyku Lua je funkcia hodnota : je priradená premenným, odovzdaná ako argument a vrátená ako výsledok. Neexistuje žiadna rigidná arita: nadbytočné argumenty sa ignorujú ; chýbajúce argumenty sa doplnia hodnotou nil . Dokonca aj časti (chunky) sa považujú za anonymné funkcie, čo uľahčuje zapuzdrenie lokálneho stavu bez znečistenia globálneho prostredia.

Ako syntaktický cukor, operátor : (dvojbodka) umožňuje definovať a volať „metódy“ odovzdaním self implicitne: obj:metodo(x) rovná sa obj.metodo(obj, x). Uzávery Zachytávajú upvalues, čo je veľmi silný základ pre vytváranie iterátorov, tovární a čistých API.

Objektová orientácia „v jazyku Lua“

Hoci nemá žiadne triedy ako také, Lua implementuje OOP pomocou tabuliek a metatabuliekNajrozšírenejšie použitie vzorov __index Delegovanie na prototyp: Objekty ukladajú svoj stav a vyhľadávajú svoje metódy v „šablóne“ (tabuľke prototypov). Konštruktor môže jednoducho priradiť metatabuľku a vrátiť nové inštancie.

Kombinovanie konštruktory, __index a cukor:, získa sa pragmatické objektovo orientované programovanie: metódy s self, pseudoinheritancia (reťazené prototypy), možnosť prepísania a flexibilné zloženieJe to jednoduchý a veľmi efektívny prístup pre pluginy, hry alebo konfiguračné skripty.

Korutiny: kooperatívny multitasking

L korutiny Ponúkajú veľmi jemnú reguláciu prietoku: môžu byť yield y resume v určitých bodoch, čím šetria svoju batériu. Fungujú ako kooperatívne viacvláknové spracovanie, ideálne pre hernú logiku, reaktívne systémy, jednoduché plánovače alebo lenivé iterátoryOkrem toho umožňujú elegantné prepínanie medzi Lua a hostiteľským kódom (napr. C/C++).

V praxi korutina beží, kým sa neukončí , vráti hodnoty osobe, ktorá ju reštartuje, a potom pokračuje presne tam, kde prestala. Pre interaktívne úlohy, stavovú umelú inteligenciu alebo simulácie je to veľmi cenný nástroj vďaka svojej nízkej cene a prehľadnosti.

Štandardné knižnice a nástroje

Lua sa dodáva s kompaktnou, ale veľmi užitočnou sadou štandardných knižníc: basic (assert, type, pairs, require…), string (patterns, gsub, gmatch, format), table (insert, remove, sort, concat), math (trigonometria, exponenciály, random), IO (súbory), OS (dátumy, prostredie, procesy) a debug (hooky, traces, inspection). Sú navrhnuté tak, aby pokrývali 80 % reálnych potrieb s minimálnou zaberateľnosťou.

Systém vzory strún ponúka výkonné vyhľadávanie, zachytávanie a nahrádzanie bez použitia plných regulárnych výrazov; s funkciami ako gmatch o gsub Väčšina typických prípadov spracovania textu sa rieši jednoduchým spôsobom. stručný.

Vstavané v C/C++ a integračnom API

Jednou zo silných stránok je jej API v jazyku CHostiteľ vytvorí lua_State, načítať chunky (lua_load), vyvolá funkcie (lua_pcall na vykonanie chránených), registrov natívne funkcie prístupný z Lua a presúva dáta cez virtuálny zásobníkExistujú nástroje na spracovanie chýb, zber odpadu, metatabuľky a „používateľské dáta“, ktoré odhaľujú štruktúry C-worldu.

Vďaka tomuto dizajnu je Lua univerzálnym skriptovacím enginom pre aplikácie v jazyku C/C++: logika je delegovaná do jazyka Lua (ľahko sa iteruje a nasadzuje) a zároveň sa zachováva výkon natívneho jadra. Jeho malá zaťažiteľnosť (implementácia ~25 000 riadkov jazyka C a binárne súbory v stovkách KB) pomáha integrovať ho aj na skromných zariadeniach.

Lua v IoT a mikrokontroléroch (ESP8266/NodeMCU)

Lua sa skvele hodí pre IoT vďaka svojej jednoduchosti a rýchlemu vývojovému cyklu. NodeMCU pre ESP8266 ponúka firmvér, ktorý beží na Lua a s nástrojmi ako Program na nahrávanie v jazyku Lua o ESPlorer Môžete nahrávať skripty, otvárať konzolu, testovať úryvky kódu a ladiť za chodu. Súbor init.lua zvyčajne začnite s logikou zariadenia (napr. blikanie LED diódy alebo konfigurácia GPIO).

Možnosť postupne vykonávať časti kódu, bez nutnosti rekompilácie všetkého, umožňuje veľmi pohodlné experimentovanie: deklarovanie premenných, vytváranie print(a+b), prepínacie piny atď. Pre tých, ktorí prechádzajú z Arduina, je tento postup agilný a didaktickýa často stačia malé zmeny na prenos skriptov do iných kompatibilných zariadení.

Významné využitie vo videohrách a softvéri

Vďaka svojej ľahkej povahe, výkonu a permisívnemu licencovaniu je Lua obľúbeným jazykom v engine a modoch. Platformy ako Roblox propagovali typovaný variant (Luau); tituly a enginy ako World of Warcraft , sandboxová hra Garry's Mod (založená na Half-Life 2), RTS Supreme Commander , súčasť STALKER , dobrodružstvá od LucasArts ako Grim Fandango a Escape from Monkey Island , Worms 4: Mayhem a frameworky ako LÖVE2D preukázali jeho silu v oblasti skriptovania rozhraní, hernej logiky a modov.

Objavuje sa aj v MMO hrách a platformách ako Tibia (s rozsiahlymi možnosťami prispôsobenia popri XML), Ragnarok Online (homunkulová AI), serveroch a modoch ako Multi Theft Auto: San Andreas alebo FiveM , hrách ako Factorio (mody založené na Lua), Hedgewars , Transformice , Minetest (vytváranie modov alebo celých hier), StepMania (animácie a príkazy) a dokonca aj v tituloch ako The Binding of Isaac: Rebirth (DLC Afterbirth+ pridalo podporu Lua modov).

V oblasti nástrojov a systémov používajú správcov okien ako Ion a Awesome jazyk Lua na konfiguráciu a rozširovanie, zatiaľ čo aplikácie ako REAPER , Rockbox a Renoise DAW ho využívajú na skriptovanie a rozsiahle prispôsobenie (vlastné API, OSC, MIDI, ponuky, plávajúce okná, integrovaný terminál). Používa sa aj na spracovanie vstupných údajov , konfiguráciu aplikácií, ovládanie hardvéru a automatizáciu úloh.

Výkon, implementácia a zber odpadu

Lua sa kompiluje do bajtkódu a beží v efektívnom virtuálnom stroji; pre náročné scenáre LuaJIT pridáva kompiláciu za behu. Garbage collector je inkrementálny, s funkciou flag-sweep , konfigurovateľný (pauza a násobenie krokov) a podporuje finalizátory (__gc) pre používateľské dáta a slabé tabuľky (kľúče/hodnoty, ktoré nebránia uvoľneniu pamäte).

Táto kombinácia rýchlosti a kontroly vedie k nízkym úrovniam latencie prijateľným pre hry, pluginy a vstavané systémy. Jeho minimálna zaberacia plocha umožňuje nasadenie na zariadeniach s veľmi obmedzenými zdrojmi bez obetovania expresívnych možností.

Porovnanie a učenie sa dizajnu

Na rozdiel od náročnejších jazykov Lua uprednostňuje ekonomiku a interoperabilitu . Jeho cieľom nie je nahradiť Python alebo JavaScript ako „úplný ekosystém“, ale skôr byť najlepšou voľbou, keď sú kľúčové jednoduchosť, prenosnosť a rozšíriteľnosť v jazyku C. Kniha Programovanie v jazyku Lua a technické články sa ponárajú do rozhodnutí, ktoré vysvetľujú jeho elegantný dizajn.

Tí, ktorí prechádzajú z Pascalu, C alebo jazykov s jasnou syntaxou, nájdu hladká vstupná krivkabloky s do ... end, čitateľné podmienky, 20 dobre definovaných kľúčových slov a vzor local pre obmedziť vedľajšie účinkyJeho „lepidlo“ s jazykom C a flexibilná sémantika tabuliek povzbudzujú k budovaniu zdola nahor iba toho, čo je potrebné.

Časté prípady a anekdoty

Pokiaľ ide o prenosnosť, migrácia Lua aplikácie medzi operačnými systémami si zvyčajne vyžaduje minimálne zmeny. Na konzolách a zariadeniach existujú zostavenia pre PSP , Wii a SEGA Saturn (so špecifickými knižnicami) a komunity homebrewovcov používajú Lua pre jej jednoduchosť.

Na súkromných serveroch a modoch (napríklad Tibia ) ľudia používajú Lua na vytváranie systémov, skriptov a rozšírení na vysokej úrovni . A ak pracujete na kreatívnych platformách ako Friday Night Funkin' , Lua sa používa na úpravu HUDov, modchartov a dekorácií scén, čo demonštruje jej všestrannosť pre dynamickú choreografiu.

Silné stránky, ktoré vysvetľujú jeho úspech

Ľahký a rýchly : veľmi malé binárne súbory, minimálna spotreba pamäte a efektívny interpret/virtuálny počítač. Na zariadeniach s obmedzenými zdrojmi je táto šetrnosť kľúčová.

Vynikajúce C API : registrácia natívnych funkcií a sprístupnenie štruktúr je jednoduché. Pre komplexné aplikácie, prevedené na „hostiteľov“, je Lua ideálnym spojivom medzi natívnym jadrom a logikou vyššej úrovne.

Multiparadigma a modulárnosť : s tabuľkami, metatabuľkami, funkciami a korutínami si vytvoríte presne to, čo potrebujete, nič viac, nič menej. Toto premyslené minimum sa vyhýba zbytočnej zložitosti.

Komunita a dokumentácia : stručná referenčná príručka, množstvo príkladov a materiály vo viacerých jazykoch (angličtina, španielčina, portugalčina). Kultúra „pochopenia fungovania“ sa premieta do jasného a robustného kódu.

Detaily syntaxe a operátory, ktoré si treba zapamätať

Logické operátory so skratom ktoré vracajú operandy (nielen booleovské hodnoty): a and b y a or b môže vrátiť hodnoty, ktoré nie sú boolovské, čo je veľmi užitočné pre predvolené priradenia (x = x or {}).

Spojenie s .., dĺžka s # (v reťazcoch a v tabuľkách typu „pole“), umocňovanie s ^a precedensy podobné jazyku C so špecifikami, ako je napríklad pravá asociativita v .. y ^, reťazové vzory Ponúkajú pohodlné zachytávanie a vyhľadávanie bez externých závislostí.

Prečo si ho vyberá toľko motorov a nástrojov?

Pretože znižuje trenie medzi návrhom a realizáciou : iterácie v Lua sú rýchle, skripty sa ľahko distribuujú a auditujú a natívne jadro je chránené pred častými zmenami. Navyše, ako slobodný softvér s permisívnou licenciou , perfektne zapadá do komerčných produktov a komunitných projektov.

A je tu aj dôležitý kultúrny faktor: jasnosť jazyka podporuje učenie sa programovacích konceptov (funkcie vyššieho rádu, uzávierky, iterátory), ktoré sa potom dajú aplikovať v iných prostrediach. Pre zmiešané tímy (dizajn, skriptovanie, engine) to urýchľuje dodávky bez toho, aby sa obetovala kvalita.

Po preskúmaní jeho histórie, dizajnu a použitia je ľahké pochopiť, prečo si Lua vyslúžila špeciálne miesto: malý jazyk, ktorý robí veľké veci . Od videohier a DAW až po IoT a plávajúce okná, jeho kombinácia tabuliek a metatabuliek, prvotriednych funkcií a korutín vedie k čistým, modulárnym a ľahko udržiavateľným riešeniam. Ak hľadáte spoľahlivý skriptovací engine na integráciu do vašich aplikácií alebo jednoduchý jazyk pre automatizáciu bez straty výkonu, Lua je výnimočným partnerom.