C++ Alliance edendab C++-s mäluohutuse mehhanisme, mida on testitud Rustis

C++ Alliance'i president teatas tööst spetsifikatsiooni kallal, mis lisab C++ keelele mäluga töötamise ohutuse laiendusi, mis meenutavad Rusti keeles rakendatud võimalusi. Projekti jaoks on kaasatud Sean Baxter, eksperimentaalse C++ kompilaatori Circle autor, kes arendab edasi ideid, mis suurendavad C++ koodi ohutust, rakendades neid kompilaatori tasandil ilma jäätme kogumiseta. Projekti raames avaldas Sean dokumendi, mis analüüsib Rusti keeles pakutud kaitsemeetmete rakendatavust, hindab nende teostatavust C++-s ning esitab ettepanekud laienduste lisamiseks, mis suurendavad koodi ohutust.

Toodud välja, et algatus on käivitatud vastusena arendajate seas kasvavale vajadusele ohutute programmeerimismeetodite järele ning on suunatud C++ keele integreerimisele uute võimalustega, mis aitavad vältida tavalisi mäluga seotud vigu, nagu juba vabastatud mälule viitamine ja määratud puhverserverite ületamine. Täiendused arenevad valikutena, mis võimaldavad järk-järgult projekti üleviimist ohututele meetoditele, säilitades samas ühilduvuse juba olemasoleva „ohutu“ koodiga.

Mälu turvalisust kavatsetakse tagada mehhanismide abil, mis rakendatakse kompileerimise etapil ja ei too kaasa täiendavaid kulusid, mis on omased keelele, mis kasutavad jäätme kogumise süsteeme. Põhilistena mainitakse ohutuse tagamise meetodina objektide omandi jälgimist, muutuja laenamise kontrollimist (borrow checker), ohutu konteksti (safe) kasutamist, ning std2::send ja std2::sync liideste loomist. Töö hõlmab ka kaitstud versiooni standardraamatukogust, mis pakub rakendusi algoritmide ja and结构和的实现，允许在内存中安全工作。

Allikas: opennet.ru