De president van de C++ Alliance heeft aangekondigd te werken aan een specificatie die uitbreidingen toevoegt aan de C++-taal voor veilig geheugenbeheer, vergelijkbaar met de mogelijkheden die in de Rust-taal zijn geĆÆmplementeerd. Voor dit project is Sean Baxter aangetrokken, de auteur van de experimentele C++-compiler Circle, die ideeĆ«n ontwikkelt voor het verbeteren van de veiligheid van C++-code, uitgevoerd aan de compilatorkant zonder gebruik te maken van garbage collection. In het kader van dit project heeft Sean een document gepubliceerd met een analyse van de toepasbaarheid van verschillende beschermingsmaatregelen die in de Rust-taal worden voorgesteld, een beoordeling van de haalbaarheid van hun implementatie voor C++ en voorstellen voor het toevoegen van uitbreidingen aan de C++-taal die de veiligheid van de code vergroten.
Het wordt opgemerkt dat het initiatief is gelanceerd als reactie op de groeiende behoefte aan veilige programmeermethoden onder ontwikkelaars, en gericht is op het integreren van nieuwe mogelijkheden in de C++-taal die bescherming bieden tegen veelvoorkomende geheugenfouten, zoals het aanspreken van al vrijgegeven geheugen en bufferoverruns. De aanvullingen worden ontwikkeld als opties waarmee projecten geleidelijk kunnen worden overgezet naar veilige methoden, terwijl de compatibiliteit met bestaande 'onveilige' code behouden blijft.
De veiligheid van geheugenbeheer wordt voorgesteld te waarborgen door middel van mechanismen die op het compilatietijd worden geĆÆmplementeerd en die geen extra overhead met zich meebrengen die typisch is voor talen met garbage collectors. Onder de belangrijkste voorgestelde methoden voor het waarborgen van veiligheid worden het bijhouden van eigenaarschap van objecten, het controleren van het lenen van variabelen (borrow checker), het gebruik van een veilige context (safe) en het creĆ«ren van de interfaces std2::send en std2::sync genoemd. Het werk omvat ook het creĆ«ren van een beveiligde variant van de standaardbibliotheek, die implementaties van algoritmen en gegevensstructuren biedt die veilig kunnen omgaan met geheugen.
Bron: opennet.ru
