Lug 0.5.0

На 19 март беше пусната библиотека C++ Lug, реализираща внедряван предметно-ориентиран език за изразяване на синтактични анализатори под формата на разширени граматики на синтактични изрази, и разпространявана по лиценз MIT.

Възможности на библиотеката:

• Естествен синтаксис, напомнящ на езиците на външни генератори на парсери, с поддръжка на атрибути и семантични действия.
• Възможност за работа с контекстно-зависими граматики с таблици на символи, условия и синтактични предикати.
• Сгенерирани парсери се компилират в байткод и се изпълняват в виртуална машина за синтактичен анализ.
• Ясно разделение между синтактични и лексикални правила с възможност за конфигуриране на подразбиращо се пропускане на празни символи.
• Поддръжка на пряка и косвена лява рекурсия, с нива на старшинство за разграничаване на подизрази със смесена лява и дясна рекурсия.
• Пълна поддръжка на разбиране на текст в UTF-8 формат, включително ниво 1 и частично съответствие на ниво 2 от техническия стандарт UTS #18 Unicode Регулярни изрази.
• Обработка на грешки и възстановяване с помощта на маркирани повреди, правила за възстановяване и обработчици на грешки.
• Автоматично проследяване на номера на редове и колони, конфигурируема ширина и изравняване на табулацията.
• Библиотека, която е само с хедъри, използваща само стандартната библиотека и възможностите на стандарта C++17. Перспективно е съвместима със стандартите C++20 и C++23.
• Относително малък размер на библиотеката, с цел да се поддържа общият брой редове във всички хедър файлове под 6000 реда лаконичен код.

Списък с промени:

• Реализирани са директиви за колекции и атрибути на обекти. Новата директива collect<C>[e] синтезира последователност или асоциативен контейнер от тип C, състоящ се от елементи, събрани от наследени или синтезирани атрибути в израза e. По аналогия, добавени са нови директиви synthesize<C,A…>[e], synthesize_shared<C,A…>[e] и synthesize_unique<C,A…>[e] за синтезиране на обекти, общи указатели и уникални указатели съответно, изградени от атрибути на компонентите в израза e.
• Реализирана е директива synthesize_collect, която комбинира директивите collect и synthesize за подобряване на четимостта на кода и намаляване на броя на шаблоните при изграждането на сложни структури от разбираеми елементи. Това е особено полезно за създаване на вложени колекции, като например масиви от обекти или асоциативни контейнери със сложни типове стойности.
• Добавен е шаблонен клас lug::recursive_wrapper за обработка на циклични зависимости в дървета на абстрактния синтаксис, по-специално тези, които използват std::variant.
• Реализирана е поддръжка на стандарта Unicode 16.0.0 и добавена е поддръжка на инструменти за изграждане в CMakeLists.txt.
• Оптимизирано е сопоставянето на диапазони и набори от ASCII символи, което доведе до значително увеличение на производителността при изпълнение на разпространени операции за обработка на текст. Добавени са специализирани бързи методи за обработка само на ASCII символи, които са значително по-бързи от кода за обработка на Unicode.
• Реализирани са опкодове test за оптимизация на грешки и опкодове repeat за оптимизация на пропускането на пробелни символи. Тези оптимизации ще бъдат напълно интегрирани в следващото издание след планираните трансформации на дървото на изразите.
• Подобрен е процесът на обработка на входни източници с подобрена буферизация и отчитане на грешки за std::istream, а също така е подобрена и поддръжката на интерактивен режим, който коректно обработва построчен вход за терминални сесии или за линейно ориентирани граматики.
• Поддръжката на std::istream е преместена в отделен заглавен файл . Това съкращава времето за компилация и минимизира зависимостите от заглавия за проекти, на които не им е нужна функционалността за потоково въвеждане/извеждане.
• Преработена е логиката на фиксирането на парсера чрез инлайнинг на инструкциите в lug::basic_parser за по-добро съответствие с промените в архитектурата на стековия фрейм, представена в версия 0.4.0, което е подобрило организацията на кода и производителността.
• Отстранен е проблем в примера с парсера. BASIC, когато потребителските функции (например, FNA(X)) приключваха по време на оценката. Това беше причинено от промените във версия 0.4.0, които нулираха lug::environment по време на вложени синтактични операции. Добавена е нова функция lug::environment::should_reset_on_parse за осигуряване на фин контрол върху това поведение, позволявайки на средата да остава активна по време на вложени операции, когато е необходимо.
• Добавена е комплексна инфраструктура за тестване на примери на програми.
• Реструктурирана е иерархията на каталозите за включване.
• За осигуряване на по-широка съвместимост в GitHub CI е добавена поддръжка за допълнителни компилатори (GCC 9/10/11/12, Clang 14/15/16/17).
• В GitHub CI са добавени статични анализатори Clang и MSVC.
• В GitHub CI са добавени Address Sanitizer (ASan), Undefined Behavior Sanitizer (UBSan) и Memory Sanitizer (MSan).
• В GitHub CI е добавена интеграция с clang-tidy.
• В GitHub CI е премахнато използването на Ubuntu 20.04.

Източник: linux.org.ru