{"id":119844,"date":"2024-09-17T15:43:07","date_gmt":"2024-09-17T13:43:07","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/c-alliance-prodvigaet-v-c-mehanizmy-bezopasnoj-raboty-s-pamyatyu-oprobovannye-v-rust"},"modified":"2024-09-17T15:43:07","modified_gmt":"2024-09-17T13:43:07","slug":"c-alliance-prodvigaet-v-c-mehanizmy-bezopasnoj-raboty-s-pamyatyu-oprobovannye-v-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/news\/c-alliance-prodvigaet-v-c-mehanizmy-bezopasnoj-raboty-s-pamyatyu-oprobovannye-v-rust","title":{"rendered":"C++ Alliance promuove meccanismi di gestione sicura della memoria in C++, testati in Rust.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
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\u00e0 implementate nel linguaggio Rust. Per portare avanti il progetto \u00e8 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\u00e0 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. <\/p>\n
Si segnala che l'iniziativa \u00e8 stata avviata in risposta all'aumentata necessit\u00e0 nella comunit\u00e0 degli sviluppatori di metodi di programmazione sicuri, ed \u00e8 destinata a integrare nel linguaggio C++ nuove funzionalit\u00e0 che permettano di proteggersi da errori comuni legati alla gestione della memoria, come l'accesso alla memoria gi\u00e0 liberata e l'uscita dai confini dei buffer allocati. Gli aggiornamenti si stanno sviluppando come opzioni che consentiranno di migrare gradualmente i progetti verso metodi pi\u00f9 sicuri, mantenendo nel contempo la compatibilit\u00e0 con il codice \"non sicuro\" esistente. <\/p>\n
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\u00e0 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. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"