C++ Alliance edendab C++ mäluohutuse mehhanisme, mis on testitud Rustis

C++ Alliance'i presidendil on teatanud, et organisatsioon töötab spetsifikatsiooni kallal, mis lisab C++ keelele mäluohutuse laiendusi, mis meenutavad Rusti keele võimalusi. Projekti elluviimiseks on kaasatud Sean Baxter, eksperimentaalse C++ kompilaatori Circle autor, kes arendab ideid, et suurendada C++ koodi ohutust, rakendades neid kompilaatori küljelt ilma prügi kokku kogumata. Projekti raames on Sean avaldanud dokumendi, milles analüüsitakse erinevate kaitsemeetmete rakendatavust, nagu neid Rustis pakutakse, hinnatakse nende rakendamise võimalusi C++-le ning pakutakse ettepanekuid, et suurendada C++ koodi ohutust.

Tähtis on märkida, et algatus käivitati arendajate seas kasvava vajaduse tõttu turvaliste programmeerimismeetodite järele ning see on suunatud C++ keele integreerimisele uute võimalustega, mis aitavad kaitsta levinud mäluga seotud vigade, näiteks juba vabastatud mälu aadressidele ligipääsu ja eraldatud puutöötlemise piiride ületamise, eest. Täiendused arenevad valikutena, mis võimaldavad järk-järgult projektide viimist turvalistesse meetoditesse, säilitades samal ajal ühilduvuse juba olemasoleva "ebaturvalise" koodiga.

Mälu töö ohutuse tagamine on võimalik kompilatsiooni käigus rakendatavate mehhanismide abil, mis ei too kaasa lisakulusid, mis on iseloomulikud prügikoristajat kasutavatele keeledele. Peamiste meetoditena ohutuse tagamiseks on mainitud objektide omandi jälgimist, muutujate laenamise kontrollimist (borrow checker), turvalise konteksti (safe) kasutamist ning liideste std2::send ja std2::sync loomist. Töö hõlmab ka standardraamatukogu kaitstud variandi loomist, mis pakub rakendusi algoritmidele ja andmestruktuuridele, mis võimaldavad mäluga ohutult töötada.

Allikas: opennet.ru