В GCC фронтенда с компилатора Rust е реализиран Borrow checker

За включване в състава на версията GCC 15 беше предложен набор от пачове за подобряване на поддръжката на езика Rust в front-end gccrs. Най-забележимата промяна е поддръжката на проверка на заемането на променливи (borrow checker), реализирана на базата на компонента Polonius, разработван от основния екип на разработчиците на Rust като следващо поколение на Borrow checker.

Предложената реализация на Borrow checker се отличава с това, че е написана на езика Rust и предоставя разширени възможности за верификация на кода, които в редица случаи позволяват да се счита безопасен (safe) кода, който досега е изисквал отбелязване с ключовата дума Unsafe заради ограниченията на прилаганата по подразбиране реализация на Borrow checker.

Подготвеното решение за GCC има ограничения:

• За Polonius са известни ситуации, в които някакъв реално съществуващ код в проектите води до експоненциален растеж на сложността на анализа.
• В случая с GCC за завършване на етапа на началното разширяване (bootstrapping) на компилатора gccrs в момента е необходим компилатор Rust (в бъдеще това ограничение ще бъде премахнато).

Пълната реализация на независимо съществуваща компилация предвижда 2-стадийно разширяване, при което първо GCC ще компилира gccrs без Borrow checker, а след това ще компилира споменатата реализация на Borrow checker, написана на езика Rust, използвайки олекотен вариант на компилатора и считайки кода условно надежден (т.е. без да извършва проверка на заемането). След компилирането на Borrow checker ще бъде извършена още една пререгистрация на компилатора, но вече с извършване на проверки за заемането.

Източник: opennet.ru