🥇Lug 0.5.0 | ProHoster

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

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

Естествен синтаксис, напомнящ на езици за външни генератори на парсери, с поддръжка на атрибути и семантични действия.
Възможност за работа с контекстно-зависими граматики с таблици за символи, условия и синтактични предикати.
Сгенерираните парсери се компилират в байткод и се изпълняват в виртуална машина за синтактичен анализ.
Ясно разделение на синтактични и лексикални правила с възможност за настройка на неявно пропускане на празни символи.
Поддръжка на директна и косвена лява рекурсия, с нива на приоритет за разграничаване на подизрази с комбинирани лява и дясна рекурсия.
Пълна поддръжка за анализ на текст в UTF-8 формат, включително ниво 1 и частично съответствие на ниво 2 от техническия стандарт UTS #18 Unicode Regular Expressions.
Обработка на грешки и възстановяване с помощта на означени провали, правила за възстановяване и обработчици на грешки.
Автоматично проследяване на номера на редове и колони, настраиваема ширина и подравняване на табулации.
Header-only библиотека, използваща само стандартната библиотека и възможностите на 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 за осигуряване на фина контрол върху това поведение, позволявайки на околната среда да се запази по време на вложени операции за разбиране, когато е необходимо.
Добавена е сложна инфраструктура за тестване на примери за програми.
Преподредена е иерархията на директории include.
За осигуряване на по-широка съвместимост в 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