C++ Alliance популяризира механизми за безопасна работа с паметта в C++, изпитани в Rust

Президентът на организацията C++ Alliance обяви, че работи по спецификация, която да добави разширения за безопасна работа с паметта в C++, подобни на възможностите, реализирани в езика Rust. За осъществяване на проекта е привлечен Шон Бакстър (Sean Baxter), автор на експерименталния C++ компилатор Circle, който развива идеи за повишаване на безопасността на кода в C++, извършвани на ниво компилатор без използване на сборка на боклука. В рамките на проекта Шон публикува документ с анализ на приложимостта на предлаганите мерки за защита в езика Rust, оценка на възможността за тяхното реализиране в C++ и предложения за добавяне на разширения, които да повишат безопасността на кода в C++.

Инициативата е стартирана в отговор на нарастващата нужда сред разработчиците от безопасни методи за програмиране и е насочена към интегриране на нови възможности в езика C++, които да помогнат в защитата от разпространени грешки свързани с паметта, като достъп до вече освободена памет и излизане извън границите на заделените буфери. Допълненията се развиват като опции, които ще позволят постепенно преминаване на проектите към безопасни методи, запазвайки съвместимост с вече съществуващия "несигурен" код.

Безопасността при работа с паметта предлага да бъде осигурена чрез механизми, реализирани на етапа на компилация и без да водят до допълнителни разходи, характерни за езици, които използват сборци на боклука. Като основни предлагани методи за осигуряване на безопасност се споменават проследяването на притежанието на обекти, проверката на заемането на променливи (borrow checker), използването на безопасен контекст (safe) и създаването на интерфейси std2::send и std2::sync. Работата също обхваща създаването на защитена версия на стандартната библиотека, предлагаща реализации на алгоритми и структури от данни, които позволява безопасна работа с паметта.

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