Præsidenten for C++ Alliance har annonceret arbejdet med en specifikation, der tilføjer udvidelser til C++-sproget for sikker hukommelsesstyring, der minder om de funktioner, der er implementeret i Rust-sproget. Sean Baxter, skaberen af den eksperimentelle C++-compiler Circle, der udvikler idéer til at forbedre kodens sikkerhed uden brug af garbage collection, er blevet inddraget i projektet. Inden for rammerne af projektet har Sean offentliggjort et dokument med en analyse af anvendelsen af de forskellige beskyttelsesforanstaltninger, som findes i Rust, vurdering af muligheden for at implementere dem i C++, samt forslag til at tilføje udvidelser, der øger kodens sikkerhed.
Det bemærkes, at initiativet er iværksat som svar på den stigende efterspørgsel blandt udviklere efter sikre programmeringsmetoder, og det sigter mod at integrere nye funktioner i C++, der gør det muligt at beskytte mod almindelige fejl, der opstår under hukommelsesstyring, såsom adgang til allerede frigivet hukommelse og overskridelse af tildelte buffere. Tilføjelserne udvikles som muligheder, der gradvist kan gøre det muligt at overføre projekter til sikre metoder, samtidig med at kompatibiliteten med den eksisterende "usikre" kode bevares.
Sikkerheden ved hukommelsesarbejde foreslås at blive sikret ved hjælp af mekanismer, der implementeres på kompileringstidspunktet og ikke medfører de ekstra omkostninger, der er kendetegnende for sprog, der bruger garbage collectors. De vigtigste metoder til at sikre sikkerhed omfatter sporing af ejerskab af objekter, kontrol af variabellån (borrow checker), brug af sikker kontekst (safe) og oprettelse af interface `std2::send` og `std2::sync`. Arbejdet omfatter også oprettelsen af en sikker version af standardbiblioteket, der tilbyder implementeringer af algoritmer og datastrukturer, der muliggør sikker hukommelsesarbejde.
Kilde: opennet.ru
