Il presidente dell'organizzazione C++ Alliance ha annunciato il lavoro su una specifica che aggiunge al linguaggio C++ estensioni per una gestione sicura della memoria, simili alle funzionalità implementate nel linguaggio Rust. Per portare avanti il progetto è stato coinvolto Sean Baxter, autore del compilatore C++ sperimentale Circle, che sviluppa idee per migliorare la sicurezza del codice C++, realizzabili a livello di compilatore senza l'uso di garbage collection. Nell'ambito del progetto, Sean ha pubblicato un documento con un'analisi dell'applicabilità di determinate misure di protezione proposte nel linguaggio Rust, una valutazione della loro implementazione per C++ e suggerimenti per l'aggiunta di estensioni al linguaggio C++ che aumentino la sicurezza del codice.
Si segnala che l'iniziativa è stata lanciata in risposta alla crescente necessità tra gli sviluppatori di metodi di programmazione sicuri e mira all'integrazione nel linguaggio C++ di nuove possibilità per proteggersi da errori comuni che si verificano nella gestione della memoria, come l'accesso a memoria già liberata e l'out-of-bounds nei buffer allocati. Le aggiunte vengono sviluppate come opzioni che permetteranno una transizione graduale dei progetti a metodi sicuri, mantenendo al contempo la compatibilità con il codice 'non sicuro' esistente.
La sicurezza nella gestione della memoria viene proposta attraverso meccanismi implementati in fase di compilazione e che non comportano costi supplementari, tipici dei linguaggi che utilizzano garbage collector. Tra i metodi principali proposti per garantire la sicurezza ci sono il monitoraggio della proprietà degli oggetti, il controllo del prestito delle variabili (borrow checker), l'uso di un contesto sicuro (safe), e la creazione delle interfacce std2::send e std2::sync. Il lavoro include anche la creazione di una versione protetta della libreria standard, che offre implementazioni di algoritmi e strutture dati che consentono di lavorare con la memoria in modo sicuro.
Fonte: opennet.ru
