Какво е Lua: история, дизайн, реални приложения и ключови характеристики на езика

Информатек Дигитал » Идиоми » Какво е Lua: история, дизайн, реални приложения и ключови характеристики на езика

Lua е един от онези езици, които изненадват със своя баланс : малък, бърз и проектиран за вграждане в приложения, но достатъчно изразителен, за да обхване множество стилове на програмиране. Ако се чудите какво точно представлява, за какво се използва и защо толкова много инструменти го избират, ето едно практично и добре документирано ръководство.

Преди да навлезем в подробностите, си струва да изясним два ключови момента: Lua е създаден през 1993 г. в Бразилия (PUC-Rio, TeCGraf group) с цел да бъде лек и разширяем, а от версия 5.0 насам се разпространява под лиценза MIT (преди това лиценз, подобен на BSD). Изпълнението му не интерпретира директно изходния текст: той се компилира в байткод и го изпълнява в собствена виртуална машина; освен това има LuaJIT за компилация по време на изпълнение.

Какво е Lua и откъде идва?

Lua означава „луна“ на португалски и е създаден от Роберто Йерусалимши, Луис Енрике де Фигейредо и Валдемар Селес. Фокусът му е бил много ясен от самото начало: да бъде вграждаем, преносим и минималистичен език , с опростен синтаксис, вдъхновен от C, и разширяемост, подобна на Perl. През годините той се е утвърдил като скриптов енджин за видеоигри, плъгини и вградени системи.

От самото си създаване преносимостта е ключов фокус : имплементирана в ISO C , тя работи практически навсякъде, от големи сървъри до микроконтролери само с няколкостотин килобайта памет. Ранните версии бяха лицензирани под лиценз тип BSD, а от Lua 5.0 насам те използват лиценза MIT , който е напълно съвместим с GPL.

Философия и дизайн: лек, вграден и мултипарадигматичен

Lua дава приоритет на „малко, много мощни елементи“. Концептуалната му рамка е обобщена в три стълба : таблици като единствена структура от данни, функции като първокласни граждани и корутини за съвместен контрол на потока. С тези основи потребителите могат да изграждат персонализирани модули, обекти, среди и абстракции .

Често се описва като процедурен, но естествено възприема функционални стилове (затваряния, команди от по-високо ниво), обектно-ориентирани подходи (чрез метатаблици и прототипи) и подход, управляван от данни. Неговият минимализъм не предполага ригидност: езикът се разширява и адаптира, като предефинира поведенията чрез метатаблици.

Основен синтаксис и изпълнение

В Lua променливите нямат статични типове ; техните стойности са с присвоени типове. Той предлага осем основни типа : nil , boolean , number , string , table , function , userdata и thread (корутини). Освен това, Lua поддържа контролирано преобразуване между числа и низове по време на изпълнение.

Езикът е организиран в парчета (парчета код), които компилаторът трансформира в анонимни функции; това помага капсулиране на държавата сега работи без случайни „магически глобални преобразуватели“. Коментарите са маркирани с -- и поддържа низови литерали с дълги кавички или скоби; операторите включват аритметична, релационна, логика на късо съединение (and, or, not), конкатенация (..) и дължина (#).

Относно контрола на потока, намерихме if/elseif/else, while, repeat until (тяло, гарантирано поне веднъж) и два варианта на for: числов (с начало, край и стъпка) и родов (итератори като pairs o ipairs). The местни изявления ограничават лексикалния обхват и връщане позволява множество стойности.

Типове данни и принуда

По дизайн, Lua е динамично типизиран . Автоматичните преобразувания се извършват предимно между низ и число при аритметични операции или текстови контексти. Условните оператори приемат само false и nil за false ; всичко останало е true (включително 0 и празния низ).

Ключовите типове данни включват таблица (речници/асоциативни масиви), функция (стойности от първи клас), потребителски данни (блокове памет на C) и нишки (корутини). Таблиците са хетерогенни , приемат всеки тип ключ с изключение на nil и формират основата на сложни структури като списъци, записи, дървета и разредени масиви.

Таблици и метатаблици: сърцето на езика

Таблицата е единствената структура от данни и се използва за всичко: от обикновен масив ({10,20,30}) към каталози, обекти, модули и среди. Достъп до t y t.x е еквивалентно, когато ключът е име. Конструкторите със скоби позволяват много компактни изрази на инициализация.

Con метатаблици se предефиниране на поведението на оператори и достъпи: __add, __eq, __lt, __concat, __len, __index, __newindex, __callи др. Това позволява претоварване събиране, сравнение, конкатенация или как да се реагира на достъп до липсващо поле, наред с други. По този начин можете да изградите класове комплексни числа, проксита, валидатори или обвивки само с няколко реда.

Модули и среди

Функцията require зарежда модул (парченце, което при изпълнение обикновено връща таблица с функции и константи). Вътрешно, Lua компилира кода във функция и го изпълнява в неговия околна среда, връщайки резултата си за повторна употреба. Глобалните променливи „се намират“ в таблица, достъпни като _G и, в по-модерни версии, чрез видимата среда на функцията (_ENV).

Тази архитектура поддържа двоичния размер малък : вместо да зарежда всичко, всеки модул предоставя само необходимото, а разработчикът решава какво да включи. Лексикалната видимост и разделянето на средата минимизират страничните ефекти между частите от кода.

Функции, затваряния и парчета (chunks)

В Lua, функцията е стойност : тя се присвоява на променливи, предава се като аргумент и се връща като резултат. Няма твърда арност: допълнителните аргументи се игнорират ; липсващите аргументи се запълват с nil . Дори отделните части (chunk) се третират като анонимни функции, което улеснява капсулирането на локалното състояние, без да се замърсява глобалната среда.

Като синтактична захар, операторът : (двоеточие) ви позволява да дефинирате и извиквате „методи“ чрез подаване self имплицитно: obj:metodo(x) равно на obj.metodo(obj, x). Затварянията Те улавят допълнителни стойности, което е много мощна основа за изграждане на итератори, фабрики и чисти API.

Обектно-ориентирана „по Lua“

Въпреки че няма такива класове, Lua имплементира обектно-ориентирано програмиране (OOP), използвайки таблици и метатаблициНай-разпространените употреби на модели __index За делегиране на прототип: Обектите съхраняват състоянието си и търсят методите си в „шаблона“ (таблицата на прототипите). Конструкторът може лесно да присвои метатаблицата и да върне нови екземпляри.

Комбиниране конструктори, __index и sugar:, получава се прагматично обектно-ориентирано приложение: методи с self, псевдонаследяване (верижни прототипи), възможност за презаписване и гъвкав съставТова е прост и много ефективен подход за плъгини, игри или конфигурационни скриптове.

Корутини: кооперативна многозадачност

на корутини Те предлагат много фин контрол на потока: могат да бъдат yield y resume в определени точки, запазвайки батерията им. Те работят като кооперативно многонишково изпълнение, идеален за игрова логика, реактивни системи, прости плановици или лениви итераториОсвен това, те позволяват елегантно превключване между Lua и хост код (напр. C/C++).

На практика, корутината се изпълнява, докато не приключи , връщайки стойности на човека, който я рестартира, и след това продължава точно оттам, където е спряла. За интерактивни задачи, изкуствен интелект със състояние или симулации, тя е много ценен инструмент поради ниската си цена и яснота.

Стандартни библиотеки и помощни програми

Lua се предлага с компактен, но много полезен набор от стандартни библиотеки: basic (assert, type, pairs, require…), string (patterns, gsub, gmatch, format), table (insert, remove, sort, concat), math (тригонометрия, експоненциали, random), io (файлове), os (дати, среда, процеси) и debug (hooks, traces, inspection). Те са проектирани да покриват 80% от реалните нужди с минимален отпечатък.

Система низови модели предлага мощно търсене, заснемане и заместване, без да се прибягва до пълни регулярни изрази; с функции като gmatch o gsub Повечето типични случаи на обработка на текст се решават по прост начин. кратък.

Вграден в C/C++ и интеграционен API

Една от силните страни е нейната API в CДомакинът създава lua_State, зареждане на парчета (lua_load), извиква функции (lua_pcall за изпълнение на защитени), регистри родните функции достъпен от Lua и премества данни през виртуален стекИма помощни програми за обработка на грешки, събиране на боклук, метатаблици и „потребителски данни“, които разкриват C-world структури.

Този дизайн прави Lua универсален скриптов енджин за C/C++ приложения: логиката е делегирана на Lua (лесен за итерация и внедряване), като същевременно се запазва производителността на оригиналното ядро. Малкият му размер (имплементация ~25 000 реда C и двоични файлове в стотици KB) помага за интегрирането му дори на скромни устройства.

Lua в IoT и микроконтролери (ESP8266/NodeMCU)

Lua е чудесен за IoT поради своята простота и бърз цикъл на разработка. NodeMCU за ESP8266 предлага фърмуер, който работи с Lua, и с инструменти като Качване на Lua o ESPlorer Можете да качвате скриптове, да отваряте конзола, да тествате фрагменти и да отстранявате грешки в движение. Файлът init.lua обикновено започнете логиката на устройството (напр. мигащ светодиод или конфигуриране на GPIO).

Възможността за изпълнява части от кода прогресивно, без да се прекомпилира всичко, прави експериментирането много удобно: деклариране на променливи, създаване на print(a+b), превключващи пинове и т.н. За тези, които идват от Arduino, този поток е гъвкав и дидактичени често малки промени са достатъчни, за да се пренесат скриптове към други съвместими устройства.

Забележителни приложения във видеоигри и софтуер

Благодарение на леката си природа, производителност и разрешително лицензиране , Lua е фаворит в енджините и модовете. Платформи като Roblox са промотирали типизиран вариант (Luau); заглавия и енджини като World of Warcraft , пясъчникът Garry's Mod (базирана на Half-Life 2), RTS Supreme Commander , част от STALKER , приключения на LucasArts като Grim Fandango и Escape from Monkey Island , Worms 4: Mayhem и рамки като LÖVE2D са демонстрирали силата му за интерфейсно скриптиране, игрова логика и модове.

Появява се и в MMO игри и платформи като Tibia (с обширна персонализация, наред с XML), Ragnarok Online (хомункулусен AI), сървъри и модове като Multi Theft Auto: San Andreas или FiveM , игри като Factorio (модове, базирани на Lua), Hedgewars , Transformice , Minetest (създаване на модове или цели игри), StepMania (анимации и команди) и дори в заглавия като The Binding of Isaac: Rebirth (DLC Afterbirth+ добави поддръжка на Lua модове).

В сферата на инструментите и системите, мениджъри на прозорци като Ion и Awesome използват Lua за конфигуриране и разширение, докато приложения като REAPER , Rockbox и Renoise DAW го използват за скриптове и дълбока персонализация (персонализиран API, OSC, MIDI, менюта, плаващи прозорци, интегриран терминал). Използва се и за обработка на входни данни , конфигуриране на приложения, управление на хардуер и автоматизиране на задачи.

Производителност, внедряване и събиране на боклук

Lua се компилира в байткод и работи в ефективна виртуална машина; за взискателни сценарии, LuaJIT добавя компилация по време на изпълнение. Събирачът на боклук е инкрементален, с флаг-свипване , конфигурируем (пауза и множител на стъпки) и поддържа финализатори (__gc) за потребителски данни и слаби таблици (ключове/стойности, които не предотвратяват освобождаването на памет).

Тази комбинация от скорост и контрол води до ниски нива на латентност, приемливи за игри, плъгини и вградени системи. Минималният размер позволява внедряване на устройства с много ограничени ресурси, без да се жертват изразителните възможности.

Сравнение и обучение по дизайн

За разлика от по-тежките езици за програмиране, Lua дава приоритет на икономичността и оперативната съвместимост . Нейната цел не е да замени Python или JavaScript като „цялостна екосистема“, а по-скоро да бъде най-добрият вариант, когато простотата, преносимостта и разширяемостта в C са ключови . Книгата „Програмиране на Lua“ и техническите статии се задълбочават в решенията, които обясняват елегантния ѝ дизайн.

Тези, които идват от Pascal, C или езици с ясен синтаксис, намират плавна крива на влизанеблокове с do ... end, четливи условни изрази, 20 добре дефинирани ключови думи и шаблонът local за ограничаване на страничните ефектиНеговото „лепило“ с C и гъвкавата таблична семантика насърчават изграждането отдолу нагоре само на това, което е необходимо.

Чести случаи и анекдоти

По отношение на преносимостта, мигрирането на Lua приложение между операционни системи обикновено изисква минимални промени. На конзоли и устройства има компилации за PSP , Wii и SEGA Saturn (със специфични библиотеки), а общностите, които пишат домашно, използват Lua заради неговата простота.

На частни сървъри и модове (например Tibia ), хората използват Lua за създаване на системи, скриптове и разширения на високо ниво . А ако работите на креативни платформи като Friday Night Funkin' , Lua се използва за промяна на HUD-ове, модчартове и декорации на сцени, демонстрирайки своята гъвкавост за динамична хореография.

Силни страни, които обясняват успеха му

Лек и бърз : много малки двоични файлове, минимална консумация на памет и ефикасен интерпретатор/виртуална машина. На устройства с ограничени ресурси, тази пестеливост е от решаващо значение.

Отличен C API : регистрирането на нативните функции и показването на структури е лесно. За сложни приложения, конвертирани в „хостове“, Lua е идеалното свързващо звено между нативното ядро ​​и логиката на високо ниво.

Многопарадигмална и модулна : с таблици, мета-таблици, функции и корутини, вие изграждате точно това, от което се нуждаете, нито повече, нито по-малко. Този добре обмислен минимум избягва ненужната сложност.

Общност и документация : кратко справочно ръководство, множество примери и материали на множество езици (английски, испански, португалски). Културата „разбиране как работи“ се превръща в ясен и стабилен код.

Синтаксични подробности и оператори, които трябва да се запомнят

Логически оператори с късо съединение които връщат операнди (не само булеви стойности): a and b y a or b може да връща небулеви стойности, много полезно за присвоявания по подразбиране (x = x or {}).

Свързване с .., дължина с # (в низове и в таблици от тип „масив“) степенуване с ^и прецеденти, подобни на C, с особености като дясна асоциативност в .. y ^, на верижни модели Те предлагат удобно заснемане и търсене без външни зависимости.

Защо толкова много двигатели и инструменти го избират?

Защото намалява триенето между дизайна и изпълнението : итерациите в Lua са бързи, скриптовете са лесни за разпространение и одит, а ядрото е защитено от чести промени. Освен това, като свободен софтуер с разрешителен лиценз , той се вписва идеално в търговски продукти и обществени проекти.

И има важен културен фактор: яснотата на езика насърчава изучаването на програмни концепции (функции от по-висок ред, затваряния, итератори), които след това могат да бъдат приложени в други среди. За смесени екипи (дизайн, скриптове, енджин) това ускорява доставките , без да се жертва качеството.

След като разгледаме историята, дизайна и приложенията му, е лесно да разберем защо Lua си е спечелил специално място: малък език, който прави големи неща . От видеоигри и DAW до IoT и плаващи прозорци, комбинацията от таблици и метатаблици, първокласни функции и корутини води до чисти, модулни и лесни за поддръжка решения. Ако търсите надежден скриптов енджин, който да интегрирате във вашите приложения, или опростен език за автоматизация, без да жертвате мощността, Lua е изключителен партньор.