C++ Alliance-ի նախագահը հայտարարել է, որ աշխատում է C++ լեզվին մատակարարված համալրումների շուրջ, որոնք անվտանգ հիշողություն օգտագործելու հնարավորություններ են տրամադրում, ինչպիսիք կան Rust լեզվում։ Նախագիծն իրականացնելու համար ներգրավվել է Շոն Բաքսթը (Sean Baxter), փորձնական C++ կոմպիլյատոր Circle-ից, որը զարգացնում է C++ ծածկագրի անվտանգությունը բարձրացնելու գաղափարները, որոնք իրականացվում են կոմպիլյատորի կողմից առանց աղբի հավաքման օգտագործելու։ Նախագծի շրջանակներում Շոնը հրապարակել է փաստաթուղթ, որը վերլուծում է Rust լեզվում առաջարկվող պաշտպանական միջոցներից բխող հնարավորությունները, գնահատում է դրանց իրականացման հնարավորությունները C++-ի համար և առաջարկություններ է տալիս C++ լեզվին անվտանգ կոդի ապահովման համար համալրումներ ավելացնելու վերաբերյալ։
Գրանցվում է, որ նախաձեռնությունը սկսվել է ծրագրավորողների շրջանում աճող պահանջի պատասխան, որը պահանջում է անվտանգ ծրագրավորման մեթոդներ, և նպատակ ունի C++ լեզվին ինտեգրել նոր հնարավորություններ, որոնք թույլ կտան պաշտպանվել հիշողության հետ կապված տարածված սխալներից, ինչպիսիք են արդեն ազատված հիշողության հասցեագրումը և հատումներից դուրս գալը։ Ծրագրային հավելումները զարգանում են որպես տարբերակներ, որոնք կնպաստեն աստիճանաբար անցնել անվտանգ մեթոդների ՝ պահպանելով հարցկանչական համատեղելիությունն արդեն գոյություն ունեցող «անվտանգ» կոդի հետ։
Հիշողության անվտանգության ապահովումը առաջարկվում է իրականացնել կոմպիլյացիայի փուլում օգտագործվող մեխանիզմների միջոցով, որոնք չեն առաջացնում լրացուցիչ ծախսեր, որոնք հատուկ են նրանց լեզուներին, որոնք օգտագործում են աղբի հավաքողներ։ Ապահովման անվտանգության հիմնական առաջարկվող մեթոդների մեջ նշվում է օբյեկտների սեփականության վերահսկումը, փոփոխականների վարձակալության ստուգումը (borrow checker), անվտանգ կոնտեքստի (safe) օգտագործումը, std2::send և std2::sync ինտերֆեյսների ստեղծումը։ Աշխատանքը նաև ընդգրկում է պաշտպանված տարբերակի ստեղծումը ստանդարտ գրադարանում, որը առաջարկում է ալգորիթմների և տվյալների կառուցվածքների իրականացումներ, որոնք թույլ են տալիս անվտանգ գործել հիշողության հետ։
Ընտանիք: opennet.ru
