Lua
Общие сведения
Lua (в переводе с португальского — «Луна») — это легковесный, встраиваемый скриптовый язык программирования. Язык обладает динамической типизацией, автоматическим управлением памятью и исполняется путем трансляции в байт-код, который затем запускается на собственной виртуальной машине. Разработанный как гибкий и простой инструмент для интеграции в программные комплексы, язык получил широкое распространение в индустрии разработки компьютерных игр, создании графических интерфейсов и во встраиваемых системах.
История создания
Разработка языка Lua началась в 1993 году в подразделении Tecgraf (Группа технологий компьютерной графики) при Католическом университете Рио-де-Жанейро (Бразилия). Создателями языка выступили Роберту Иерузалимски, Луиш Энрике ди Фигейреду и Валдемар Селиш. Это один из немногих языков программирования, получивших мировое коммерческое и академическое признание, который был разработан за пределами США и стран Западной Европы.
Предпосылкой к созданию Lua послужила потребность группы Tecgraf в кроссплатформенном и универсальном языке для настройки программ компьютерной графики. До появления Lua инженерами были созданы специализированные языки декларативного описания данных DEL (Data Entry Language) и SOL (Simple Object Language, в переводе с португальского — «Солнце»). Язык SOL обладал ограниченным функционалом, и разработчики приняли решение спроектировать на его базе новый, более мощный инструмент, который унаследовал бы ряд его синтаксических особенностей. В качестве названия было выбрано слово Lua («Луна»), что концептуально символизировало прямую связь с языком-предшественником (языком «Солнце»).
При проектировании рассматривались и другие существующие на тот момент языки. Tcl был отвергнут из-за непривычного синтаксиса и жесткой привязки к операционным системам семейства Unix. Язык Lisp был признан слишком сложным и избыточным для неспециалистов, а Python в начале 1990-х годов еще не обладал достаточной известностью и проработанной графической инфраструктурой.
Вплоть до пятой версии язык Lua распространялся под лицензией BSD, а начиная с версии 5.0 перешел на лицензию MIT, став полностью свободным программным обеспечением.
Синтаксис и парадигмы программирования
Lua является мультипарадигмальным языком. Будучи в своей основе процедурным языком, он содержит мощные элементы функционального и объектно-ориентированного программирования.
Синтаксис языка во многом базируется на языке Modula-2 (который, в свою очередь, является развитием академического языка Паскаль), однако обладает значительной гибкостью. Язык является регистрозависимым, все служебные (ключевые) слова пишутся исключительно в нижнем регистре. Формат записи исходного кода является свободным: команды могут разделяться любыми пробельными символами. Использование точки с запятой для разделения операторов допускается (как в C или Паскале), но не является обязательным.
Для написания комментариев в языке предусмотрен следующий синтаксис: однострочные комментарии начинаются с двойного дефиса, а многострочные заключаются в специальную конструкцию с двойным дефисом и двойными квадратными скобками.
Пример оформления комментариев:
-- Это простой однострочный комментарий --[[ Это объемный многострочный комментарий ]]
Уникальной и выразительной чертой синтаксиса является параллельное присваивание, заимствованное из языка CLU. Переменным можно присваивать значения целыми группами в рамках одной строки. При этом присваивание работает либерально: если количество значений превышает количество переменных, лишние значения просто отбрасываются интерпретатором. Если же переменных больше, чем переданных значений, оставшимся переменным автоматически присваивается значение неопределенности.
Типы данных
Язык использует динамическую типизацию: типы данных связываются не с самими переменными, а непосредственно с хранимыми в них значениями. Любая переменная может в любой момент времени содержать значение любого типа. В Lua встроено ровно восемь базовых типов данных.
Тип Nil (неопределенный тип) содержит единственное значение nil, обозначающее полное отсутствие данных. Использование nil широко применяется для удаления объектов и указания на пустоту.
Тип Boolean (логический тип) принимает классические значения истины (true) или лжи (false).
Тип Number (числовой тип) по умолчанию представляет собой вещественное число двойной точности. Архитектурно разработчики исходили из того, что целое число является лишь частным случаем вещественного. Однако, начиная с версии Lua 5.3, в языке появилась возможность явного использования целых чисел, что позволяет экономить оперативную память в масштабных проектах. Округление при математических операциях (например, при получении остатка от деления) по умолчанию не производится, и операции выдают точное значение с дробной частью.
Тип String (строковый тип) представляет собой массив символов. Строки в Lua являются строго неизменяемыми. Литералы могут заключаться как в одинарные, так и в двойные кавычки. Изначально язык не имел встроенной поддержки Юникода, однако в последних версиях была добавлена полноценная библиотека для работы с кодировкой UTF-8. В языке реализован единый строковый пул для максимальной оптимизации потребления памяти при работе с текстом.
Тип Function (функция) рассматривается в языке как объект первого класса. Функции можно присваивать переменным, передавать в качестве аргументов и возвращать в виде результата выполнения других подпрограмм. Поддерживаются лексические замыкания и функции высших порядков.
Тип Thread (поток) используется для реализации сопрограмм (корутин) и управления многопоточным выполнением алгоритмов.
Тип Userdata (пользовательские данные) является специализированным типом для хранения произвольных блоков памяти на уровне языка C. Он используется для низкоуровневого взаимодействия с внешним кодом, библиотеками на C/C++ и аппаратным обеспечением, обеспечивая высочайшую производительность.
Тип Table (таблица) — это единственный составной тип данных в языке, представляющий собой гибкий гетерогенный ассоциативный массив.
Таблицы и структуры данных
Таблица (Table) выступает центральной и самой важной концептуальной структурой языка Lua. Эта структура данных была создана под влиянием ассоциативных массивов из языка AWK и парадигмы списков из диалекта Scheme (Lisp).
Таблица представляет собой набор пар «ключ-значение». Ключом может выступать значение любого типа (строка, число, другая таблица), кроме значения nil. Значением также может быть любой тип данных. Принципиальной особенностью является то, что если значению определенного ключа присваивается nil, то данный элемент физически и логически удаляется из таблицы.
С помощью единственного типа таблиц в языке эмулируются абсолютно все классические структуры данных:
Массивы в Lua реализуются автоматически. Если задать набор значений без явного указания конкретных ключей, интерпретатор самостоятельно присвоит им последовательные целочисленные индексы, причем нумерация массивов в Lua исторически начинается с единицы, а не с нуля.
Записи (аналоги структур или объектов) создаются путем использования строковых литералов в качестве ключей. В таком случае к значениям можно обращаться через оператор точки, что делает синтаксис идентичным работе с полями объектов в языках C++ или Паскаль.
Множества организуются посредством записи самих элементов в качестве ключей таблицы, а их значений — в виде логической истины (true). Для исключения элемента из такого множества достаточно присвоить его ключу значение nil. Мультимножества реализуются аналогично, но вместо логического значения хранится счетчик количества вхождений элемента.
Сложные структуры данных, такие как многомерные массивы, математические графы, семантические сети, деревья и связанные списки, реализуются через вложение одних таблиц в другие (использование таблиц в качестве значений для ключей).
Пример реализации комбинированной структуры данных (записи) через таблицу:
person = {
name = "Иван",
surname = "Сергеевич",
phone = "2243"
}
print(person.name)
Метатаблицы и объектно-ориентированное программирование
Полноценная объектно-ориентированная парадигма (ООП) с явным использованием классов в классическом понимании в Lua отсутствует. Разработчики не стремились создавать жесткую ООП-модель. Однако язык предоставляет мощный механизм метатаблиц (metatables), который позволяет переопределять базовое поведение таблиц и успешно эмулировать объекты, классы, сокрытие данных и наследование.
Метатаблица — это стандартная таблица, в которой хранятся ссылки на специальные функции (так называемые метаметоды). Когда интерпретатор сталкивается с операцией, которая не определена для конкретного объекта (например, попытка сложить две таблицы с помощью знака плюса или обратиться к несуществующему индексу), он автоматически обращается к метатаблице этого объекта в поисках нужного метаметода.
С помощью метаметодов разработчик может перегружать операции арифметического сложения, вычитания, сравнения, а также настраивать преобразование пользовательского объекта в строковый вид (с помощью метаметода tostring). Особую архитектурную роль играет поле __index, которое позволяет перенаправлять запросы к отсутствующим в текущей таблице элементам в другие таблицы. Именно на базе этого механизма строится логика делегирования и реализации объектно-ориентированного наследования.
Поскольку функции в Lua являются равноправными объектами, они могут выступать в роли методов таблицы. При описании и вызове такого метода сам объект скрыто передается в него под зарезервированным именем self. Это делает работу с функциями-членами визуально и логически похожей на классические языки ООП. Инструментарий позволяет реализовывать даже множественное наследование и инкапсуляцию, однако эти механизмы требуют детального понимания работы метатаблиц и реализуются косвенным путем.
Экосистема и применение
Язык Lua был изначально спроектирован с упором на легкость встраивания в более крупные программные комплексы. Lua предоставляет разработчикам превосходный и документированный программный интерфейс (C API). Это позволяет архитекторам программного обеспечения выносить ресурсоемкие низкоуровневые участки кода на компилируемый язык C, требующий жесткой экономии памяти, а высокоуровневую логику поведения описывать короткими, безопасными и понятными скриптами на Lua.
Главной сферой применения Lua в XXI веке стала игровая индустрия. В начале 2000-х годов язык был официально признан самым популярным скриптовым инструментом для разработки компьютерных игр. Простота освоения позволяет использовать язык специалистам по компьютерной графике, художникам и игровым дизайнерам, не имеющим фундаментальной подготовки в области системного программирования и управления памятью.
На базе Lua создано значительное количество игровых движков, в частности игровой конструктор Defold, Nova Shell и квестовый движок INSTEAD. Язык массово используется для написания пользовательских модификаций, проектирования графических интерфейсов и описания сценариев поведения искусственного интеллекта. Среди всемирно известных проектов, интенсивно использующих Lua, выделяются многопользовательская ролевая игра World of Warcraft, головоломка Enigma, а также ряд масштабных модификаций для Minecraft и игра Fandango.
Для профессиональной разработки скриптов существуют специализированные интегрированные среды (IDE), такие как ZeroBrane Studio. Язык также стал архитектурным фундаментом для создания других языков программирования, например, специализированного языка Squirrel.
Помимо индустрии развлечений, язык эффективно применяется во встраиваемых системах, портативных устройствах, маршрутизаторах, а также в программных комплексах для сложной компьютерной верстки. Для высоконагруженных задач, критичных к скорости выполнения инструкций, в экосистеме языка используется LuaJIT — оптимизированный транслятор, осуществляющий динамическую компиляцию кода «на лету» (Just-In-Time компилятор), что обеспечивает производительность, сопоставимую с нативным машинным кодом.